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
58 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Multi-valued Logic for Decision-Making Under Uncertainty
Multi-valued Logic for Decision-Making Under Uncertainty
Author 
Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74762-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for A Concise Introduction to Software Engineering With Open Source and GenAI
A Concise Introduction to Software Engineering With Open Source and GenAI
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74318-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67695-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Category Theory Using Haskell An Introduction with Moggi and Yoneda
Category Theory Using Haskell An Introduction with Moggi and Yoneda
Author 
Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68538-5
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Algorithmic Foundations for Social Advancement Recent Progress on Theory and Practice
Algorithmic Foundations for Social Advancement Recent Progress on Theory and Practice
Author 
Minato, Shin-ichi. editor. Uno, Takeaki. editor. Yasuda, Norihito. editor. Horiyama, Takashi. editor. Kawarabayashi, Ken-ichi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0668-9
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Mathematical Tools for Telemedicine
Mathematical Tools for Telemedicine
Author 
Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications
Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications
Author 
Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43540-9
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for FPGA EDA Design Principles and Implementation
FPGA EDA Design Principles and Implementation
Author 
Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7755-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Artificial Intelligence and Brain Research Neural Networks, Deep Learning and the Future of Cognition
Artificial Intelligence and Brain Research Neural Networks, Deep Learning and the Future of Cognition
Author 
Krauss, Patrick. author. (orcid)0000-0002-6611-7733 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-68980-6
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Author 
Downey, Rod. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53744-8
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for A Beginner's Guide to Informatics and Artificial Intelligence A Short Course Towards Practical Problem Solving
A Beginner's Guide to Informatics and Artificial Intelligence A Short Course Towards Practical Problem Solving
Author 
Weng, Wei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-1477-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
Author 
Blum, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60103-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets