Limit Search Results
Author
SpringerLink (Online service)
(33)
Dershowitz, Nachum. editor.
(3)
Nissan, Ephraim. editor.
(3)
Adamatzky, Andrew. editor.
(1)
Alvim, Mário S. editor.
(1)
Language
Publication Date
-
Subject
Computer science.
(22)
Software engineering.
(13)
Logic design.
(9)
Algebra -- Data processing.
(3)
Data mining.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
33 Results Found Subscribe to search results
000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Stochastic Models in Reliability, Network Security and System Safety Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday
Stochastic Models in Reliability, Network Security and System Safety Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday
Author 
Li, Quan-Lin. editor. Wang, Jinting. editor. Yu, Hai-Bo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0864-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Author 
Alvim, Mário S. editor. Chatzikokolakis, Kostas. editor. Olarte, Carlos. editor. Valencia, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31175-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Author 
Lutz, Carsten. editor. Sattler, Uli. editor. Tinelli, Cesare. editor. Turhan, Anni-Yasmin. editor. Wolter, Frank. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22102-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Evolutionary Computing and Artificial Intelligence Essays Dedicated to Takao Terano on the Occasion of His Retirement
Evolutionary Computing and Artificial Intelligence Essays Dedicated to Takao Terano on the Occasion of His Retirement
Author 
Koch, Fernando. editor. (orcid)0000-0001-7136-3253 Yoshikawa, Atsushi. editor. (orcid)0000-0001-7020-5085 Wang, Shihan. editor. (orcid)0000-0001-5971-7522 Terano, Takao. editor. (orcid)0000-0002-2364-6950 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6936-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Author 
Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01461-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Author 
Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95246-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Inspired by Nature Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday
Inspired by Nature Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday
Author 
Stepney, Susan. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67997-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Author 
de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90089-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday
Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday
Author 
Böckenhauer, Hans-Joachim. editor. Komm, Dennis. editor. Unger, Walter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98355-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Language, Culture, Computation: Computational Linguistics and Linguistics Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III
Language, Culture, Computation: Computational Linguistics and Linguistics Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III
Author 
Dershowitz, Nachum. editor. Nissan, Ephraim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-45327-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Language, Culture, Computation: Computing for the Humanities, Law, and Narratives Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II
Language, Culture, Computation: Computing for the Humanities, Law, and Narratives Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II
Author 
Dershowitz, Nachum. editor. Nissan, Ephraim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-45324-3
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Language, Culture, Computation: Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I
Language, Culture, Computation: Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I
Author 
Dershowitz, Nachum. editor. Nissan, Ephraim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-45321-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Programming Logics Essays in Memory of Harald Ganzinger
Programming Logics Essays in Memory of Harald Ganzinger
Author 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334468.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Author 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334264.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday
Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday
Author 
Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28279-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Author 
Artikis, Alexander. editor. Craven, Robert. editor. Kesim Çiçekli, Nihan. editor. Sadighi, Babak. editor. Stathis, Kostas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29414-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
Author 
Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30743-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
Author 
Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20832-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
Author 
Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24897-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
Author 
Pogodalla, Sylvain. editor. Quatrini, Myriam. editor. Retoré, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21490-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Algorithms and Applications Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday
Algorithms and Applications Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday
Author 
Elomaa, Tapio. editor. Mannila, Heikki. editor. Orponen, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12476-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
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:
24. 
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:
25. 
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:
26. 
Cover image for Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Author 
Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68679-8
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
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:
28. 
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:
29. 
Cover image for Arguing on the Toulmin Model New Essays in Argument Analysis and Evaluation
Arguing on the Toulmin Model New Essays in Argument Analysis and Evaluation
Author 
Hitchcock, David. Verheij, Bart. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4938-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
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:
31. 
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:
32. 
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:
33. 
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: