Search
Lexile Level
AR Level
AR Level
Object, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings 9783642305603 by
Furia, Carlo A -
Springer,
-2012
Dewey: 005.117
N/A
Algebraic Methodology and Software Technology: 13th International Conference, Amast 2010, Lac-Beauport, Qc, Canada, June 23-25, 2010, Revised Selected 9783642177958 by
Johnson, Michael -
Springer,
-2011
Dewey: 005.1
N/A
Formal Verification of Object-Oriented Software: International Conference, Foveoos 2010, Paris, France, June 28-30, 2010, Revised Selected Papers (201 9783642180699 by
Beckert, Bernhard -
Springer,
-2011
Dewey: 005.117
N/A
Performance Evaluation, Measurement and Characterization of Complex Systems: Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 9783642182051 by
Nambiar, Raghunath -
Springer,
-2011
Dewey: 005
N/A
Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, Usa, Wa, Usa, Marc 9783642212918 by
Calinescu, Radu -
Springer,
-2011
Dewey: 004.24
N/A
Modelling -- Foundation and Applications: 7th European Conference, Ecmfa 2011, Birmingham, Uk, June 6-9, 2011, Proceedings (2011) 9783642214691 by
France, Robert B -
Springer,
-2011
Dewey: 004.6
N/A
Tests and Proofs: 5th International Conference, Tap 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings 9783642217678 by
Gogolla, Martin -
Springer,
-2011
Dewey: 005.1
N/A
Component-Based Software Engineering: 13th International Symposium, Cbse 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings (2010) 9783642132377 by
Grunske, Lars -
Springer,
-2010
Dewey: 005.1
N/A
Methods and Tools of Parallel Programming Multicomputers 9783642148217 by
Hsu, Ching-Hsien -
Springer,
-2010
Dewey: 005.275
N/A
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers 9783642144578 by
Laneve, Cosimo -
Springer,
-2010
Dewey: 006.7
N/A
Principles and Practice of Constraint Programming - CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proc 9783642153952 by
Cohen, David -
Springer,
-2010
Dewey: 005
N/A
Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2010, Revi 9783642153303 by
Van Eekelen, Marko -
Springer,
-2010
Dewey: 004
N/A
Software Product Lines: Going Beyond: 14th International Conference, Splc 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings 9783642155789 by
Bosch, Jan -
Springer,
-2010
Dewey: 005.1
N/A
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings 9783642157684 by
Cousot, Radhia -
Springer,
-2010
Dewey: 005.13
N/A
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (2010) 9783642166112 by
Barringer, Howard -
Springer,
-2010
Dewey: 005.1
N/A
Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings 9783642150562 by
Leavens, Gary T -
Springer,
-2010
Dewey: 005.14
N/A
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, Proceedings 9783642158971 by
Kowalewski, Stefan -
Springer,
-2010
Dewey: 005.131
N/A
Human-Centred Software Engineering: Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings 9783642164873 by
Bernhaupt, Regina -
Springer,
-2010
Dewey: 004.019
N/A
Middleware 2010: Acm/Ifip/Usenix 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings (2010) 9783642169540 by
Gupta, Indranil -
Springer,
-2010
Dewey: 004
N/A
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 9783642130090 by
Müller, Peter -
Springer,
-2010
Dewey: 005.1
N/A
Beyond Loop Level Parallelism in Openmp: Accelerators, Tasking and More 9783642132162 by
Sato, Mitsuhisa -
Springer,
-2010
Dewey: 004
N/A
Coordination Models and Languages: 12th International Conference, COORDINATION 2010 Amsterdam, The Netherlands, June 7-9, 2010 Proceedings 9783642134135 by
Clarke, David -
Springer,
-2010
Dewey: 005.1
N/A
Tests and Proofs: 4th International Conference, Tap 2010, Málaga, Spain, July 1-2, 2010, Proceedings (2010) 9783642139765 by
Fraser, Gordon -
Springer,
-2010
Dewey: 005.14
N/A
Objects, Models, Components, Patterns: 48th International Conference, Tools 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings (2010) 9783642139529 by
Vitek, Jan -
Springer,
-2010
Dewey: 005.1
N/A
Research Into Practice - Reality and Gaps: 6th International Conference on the Quality of Software Architectures, Qosa 2010, Prague, Czech Republic, J 9783642138201 by
Heineman, George -
Springer,
-2010
Dewey: 005.1
N/A