Browse Results

Showing 32,701 through 32,725 of 85,060 results
Title Author ISBN Copyright Features Action
Formal Models of Agents: ESPRIT Project ModelAge Final Report Selected Papers (Lecture Notes in Computer Science #1760) 4668353 John-Jules C. Meyer Pierre-Yves Schobbens 9783540465812 1999
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic 4717767 Benedikt Bollig 9783540329237 2006
Formal Models of Operating System Kernels 4824884 Iain D. Craig 9781846287183 2007
Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT)) 3861495 Kevin Lano 9781447130734 1995
Formal Ontologies Meet Industry: 7th International Workshop, FOMI 2015, Berlin, Germany, August 5, 2015, Proceedings (Lecture Notes in Business Information Processing #225) 2831487 Roberta Cuel Robert Young 9783319215457 2015 Contains images
Formal Power Series and Algebraic Combinatorics: 12th International Conference, FPSAC’00, Moscow, Russia, June 2000, Proceedings 4672088 Daniel Krob Alexander A. Mikhalev Alexander V. Mikhalev 9783662041666 2000
Formal Refinement for Operating System Kernels 4628373 Iain D. Craig 9781846289675 2007
Formal Semantics and Proof Techniques for Optimizing VHDL Models 3777892 Kothanda Umamageswaran Sheetanshu L. Pandey Philip A. Wilsey 9781461551232 1999
Formal Semantics for VHDL (The Springer International Series in Engineering and Computer Science #307) 3769362 Carlos Delgado Kloos P. Breuer 9781461522379 1995
Formal Software Development: From VDM to Java 4277946 Quentin Charatan Aaron Kans 9780230005860 2004
Formal Specification: Techniques and Applications 3860999 Nimal Nissanke 9781447107910 1999
Formal Specification Level: Concepts, Methods, and Algorithms 2810881 Mathias Soeken Rolf Drechsler 9783319086996 2015 Contains images
Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering #1) 3776037 Tan Yang Meng 9781461541257 1996 Contains images
Formal Specification Using Z (Computer Science Series) 3728635 David Lightfoot 9781349121441 1991
Formal SQL Tuning for Oracle Databases: Practical Efficiency - Efficient Practice 2888440 Leonid Nossov Hanno Ernst Victor Chupis 9783662504178 2016 Contains images
Formal Syntax and Semantics of Java (Lecture Notes in Computer Science #1523) 4683629 Jim Alves-Foss 9783540487371 1999
Formal System Verification: State-of the-Art and Future Trends 2243682 Rolf Drechsler 9783319576855 2018 Contains images
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings (Lecture Notes in Computer Science #3670) 4746173 Mario Bravetti Leila Kloul Gianluigi Zavattaro 9783540319030 2005
Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings (Lecture Notes in Computer Science #8461) 2876917 Erika Ábrahám Catuscia Palamidessi 9783662436134 2014
Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings (Lecture Notes in Computer Science #9688) 2847386 Elvira Albert Ivan Lanese 9783319395708 2016 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings (Lecture Notes in Computer Science #10321) 2245800 Ahmed Bouajjani Alexandra Silva 9783319602257 2017 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings (Lecture Notes in Computer Science #10854) 2332826 Luís Caires Christel Baier 9783319926124 2018 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings (Lecture Notes in Computer Science #14678) 6058482 Valentina Castiglioni Adrian Francalanza 9783031626456 2024 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings (Lecture Notes in Computer Science #12136) 3558536 Alexey Gotsman Ana Sokolova 9783030500863 2020 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings (Lecture Notes in Computer Science #9039) 2828683 Susanne Graf Mahesh Viswanathan 9783319191959 2015

Refine Search

Showing 32,701 through 32,725 of 85,060 results