Limit Search Results
Author
SpringerLink (Online service)
(64)
Meseguer, José. editor.
(3)
Dershowitz, Nachum. editor.
(2)
Jones, Cliff B. editor.
(2)
Liu, Zhiming. editor.
(2)
Language
Publication Date
-
Subject
Software engineering.
(29)
Logic design.
(27)
Artificial intelligence.
(22)
Computer software.
(13)
Computer Communication Networks.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
65 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
Author 
Engels, Gregor. editor. Lewerentz, Claus. editor. Schäfer, Wilhelm. editor. Schürr, Andy. editor. Westfechtel, Bernhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17322-6
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz
Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz
Author 
Ravi, S. S. editor. Shukla, Sandeep K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9688-4
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Graph Theory, Computational Intelligence and Thought Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday
Graph Theory, Computational Intelligence and Thought Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday
Author 
Lipshteyn, Marina. editor. Levit, Vadim E. editor. McConnell, Ross M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02029-2
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Author 
Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11447-2
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulos
Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulos
Author 
Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02463-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
Author 
Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03456-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Author 
Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04164-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Author 
Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01748-3
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Aspects of Natural Language Processing Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday
Aspects of Natural Language Processing Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday
Author 
Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04735-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for The Path to Autonomous Robots Essays in Honor of George A. Bekey
The Path to Autonomous Robots Essays in Honor of George A. Bekey
Author 
Sukhatme, Gaurav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-85774-9
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Mathematical Methods in Computer Science Essays in Memory of Thomas Beth
Mathematical Methods in Computer Science Essays in Memory of Thomas Beth
Author 
Calmet, Jacques. editor. Geiselmann, Willi. editor. Müller-Quade, Jörn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89994-5
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Recent Advances in Linear Models and Related Areas Essays in Honour of Helge Toutenburg
Recent Advances in Linear Models and Related Areas Essays in Honour of Helge Toutenburg
Author 
Shalabh. author. Heumann, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7908-2064-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action