Limit Search Results
Author
SpringerLink (Online service)
(12)
Laaksonen, Antti. author.
(2)
Nahin, Paul J.
(2)
Akiyama, Jin. editor. (orcid)0000-0001-5795-5930
(1)
Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448
(1)
Language
Publication Date
-
Subject
Computer Science Logic and Foundations of Programming.
(4)
Computer science.
(4)
Artificial intelligence.
(3)
Computer programming.
(3)
Programming Techniques.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
25 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Author 
Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27810-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Discrete and Computational Geometry and Graphs 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers
Discrete and Computational Geometry and Graphs 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers
Author 
Akiyama, Jin. editor. (orcid)0000-0001-5795-5930 Ito, Hiro. editor. Sakai, Toshinori. editor. Uno, Yushi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48532-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Algorithmic composition a guide to composing music with Nyquist
Algorithmic composition a guide to composing music with Nyquist
Author 
Simoni, Mary Hope. Dannenberg, Roger B. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Digital dice : computational solutions to practical probability problems
Digital dice : computational solutions to practical probability problems
Author 
Nahin, Paul J.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt24hpzt
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Algorithmic Puzzles
Algorithmic Puzzles
Author 
Levitin, Anany. Levitin, Maria.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=405955
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Networks an introduction
Networks an introduction
Author 
Newman, M. E. J. (Mark E. J.)
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199206650.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Fast Algorithms for Signal Processing
Fast Algorithms for Signal Processing
Author 
Blahut, Richard E..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Digital dice : computational solutions to practical probability problems
Digital dice : computational solutions to practical probability problems
Author 
Nahin, Paul J.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7rqgn
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Algorithmic Game Theory
Algorithmic Game Theory
Author 
Nisan, Noam. Roughgarden, Tim. Tardos, Eva. Vazirani, Vijay V..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Planning Algorithms
Planning Algorithms
Author 
LaValle, Steven M..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Kernel methods for pattern analysis
Kernel methods for pattern analysis
Author 
Shawe-Taylor, John. Cristianini, Nello.
Preferred Shelf Number 
Q325.5.S475 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
24. 
Cover image for Permutation Group Algorithms
Permutation Group Algorithms
Author 
Seress, Ákos.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies: