Limit Search Results
Author
SpringerLink (Online service)
(50)
Astorino, Annabella. editor. (orcid)0000-0002-3439-180X
(3)
Katz, Jonathan. editor.
(3)
Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383
(3)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(3)
Language
Publication Date
-
Subject
Computer science -- Mathematics.
(25)
Computer networks .
(16)
Software engineering.
(16)
Application software.
(15)
Computer and Information Systems Applications.
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
57 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Numerical methods, algorithms, and tools in C#
Numerical methods, algorithms, and tools in C#
Author 
Dos Passos, Waldemar, author.
Preferred Shelf Number 
QA297 .D684 2010
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Cultural algorithms : tools to model complex dynamic social systems
Cultural algorithms : tools to model complex dynamic social systems
Author 
Reynolds, Robert G., author.
Preferred Shelf Number 
H61.25 .R49 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119403111
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Machine learning and big data : concepts, algorithms, tools and applications
Machine learning and big data : concepts, algorithms, tools and applications
Author 
Dulhare, Uma N., editor. Ahmad, Khaleel, editor. Khairol Amali Bin Ahmad, editor.
Preferred Shelf Number 
Q325.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119654834
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54577-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54580-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Reconfigurable Computing: Architectures, Tools, and Applications 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings
Reconfigurable Computing: Architectures, Tools, and Applications 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings
Author 
Goehringer, Diana. editor. Santambrogio, Marco Domenico. editor. Cardoso, João M.P. editor. Bertels, Koen. editor. (orcid)0000-0001-9310-4885 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05960-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
Author 
Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05215-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Number Theory Volume I: Tools and Diophantine Equations
Number Theory Volume I: Tools and Diophantine Equations
Author 
Cohen, Henri. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49923-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Number Theory Volume II: Analytic and Modern Tools
Number Theory Volume II: Analytic and Modern Tools
Author 
Cohen, Henri. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-49894-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III
Author 
Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81247-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets