Limit Search Results
Author
SpringerLink (Online service)
(79)
Ayala, José L. editor.
(2)
Broy, Manfred. editor.
(2)
Chockler, Hana. editor. (orcid)0000-0003-1219-0713
(2)
Dingel, Juergen. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(65)
Software engineering.
(55)
Logic design.
(54)
Artificial intelligence.
(22)
Simulation and Modeling.
(14)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
80 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings
Conceptual Modeling 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings
Author 
Ng, Wilfred. editor. Storey, Veda C. editor. Trujillo, Juan C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335150.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41924-9
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse
Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse
Author 
Böckenhauer, Hans-Joachim. author. Hromkovic, Juraj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337578.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00725-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
Author 
Brucker, Achim D. editor. Julliand, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30473-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
Author 
Kienzle, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29645-1
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Recht ex machina Formalisierung des Rechts im Internet der Dienste
Recht ex machina Formalisierung des Rechts im Internet der Dienste
Author 
Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17671-5
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
Author 
Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34002-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Transactions on Aspect-Oriented Software Development IX
Transactions on Aspect-Oriented Software Development IX
Author 
Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35551-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings
Author 
France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33666-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Technische Informatik Band 2: Entwurf digitaler Schaltungen
Technische Informatik Band 2: Entwurf digitaler Schaltungen
Author 
Kemnitz, Günter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17447-6
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
Author 
Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17752-1
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
Languages, Methodologies, and Development Tools for Multi-Agent Systems Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
Author 
Dastani, Mehdi. editor. Fallah Seghrouchni, Amal. editor. Hübner, Jomi. editor. Leite, João. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22723-3
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Author 
Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23702-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action