Search
Lexile Level
AR Level
AR Level
Trustworthy Global Computing: 5th International Symposium, Tgc 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers 9783642156397 by
Wirsing, Martin -
Springer,
-2010
Dewey: 005.8
N/A
Algebraic Methods: Theory, Tools and Applications (1989) 9783540516989 by
Wirsing, Martin -
Springer,
-1989
Dewey: 005.101512
N/A
Adapting Proofs-As-Programs: The Curry--Howard Protocol (2005) 9780387237596 by
Poernomo, Iman -
Springer,
-2005
Dewey: 511.36
N/A
Theoretical Aspects of Computing - Ictac 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings (2005) 9783540291077 by
Hung, Dang Van -
Springer,
-2005
Dewey: 004
N/A
Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, Rissef 2002, Venice, Italy, October 7-11, 2002, Rev 9783540211792 by
Wirsing, Martin -
Springer,
-2004
Dewey: 005.1
N/A
Web Engineering: 4th International Conference, Icwe 2004, Munich, Germany, July 26-30, 2004, Proceedings (2004) 9783540225119 by
Koch, Nora -
Springer,
-2004
Dewey: 004.678
N/A
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing 9783642204005 by
Wirsing, Martin -
Springer,
-2011
Dewey: 005.27
N/A
Algebraic Methodology and Software Technology: 5th International Conference, Amast '96 Munich, Germany, July 1996. Proceedings (1996) 9783540614630 by
Wirsing, Martin -
Springer,
-1996
Dewey: 005.12015113
N/A
Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp '92, Leuven, Belgium, August 26-28, 1992 Proceedings (19 9783540558446 by
Bruynooghe, Maurice -
Springer,
-1992
Dewey: 005.131
N/A
Programming Language Implementation and Logic Programming: 3rd International Symposium, Plilp '91, Passau, Germany, August 26-28, 1991. Proceedings (1 9783540544449 by
Maluszynski, Jan -
Springer,
-1991
Dewey: 005.13
N/A
Stacs 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings (1988) 9783540188346 by
Cori, Robert -
Springer,
-1988
Dewey: 004
N/A
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions (2008) 9783540894360 by
Wirsing, Martin -
Springer,
-2008
Dewey: 005.1
N/A
Fundamental Approaches to Software Engineering: 12th International Conference, Fase 2009, Held as Part of the Joint European Conferences on Theory and 9783642005923 by
Chechik, Marsha -
Springer,
-2009
Dewey: 005.1
N/A
Stacs 87: 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Frg, February 19-21, 1987 (1987) 9783540172192 by
Brandenburg, Franz J -
Springer,
-1987
Dewey: 004
N/A
Adapting Proofs-As-Programs: The Curry--Howard Protocol 9781441920140 by
Poernomo, Iman -
Springer,
-2010
Dewey: 511.36
N/A
Software Engineering for Collective Autonomic Systems: The Ascens Approach (2015) 9783319163093 by
Wirsing, Martin -
Springer,
-2015
Dewey: 005.1
N/A
Knowledge Science, Engineering and Management: 8th International Conference, Ksem 2015, Chongqing, China, October 28-30, 2015, Proceedings (2015) 9783319251585 by
Zhang, Songmao -
Springer,
-2015
Dewey: 005.1
N/A
Digital Education: At the Mooc Crossroads Where the Interests of Academia and Business Converge: 6th European Moocs Stakeholders Summit, Emoocs 2019, 9783030198749 by
Calise, Mauro -
Springer,
-2019
Dewey: 374.26
N/A