[PDF] model checking free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


85 books found   ►also search"model checking" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
218906 Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.) Lecture Notes in Computer Science 5000 : Theoretical Computer Science and General Issues
25 Years of Model Checking: History, Achievements, Perspectives [1 ed.]
9783540698494, 3540698493
Springer-Verlag Berlin Heidelberg 2008 234 English 41 Mb pdf GET
184766 Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.) Lecture Notes in Computer Science 5000 : Theoretical Computer Science and General Issues
25 Years of Model Checking: History, Achievements, Perspectives [1 ed.]
3540698493, 9783540698494
Springer-Verlag Berlin Heidelberg 2008 234 English 4 Mb djvu GET
133419 Ojeda J.L., Cristobal J.A. A bootstrap approach to model checking for linear models under length-biased data 2008 25 English 312 kb pdf GET
70647 Wolfe R. A case study on the choice, interpretation and checking of multilevel models for longitudinal binary 20 English 185 kb pdf GET
59598 Chao Wang, Gary D. Hachtel, Fabio Somenzi Integrated Circuits and Systems
Abstraction Refinement for Large Scale Model Checking [1 ed.]
0387341552, 9780387346007, 9780387341552
Springer 2006 185 English 9 Mb pdf GET
65462 Pan W. Application of conditional moment tests to model checking for generalized linear models [illustrated edition]
159140102X, 1591401100
Information Science Publishing 2003 10 English 164 kb pdf GET
115729 Conformant.Planning.via.Symbolic.Model.Checking.and.Heuristic.Search.Adobe Elsevier 80 English 4 Mb pdf GET
992512 Stephan Kleuker (auth.) Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation [1 ed.]
978-3-8348-0669-7, 978-3-8348-9595-0
Vieweg+Teubner Verlag 2009 301 German 4 Mb pdf GET
275394 Kleuker S. Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation
3834806692, 9783834806697
Vieweg 2009 316 German 3 Mb pdf GET
519830 Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled Model Checking
0262032708, 9780262032704
The MIT Press 1999 336 English 2 Mb djvu GET
741 Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled Model checking
0262032708, 9780262032704, 9780585385587
MIT Press 1999 326 English 2 Mb djvu GET
23538 Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled Model checking
9780262032704, 0-262-03270-8
MIT Press 1999 166 English 3 Mb djvu GET
185478 Piergiorgio Bertoli, Marco Bozzano (auth.), Stefan Edelkamp, Alessio Lomuscio (eds.) Lecture Notes in Computer Science 4428
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers [1 ed.]
3540741275, 9783540741275
Springer-Verlag Berlin Heidelberg 2007 185 English 2 Mb pdf GET
258950 Stefan Edelkamp, Alessio Lomuscio Lecture ... / Lecture Notes in Artificial Intelligence
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers [1 ed.]
9783540741275, 3540741275
Springer 2007 192 English 3 Mb pdf GET
826664 Doron A. Peled, Michael Wooldridge Lecture Notes in Computer Science - Lecture Notes Artificial Intelligence
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers ...
364200430X, 9783642004308
Springer 2009 196 English 4 Mb pdf GET
595739 Natasha Alechina, Brian Logan (auth.), Doron A. Peled, Michael J. Wooldridge (eds.) Lecture Notes in Computer Science 5348 : Lecture Notes in Artificial Intelligence
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers [1 ed.]
364200430X, 9783642004308
Springer-Verlag Berlin Heidelberg 2009 189 English 2 Mb pdf GET
917038 Hector Geffner (auth.), Ron van der Meyden, Jan-Georg Smaus (eds.) Lecture Notes in Computer Science 6572 Lecture Notes in Artificial Intelligence
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers [1 ed.]
9783642206740, 3642206743
Springer-Verlag Berlin Heidelberg 2011 131 English 2 Mb pdf GET
800077 Hector Geffner (auth.), Ron van der Meyden, Jan-Georg Smaus (eds.) Lecture Notes in Computer Science 6572 Lecture Notes in Artificial Intelligence
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers [1 ed.]
3642206735, 9783642206733
Springer-Verlag Berlin Heidelberg 2011 131 English 2 Mb pdf GET
341680 Theo C. Ruys (auth.), Thomas Ball, Sriram K. Rajamani (eds.) Lecture Notes in Computer Science 2648
Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings [1 ed.]
3540401172, 9783540401179
Springer-Verlag Berlin Heidelberg 2003 241 English 2 Mb pdf GET
1133329 Reinhard Wilhelm (auth.), Susanne Graf, Laurent Mounier (eds.) Lecture Notes in Computer Science 2989
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings [1 ed.]
978-3-540-21314-7, 978-3-540-24732-6, 3-540-21314-7
Springer-Verlag Berlin Heidelberg 2004 314 English 3 Mb pdf GET
341681 Reinhard Wilhelm (auth.), Susanne Graf, Laurent Mounier (eds.) Lecture Notes in Computer Science 2989
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings [1 ed.]
3540213147, 9783540213147
Springer-Verlag Berlin Heidelberg 2004 314 English 6 Mb pdf GET
965669 David Wagner (auth.), Patrice Godefroid (eds.) Lecture Notes in Computer Science 3639
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings [1 ed.]
978-3-540-28195-5, 978-3-540-31899-6
Springer-Verlag Berlin Heidelberg 2005 292 English 5 Mb pdf GET
349681 David Wagner (auth.), Patrice Godefroid (eds.) Lecture Notes in Computer Science 3639 : Theoretical Computer Science and General Issues
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings [1 ed.]
978-3-540-28195-5
Springer-Verlag Berlin Heidelberg 2005 292 English 4 Mb pdf GET
349682 Stefan Edelkamp, Shahid Jabbar (auth.), Antti Valmari (eds.) Lecture Notes in Computer Science 3925 : Theoretical Computer Science and General Issues
Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings [1 ed.]
3540331026, 9783540331025
Springer-Verlag Berlin Heidelberg 2006 308 English 3 Mb pdf GET
349683 Dennis Dams (auth.), Dragan Bošnački, Stefan Edelkamp (eds.) Lecture Notes in Computer Science 4595
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings [1 ed.]
3540733698, 9783540733690
Springer-Verlag Berlin Heidelberg 2007 285 English 3 Mb pdf GET
  ►
 М. Минский
Вейник А.И. (ред.)
Сполдинг Д.Б. (Spalding D.B.)
Рябцева Н.К.
Kevin Chambers, Wesley Palmer
Zhi-Qiang Cao, Ki Hang Kim, Fred W. Roush
Boris Youssin
Лакатос И.
Смаллиан Р.
Постников М.М.
Рагунатан М.
Carl M. Bender, Steven A. Orszag
de Branges L.
Бекенбах, Беллман
Sylvie Benzoni-Gavage, Denis Serre
F. John (auth.)
Никольский.
P. R. Halmos (auth.)
Желнорович В.А.
Riccardo Benedetti, Carlo Petronio (auth.)

system designorganizationsquasarsfluorideethanol productioncoderaman spectroscopyin vitro fertilizationpower systemfabrication