Limit Search Results
Author
SpringerLink (Online service)
(51)
Dochev, Danail. editor.
(2)
Johnson, Michael. editor.
(2)
Muenchen, Robert A. author.
(2)
Achatz, Reinhold. editor.
(1)
Language
Publication Date
-
Subject
Artificial intelligence.
(17)
Software engineering.
(17)
Theory of Computation.
(9)
Information storage and retrieval systems.
(8)
Application software.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
52 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Probabilistic Logics and Probabilistic Networks
Probabilistic Logics and Probabilistic Networks
Author 
Haenni, Rolf. author. Romeijn, Jan-Willem. author. Wheeler, Gregory. author. Williamson, Jon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0008-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Dynamic Formal Epistemology
Dynamic Formal Epistemology
Author 
Girard, Patrick. editor. Roy, Olivier. editor. Marion, Mathieu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0074-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Proof, Computation and Agency Logic at the Crossroads
Proof, Computation and Agency Logic at the Crossroads
Author 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0080-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Degrees of Belief
Degrees of Belief
Author 
Huber, Franz. editor. Schmidt-Petri, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9198-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Dynamic Epistemic Logic
Dynamic Epistemic Logic
Author 
Ditmarsch, Hans. Hoek, Wiebe. Kooi, Barteld. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5839-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Ontology and Conceptual Realism
Formal Ontology and Conceptual Realism
Author 
Cocchiarella, Nino B. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6204-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings
Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings
Author 
Cellier, Peggy. editor. (orcid)0000-0002-1495-2534 Ganter, Bernhard. editor. (orcid)0000-0003-0767-1379 Missaoui, Rokia. editor. (orcid)0000-0001-7410-4177 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-03364-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python
Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python
Author 
Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2718-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers
Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers
Author 
Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588 Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56208-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Creative approaches towards development of computing and multidisciplinary IT solutions for society
Creative approaches towards development of computing and multidisciplinary IT solutions for society
Author 
Bijalwan, Anchit, editor.
Preferred Shelf Number 
QA76 .C74 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for The French School of Programming
The French School of Programming
Author 
Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34518-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings
Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings
Author 
Grünbacher, Paul. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54045-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action