Limit Search Results
Author
Language
Publication Date
-
Subject
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 First Course in Algorithms Through Puzzles
First Course in Algorithms Through Puzzles
Author 
Uehara, Ryuhei. author. (orcid)0000-0003-0895-3765 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-3188-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Puzzles in Logic, Languages and Computation The Red Book
Puzzles in Logic, Languages and Computation The Red Book
Author 
Radev, Dragomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333842.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34378-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Puzzles in Logic, Languages and Computation The Green Book
Puzzles in Logic, Languages and Computation The Green Book
Author 
Radev, Dragomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333840.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34372-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Leibniz: Logico-Philosophical Puzzles in the Law Philosophical Questions and Perplexing Cases in the Law
Leibniz: Logico-Philosophical Puzzles in the Law Philosophical Questions and Perplexing Cases in the Law
Author 
Artosi, Alberto. editor. Pieri, Bernardo. editor. Sartor, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335911.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5192-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Renewal in European Local Democracies Puzzles, Dilemmas and Options
Renewal in European Local Democracies Puzzles, Dilemmas and Options
Author 
Schaap, Linze. editor. Daemen, Harry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-531-18763-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Cosmic Update Dark Puzzles. Arrow of Time. Future History
Cosmic Update Dark Puzzles. Arrow of Time. Future History
Author 
Adams, Fred. author. Buchert, Thomas. author. Mersini-Houghton, Laura. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8294-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Astronomers Anonymous Getting Help with the Puzzles and Pitfalls of Practical Astronomy
Astronomers Anonymous Getting Help with the Puzzles and Pitfalls of Practical Astronomy
Author 
Ringwood, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-5817-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Why Popcorn Costs So Much at the Movies And Other Pricing Puzzles
Why Popcorn Costs So Much at the Movies And Other Pricing Puzzles
Author 
McKenzie, Richard D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-77001-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for 40 Puzzles and Problems in Probability and Mathematical Statistics
40 Puzzles and Problems in Probability and Mathematical Statistics
Author 
Schwarz, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-73512-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for The Structure of Game Design
The Structure of Game Design
Author 
Wang, Wallace. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520465.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32202-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Modelling and Development of Intelligent Systems 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers
Modelling and Development of Intelligent Systems 8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022, Revised Selected Papers
Author 
Simian, Dana. editor. Stoica, Laura Florentina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520284.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27034-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Author 
Schreiner, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520401.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24934-1
Format: 
Availability 
Online Library~1
Available:
Copies: