Browse Results

Showing 32,751 through 32,775 of 85,064 results
Title Author ISBN Copyright Features Action
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
Formale Begriffsanalyse: Mathematische Grundlagen 4619670 Bernhard Ganter Rudolf Wille 9783642614507 1996
Formale Begriffsanalyse mit C++: Datenstrukturen und Algorithmen 4737605 Frank Vogt 9783642867385 1996
Formale Beschreibungsverfahren der Informatik: Ein Arbeitsbuch für die Praxis (Informatik & Praxis) 4800642 Helmut Eirund Bernd Müller Gerlinde Schreiber 9783322801036 2000
Formale Grundlagen der Programmierung (Studienbücher Informatik) 4616886 Markus Nebel 9783834822963 2012
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation 4828660 Stephan Kleuker 9783834895950 2009
Formale Modelle für Informationssysteme: GI-Fachtagung, 24.–26. Mai 1979, Tutzing (Informatik-Fachberichte #21) 4700272 H. C. Mayr B. E. Meyer 9783642674853 1979
Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen: Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate 4619518 Thomas Wölfl 9783835093386 2006
Formale Programmentwicklung mit dynamischer Logik (DUV: Datenverarbeitung) 2700193 Maritta Heisel 9783663146216 1992
Formale Sprachen: Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse 4832867 Hans-Joachim Böckenhauer Juraj Hromkovic 9783658007256 2013
Formale Sprachen 4702349 Arto K. Salomaa 9783642670817 1978

Refine Search

Showing 32,751 through 32,775 of 85,064 results