Limit Search Results
Author
SpringerLink (Online service)
(78)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324
(3)
Matheja, Christoph. editor. (orcid)0000-0001-9151-0441
(3)
Language
Publication Date
-
Subject
Software engineering.
(39)
Logic design.
(27)
Artificial intelligence.
(24)
Computer software.
(13)
Computer Science Logic and Foundations of Programming.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
79 Results Found Subscribe to search results
0000000DEFAULT
Print
73. 
Cover image for From Integrated Publication and Information Systems to Information and Knowledge Environments Essays Dedicated to Erich J. Neuhold on the Occasion of His 65th Birthday
From Integrated Publication and Information Systems to Information and Knowledge Environments Essays Dedicated to Erich J. Neuhold on the Occasion of His 65th Birthday
Author 
Hemmje, Matthias. editor. Niederée, Claudia. editor. Risse, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105978
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Author 
Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106390
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
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:
76. 
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:
77. 
Cover image for Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Author 
Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11601548
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
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:
79. 
Cover image for Proof, language, and interaction essays in honour of Robin Milner
Proof, language, and interaction essays in honour of Robin Milner
Author 
Plotkin, G. (Gordon), 1946- Stirling, Colin P. Tofte, Mads. Milner, R. (Robin), 1934-2010.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action