Limit Search Results
Author
SpringerLink (Online service)
(97)
O'Regan, Gerard. author.
(5)
Astorino, Annabella. editor. (orcid)0000-0002-3439-180X
(3)
Brand, Ludwig.
(3)
Georgiev, Ivan. editor.
(3)
Language
English
(161)
Publication Date
-
Subject
Computational intelligence.
(31)
Computer science -- Mathematics.
(25)
Artificial intelligence.
(24)
Electronic books.
(20)
Computer science.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
161 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The Symbolic Computation of Integrability Structures for Partial Differential Equations
The Symbolic Computation of Integrability Structures for Partial Differential Equations
Author 
Krasil'shchik, Joseph. author. Verbovetsky, Alexander. author. Vitolo, Raffaele. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71655-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Traffic Networks as Information Systems A Viability Approach
Traffic Networks as Information Systems A Viability Approach
Author 
Aubin, Jean-Pierre. author. Désilles, Anya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54771-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
Author 
Trillas, Enric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56053-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in Unconventional Computing Volume 1: Theory
Advances in Unconventional Computing Volume 1: Theory
Author 
Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33924-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Proceedings of Fifth International Conference on Soft Computing for Problem Solving SocProS 2015, Volume 1
Proceedings of Fifth International Conference on Soft Computing for Problem Solving SocProS 2015, Volume 1
Author 
Pant, Millie. editor. Deep, Kusum. editor. (orcid)0000-0001-5821-2696 Bansal, Jagdish Chand. editor. Nagar, Atulya. editor. (orcid)0000-0001-5549-6435 Das, Kedar Nath. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-0448-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers
Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers
Author 
Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51917-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Riemannian Computing in Computer Vision
Riemannian Computing in Computer Vision
Author 
Turaga, Pavan K. editor. Srivastava, Anuj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22957-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Intelligent Computing Systems Emerging Application Areas
Intelligent Computing Systems Emerging Application Areas
Author 
Tsihrintzis, George A. editor. Virvou, Maria. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49179-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Limits of Computation From a Programming Perspective
Limits of Computation From a Programming Perspective
Author 
Reus, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27889-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Advances in Simulation of Wing and Nacelle Stall Results of the Closing Symposium of the DFG Research Unit FOR 1066, December 1-2, 2014, Braunschweig, Germany
Advances in Simulation of Wing and Nacelle Stall Results of the Closing Symposium of the DFG Research Unit FOR 1066, December 1-2, 2014, Braunschweig, Germany
Author 
Radespiel, Rolf. editor. Niehuis, Reinhard. editor. Kroll, Norbert. editor. Behrends, Kathrin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21127-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action