Limit Search Results
Author
SpringerLink (Online service)
(14)
Ahrndt, Sebastian. editor.
(1)
Blesa, Maria J. editor.
(1)
Blum, Christian. editor.
(1)
Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618
(1)
Language
Publication Date
-
Subject
Computer science.
(9)
Software engineering.
(7)
Computer Science Logic and Foundations of Programming.
(6)
Artificial intelligence.
(5)
Computer science -- Mathematics.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
18 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computational Thinking First Algorithms, Then Code
Computational Thinking First Algorithms, Then Code
Author 
Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-59922-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
Author 
Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6921-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Python machine learning
Python machine learning
Author 
Lee, Wei-Meng, author.
Preferred Shelf Number 
QA76.73 .P98 L44 2019 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119557500
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Networks
Networks
Author 
Newman, M. E. J. (Mark E. J.), author.
Preferred Shelf Number 
TK5105.5
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/oso/9780198805090.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advanced techniques and technology of computer-aided feedback control
Advanced techniques and technology of computer-aided feedback control
Author 
Mbihi, Jean, author.
Preferred Shelf Number 
TJ216
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings
Author 
Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65000-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Approximation and Online Algorithms 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers
Approximation and Online Algorithms 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers
Author 
Jansen, Klaus. editor. Mastrolilli, Monaldo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51741-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers
Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers
Author 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68972-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Spatial Network Big Databases Queries and Storage Methods
Spatial Network Big Databases Queries and Storage Methods
Author 
Yang, KwangSoo. author. Shekhar, Shashi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56657-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Principal Component Analysis Networks and Algorithms
Principal Component Analysis Networks and Algorithms
Author 
Kong, Xiangyu. author. Hu, Changhua. author. Duan, Zhansheng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2915-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Author 
Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67089-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Author 
Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Availability 
Online Library~1
Available:
Copies: