Limit Search Results
Author
SpringerLink (Online service)
(763)
Kim, Tai-hoon. editor.
(9)
Halang, Wolfgang A. editor.
(6)
Holleczek, Peter. editor.
(6)
Prasanna, Viktor K. editor.
(6)
Language
Publication Date
-
Subject
Computer network architectures.
(794)
Computer science.
(585)
Computer Communication Networks.
(277)
Software engineering.
(272)
Information systems.
(187)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
819 Results Found Subscribe to search results
000000000000DEFAULT
Print
301. 
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:
302. 
Cover image for Recent Advances in the Message Passing Interface 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
Recent Advances in the Message Passing Interface 19th European MPI Users’ Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
Author 
Träff, Jesper Larsson. editor. Benkner, Siegfried. editor. Dongarra, Jack J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33518-1
Format: 
Availability 
Online Library~1
Available:
Copies:
303. 
Cover image for Green Communications and Networking First International Conference, GreeNets 2011, Colmar, France, October 5-7, 2011, Revised Selected Papers
Green Communications and Networking First International Conference, GreeNets 2011, Colmar, France, October 5-7, 2011, Revised Selected Papers
Author 
Rodrigues, Joel J. P. C. editor. Zhou, Liang. editor. Chen, Min. editor. Kailas, Aravind. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33368-2
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for Security and Privacy in Mobile Information and Communication Systems 4th International Conference, MobiSec 2012, Frankfurt am Main, Germany, June 25-26, 2012, Revised Selected Papers
Security and Privacy in Mobile Information and Communication Systems 4th International Conference, MobiSec 2012, Frankfurt am Main, Germany, June 25-26, 2012, Revised Selected Papers
Author 
Schmidt, Andreas U. editor. Russello, Giovanni. editor. Krontiris, Ioannis. editor. Lian, Shiguo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33392-7
Format: 
Availability 
Online Library~1
Available:
Copies:
305. 
Cover image for Unternehmensziel ERP-Einführung IT muss Nutzen stiften
Unternehmensziel ERP-Einführung IT muss Nutzen stiften
Author 
Leiting, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8349-4462-7
Format: 
Availability 
Online Library~1
Available:
Copies:
306. 
Cover image for Instruction Sequences for Computer Science
Instruction Sequences for Computer Science
Author 
Bergstra, Jan A. author. Middelburg, Cornelis A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-65-7
Format: 
Availability 
Online Library~1
Available:
Copies:
307. 
Cover image for Trustworthy Ubiquitous Computing
Trustworthy Ubiquitous Computing
Author 
Khalil, Ismail. editor. Mantoro, Teddy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-71-8
Format: 
Availability 
Online Library~1
Available:
Copies:
308. 
Cover image for Embedded Technologies Vom Treiber bis zur Grafik-Anbindung
Embedded Technologies Vom Treiber bis zur Grafik-Anbindung
Author 
Wietzke, Joachim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23996-0
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Cryptographic Protocol Security Analysis Based on Trusted Freshness
Cryptographic Protocol Security Analysis Based on Trusted Freshness
Author 
Dong, Ling. author. Chen, Kefei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24073-7
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Computer Architecture ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers
Computer Architecture ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers
Author 
Varbanescu, Ana Lucia. editor. Molnos, Anca. editor. Nieuwpoort, Rob. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24322-6
Format: 
Availability 
Online Library~1
Available:
Copies:
311. 
Cover image for Security and Intelligent Information Systems International Joint Conferences, SIIS 2011, Warsaw, Poland, June 13-14, 2011, Revised Selected Papers
Security and Intelligent Information Systems International Joint Conferences, SIIS 2011, Warsaw, Poland, June 13-14, 2011, Revised Selected Papers
Author 
Bouvry, Pascal. editor. Kłopotek, Mieczysław A. editor. Leprévost, Franck. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25261-7
Format: 
Availability 
Online Library~1
Available:
Copies:
312. 
Cover image for SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
Author 
Ober, Iulian. editor. Ober, Ileana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25264-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action