Werezi Books
Cart 0

Series: Programming and Software Engineering

Discover stories that captivate and knowledge that empowers. Your next great read is waiting.

All Books Bestsellers New Releases Fiction Academic Kenyan Books
Showing 50 of 130 titles
Service-Oriented Computing

Service-Oriented Computing

Ksh 16,200
Formal Aspects of Component Software

Formal Aspects of Component Software

Ksh 8,100
Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Ksh 8,100
End-User Development

End-User Development

Ksh 8,100
NASA Formal Methods

NASA Formal Methods

Ksh 8,100
OpenMP: Portable Multi-Level Parallelism on Modern Systems

OpenMP: Portable Multi-Level Parallelism on Modern Systems

Ksh 11,700
Intelligent Tutoring Systems

Intelligent Tutoring Systems

Ksh 8,100
Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Ksh 9,000
Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Ksh 8,100
Fundamentals of Software Engineering

Fundamentals of Software Engineering

Ksh 8,100
SDL 2017: Model-Driven Engineering for Future Internet

SDL 2017: Model-Driven Engineering for Future Internet

Ksh 8,100
Service-Oriented Computing – ICSOC 2016 Workshops

Service-Oriented Computing – ICSOC 2016 Workshops

Ksh 8,100
Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

Ksh 8,100
Model-Based Safety and Assessment

Model-Based Safety and Assessment

Ksh 8,100
Modelling Foundations and Applications

Modelling Foundations and Applications

Ksh 8,100
Service-Oriented and Cloud Computing

Service-Oriented and Cloud Computing

Ksh 8,100
Reversible Computation

Reversible Computation

Ksh 8,100
Service Oriented and Cloud Computing

Service Oriented and Cloud Computing

Ksh 8,100
Reversible Computation

Reversible Computation

Ksh 7,200
Formal Aspects of Component Software

Formal Aspects of Component Software

Ksh 8,100
Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Ksh 9,000
End-User Development

End-User Development

Ksh 8,100
Advances in Conceptual Modeling

Advances in Conceptual Modeling

Ksh 8,100
Frontiers in Software Engineering Education

Frontiers in Software Engineering Education

Ksh 8,100
Coordination Models and Languages

Coordination Models and Languages

Ksh 8,100
Search-Based Software Engineering

Search-Based Software Engineering

Ksh 8,100
NASA Formal Methods

NASA Formal Methods

Ksh 10,800
Formal Aspects of Component Software

Formal Aspects of Component Software

Ksh 8,100
Programming Languages and Systems

Programming Languages and Systems

Ksh 8,100
Reliable Software Technologies – Ada-Europe 2015

Reliable Software Technologies – Ada-Europe 2015

Ksh 7,200
Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Ksh 8,100
Rules and Reasoning

Rules and Reasoning

Ksh 9,900
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

Ksh 8,100
Requirements Engineering: Foundation for Software Quality

Requirements Engineering: Foundation for Software Quality

Ksh 10,800
Software Architecture

Software Architecture

Ksh 8,100
Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

Ksh 10,800
Model-Based Safety and Assessment

Model-Based Safety and Assessment

Ksh 9,900
Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

Ksh 8,100
Grand Timely Topics in Software Engineering

Grand Timely Topics in Software Engineering

Ksh 8,100
OpenMP: Memory, Devices, and Tasks

OpenMP: Memory, Devices, and Tasks

Ksh 8,100
Tests and Proofs

Tests and Proofs

Ksh 8,100
Product-Focused Software Process Improvement

Product-Focused Software Process Improvement

Ksh 8,100
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Ksh 8,100
Runtime Verification

Runtime Verification

Ksh 8,100
Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things

Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things

Ksh 8,100
Principles and Practice of Constraint Programming

Principles and Practice of Constraint Programming

Ksh 8,100
Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Ksh 9,900
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Ksh 8,100
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments

Ksh 8,100
Rules and Reasoning

Rules and Reasoning

Ksh 8,100
Showing 50 of 130 titles

Welcome to Werezi Books

Your one-stop shop for all reading needs. Bestsellers, local titles, and academic texts.

Shopping Cart

Africa largest book store

Sub Total:
Ebooks

Digital Library
Coming Soon

Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.