Title: Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings / Edition 1, Author: Ed Brinksma
Title: The SPARC Technical Papers, Author: Ben J. Catanzaro
Title: OpenMP: Memory, Devices, and Tasks: 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings, Author: Naoya Maruyama
Title: Embedded Computer Systems: Architectures, Modeling, and Simulation: 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings / Edition 1, Author: Timo D. Hämäläinen
Title: Architecting Dependable Systems III / Edition 1, Author: Rogério de Lemos
Title: Computer Architecture: Proceedings of the NATO Advanced Study Institute held in St. Raphael, France, 12-24 September, 1976 / Edition 1, Author: G. Boulaye
Title: Model Based Fuzzy Control: Fuzzy Gain Schedulers and Sliding Mode Fuzzy Controllers / Edition 1, Author: Rainer Palm
Title: Analysis and Control of Nonlinear Process Systems / Edition 1, Author: Katalin M. Hangos
Title: A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors / Edition 1, Author: R. Kurki-Suonio
Title: ARIS - Business Process Modeling / Edition 3, Author: August-Wilhelm Scheer
Title: Design of Dependable Computing Systems / Edition 1, Author: J.C. Geffroy
Title: Artificial Neural Networks: An Introduction to ANN Theory and Practice / Edition 1, Author: P.J. Braspenning
Title: A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors / Edition 1, Author: R. Kurki-Suonio
Title: Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine / Edition 1, Author: David Harel
Title: Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers / Edition 1, Author: Ed Brinksma
Title: Conceptual Modelling in Information Systems Engineering / Edition 1, Author: John Krogstie
Title: Languages, Compilers, and Run-Time Systems for Scalable Computers: 5th International Workshop, LCR 2000 Rochester, NY, USA, May 25-27, 2000 Selected Papers / Edition 1, Author: Sandhya Dwarkadas
Title: Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, Author: Erika Abraham
Title: Universal Access in Health Telematics: A Design Code of Practice / Edition 1, Author: Constantine Stephanidis
Title: Transactions on High-Performance Embedded Architectures and Compilers I / Edition 1, Author: Mike O'Boyle

Pagination Links