Limit Search Results
Author
SpringerLink (Online service)
(880)
Jansen, Klaus. editor.
(13)
Mayr, Ernst W. editor.
(9)
Du, Ding-Zhu. editor.
(8)
Vorozhtsov, Evgenii V. editor.
(8)
Language
Publication Date
-
Subject
Computer science.
(745)
Computer software.
(545)
Computer Communication Networks.
(228)
Data structures (Computer science).
(213)
Artificial intelligence.
(199)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
880 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Principle of Petri Nets
Principle of Petri Nets
Author 
Yuan, Chongyi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7336-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
Author 
Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88946-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for An Introduction to Theory of Computation An Algorithmic Approach
An Introduction to Theory of Computation An Algorithmic Approach
Author 
Ogihara, Mitsunori. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84740-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Nonlinear Dynamics, Volume 1 Proceedings of the 36th IMAC, A Conference and Exposition on Structural Dynamics 2018
Nonlinear Dynamics, Volume 1 Proceedings of the 36th IMAC, A Conference and Exposition on Structural Dynamics 2018
Author 
Kerschen, Gaetan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74280-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for An Introduction to Complex Systems Making Sense of a Changing World​
An Introduction to Complex Systems Making Sense of a Changing World​
Author 
Tranquillo, Joe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02589-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for A Mathematical Modeling Approach from Nonlinear Dynamics to Complex Systems
A Mathematical Modeling Approach from Nonlinear Dynamics to Complex Systems
Author 
Macau, Elbert E. N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78512-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Analysis of Chaotic Behavior in Non-linear Dynamical Systems Models and Algorithms for Quaternions
Analysis of Chaotic Behavior in Non-linear Dynamical Systems Models and Algorithms for Quaternions
Author 
Piórek, Michał. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94887-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings
Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings
Author 
Alves, Ronnie. editor. (orcid)0000-0003-4139-0562 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01722-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings
Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings
Author 
Deng, Xiaotie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99660-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Fourier Analysis—A Signal Processing Approach
Fourier Analysis—A Signal Processing Approach
Author 
Sundararajan, D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1693-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action