Limit Search Results
Author
SpringerLink (Online service)
(55)
Panitz, Sven Eric. author.
(2)
Steinbacher, Andreas F. author.
(2)
Yao, Xin. editor.
(2)
Abbas, Hazem M. editor.
(1)
Language
Publication Date
-
Subject
Theory of Computation.
(21)
Artificial intelligence.
(17)
Computer Science Logic and Foundations of Programming.
(9)
Software engineering.
(9)
Computer science -- Mathematics.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
58 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Modern Language Models and Computation Theory with Applications
Modern Language Models and Computation Theory with Applications
Author 
Meduna, Alexander. author. Soukup, Ondřej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63100-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The Incomputable Journeys Beyond the Turing Barrier
The Incomputable Journeys Beyond the Turing Barrier
Author 
Cooper, S. Barry. editor. Soskova, Mariya I. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43669-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Author 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for String Analysis for Software Verification and Security
String Analysis for Software Verification and Security
Author 
Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68670-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Author 
Mahmood, Zaigham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54325-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Rendezvous in Distributed Systems Theory, Algorithms and Applications
Rendezvous in Distributed Systems Theory, Algorithms and Applications
Author 
Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3680-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for The Digital Synaptic Neural Substrate A New Approach to Computational Creativity
The Digital Synaptic Neural Substrate A New Approach to Computational Creativity
Author 
Iqbal, Azlan. author. Guid, Matej. author. Colton, Simon. author. Krivec, Jana. author. Azman, Shazril. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28079-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Evolutionary Computer Vision The First Footprints
Evolutionary Computer Vision The First Footprints
Author 
Olague, Gustavo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43693-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Topics in Grammatical Inference
Topics in Grammatical Inference
Author 
Heinz, Jeffrey. editor. Sempere, José M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48395-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Artificial Neural Networks in Pattern Recognition 7th IAPR TC3 Workshop, ANNPR 2016, Ulm, Germany, September 28-30, 2016, Proceedings
Artificial Neural Networks in Pattern Recognition 7th IAPR TC3 Workshop, ANNPR 2016, Ulm, Germany, September 28-30, 2016, Proceedings
Author 
Schwenker, Friedhelm. editor. Abbas, Hazem M. editor. El Gayar, Neamat. editor. Trentin, Edmondo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46182-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks
Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks
Author 
Nikoletseas, Sotiris. editor. Yang, Yuanyuan. editor. Georgiadis, Apostolos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46810-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action