Explore Books on
logics and meanings of programs

1-24 of 468 Books

Cover of Evaluation of Novel Approaches to Software Engineering by leszek a. maciaszek

Evaluation of Novel Approaches to Software Engineering

By Leszek A. Maciaszek

Cover of Information and Communication Technologies in Education, Research, and Industrial Applications by vadim ermolayev,heinrich c. mayr,mykola nikitchenko

Information and Communication Technologies in Education, Research, and Industrial Applications

By Vadim Ermolayev,Heinrich C. Mayr,Mykola Nikitchenko

Cover of Reachability Problems by parosh aziz abdulla,igor potapov

Reachability Problems

By Parosh Aziz Abdulla,Igor Potapov

Cover of Membrane Computing by marian gheorghe,grzegorz rozenberg,arto salomaa,petr sosík,claudio zandron

Membrane Computing

By Marian Gheorghe,Grzegorz Rozenberg,Arto Salomaa,Petr Sosík,Claudio Zandron

Cover of Logical Foundations of Computer Science by sergei artemov

Logical Foundations of Computer Science

By Sergei Artemov

Cover of Language and Automata Theory and Applications by adrian-horia dediu

Language and Automata Theory and Applications

By Adrian-Horia Dediu

Cover of Trends in Functional Programming by jurriaan hage,jay mccarthy

Trends in Functional Programming

By Jurriaan Hage,Jay McCarthy

Cover of Formal Techniques for Safety-Critical Systems by cyrille artho,peter csaba ölveczky

Formal Techniques for Safety-Critical Systems

By Cyrille Artho,Peter Csaba Ölveczky

Cover of Formal methods for components and objects by frank s. de boer,marcello m. bonsangue,susanne graf,willem-paul de roever

Formal methods for components and objects

By Frank S. de Boer,Marcello M. Bonsangue,Susanne Graf,Willem-Paul de Roever

Cover of Process Mining by wil m. p. van der aalst

Process Mining

By Wil M. P. van der Aalst

Cover of Graph Structures for Knowledge Representation and Reasoning by madalina croitoru

Graph Structures for Knowledge Representation and Reasoning

By Madalina Croitoru

Cover of Fundamentals of Software Engineering by farhad arbab

Fundamentals of Software Engineering

By Farhad Arbab

Cover of Theory and Practice of Computation by shin-ya nishizaki

Theory and Practice of Computation

By Shin-ya Nishizaki

Cover of Relational and Algebraic Methods in Computer Science by uli fahrenberg,peter jipsen,michael winter

Relational and Algebraic Methods in Computer Science

By Uli Fahrenberg,Peter Jipsen,Michael Winter

Cover of Logic and Its Applications by mohua banerjee,krishna s.

Logic and Its Applications

By Mohua Banerjee,Krishna S.

Cover of Logic for Programming, Artificial Intelligence, and Reasoning by ken mcmillan,aart middeldorp,andrei voronkov

Logic for Programming, Artificial Intelligence, and Reasoning

By Ken McMillan,Aart Middeldorp,Andrei Voronkov

Cover of Automated Reasoning with Analytic Tableaux and Related Methods by didier galmiche

Automated Reasoning with Analytic Tableaux and Related Methods

By Didier Galmiche

Cover of Complexity theory by ingo wegener

Complexity theory

By Ingo Wegener

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

By Andrea Bondavalli,Felicita Di Giandomenico

Cover of Distributed Computing and Internet Technology by raja natarajan

Distributed Computing and Internet Technology

By Raja Natarajan

Cover of Stabilization, Safety, and Security of Distributed Systems by teruo higashino,yoshiaki katayama,toshimitsu masuzawa,maria potop-butucaru,masafumi yamashita

Stabilization, Safety, and Security of Distributed Systems

By Teruo Higashino,Yoshiaki Katayama,Toshimitsu Masuzawa,Maria Potop-Butucaru,Masafumi Yamashita

Cover of Computing and combinatorics by ding-zhu du,peter eades,xuemin lin,arun sharma

Computing and combinatorics

By Ding-Zhu Du,Peter Eades,Xuemin Lin,Arun Sharma

Cover of Formal Aspects of Component Software by farhad arbab

Formal Aspects of Component Software

By Farhad Arbab

Cover of Trends in Functional Programming by ricardo peña

Trends in Functional Programming

By Ricardo Peña