Browse Results

Showing 31,551 through 31,575 of 82,508 results
Title Author ISBN Copyright Features Action
Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings (Lecture Notes in Computer Science #5522) 4770906 David Lee Antonia Lopes Arnd Poetzsch-Heffter 9783642021381 2009
Formal Techniques for Networked and Distributed Systems: FORTE 2001 (IFIP Advances in Information and Communication Technology #69) 3715817 Myungchul Myungchul Kim Byoungmoon Byoungmoon Chin Sungwon Sungwon Kang Danhyung Danhyung Lee 9780306470035 2001
Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings (Lecture Notes in Computer Science #5048) 4666190 Kenji Suzuki Teruo Higashino Keiichi Yasumoto Khaled El-Fakih 9783540688556 2008
Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings (Lecture Notes in Computer Science #2529) 4804386 Doron A. Peled Moshe Y. Vardi 9783540361350 2002
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

Refine Search

Showing 31,551 through 31,575 of 82,508 results