Limit Search Results
Author
Leung, Victor C.M. editor.
(2)
Park, James J. (Jong Hyuk). editor.
(2)
Shon, Taeshik. editor.
(2)
Wang, Cho-Li. editor.
(2)
Abedi, Ali. author.
(1)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
52 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
Cover image for Verteilte Systeme Grundlagen und Basistechnologien
Verteilte Systeme Grundlagen und Basistechnologien
Author 
Schill, Alexander. author. Springer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25796-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings
Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings
Author 
Herkersdorf, Andreas. editor. Römer, Kay. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28293-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Adaptive and Learning Agents International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers
Adaptive and Learning Agents International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers
Author 
Vrancx, Peter. editor. Knudson, Matthew. editor. Grześ, Marek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28499-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Mobile Computing, Applications, and Services Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers
Mobile Computing, Applications, and Services Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers
Author 
Gris, Martin. editor. Yang, Guang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29336-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Engineering Secure Two-Party Computation Protocols Design, Optimization, and Applications of Efficient Secure Function Evaluation
Engineering Secure Two-Party Computation Protocols Design, Optimization, and Applications of Efficient Secure Function Evaluation
Author 
Schneider, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30042-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
Author 
Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32770-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
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:
12. 
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:
Select an Action