Limit Search Results
Author
SpringerLink (Online service)
(223)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Language
Subject
Computer software.
(222)
Algorithm Analysis and Problem Complexity.
(213)
Computer science.
(211)
Computer Communication Networks.
(74)
Artificial Intelligence (incl. Robotics).
(71)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
232 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Author 
Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The practical OPNET user guide for computer network simulation
The practical OPNET user guide for computer network simulation
Author 
Sethi, Adarshpal S., author. Hnatyshin, Vasil Y.
Preferred Shelf Number 
TK5105.5 .S4243 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Technology computer aided design : simulation for VLSI MOSFET
Technology computer aided design : simulation for VLSI MOSFET
Author 
Sarkar, Chandan Kumar, editor of compilation.
Preferred Shelf Number 
TK7874.75 .T43 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Distributed sensor networks
Distributed sensor networks
Author 
Iyengar, S. S. (Sundararaja S.) Brooks, R. R. (Richard R.)
Preferred Shelf Number 
TK7872 .D48 D5734 2013
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429165818
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computer system reliability : safety and usability
Computer system reliability : safety and usability
Author 
Dhillon, B. S., author.
Preferred Shelf Number 
QA76.76 .R44 D495 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for iOS 6 programming cookbook
iOS 6 programming cookbook
Author 
Nahavandipoor, Vandad.
Preferred Shelf Number 
QA76.8.I64 N34 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
7. 
Cover image for Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
Author 
Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330901.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4069-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Simulation-Based Algorithms for Markov Decision Processes
Simulation-Based Algorithms for Markov Decision Processes
Author 
Chang, Hyeong Soo. author. Hu, Jiaqiao. author. Fu, Michael C. author. Marcus, Steven I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331119.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5022-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Connected Dominating Set: Theory and Applications
Connected Dominating Set: Theory and Applications
Author 
Du, Ding-Zhu. author. Wan, Peng-Jun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331720.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5242-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Structure of Solutions of Variational Problems
Structure of Solutions of Variational Problems
Author 
Zaslavski, Alexander J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332024.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6387-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for The Tower of Hanoi – Myths and Maths
The Tower of Hanoi – Myths and Maths
Author 
Hinz, Andreas M. author. Klavžar, Sandi. author. Milutinović, Uroš. author. Petr, Ciril. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332606.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0237-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System
Microeconomic Theory and Computation Applying the Maxima Open-Source Computer Algebra System
Author 
Hammock, Michael R. author. Mixon, J. Wilson. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332481.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-9417-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action