Limit Search Results
Author
SpringerLink (Online service)
(92)
Esparza, Javier. editor.
(3)
Ju, Zhaojie. editor.
(3)
Liu, Jinguo. editor.
(3)
Liu, Lianqing. editor.
(3)
Language
Publication Date
-
Subject
Computers.
(52)
Artificial intelligence.
(40)
Software engineering.
(24)
Programming languages (Electronic computers).
(21)
Computer communication systems.
(17)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
97 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Random Numbers and Computers
Random Numbers and Computers
Author 
Kneusel, Ronald T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77697-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Algorithms, graphs and computers
Algorithms, graphs and computers
Author 
Bellman, Richard, 1920-1984. Cooke, Kenneth L. Lockett, Jo Ann.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780120848409
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fast Fourier Transform Algorithms for Parallel Computers
Fast Fourier Transform Algorithms for Parallel Computers
Author 
Takahashi, Daisuke. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-9965-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers
Author 
van den Herik, H. Jaap. editor. Iida, Hiroyuki. editor. Plaat, Aske. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09165-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Towards Autonomous Robotic Systems 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part II
Towards Autonomous Robotic Systems 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part II
Author 
Althoefer, Kaspar. editor. Konstantinova, Jelizaveta. editor. Zhang, Ketao. editor. (orcid)0000-0002-6033-071X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25332-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30942-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22348-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Evolutionary Multi-Criterion Optimization 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings
Evolutionary Multi-Criterion Optimization 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings
Author 
Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 Goodman, Erik. editor. Coello Coello, Carlos A. editor. (orcid)0000-0002-8435-680X Klamroth, Kathrin. editor. Miettinen, Kaisa. editor. (orcid)0000-0003-1013-4689
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12598-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I
Pattern Recognition and Machine Intelligence 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I
Author 
Deka, Bhabesh. editor. (orcid)0000-0002-9679-6159 Maji, Pradipta. editor. (orcid)0000-0002-8288-8917 Mitra, Sushmita. editor. (orcid)0000-0001-9285-1117 Bhattacharyya, Dhruba Kumar. editor. (orcid)0000-0002-9506-7640 Bora, Prabin Kumar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34869-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
Author 
Coecke, Bob. editor. (orcid)0000-0002-5310-8723 Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35895-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Author 
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32441-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets