Limit Search Results
Author
SpringerLink (Online service)
(20)
Aguzzoli, Stefano. editor.
(1)
Artikis, Alexander. editor.
(1)
Borgida, Alexander T. editor.
(1)
Brodnik, Andrej. editor.
(1)
Language
Publication Date
-
Subject
Software engineering.
(8)
Artificial intelligence.
(7)
Computer Communication Networks.
(5)
Computer software.
(5)
Logic design.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
20 Results Found Subscribe to search results
00000000DEFAULT
Print
13. 
Cover image for Recent Advances in Boundary Element Methods A Volume to Honor Professor Dimitri Beskos
Recent Advances in Boundary Element Methods A Volume to Honor Professor Dimitri Beskos
Author 
Manolis, George D. editor. Polyzos, D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9710-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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:
15. 
Cover image for Industrial Engineering and Ergonomics Visions, Concepts, Methods and Tools Festschrift in Honor of Professor Holger Luczak
Industrial Engineering and Ergonomics Visions, Concepts, Methods and Tools Festschrift in Honor of Professor Holger Luczak
Author 
Schlick, Christopher M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01293-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
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:
17. 
Cover image for The Information Society: Innovation, Legitimacy, Ethics and Democracy In honor of Professor Jacques Berleur s.j. Proceedings of the Conference “Information Society: Governance, Ethics and Social Consequences”, University of Namur, Belgium 22–23 May 2006
The Information Society: Innovation, Legitimacy, Ethics and Democracy In honor of Professor Jacques Berleur s.j. Proceedings of the Conference “Information Society: Governance, Ethics and Social Consequences”, University of Namur, Belgium 22–23 May 2006
Author 
Goujon, Philippe. editor. Lavelle, Sylvian. editor. Duquenoy, Penny. editor. Kimppa, Kai. editor. Laurent, Véronique. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-72381-5
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
Author 
Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75221-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
Author 
Aguzzoli, Stefano. editor. Ciabattoni, Agata. editor. Gerla, Brunella. editor. Manara, Corrado. editor. Marra, Vincenzo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75939-3
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Author 
Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106663
Format: 
Availability 
Online Library~1
Available:
Copies: