1-24 of 1,604 Books

Evaluation of Novel Approaches to Software Engineering
By Leszek A. Maciaszek

Information and Communication Technologies in Education, Research, and Industrial Applications
By Vadim Ermolayev,Heinrich C. Mayr,Mykola Nikitchenko

Reachability Problems
By Parosh Aziz Abdulla,Igor Potapov

Computer Engineering and Technology
By Weixia Xu

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

Programming in Prolog
By William F. Clocksin,Christopher S. Mellish

Logical Foundations of Computer Science
By Sergei Artemov

Foundations of Probabilistic Logic Programming
By Fabrizio Riguzzi

Language and Automata Theory and Applications
By Adrian-Horia Dediu

Rapid prototyping of digital systems
By James O. Hamblen,James O. Hamblen,Tyson S. Hall,Michael D. Furman

Logic and computer design fundamentals
By M. Morris Mano

Logical design of switching circuits
By Douglas Lewin

Formal Techniques for Safety-Critical Systems
By Cyrille Artho,Peter Csaba Ölveczky

Trends in Functional Programming
By Jurriaan Hage,Jay McCarthy

Advanced model order reduction techniques in VLSI design
By Lei He

Principles of verifiable RTL design
By Lionel Bening,Lionel Bening,Harry D. Foster

Technology Computer Aided Design
By Chandan Kumar Sarkar

Formal methods for components and objects
By Frank S. de Boer,Marcello M. Bonsangue,Susanne Graf,Willem-Paul de Roever

Fundamentals of Artificial Intelligence
By W. Bibel,Philippe Jorrand

Advanced ASIC chip synthesis
By Himanshu Bhatnagar