Agile Processes in Software Engineering and Extreme Programming: 13th International Conference, XP 2012, Malmö, Sweden, May 21-25, 2012, Proceedings
Book
Guide to Advanced Empirical Software Engineering
Book
Presuppositions and Discourse: Essays Offered to Hans Kamp
Book
Case Study Research in Software Engineering: Guidelines and Examples
Book
Software Specification and Design: An Engineering Approach
Book
Formal Methods and Models for System Design: A System Level Perspective
Book
Software Engineering for Collective Autonomic Systems: The ASCENS Approach
Book
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Book
Provably Correct Systems
Book
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Book
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
Book
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings
Book
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Book
Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers
Book
Models in Software Engineering: Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
Book
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings
Book
XML-Based Data Management and Multimedia Engineering - EDBT 2002 Workshops: EDBT 2002 Workshops XMLDM, MDDE, and YRWS, Prague, Czech Republic, March 24-28, 2002, Revised Papers
Book
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
Book
Modeling Software
Book
OOIS'97: 1997 International Conference on Object Oriented Information Systems 10–12 November 1997, Brisbane Proceedings
Book
Web, Web-Services, and Database Systems: NODe 2002 Web and Database-Related Workshops, Erfurt, Germany, October 7-10, 2002, Revised Papers
Book
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Book
Model-Driven Development and Operation of Multi-Cloud Applications: The MODAClouds Approach
Book
Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
Book
Conceptual Modeling, Databases, . . .
Book
The Teaching of Psychology: Essays in Honor of Wilbert J. McKeachie and Charles L. Brewer
Book
Learning and Study Strategies: Issues in Assessment, Instruction, and Evaluation
Book
Frontiers of Motivational Psychology: Essays in Honor of John W. Atkinson
Book
Scientism: The New Orthodoxy
Book
The Oxford Handbook of William Wordsworth
Book
Human Nature in Its Wholeness: A Roman Catholic Perspective
Book
Teaching for Active Citizenship: Moral Values and Personal Epistemology in Early Years Classrooms
Book
Educational Research with Our Youngest: Voices of Infants and Toddlers
Book
Reframing the Conceptual Change . . .
Book
Social Discourse and Moral Judgement
Book
Times Crossword: The Most Famous . . .
Book
The Times Crossword Masterclass
Book
Constructivist Views on the Teaching and . . .
Book
Times Crosswords 2001: The . . .
Book
Education, Technology, Power: Educational Computing as a Social Practice
Book
Corporate Elites and the Reform of Public Education
Book
Rethinking School Reform: Views from the Classroom
Book
Pencils Down: Rethinking High-stakes Testing and Accountability in Public Schools