Nieuwste titels
Starting Out With Programming Logic And Design
EngelsMaximum Consensus Problem
Recent Algorithmic Advances
EngelsRecent Developments In Intelligent Nature-inspired Computing
Engels , GebondenNumbers And Computers
Engels , GebondenLatest Advances In Inductive Logic Programming
Engels , GebondenLogic In Games
Engels , GebondenCompressed Data Structures For Strings
On Searching And Extracting Strings From Compressed Textual Data
Engels , GebondenModelling Computer Systems
The Mathematics of Computer Science
Engels , PaperbackDigital Design And Computer Architecture
EngelsProof And Computation
EngelsFields Of Logic And Computation
Essays Dedicated To Yuri Gurevich On The Occasion Of His 70th Birthday
EngelsUnifying Theories Of Programming
Second International Symposium, Utp 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
EngelsInteractive Theorem Proving
First International Conference, Itp 2010 Edinburgh, Uk, July 11-14, 2010, Proceedings
EngelsComputer Aided Verification
22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings
EngelsUnfoldings
A Partial-order Approach To Model Checking
Engels , GebondenMathematics Of Program Construction
10th International Conference, Mpc 2010, Quebec City, Canada, June 21-23, 2010, Proceedings
EngelsCultural Logic Of Computation
Engels , GebondenElementary Logic
For Software Development
EngelsComputer Aided Verification
20th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings
EngelsIntegrated Formal Methods
6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings
EngelsAlgebraic Biology
Second International Conference, Ab 2007, Castle Of Hagenberg, Austria, July 2-4, 2007, Proceedings
EngelsModelling Distributed Systems
Engels , GebondenFme 2003
Formal Methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : Proceedings
Engels , Paperback, 01-10-2003