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 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:
2. 
Cover image for New Metaheuristic Schemes: Mechanisms and Applications
New Metaheuristic Schemes: Mechanisms and Applications
Author 
Cuevas, Erik. author. (orcid)0000-0002-0358-6049 Zaldívar, Daniel. author. Pérez-Cisneros, Marco. author. (orcid)0000-0001-6493-0408 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45561-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Solving Ordinary Differential Equations in Python
Solving Ordinary Differential Equations in Python
Author 
Sundnes, Joakim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46768-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Foundations for Functional Modeling of Technical Artefacts
Foundations for Functional Modeling of Technical Artefacts
Author 
Lind, Morten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45918-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Digital Twins for Vessel Life Cycle Service Innovation in Maritime Industry
Digital Twins for Vessel Life Cycle Service Innovation in Maritime Industry
Author 
Zhang, Houxiang. author. (orcid)0000-0003-0122-0964 Li, Guoyuan. author. (orcid)0000-0001-7553-0899 Hildre, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-4768-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Computer science security : concepts and tools
Computer science security : concepts and tools
Author 
Zaidoun, Ameur Salem, author.
Preferred Shelf Number 
QA76.9 .A25 Z35 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163847
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
Cover image for Sentiment Analysis in the Bio-Medical Domain Techniques, Tools, and Applications
Sentiment Analysis in the Bio-Medical Domain Techniques, Tools, and Applications
Author 
Satapathy, Ranjan. author. Cambria, Erik. author. Hussain, Amir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68468-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computational Intelligence for Network Structure Analytics
Computational Intelligence for Network Structure Analytics
Author 
Gong, Maoguo. author. Cai, Qing. author. Ma, Lijia. author. Wang, Shanfeng. author. Lei, Yu. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-4558-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action