Limit Search Results
Author
SpringerLink (Online service)
(74)
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
Theory of Computation.
(33)
Computer Science Logic and Foundations of Programming.
(22)
Software engineering.
(20)
Artificial intelligence.
(18)
Computer science -- Mathematics.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
75 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
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:
51. 
Cover image for LaTeX in 24 Hours A Practical Guide for Scientific Writing
LaTeX in 24 Hours A Practical Guide for Scientific Writing
Author 
Datta, Dilip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47831-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Models of Computation
Models of Computation
Author 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42900-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
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:
54. 
Cover image for Hybrid Metaheuristics Powerful Tools for Optimization
Hybrid Metaheuristics Powerful Tools for Optimization
Author 
Blum, Christian. author. Raidl, Günther R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30883-8
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Metadata Shaping Knowledge from Antiquity to the Semantic Web
Metadata Shaping Knowledge from Antiquity to the Semantic Web
Author 
Gartner, Richard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40893-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for An Introduction to Online Computation Determinism, Randomization, Advice
An Introduction to Online Computation Determinism, Randomization, Advice
Author 
Komm, Dennis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42749-2
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Self-aware Computing Systems An Engineering Approach
Self-aware Computing Systems An Engineering Approach
Author 
Lewis, Peter R. editor. Platzner, Marco. editor. Rinner, Bernhard. editor. Tørresen, Jim. editor. Yao, Xin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39675-0
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
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:
60. 
Cover image for Towards Paraconsistent Engineering
Towards Paraconsistent Engineering
Author 
Akama, Seiki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40418-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action