Limit Search Results
Author
SpringerLink (Online service)
(1296)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
LaMeres, Brock J. author.
(10)
Language
Publication Date
-
Subject
Logic design.
(1202)
Computer science.
(1038)
Software engineering.
(753)
Artificial intelligence.
(390)
Computer Communication Networks.
(297)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1440 Results Found Subscribe to search results
000000000000DEFAULT
Print
1345. 
Cover image for Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
Author 
Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137052
Format: 
Availability 
Online Library~1
Available:
Copies:
1346. 
Cover image for Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
Author 
Giesl, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135673
Format: 
Availability 
Online Library~1
Available:
Copies:
1347. 
Cover image for Model-Based Testing of Reactive Systems Advanced Lectures
Model-Based Testing of Reactive Systems Advanced Lectures
Author 
Broy, Manfred. editor. Jonsson, Bengt. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. Pretschner, Alexander. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137241
Format: 
Availability 
Online Library~1
Available:
Copies:
1348. 
Cover image for Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers
Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers
Author 
Grelck, Clemens. editor. Huch, Frank. editor. Michaelson, Greg J. editor. Trinder, Phil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136772
Format: 
Availability 
Online Library~1
Available:
Copies:
1349. 
Cover image for Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers
Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers
Author 
Guelfi, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136153
Format: 
Availability 
Online Library~1
Available:
Copies:
1350. 
Cover image for Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers
Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers
Author 
Jermann, Christophe. editor. Neumaier, Arnold. editor. Sam, Djamila. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136292
Format: 
Availability 
Online Library~1
Available:
Copies:
1351. 
Cover image for Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings
Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings
Author 
Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136248
Format: 
Availability 
Online Library~1
Available:
Copies:
1352. 
Cover image for Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings
Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings
Author 
Beek, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11564751
Format: 
Availability 
Online Library~1
Available:
Copies:
1353. 
Cover image for Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings
Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings
Author 
Reussner, Ralf. editor. Mayer, Johannes. editor. Stafford, Judith A. editor. Overhage, Sven. editor. Becker, Steffen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11558569
Format: 
Availability 
Online Library~1
Available:
Copies:
1354. 
Cover image for Categories for Software Engineering
Categories for Software Engineering
Author 
Fiadeiro, José Luiz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138249
Format: 
Availability 
Online Library~1
Available:
Copies:
1355. 
Cover image for Einführung in die Informatik Objektorientiert mit Java
Einführung in die Informatik Objektorientiert mit Java
Author 
Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138253
Format: 
Availability 
Online Library~1
Available:
Copies:
1356. 
Cover image for A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
Author 
Kurki-Suonio, Reino. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138956
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action