Browse Results

Showing 31,626 through 31,650 of 82,653 results
Title Author ISBN Copyright Features Action
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
Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung 2869390 Christian Wagenknecht Michael Hielscher 9783658026929 2014
Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch mit FLACI für Grundstudium und Fortbildung 4430757 Christian Wagenknecht Michael Hielscher 9783658368531 2022
Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung 4691079 Christian Wagenknecht Michael Hielscher 9783834899729 2009
Formales SQL-Tuning für Oracle-Datenbanken: Praktische Effizienz - effiziente Praxis (Xpert.press) 2880195 Leonid Nossov Hanno Ernst Victor Chupis 9783662452929 2016 Contains images
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) 4600553 Dirk Siefkes 9783322917690 1992
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) 4761032 Dirk Siefkes 9783322856210 1990
Formalising Natural Languages: 14th International Conference, NooJ 2020, Zagreb, Croatia, June 5–7, 2020, Revised Selected Papers (Communications in Computer and Information Science #1389) 3882495 Božo Bekavac Kristina Kocijan Max Silberztein Krešimir Šojat 9783030706296 2021 Contains images

Refine Search

Showing 31,626 through 31,650 of 82,653 results