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
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 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:
3. 
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:
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 D57 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Agent-based modeling and simulation with swarm
Agent-based modeling and simulation with swarm
Author 
Iba, Hitoshi., author.
Preferred Shelf Number 
QA76.76 .I58 I23 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
Cover image for Fast Compact Algorithms and Software for Spline Smoothing
Fast Compact Algorithms and Software for Spline Smoothing
Author 
Weinert, Howard L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331788.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5496-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Handbook of Human Computation
Handbook of Human Computation
Author 
Michelucci, Pietro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332449.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8806-4
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 Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction
Author 
Pudlák, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332681.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00119-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets