Title: P, NP, and NP-Completeness: The Basics of Computational Complexity, Author: Oded Goldreich
Title: Algorithms on Strings, Author: Maxime Crochemore
Title: App-Entwicklung mit Dart und Flutter 2: Eine umfassende Einführung, Author: Dieter Meiller
Title: Modern App Development with Dart and Flutter 2: A Comprehensive Introduction to Flutter, Author: Dieter Meiller
Title: A Practical Introduction to Denotational Semantics, Author: L. Allison
Title: Semantics and Logics of Computation, Author: Andrew M. Pitts
Title: Prozessorentwurf mit VHDL: Modellierung und Synthese eines 12-Bit-Mikroprozessors / Edition 1, Author: Dieter Wecker
Title: From Mathematics to Generic Programming / Edition 1, Author: Alexander Stepanov
Title: Your Code as a Crime Scene, Second Edition: Use Forensic Techniques to Arrest Defects, Bottlenecks, and Bad Design in Your Programs, Author: Adam Tornhill
Title: Talking with Computers: Explorations in the Science and Technology of Computing, Author: Thomas Dean
Title: Object-Oriented Analysis and Design for Information Systems: Modeling with UML, OCL, and IFML, Author: Raul Sidnei Wazlawick
Title: Computing and Combinatorics: 25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019, Proceedings, Author: Ding-Zhu Du
Title: Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / Edition 1, Author: Andy King
Title: Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / Edition 1, Author: Ute Schmid
Title: Experimental Algorithms: 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007, Proceedings / Edition 1, Author: Camil Demetrescu
Title: Understanding Concurrent Systems, Author: A.W. Roscoe
Title: Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings, Author: Xavier Rival
Title: Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday, Author: Chiara Bodei
Title: Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / Edition 1, Author: Matteo Baldoni
Title: Principles and Practice of Declarative Programming: International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings / Edition 1, Author: Gopalan Nadathur

Pagination Links