Limit Search Results
Author
SpringerLink (Online service)
(63)
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
64 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
Cover image for 50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence
50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence
Author 
Lungarella, Max. editor. Iida, Fumiya. editor. Bongard, Josh. editor. Pfeifer, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77296-5
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Author 
Comon-Lundh, Hubert. editor. Kirchner, Claude. editor. Kirchner, Hélène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73147-4
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
Author 
Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71322-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
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:
54. 
Cover image for Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello
Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello
Author 
Stock, Oliviero. editor. Schaerf, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11829263
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Theoretical Computer Science Essays in Memory of Shimon Even
Theoretical Computer Science Essays in Memory of Shimon Even
Author 
Goldreich, Oded. editor. Rosenberg, Arnold L. editor. Selman, Alan L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11685654
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Author 
Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11780274
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Imagination and Rigor Essays on Eduardo R. Caianiello’s Scientific Heritage
Imagination and Rigor Essays on Eduardo R. Caianiello’s Scientific Heritage
Author 
Termini, Settimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/88-470-0472-1
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Charting a New Course: Natural Language Processing and Information Retrieval Essays in Honour of Karen Spärck Jones
Charting a New Course: Natural Language Processing and Information Retrieval Essays in Honour of Karen Spärck Jones
Author 
Tait, John I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3467-9
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
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:
60. 
Cover image for Data Management in a Connected World Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday
Data Management in a Connected World Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday
Author 
Härder, Theo. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137346
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action