Limit Search Results
Author
SpringerLink (Online service)
(67)
Tungut, H. Burak
(5)
Iliadis, Lazaros. editor. (orcid)
(3)
Kernighan, Brian W.
(3)
Ritchie, Dennis M.
(3)
Language
Publication Date
-
Subject
Computational intelligence.
(6)
Computer science.
(6)
Computer graphics.
(5)
LANGUAGE ARTS & DISCIPLINES / Linguistics / General.
(5)
Software engineering.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
140 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Author 
Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21365-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Author 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings
Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings
Author 
Chalup, Stephan. editor. Blair, Alan D. editor. Randall, Marcus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14803-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Author 
Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15317-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Author 
Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Author 
Hinze, Ralf. editor. Voigtländer, Janis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19797-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001
Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001
Author 
Guerraoui, Rachid. editor. Romano, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14720-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Learning scientific programming with Python
Learning scientific programming with Python
Author 
Hill, Christian, 1974- author.
Preferred Shelf Number 
Q183.9 .H58 2015
Electronic Access 
https://doi.org/10.1017/CBO9781139871754
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
Author 
Fournier, Fabiana. editor. Mendling, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15895-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Object-Oriented Analysis, Design and Implementation An Integrated Approach
Object-Oriented Analysis, Design and Implementation An Integrated Approach
Author 
Dathan, Brahma. author. Ramnath, Sarnath. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24280-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2
Artificial Intelligence and Evolutionary Algorithms in Engineering Systems Proceedings of ICAEES 2014, Volume 2
Author 
Suresh, L Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2135-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computational Intelligence Techniques for Comparative Genomics Dedicated to Prof. Allam Appa Rao on the Occasion of His 65th Birthday
Computational Intelligence Techniques for Comparative Genomics Dedicated to Prof. Allam Appa Rao on the Occasion of His 65th Birthday
Author 
Muppalaneni, Naresh Babu. editor. Gunjan, Vinit Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-287-338-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action