Kategória: Jazyk: Všetky jazyky Anglický Slovenský Český Zoradiť podľa: najnovšie autor A – Z autor Z – A názov A – Z názov Z – A zobraziť iba dostupné zobraziť iba použité reset filtrov +
1 2 3 > » 25 Years of Model Checking Grumberg 2008 Formal Equivalence Checking and Design Debugging Shi-Yu Huang 1998 Computer Aided Verification Brinksma 2002 Verification, Model Checking, and Abstract Interpretation Cousot 2005 Model Checking and Artificial Intelligence Edelkamp 2007 New Methods of Concurrent Checking Goessel 2008 Equivalence Checking of Digital Circuits Molitor 2004 Checkpoint Controls and Cancer 2004 Checkpoint Controls and Cancer 2004 Unfoldings Esparza 2008 Model Checking Software Godefroid 2005 Verification, Model Checking, and Abstract Interpretation Steffen 2004 Abstraction Refinement for Large Scale Model Checking Wang 2006 Nanostructured Catalysts Scott 2003 Advances in Cryogenic Engineering Balachandran 2004 Handbook of Advanced Magnetic Materials Liu 2006 Interstitial Intermetallic Alloys Grandjean 1995 Static Compression of Energetic Materials Peiris 2008 8388 knižných titulov 1 2 3 > »