Title: Approaches to Prototyping: Proceedings of the Working Conference on Prototyping, October 25 - 28, 1983, Namur, Belgium, Author: R. Budde
Title: Fault-Tolerant Computing Systems: Tests, Diagnosis, Fault Treatment 5th International GI/ITG/GMA Conference Nürnberg, September 25-27, 1991 Proceedings, Author: Mario Dal Cin
Title: Lectures on Applied Mathematics: Proceedings of the Symposium Organized by the Sonderforschungsbereich 438 on the Occasion of Karl-Heinz Hoffmann's 60th Birthday, Munich, June 30 - July 1, 1999, Author: Hans-Joachim Bungartz
Title: FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, Author: Nikolaj Bjørner
Title: Distributed Applications Engineering: Building New Applications and Managing Legacy Applications with Distributed Technologies, Author: Inji Wijegunaratne
Title: Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II, Author: Tiziana Margaria
Title: Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings, Author: Ivica Crnkovic
Title: Parallel Image Processing, Author: T. Bräunl
Title: Crap I Can't Remember: Password Log Book, Internet Login Keeper, Website Organizer, Simple & Minimalist, Matte Black Stealth Cover, Author: Future Proof Publishing
Title: Git in Practice: Includes 66 Techniques, Author: Mike McQuaid
Title: Algorithmic Game Theory: Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009, Proceedings, Author: Marios Mavronicolas
Title: Witness 27 Simulation Modeling: Rational Process Design, Author: Neil Murray
Title: Agile Methods: 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers, Author: Paulo Meirelles
Title: Advances in Conceptual Modeling: ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings, Author: Manfred A. Jeusfeld
Title: Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Author: Shuvendu K. Lahiri
Title: Extreme Mobile: Innovative Techniques for Crafting Customizable Mobile Apps Using iOS Frameworks, Author: Charlie Cocchiaro
Title: MATLAB Programming: Mathematical Problem Solutions, Author: Dingyü Xue
Title: Combinatorial Testing in Cloud Computing, Author: Wei-Tek Tsai
Title: Multi-Agent-Based Simulation: Second International Workshop, MABS 2000, Boston, MA, USA, July 2000; Revised and Additional Papers, Author: Scott Moss
Title: UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools: 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings, Author: Martin Gogolla

Pagination Links