Limit Search Results
Author
SpringerLink (Online service)
(755)
Kim, Tai-hoon. editor.
(9)
Halang, Wolfgang A. editor.
(6)
Holleczek, Peter. editor.
(6)
Prasanna, Viktor K. editor.
(6)
Language
Publication Date
-
Subject
Computer science.
(583)
Computer Communication Networks.
(273)
Software engineering.
(272)
Information systems.
(187)
Artificial intelligence.
(131)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
784 Results Found Subscribe to search results
000000000000DEFAULT
Print
253. 
Cover image for Operational Semantics and Verification of Security Protocols
Operational Semantics and Verification of Security Protocols
Author 
Cremers, Cas. author. Mauw, Sjouke. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78636-8
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Ultra-Wideband Radio Frequency Identification Systems
Ultra-Wideband Radio Frequency Identification Systems
Author 
Nekoogar, Faranak. author. Dowla, Farid. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9701-2
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Communications, Signal Processing, and Systems The 2012 Proceedings of the International Conference on Communications, Signal Processing, and Systems
Communications, Signal Processing, and Systems The 2012 Proceedings of the International Conference on Communications, Signal Processing, and Systems
Author 
Liang, Qilian. editor. Wang, Wei. editor. Mu, Jiasong. editor. Liang, Jing. editor. Zhang, Baoju. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5803-6
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Computer and Information Sciences II 26th International Symposium on Computer and Information Sciences
Computer and Information Sciences II 26th International Symposium on Computer and Information Sciences
Author 
Gelenbe, Erol. editor. Lent, Ricardo. editor. Sakellari, Georgia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2155-8
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Guide to Software Development Designing and Managing the Life Cycle
Guide to Software Development Designing and Managing the Life Cycle
Author 
Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2300-2
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services
Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services
Author 
Birman, Kenneth P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2416-0
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Peer-to-Peer Query Processing over Multidimensional Data
Peer-to-Peer Query Processing over Multidimensional Data
Author 
Vlachou, Akrivi. author. Doulkeridis, Christos. author. Nørvåg, Kjetil. author. Kotidis, Yannis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-2110-8
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Rhodes Framework for Android™ Platform and BlackBerry® Smartphones
Rhodes Framework for Android™ Platform and BlackBerry® Smartphones
Author 
Vohra, Deepak. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3579-2
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Internetworking Technische Grundlagen und Anwendungen
Internetworking Technische Grundlagen und Anwendungen
Author 
Meinel, Christoph. author. Sack, Harald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-92940-6
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Digital Imaging and Communications in Medicine (DICOM) A Practical Introduction and Survival Guide
Digital Imaging and Communications in Medicine (DICOM) A Practical Introduction and Survival Guide
Author 
Pianykh, Oleg S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10850-1
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Smart Mobile Apps Mit Business-Apps ins Zeitalter mobiler Geschäftsprozesse
Smart Mobile Apps Mit Business-Apps ins Zeitalter mobiler Geschäftsprozesse
Author 
Verclas, Stephan. editor. Linnhoff-Popien, Claudia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22259-7
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Herausforderungen durch Echtzeitbetrieb Echtzeit 2011
Herausforderungen durch Echtzeitbetrieb Echtzeit 2011
Author 
Halang, Wolfgang A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24658-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action