Title: Formal Methods for Open Object-based Distributed Systems: Volume 1 / Edition 1, Author: Elie Najm
Title: Modeling and Simulation Tools for Emerging Telecommunication Networks: Needs, Trends, Challenges and Solutions / Edition 1, Author: Nejat Ince
Title: Software Engineering for Experimental Robotics / Edition 1, Author: Davide Brugali
Title: Natural Analogues in Radioactive Waste Disposal / Edition 1, Author: B. Come
Title: Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy / Edition 1, Author: Paolo Ciancarini
Title: The Architecture of Scientific Software: IFIP TC2/WG2.5 Working Conference on the Architecture of Scientific Software October 2-4, 2000, Ottawa, Canada / Edition 1, Author: Ronald F. Boisvert
Title: The Object-Z Specification Language / Edition 1, Author: Graeme Smith
Title: Random Generation of Trees: Random Generators in Computer Science / Edition 1, Author: Laurent Alonso
Title: Computing Tools for Modeling, Optimization and Simulation: Interfaces in Computer Science and Operations Research / Edition 1, Author: Manuel Laguna
Title: Monte Carlo Simulation of Semiconductor Devices / Edition 1, Author: C. Moglestue
Title: Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004 / Edition 1, Author: Manfred Broy
Title: Remote Instrumentation for eScience and Related Aspects / Edition 1, Author: Franco Davoli
Title: Information Systems Development: Advances in Theory, Practice, and Education / Edition 1, Author: Olegas Vasilecas
Title: Diffusing Software Product and Process Innovations: IFIP TC8 WG8.6 Fourth Working Conference on Diffusing Software Product and Process Innovations April 7-10, 2001, Banff, Canada / Edition 1, Author: Mark A. Ardis
Title: Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA / Edition 1, Author: Scott F. Smith
Title: Constraint-Based Design Recovery for Software Reengineering: Theory and Experiments / Edition 1, Author: Steven G. Woods
Title: Hardware/Software Co-Design and Co-Verification / Edition 1, Author: Jean-Michel Bergï
Title: Domain Modeling-Based Software Engineering: A Formal Approach / Edition 1, Author: Ruqian Lu
Title: Multiobjective Scheduling by Genetic Algorithms / Edition 1, Author: Tapan P. Bagchi
Title: 3D-Groundwater Modeling with PMWIN: A Simulation System for Modeling Groundwater Flow and Transport Processes / Edition 2, Author: Wen-Hsing Chiang

Pagination Links