Limit Search Results
Author
SpringerLink (Online service)
(136)
Bazzan, Ana. editor.
(2)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(2)
Bouajjani, Ahmed. editor.
(2)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Language
Subject
Computer science.
(90)
Software engineering.
(84)
Computer Science Logic and Foundations of Programming.
(83)
Compilers (Computer programs).
(65)
Compilers and Interpreters.
(65)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
163 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for The data science handbook
The data science handbook
Author 
Cady, Field, 1984- author.
Preferred Shelf Number 
QA76.9 .D32
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119092919
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Robot learning by visual observation
Robot learning by visual observation
Author 
Vakanski, Aleksandar, author. Janabi-Sharifi, Farrokh, 1959- author.
Preferred Shelf Number 
TJ211.3 .V35 2017 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119091882
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Programming multicore and many-core computing systems
Programming multicore and many-core computing systems
Author 
Pllana, Sabri, editor. Xhafa, Fatos, editor.
Preferred Shelf Number 
QA76.642 .P767 2017
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119332015
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Spline collocation methods for partial differential equations : with applications in R
Spline collocation methods for partial differential equations : with applications in R
Author 
Schiesser, W. E., author.
Preferred Shelf Number 
QA377
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119301066
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Evolutionary algorithms
Evolutionary algorithms
Author 
Pétrowski, Alain, author. Ben-Hamida, Sana, author.
Preferred Shelf Number 
QA402.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119136378
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Robust adaptive dynamic programming
Robust adaptive dynamic programming
Author 
Jiang, Yu (Software engineer), author. Jiang, Z.-P. (Zhong-Ping), author.
Preferred Shelf Number 
TJ217
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119132677
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Swift in the cloud
Swift in the cloud
Author 
Williamson, Leigh, author.
Preferred Shelf Number 
QA76.73 .S95
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119368502
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Snake Charming - The Musical Python
Snake Charming - The Musical Python
Author 
Gray, Iain. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60660-6
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Author 
Duan, Zhenhua. editor. Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68690-5
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Author 
Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71237-6
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for String Analysis for Software Verification and Security
String Analysis for Software Verification and Security
Author 
Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68670-7
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66320-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action