Browse Results

Showing 31,476 through 31,500 of 82,335 results
Title Author ISBN Copyright Features Action
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 (Lecture Notes in Computer Science #2767) 4615321 Hartmut König Monika Heiner Adam Wolisz 9783540399797 2003
Formal Techniques for Networked and Distributed Systems - FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings (Lecture Notes in Computer Science #3235) 4832282 David De Frutos-Escrig Manuel Nunez 9783540302322 2004
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science #3731) 4728287 Farn Wang 9783540320845 2005
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings (Lecture Notes in Computer Science #4229) 4811738 Elie Najm Jean-Francois Pradat-Peyre Véronique Viguié Donzeau-Gouge 9783540462200 2006
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science #4574) 4779560 John Derrick Jüri Vain 9783540731962 2007
Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (Communications in Computer and Information Science #694) 2240430 Cyrille Artho Peter Csaba Ölveczky 9783319539461 2017 Contains images
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (Communications in Computer and Information Science #1008) 2483717 Cyrille Artho Peter Csaba Ölveczky 9783030129880 2019 Contains images
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers (Communications in Computer and Information Science #419) 2803428 Cyrille Artho Peter Csaba Ölveczky 9783319054162 2014 Contains images
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Communications in Computer and Information Science #476) 2827661 Cyrille Artho Peter Csaba Ölveczky 9783319175812 2015 Contains images
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers (Communications in Computer and Information Science #596) 2839216 Cyrille Artho Peter Csaba Ölveczky 9783319295107 2016 Contains images
Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers (Communications in Computer and Information Science #1165) 3328074 Osman Hasan Frédéric Mallet 9783030469023 2020 Contains images
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings (Lecture Notes in Computer Science #2469) 4827757 Werner Damm Ernst-Rüdiger Olderog 9783540457398 2002
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings (Lecture Notes in Computer Science #1926) 4802857 Mathai Joseph 9783540453529 2000
Formal Techniques in Real-Time and Fault-Tolerant Systems (The Springer International Series in Engineering and Computer Science #221) 3774452 Jan Vytopil 9781461532200 1993
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings (Lecture Notes in Computer Science #3253) 4773789 Yassine Lakhnech Sergio Yovine 9783540302063 2004
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes in Computer Science #5363) 4613582 Giovanni Sommaruga 9783642006593 2009
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science #5458) 4696989 Véronique Cortier Claude Kirchner Mitsuhiro Okada Hideki Sakurada 9783642020025 2009
Formal Verification: An Essential Toolkit for Modern VLSI Design 3919987 Erik Seligman Tom Schubert M V Kumar 9780128008157 2015
Formal Verification of Circuits 3795372 Rolf Drechsler 9781475731842 2000
Formal Verification of Control System Software (Princeton Series in Applied Mathematics #67) 2576226 Pierre-Loïc Garoche 9780691189581 2019
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 4450549 David M. Russinoff 9783030871819 2022 Contains images
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 2266591 David M. Russinoff J Strother Moore 9783319955131 2019 Contains images
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science #7421) 4683794 Bernhard Beckert Ferruccio Damiani Dilian Gurov 9783642317620 2012
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers (Lecture Notes in Computer Science #6528) 4831559 Bernhard Beckert Claude Marché 9783642180705 2011
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach 2233778 Naijun Zhan Shuling Wang Hengjun Zhao 9783319470160 2017 Contains images

Refine Search

Showing 31,476 through 31,500 of 82,335 results