Title: Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 / Edition 1, Author: Marco Bernardo
Title: Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / Edition 1, Author: Marcello M. Bonsangue
Title: How to Cheat at Windows System Administration Using Command Line Scripts, Author: Pawan K Bhardwaj
Title: Intelligent Algorithms in Ambient and Biomedical Computing / Edition 1, Author: Wim Verhaegh
Title: Algebra for Computer Science / Edition 1, Author: Lars Garding
Title: Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings / Edition 1, Author: Rajeev Alur
Title: Problem Solving Cases In Microsoft Access and Excel / Edition 13, Author: Ellen Monk
Title: Soft Computing for Image Processing / Edition 1, Author: Sankar K. Pal
Title: Membrane Computing: 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers, Author: Thomas Hinze
Title: Schaum's Outline of Fundamentals of Computing with C++ / Edition 1, Author: John R. Hubbard
Title: Soft Computing Approach to Pattern Classification and Object Recognition: A Unified Concept / Edition 1, Author: Kumar S. Ray
Title: Z: An Introduction to Formal Methods / Edition 2, Author: Antoni Diller
Title: Virtual Systems and Multimedia: 13th International Conference, VSMM 2007, Brisbane, Australia, September 23-26, 2007, Revised Selected Papers / Edition 1, Author: Theodor G. Wyeld
Title: Sustained Simulation Performance 2018 and 2019: Proceedings of the Joint Workshops on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2018 and 2019, Author: Michael M. Resch
Title: Regulated Agent-Based Social Systems: First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers / Edition 1, Author: Gabriela Lindemann
Title: Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 / Edition 1, Author: Manuel Núnez
Title: On Top of the Cloud: How CIOs Leverage New Technologies to Drive Change and Build Value Across the Enterprise / Edition 1, Author: Hunter Muller
Title: Advances in Mechanical Engineering: Selected Contributions from the Conference
Title: Contemporary Issues in End User Computing, Author: M. Adam Mahmood
Title: Complexity and Real Computation / Edition 1, Author: Lenore Blum

Pagination Links