Title: App-Entwicklung mit Dart und Flutter 2: Eine umfassende Einführung, Author: Dieter Meiller
Title: Algorithms on Strings, Author: Maxime Crochemore
Title: Semantics and Logics of Computation, Author: Andrew M. Pitts
Title: P, NP, and NP-Completeness: The Basics of Computational Complexity, Author: Oded Goldreich
Title: A Practical Introduction to Denotational Semantics, Author: L. Allison
Title: Modern App Development with Dart and Flutter 2: A Comprehensive Introduction to Flutter, Author: Dieter Meiller
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: Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings / Edition 1, Author: Radhia Cousot
Title: The Evolution of Programs, Author: DERSHOWITZ
Title: Universal Routing Strategies for Interconnection Networks / Edition 1, Author: Christian Scheideler
Title: Algorithms for Sensor Systems: 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9-10, 2020, Revised Selected Papers, Author: Cristina M. Pinotti
Title: Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings, Author: Manuel Hermenegildo
Title: Least Absolute Deviations: Theory, Applications and Algorithms, Author: P- Bloomfield
Title: Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy,, Author: Maurice H. ter Beek
Title: Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings / Edition 1, Author: Kanchana Kanchanasut
Title: Evolutionary Programming VI: 6th International Conference, EP 97, Indianapolis, Indiana, USA, April 13-16, 1997, Proceedings / Edition 1, Author: Peter J. Angeline

Pagination Links