Limit Search Results
Author
SpringerLink (Online service)
(214)
CRC Press LLC.
(4)
Ardagna, Claudio Agostino. editor. (orcid)0000-0001-7426-4795
(2)
Bazzan, Ana. editor.
(2)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(2)
Language
Subject
Software engineering.
(118)
Computer science.
(98)
Computer Science Logic and Foundations of Programming.
(83)
Compilers (Computer programs).
(78)
Compilers and Interpreters.
(78)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
283 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Author 
Laaksonen, Antti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72547-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library
The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library
Author 
Beebe, Nelson H.F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64110-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Low Level X Window Programming An Introduction by Examples
Low Level X Window Programming An Introduction by Examples
Author 
Maloney, Ross J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74250-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
Author 
McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55696-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings
Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings
Author 
Salvagnin, Domenico. editor. Lombardi, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59776-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Informatics in Schools: Focus on Learning Programming 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings
Informatics in Schools: Focus on Learning Programming 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings
Author 
Dagienė, Valentina. editor. Hellas, Arto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71483-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54434-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
Author 
Cussens, James. editor. Russo, Alessandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63342-8
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings
Integer Programming and Combinatorial Optimization 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings
Author 
Eisenbrand, Friedrich. editor. Koenemann, Jochen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59250-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings
Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings
Author 
Baumeister, Hubert. editor. Lichter, Horst. editor. Riebisch, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57633-6
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Parallel Architecture, Algorithm and Programming 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings
Parallel Architecture, Algorithm and Programming 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings
Author 
Chen, Guoliang. editor. Shen, Hong. editor. Chen, Mingrui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6442-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Adaptive Dynamic Programming with Applications in Optimal Control
Adaptive Dynamic Programming with Applications in Optimal Control
Author 
Liu, Derong. author. Wei, Qinglai. author. Wang, Ding. author. Yang, Xiong. author. Li, Hongliang. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50815-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action