Search
Lexile Level
AR Level
AR Level
Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings 9783642157837 by
Aldini, Alessandro -
Springer,
-2010
Dewey: 004.0151
N/A
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Softw 9783642214547 by
Bernardo, Marco -
Springer,
-2011
Dewey: 004.0151
N/A
Process Algebraic Approach to Software Architecture Design (2010) 9781848002227 by
Aldini, Alessandro -
Springer,
-2009
Dewey: 005.1
N/A
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 9783540343042 by
Bernardo, Marco -
Springer,
-2006
Dewey: 004.0151
N/A
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, 9783540724827 by
Bernardo, Marco -
Springer,
-2007
Dewey: 005.1
N/A
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems 9783540200833 by
Bernardo, Marco -
Springer,
-2003
Dewey: 005.3
N/A
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, 9783642019173 by
Bernardo, Marco -
Springer,
-2009
Dewey: 006.76015113
N/A
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communicatio 9783642136771 by
Aldini, Alessandro -
Springer,
-2010
Dewey: 005.1
N/A
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software S 9783540688921 by
Bernardo, Marco -
Springer,
-2008
Dewey: 004.6
N/A
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software System 9783642309816 by
Bernardo, Marco -
Springer,
-2012
Dewey: 005.1
N/A
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 9783319189406 by
Bernardo, Marco -
Springer,
-2015
Dewey: 005.1
N/A
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys 9783319073163 by
Bernardo, Marco -
Springer,
-2014
Dewey: 004.0151
N/A
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 9783642388736 by
Bernardo, Marco -
Springer,
-2013
Dewey: 004.0151
N/A
Process Algebraic Approach to Software Architecture Design (2010) 9781447157663 by
Aldini, Alessandro -
Springer,
-2014
Dewey: 005.1
N/A
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, 9783319340951 by
Bernardo, Marco -
Springer,
-2016
Dewey: 005.1
N/A
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-M 9783540256977 by
Bernardo, Marco -
Springer,
-2005
Dewey: 005.131
N/A
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Sys 9783540230687 by
Bernardo, Marco -
Springer,
-2004
Dewey: 004.33
N/A