Limit Search Results
Author
SpringerLink (Online service)
(54)
Kowalczyk, Ryszard. editor.
(4)
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)
Language
Publication Date
-
Subject
Software engineering.
(29)
Theory of Computation.
(27)
Artificial intelligence.
(25)
Computer Science Logic and Foundations of Programming.
(17)
Computer networks .
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
54 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
Author 
Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46508-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings
Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings
Author 
Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. Costa, Ernesto. editor. Sim, Kevin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30668-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Domain-Specific Conceptual Modeling Concepts, Methods and Tools
Domain-Specific Conceptual Modeling Concepts, Methods and Tools
Author 
Karagiannis, Dimitris. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. (orcid)0000-0002-8698-3292 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39417-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Deductive Software Verification - The KeY Book From Theory to Practice
Deductive Software Verification - The KeY Book From Theory to Practice
Author 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Transactions on Computational Collective Intelligence XXIV
Transactions on Computational Collective Intelligence XXIV
Author 
Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Kowalczyk, Ryszard. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-53525-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Transactions on Computational Collective Intelligence XXIII
Transactions on Computational Collective Intelligence XXIII
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Mercik, Jacek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-52886-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action