Search
Lexile Level
AR Level
AR Level
Java and the Java Virtual Machine: Definition, Verification, Validation (Softcover Reprint of the Original 1st 2001) 9783642639975 by
Stärk, Robert F -
Springer,
-2014
Dewey: 005.133
N/A
Abstract State Machines: A Method for High-Level System Design and Analysis (2003) 9783540007029 by
Börger, Egon -
Springer,
-2003
Dewey: 003.3
N/A
Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings (2 9783540006244 by
Börger, Egon -
Springer,
-2003
Dewey: 511.3
N/A
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (1994) 9783540582779 by
Börger, Egon -
Springer,
-1994
Dewey: 004.015113
N/A
Classical Decision Problem (Softcover Reprint of the Original 1st 1997) 9783540423249 by
Börger, Egon -
Springer,
-2001
Dewey: 004.0151
N/A
Java and the Java Virtual Machine: Definition, Verification, Validation (2001) 9783540420880 by
Stärk, Robert F -
Springer,
-2001
Dewey: 005.133
N/A
Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen Und Kalküle Unter Besonderer Berücksichtigung Ihrer Komplexität (2. Aufl 9783528189280 by
Börger, Egon -
Vieweg+teubner Verlag,
-1986
Dewey: 005.1
N/A
Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures (2008) 9783540897613 by
Börger, Egon -
Springer,
-2008
Dewey: 005.1
N/A
Abstract State Machines, B and Z: First International Conference, Abz 2008, London, Uk, September 16-18, 2008. Proceedings (2008) 9783540876021 by
Börger, Egon -
Springer,
-2008
Dewey: 511.35
N/A
Subject-Oriented Business Process Management (2012) 9783642323911 by
Fleischmann, Albert -
Springer,
-2012
Dewey: 004
N/A
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (1996) 9783540619291 by
Abrial, Jean-Raymond -
Springer,
-1996
Dewey: 621.183
N/A
Architecture Design and Validation Methods 9783540649762 by
Börger, Egon -
Springer,
-2000
Dewey: 004.22
N/A
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, Frg, October 2-6, 1989. Proceedings (1990) 9783540527534 by
Börger, Egon -
Springer,
-1990
Dewey: 004.015113
N/A
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (1991) 9783540544876 by
Börger, Egon -
Springer,
-1991
Dewey: 004.015113
N/A
Abstract State Machines: A Method for High-Level System Design and Analysis (Softcover Reprint of the Original 1st 2003) 9783642621161 by
Börger, Egon -
Springer,
-2013
Dewey: 003.3
N/A
Architecture Design and Validation Methods (Softcover Reprint of the Original 1st 2000) 9783642629761 by
Börger, Egon -
Springer,
-2012
Dewey: 004.22
N/A
Subject-Oriented Business Process Management (2012) 9783642440953 by
Fleischmann, Albert -
Springer,
-2014
Dewey: 004
N/A
Modeling Companion for Software Practitioners (2018) 9783662566398 by
Börger, Egon -
Springer,
-2018
Dewey: 005.1
N/A
CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, Frg, October 12-16, 1987. Proceedings (1988) 9783540502418 by
Börger, Egon -
Springer,
-1988
Dewey: 005.1015113
N/A
Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (1993) 9783540569923 by
Börger, Egon -
Springer,
-1993
Dewey: 004.015113
N/A
Csl'88: 2nd Workshop on Computer Science Logic, Duisburg, Frg, October 3-7, 1988. Proceedings (1989) 9783540516590 by
Börger, Egon -
Springer,
-1989
Dewey: 005.1015113
N/A
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (1992) 9783540557890 by
Börger, Egon -
Springer,
-1992
Dewey: 004.015113
N/A
Structures of Computing: A Guide to Practice-Oriented Theory (2024) 9783031543579 by
Börger, Egon -
Springer,
-2024
N/A