Search
Lexile Level
AR Level
AR Level
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings 9783642152962 by
Chatterjee, Krishnendu -
Springer,
-2010
Dewey: 004.0151
N/A
Computational Methods in Systems Biology: 11th International Conference, Cmsb 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings (2013) 9783642407079 by
Gupta, Ashutosh -
Springer,
-2013
Dewey: 003.3
N/A
Hybrid Systems: Computation and Control: First International Workshop, Hscc'98, Berkeley, California, Usa, April 13 - 15, 1998, Proceedings (1998) 9783540643586 by
Henzinger, Thomas A -
Springer,
-1998
Dewey: 629.89
N/A
Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the Eacsl, Lausanne, Switzerland, September 11-15, 2007, Procee 9783540749141 by
Duparc, Jacques -
Springer,
-2007
Dewey: 004.015113
N/A
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 201 9783642360442 by
Kucera, Antonin -
Springer,
-2013
Dewey: 004.6
N/A
Hybrid Systems III: Verification and Control (1996) 9783540611554 by
Alur, Rajeev -
Springer,
-1996
Dewey: 629.89
N/A
Computer Aided Verification: 8th International Conference, Cav '96, New Brunswick, Nj, Usa, July 31 - August 3, 1996. Proceedings (1996) 9783540614746 by
Alur, Rajeev -
Springer,
-1996
Dewey: 004.24
N/A
Embedded Software: First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8-10, 2001. Proceedings (2001) 9783540426738 by
Henzinger, Thomas A -
Springer,
-2001
Dewey: 005.1
N/A