Werezi Books
Cart 0

Series: Theoretical Computer Science and General Issues

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 369 titles
Formal Methods Teaching

Formal Methods Teaching

Ksh 9,000
Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Ksh 8,100
Artificial Neural Networks and Machine Learning – ICANN 2019: Text and Time Series

Artificial Neural Networks and Machine Learning – ICANN 2019: Text and Time Series

Ksh 15,300
Programming Languages and Systems

Programming Languages and Systems

Ksh 16,200
Latent Variable Analysis and Signal Separation

Latent Variable Analysis and Signal Separation

Ksh 8,100
Cellular Automata and Discrete Complex Systems

Cellular Automata and Discrete Complex Systems

Ksh 4,500
Graph Drawing and Network Visualization

Graph Drawing and Network Visualization

Ksh 8,100
Algorithms and Architectures for Parallel Processing

Algorithms and Architectures for Parallel Processing

Ksh 16,200
Model Checking, Synthesis, and Learning

Model Checking, Synthesis, and Learning

Ksh 9,900
Computational Data and Social Networks

Computational Data and Social Networks

Ksh 11,700
Implementation and Application of Automata

Implementation and Application of Automata

Ksh 8,100
Quantitative Evaluation of Systems

Quantitative Evaluation of Systems

Ksh 14,400
At the Intersection of Language, Logic, and Information

At the Intersection of Language, Logic, and Information

Ksh 8,100
Architecture of Computing Systems – ARCS 2018

Architecture of Computing Systems – ARCS 2018

Ksh 8,100
LATIN 2018: Theoretical Informatics

LATIN 2018: Theoretical Informatics

Ksh 8,100
Computational Intelligence in Music, Sound, Art and Design

Computational Intelligence in Music, Sound, Art and Design

Ksh 8,100
Computer Aided Verification

Computer Aided Verification

Ksh 8,100
Numerical Software Verification

Numerical Software Verification

Ksh 8,100
Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Ksh 8,100
Neural Information Processing

Neural Information Processing

Ksh 8,100
Unconventional Computation and Natural Computation

Unconventional Computation and Natural Computation

Ksh 8,100
Algorithms and Architectures for Parallel Processing

Algorithms and Architectures for Parallel Processing

Ksh 16,200
Interactive Theorem Proving

Interactive Theorem Proving

Ksh 8,100
High Performance Computing for Computational Science -- VECPAR 2014

High Performance Computing for Computational Science -- VECPAR 2014

Ksh 8,100
Static Analysis

Static Analysis

Ksh 8,100
Relational and Algebraic Methods in Computer Science

Relational and Algebraic Methods in Computer Science

Ksh 11,700
Wireless Algorithms, Systems, and Applications

Wireless Algorithms, Systems, and Applications

Ksh 8,100
Computational Science and Its Applications – ICCSA 2020

Computational Science and Its Applications – ICCSA 2020

Ksh 16,200
Architecture of Computing Systems – ARCS 2020

Architecture of Computing Systems – ARCS 2020

Ksh 8,100
Blended Learning. Education in a Smart Learning Environment

Blended Learning. Education in a Smart Learning Environment

Ksh 12,600
Treewidth, Kernels, and Algorithms

Treewidth, Kernels, and Algorithms

Ksh 9,900
Artificial Neural Networks and Machine Learning – ICANN 2019: Workshop and Special Sessions

Artificial Neural Networks and Machine Learning – ICANN 2019: Workshop and Special Sessions

Ksh 13,500
Logic, Language, Information, and Computation

Logic, Language, Information, and Computation

Ksh 8,100
Mathematical Foundations of Computer Science 2015

Mathematical Foundations of Computer Science 2015

Ksh 8,100
Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Ksh 8,100
Automata, Languages, and Programming

Automata, Languages, and Programming

Ksh 16,200
Intelligent Computing Technology

Intelligent Computing Technology

Ksh 8,100
Applications of Evolutionary Computation

Applications of Evolutionary Computation

Ksh 8,100
Algorithms and Discrete Applied Mathematics

Algorithms and Discrete Applied Mathematics

Ksh 8,100
Artificial Neural Networks and Machine Learning – ICANN 2017

Artificial Neural Networks and Machine Learning – ICANN 2017

Ksh 8,100
Network and Parallel Computing

Network and Parallel Computing

Ksh 8,100
Algorithms and Architectures for Parallel Processing

Algorithms and Architectures for Parallel Processing

Ksh 16,200
Computing and Combinatorics

Computing and Combinatorics

Ksh 8,100
Algorithms and Architectures for Parallel Processing

Algorithms and Architectures for Parallel Processing

Ksh 8,100
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Ksh 16,200
Neural Information Processing

Neural Information Processing

Ksh 8,100
Informatics in Schools: Improvement of Informatics Knowledge and Perception

Informatics in Schools: Improvement of Informatics Knowledge and Perception

Ksh 8,100
Hybrid Metaheuristics

Hybrid Metaheuristics

Ksh 8,100
Descriptional Complexity of Formal Systems

Descriptional Complexity of Formal Systems

Ksh 8,100
Integration of AI and OR Techniques in Constraint Programming

Integration of AI and OR Techniques in Constraint Programming

Ksh 8,100
Showing 50 of 369 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.