Limit Search Results
Author
SpringerLink (Online service)
(598)
Boer, Frank S. editor.
(9)
Bonsangue, Marcello M. editor.
(9)
Yang, Laurence T. editor.
(8)
Yung, Moti. editor.
(8)
Language
Publication Date
-
Subject
Computer science.
(517)
Software engineering.
(298)
Computer Communication Networks.
(296)
Information systems.
(132)
Computer software.
(130)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
614 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Distributed Computing by Mobile Entities Current Research in Moving and Computing
Distributed Computing by Mobile Entities Current Research in Moving and Computing
Author 
Flocchini, Paola. editor. Prencipe, Giuseppe. editor. Santoro, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11072-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
Author 
Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17227-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings
Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings
Author 
Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24741-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Transactions on High-Performance Embedded Architectures and Compilers V
Transactions on High-Performance Embedded Architectures and Compilers V
Author 
Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58834-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for GNU LINUX
GNU LINUX
Author 
Ertuğrul, İlker .
Preferred Shelf Number 
QA76.76.O63 E78 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers
Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers
Author 
Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10549-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings
Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings
Author 
Tang, Xiaoxin. editor. Chen, Quan. editor. Bose, Pradip. editor. Zheng, Weiming. editor. Gaudiot, Jean-Luc. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30709-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Supercomputing 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers
Supercomputing 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers
Author 
Torres, Moisés. editor. (orcid)0000-0003-4877-3443 Klapp, Jaime. editor. (orcid)0000-0003-1828-9183 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-38043-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
Author 
Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18506-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
Author 
Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04918-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings
Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings
Author 
Censor-Hillel, Keren. editor. Flammini, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24922-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings
Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings
Author 
MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19909-8
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers
VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers
Author 
Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15663-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings
Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings
Author 
Polian, Ilia. editor. (orcid)0000-0002-6563-2725 Stöttinger, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16350-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Economics of Grids, Clouds, Systems, and Services 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings
Economics of Grids, Clouds, Systems, and Services 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings
Author 
Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 Agmon Ben-Yehuda, Orna. editor. (orcid)0000-0002-6699-8999 Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36027-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings
Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings
Author 
Yew, Pen-Chung. editor. Stenström, Per. editor. (orcid)0000-0002-7441-8245 Wu, Junjie. editor. Gong, Xiaoli. editor. Li, Tao. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29611-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II
Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II
Author 
Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29750-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings
Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings
Author 
Schoeberl, Martin. editor. Hochberger, Christian. editor. Uhrig, Sascha. editor. Brehm, Jürgen. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18656-2
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Operating Systems for Supercomputers and High Performance Computing
Operating Systems for Supercomputers and High Performance Computing
Author 
Gerofi, Balazs. editor. Ishikawa, Yutaka. editor. Riesen, Rolf. editor. Wisniewski, Robert W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6624-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers
Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers
Author 
Strous, Leon. editor. Cerf, Vinton G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15651-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
Author 
Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28596-8
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Searchable Storage in Cloud Computing
Searchable Storage in Cloud Computing
Author 
Hua, Yu. author. Liu, Xue. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2721-6
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings
Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings
Author 
Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261 Gee, James C. editor. (orcid)0000-0002-2258-0187 Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016 Bao, Siqi. editor. (orcid)0000-0003-3885-125X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20351-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Author 
Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22397-7
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
Author 
Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713 González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16272-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers
Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers
Author 
Rauchwerger, Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35225-7
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers
Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36592-9
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers
VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers
Author 
Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23425-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Transactions on Computational Collective Intelligence XXVIII
Transactions on Computational Collective Intelligence XXVIII
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 Filipe, Joaquim. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78301-7
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Author 
Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99241-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Software Fault Detection and Correction: Modeling and Applications
Software Fault Detection and Correction: Modeling and Applications
Author 
Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1162-8
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for System and Architecture Proceedings of CSI 2015
System and Architecture Proceedings of CSI 2015
Author 
Muttoo, Sunil Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8533-8
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
Author 
Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings
Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings
Author 
Dinur, Itai. editor. Dolev, Shlomi. editor. Lodha, Sachin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94147-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications
Author 
Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58415-6
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99673-8
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Interrupt Handling Schemes in Operating Systems
Interrupt Handling Schemes in Operating Systems
Author 
Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94493-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Author 
Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89719-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings
Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings
Author 
Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03232-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Safety-Critical Electrical Drives Topologies, Reliability, Performance
Safety-Critical Electrical Drives Topologies, Reliability, Performance
Author 
Bolvashenkov, Igor. author. Herzog, Hans-Georg. author. Frenkel, Ilia. author. Khvatskin, Lev. author. Lisnianski, Anatoly. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89969-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses
System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses
Author 
Kochs, Hans-Dieter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64991-7
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
Author 
Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92408-3
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Handbook of Model Checking
Handbook of Model Checking
Author 
Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10575-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Author 
Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92612-4
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip
High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip
Author 
Wang, Zheng. author. Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1073-6
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
Author 
van Hoeve, Willem-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93031-2
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
Author 
Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75178-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Author 
Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69953-0
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings
Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings
Author 
Giuffrida, Cristiano. editor. Bardin, Sébastien. editor. Blanc, Gregory. editor. (orcid)0000-0001-8150-6617 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93411-2
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings
Author 
Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92040-5
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings
Author 
Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94472-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Systems Programming in Unix/Linux
Systems Programming in Unix/Linux
Author 
Wang, K.C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92429-8
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency XIII
Transactions on Petri Nets and Other Models of Concurrency XIII
Author 
Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58381-4
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Transactions on Computational Science XXXIII
Transactions on Computational Science XXXIII
Author 
Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58039-4
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings
Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings
Author 
Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97795-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach
Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach
Author 
Parkinson, Simon. editor. (orcid)0000-0002-1747-9914 Crampton, Andrew. editor. (orcid)0000-0002-4635-9102 Hill, Richard. editor. (orcid)0000-0003-0105-7730 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92624-7
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Data and Energy Integrated Communication Networks A Brief Introduction
Data and Energy Integrated Communication Networks A Brief Introduction
Author 
Hu, Jie. author. Yang, Kun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0116-2
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
Author 
Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94764-8
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings
Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings
Author 
Pahl, Claus. editor. Vukovic, Maja. editor. Yin, Jianwei. editor. Yu, Qi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03596-9
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Silicon Photonics & High Performance Computing Proceedings of CSI 2015
Silicon Photonics & High Performance Computing Proceedings of CSI 2015
Author 
Mishra, Anurag. editor. Basu, Anirban. editor. Tyagi, Vipin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7656-5
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers
Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7844-6
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
Author 
Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74896-2
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
Author 
Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77610-1
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation
The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation
Author 
ASC Community. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3731-3
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for The Hardware Trojan War Attacks, Myths, and Defenses
The Hardware Trojan War Attacks, Myths, and Defenses
Author 
Bhunia, Swarup. editor. Tehranipoor, Mark M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68511-3
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Performance gaps of machines A process oriented approach
Performance gaps of machines A process oriented approach
Author 
Nüßer, Wilhelm. author. Steckel, Thilo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-56446-2
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Author 
Bonomi, Silvia. editor. Rivière, Etienne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93767-0
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for 5G Wireless Systems Simulation and Evaluation Techniques
5G Wireless Systems Simulation and Evaluation Techniques
Author 
Yang, Yang. author. Xu, Jing. author. Shi, Guang. author. Wang, Cheng-Xiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61869-2
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Author 
Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93317-7
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Low-Power Design and Power-Aware Verification
Low-Power Design and Power-Aware Verification
Author 
Khondkar, Progyna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66619-8
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Advanced Maintenance Policies for Shock and Damage Models
Advanced Maintenance Policies for Shock and Damage Models
Author 
Zhao, Xufeng. author. Nakagawa, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70456-2
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings
Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings
Author 
Bailey, Michael. editor. Holz, Thorsten. editor. (orcid)0000-0002-2783-1264 Stamatogiannakis, Manolis. editor. (orcid)0000-0002-5527-8726 Ioannidis, Sotiris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00470-5
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability
Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability
Author 
Jahanshahi, Mohsen. author. Bistouni, Fathollah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78473-1
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I
Author 
Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05051-1
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings
Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings
Author 
Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05677-3
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers
Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers
Author 
Lotker, Zvi. editor. Patt-Shamir, Boaz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01325-7
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII
Author 
Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57932-9
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Greening Video Distribution Networks Energy-Efficient Internet Video Delivery
Greening Video Distribution Networks Energy-Efficient Internet Video Delivery
Author 
Popescu, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71718-0
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers
Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers
Author 
Ferguson, Donald. editor. Muñoz, Víctor Méndez. editor. Cardoso, Jorge. editor. Helfert, Markus. editor. Pahl, Claus. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94959-8
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Author 
Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71734-0
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedings
Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedings
Author 
Campilho, Aurélio. editor. Karray, Fakhri. editor. (orcid)0000-0002-4217-1372 ter Haar Romeny, Bart. editor. (orcid)0000-0003-3442-3207 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93000-8
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Embedded Operating Systems A Practical Approach
Embedded Operating Systems A Practical Approach
Author 
Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72977-0
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Closing the Gap Between Practice and Research in Industrial Engineering
Closing the Gap Between Practice and Research in Industrial Engineering
Author 
Viles, Elisabeth. editor. Ormazábal, Marta. editor. Lleó, Alvaro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58409-6
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Dependable Multicore Architectures at Nanoscale
Dependable Multicore Architectures at Nanoscale
Author 
Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54422-9
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings
Author 
Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72971-8
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers
Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers
Author 
Bi, Yuanguo. editor. Chen, Gang. editor. Deng, Qingxu. editor. Wang, Yi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1026-3
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers
Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers
Author 
Sun, Yu. editor. Falco, Joe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94568-2
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Modern operating systems
Modern operating systems
Author 
Tanenbaum, Andrew S. Bos, Herbert.
Preferred Shelf Number 
QA76.76.O63 T359 2015
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
89. 
Cover image for NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Author 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06200-6
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers
Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers
Author 
Cuellar, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10329-7
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Modern operating systems
Modern operating systems
Author 
Tanenbaum, Andrew S.
Preferred Shelf Number 
QA76.76.O63 T359 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
92. 
Cover image for Embedded Operating Systems A Practical Approach
Embedded Operating Systems A Practical Approach
Author 
Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6603-0
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
Author 
Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09873-9
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings
Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings
Author 
Hsu, Ching-Hsien. editor. (orcid)0000-0002-2440-2771 Shi, Xuanhua. editor. Salapura, Valentina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44917-2
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Architecture of Computing Systems -- ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings
Architecture of Computing Systems -- ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings
Author 
Maehle, Erik. editor. Römer, Kay. editor. Karl, Wolfgang. editor. Tovar, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04891-8
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014, Revised Selected Papers
Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014, Revised Selected Papers
Author 
Mellouk, Abdelhamid. editor. Fowler, Scott. editor. Daachi, Boubaker. editor. Hoceini, Said. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13174-0
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
Author 
Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43779-7
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Serialization and Persistent Objects Turning Data Structures into Efficient Databases
Serialization and Persistent Objects Turning Data Structures into Efficient Databases
Author 
Soukup, Jiri. author. Macháček, Petr. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-39323-5
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54807-9
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation
Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation
Author 
Mandl, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338350.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2301-4
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Fault-Tolerant Design
Fault-Tolerant Design
Author 
Dubrova, Elena. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331297.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-2113-9
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings
Author 
Bloem, Roderick. editor. Lipp, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332976.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03491-1
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Computer Performance Optimization Systems - Applications - Processes
Computer Performance Optimization Systems - Applications - Processes
Author 
Osterhage, Wolfgang W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333281.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29971-1
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers
Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers
Author 
Pierson, Jean-Marc. editor. Da Costa, Georges. editor. Dittmann, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334960.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40517-4
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings
Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings
Author 
Hsu, Ching-Hsien. editor. Li, Xiaoming. editor. Shi, Xuanhua. editor. Zheng, Ran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335013.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40820-5
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Author 
Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335024.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40894-6
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
Author 
Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Preferred Shelf Number 
ONLINE(335216.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45419-6
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Design, Analysis and Test of Logic Circuits Under Uncertainty
Design, Analysis and Test of Logic Circuits Under Uncertainty
Author 
Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project
Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project
Author 
Cotroneo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335577.1)
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2772-5
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Author 
Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334071.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35867-8
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35887-6
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers
Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.
Preferred Shelf Number 
ONLINE(334080.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35898-2
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings
Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings
Author 
Dawson, Ed. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334122.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36095-4
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers
Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers
Author 
Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334049.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35795-4
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Assurances for Self-Adaptive Systems Principles, Models, and Techniques
Author 
Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334156.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings
Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings
Author 
Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334200.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36424-2
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings
Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings
Author 
Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334223.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36516-4
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Author 
Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334327.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36946-9
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334353.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37051-9
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Author 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334533.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Tools for High Performance Computing 2012
Tools for High Performance Computing 2012
Author 
Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.
Preferred Shelf Number 
ONLINE(334411.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37349-7
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Web Dynpro ABAP for Practitioners
Web Dynpro ABAP for Practitioners
Author 
Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334566.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38247-5
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings
Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings
Author 
Tsaoussidis, Vassilis. editor. Kassler, Andreas J. editor. Koucheryavy, Yevgeni. editor. Mellouk, Abdelhamid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334594.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38401-1
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Author 
Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334610.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38493-6
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings
Author 
Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334662.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Author 
Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334870.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39955-8
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334871.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39958-9
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
Author 
Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334882.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40047-6
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
Author 
Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.
Preferred Shelf Number 
ONLINE(334939.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40395-8
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Privacy and Security for Cloud Computing
Privacy and Security for Cloud Computing
Author 
Pearson, Siani. editor. Yee, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330926.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4189-1
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Requirements Engineering and Management for Software Development Projects
Requirements Engineering and Management for Software Development Projects
Author 
Chemuturi, Murali. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331756.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Ada 2012 Rationale The Language, The Standard Libraries
Ada 2012 Rationale The Language, The Standard Libraries
Author 
Barnes, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335195.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45210-9
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
Author 
Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335206.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45293-2
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.
Preferred Shelf Number 
ONLINE(335131.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41635-4
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Linux-Unix-Kurzreferenz Für Anwender, Entwickler und Systemadministratoren
Linux-Unix-Kurzreferenz Für Anwender, Entwickler und Systemadministratoren
Author 
Wolfinger, Christine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337116.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34724-5
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Java ile nesne programlama
Java ile nesne programlama
Author 
Karaçay, Timur
Preferred Shelf Number 
QA76 .73 K37 2013
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
137. 
Cover image for Android programlama
Android programlama
Author 
Taç, Muharrem.
Preferred Shelf Number 
QA76.76.O63 T33 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
138. 
Cover image for Energy-Efficient High Performance Computing Measurement and Tuning
Energy-Efficient High Performance Computing Measurement and Tuning
Author 
Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.
Preferred Shelf Number 
ONLINE(330991.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4492-2
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Author 
Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334469.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37658-0
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings
Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings
Author 
Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.
Preferred Shelf Number 
ONLINE(334517.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38027-3
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers
Author 
Cuellar, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334518.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38030-3
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender
Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender
Author 
Wolfinger, Christine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337045.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32079-8
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers
Evaluating AAL Systems Through Competitive Benchmarking. Indoor Localization and Tracking International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011. Revised Selected Papers
Author 
Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33533-4
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings
Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings
Author 
Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33704-8
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34026-0
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34032-1
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Author 
Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25271-6
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers
Author 
Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29479-2
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge
Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge
Author 
Czernohous, Christoph. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68426-8
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Test and Diagnosis for Small-Delay Defects
Test and Diagnosis for Small-Delay Defects
Author 
Tehranipoor, Mohammad. author. Peng, Ke. author. Chakrabarty, Krishnendu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8297-1
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
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:
152. 
Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
Author 
Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31202-1
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Performance-Optimierung Systeme, Anwendungen, Geschäftsprozesse
Performance-Optimierung Systeme, Anwendungen, Geschäftsprozesse
Author 
Osterhage, Wolfgang W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17190-1
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Security and Privacy in Communication Networks 7th International ICST Conference, SecureComm 2011, London, UK, September 7-9, 2011, Revised Selected Papers
Security and Privacy in Communication Networks 7th International ICST Conference, SecureComm 2011, London, UK, September 7-9, 2011, Revised Selected Papers
Author 
Rajarajan, Muttukrishnan. editor. Piper, Fred. editor. Wang, Haining. editor. Kesidis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31909-9
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
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:
156. 
Cover image for Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings
Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings
Author 
Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32820-6
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
Author 
Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33119-0
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
Author 
Avgeriou, Paris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33176-3
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings
Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings
Author 
Takagi, Tsuyoshi. editor. Wang, Guilin. editor. Qin, Zhiguang. editor. Jiang, Shaoquan. editor. Yu, Yong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33272-2
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Research in Attacks, Intrusions, and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings
Research in Attacks, Intrusions, and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings
Author 
Balzarotti, Davide. editor. Stolfo, Salvatore J. editor. Cova, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33338-5
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
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:
162. 
Cover image for Data Privacy Management and Autonomous Spontaneus Security 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers
Data Privacy Management and Autonomous Spontaneus Security 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers
Author 
Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. Cuppens-Boulahia, Nora. editor. Capitani di Vimercati, Sabrina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28879-1
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
Author 
Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28891-3
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings
Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings
Author 
Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30633-4
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings
Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings
Author 
Li, Ruixuan. editor. Cao, Jiannong. editor. Bourgeois, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30767-6
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Author 
Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden
Author 
Brunst, Holger. editor. Müller, Matthias S. editor. Nagel, Wolfgang E. editor. Resch, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers
Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers
Author 
Korakis, Thanasis. editor. Zink, Michael. editor. Ott, Maximilian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35576-9
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings
Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings
Author 
Park, James J. editor. Zomaya, Albert. editor. Yeo, Sang-Soo. editor. Sahni, Sartaj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35606-3
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Quantitative Security Risk Assessment of Enterprise Networks
Quantitative Security Risk Assessment of Enterprise Networks
Author 
Ou, Xinming. author. Singhal, Anoop. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1860-3
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for On the Performance of Web Services
On the Performance of Web Services
Author 
Tari, Zahir. author. Phan, Ann Khoi Anh. author. Jayasinghe, Malith. author. Abhaya, Vidura Gamini. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1930-3
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for UNIX Operating System The Development Tutorial via UNIX Kernel Services
UNIX Operating System The Development Tutorial via UNIX Kernel Services
Author 
Liu, Yukun. author. Yue, Yong. author. Guo, Liwei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20432-6
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Progress in Cryptology – AFRICACRYPT 2011 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011. Proceedings
Progress in Cryptology – AFRICACRYPT 2011 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011. Proceedings
Author 
Nitaj, Abderrahmane. editor. Pointcheval, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21969-6
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Security Protocols XVI 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers
Security Protocols XVI 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers
Author 
Christianson, Bruce. editor. Malcolm, James A. editor. Matyas, Vashek. editor. Roe, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22137-8
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
Author 
Cuellar, Jorge. editor. Lopez, Javier. editor. Barthe, Gilles. editor. Pretschner, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22444-7
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Information Security and Privacy 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011. Proceedings
Information Security and Privacy 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011. Proceedings
Author 
Parampalli, Udaya. editor. Hawkes, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22497-3
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Analyzing Computer System Performance with Perl::PDQ
Analyzing Computer System Performance with Perl::PDQ
Author 
Gunther, Neil J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22583-3
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
Author 
Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23397-5
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
Author 
Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23400-2
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Dependability of Networked Computer-based Systems
Dependability of Networked Computer-based Systems
Author 
Verma, Ajit Kumar. author. Ajit, Srividya. author. Kumar, Manoj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-318-3
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Windows 7 in Unternehmensnetzen mit Service Pack 1, IPv4, IPv6
Windows 7 in Unternehmensnetzen mit Service Pack 1, IPv4, IPv6
Author 
Grotegut, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01035-4
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Architecture of Computing Systems - ARCS 2011 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings
Architecture of Computing Systems - ARCS 2011 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings
Author 
Berekovic, Mladen. editor. Fornaciari, William. editor. Brinkschulte, Uwe. editor. Silvano, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19137-4
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Data Privacy Management and Autonomous Spontaneous Security 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers
Data Privacy Management and Autonomous Spontaneous Security 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers
Author 
Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. Cavalli, Ana. editor. Leneutre, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19348-4
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Selected Areas in Cryptography 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers
Selected Areas in Cryptography 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers
Author 
Biryukov, Alex. editor. Gong, Guang. editor. Stinson, Douglas R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19574-7
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers
Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers
Author 
Xenakis, Christos. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21694-7
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Managing the Dynamics of Networks and Services 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011. Proceedings
Managing the Dynamics of Networks and Services 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, June 13-17, 2011. Proceedings
Author 
Chrisment, Isabelle. editor. Couch, Alva. editor. Badonnel, Rémi. editor. Waldburger, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21484-4
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings
Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23178-0
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Android programlama
Android programlama
Author 
Taç, Muharrem.
Preferred Shelf Number 
QA76.76.O63 T33 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
189. 
Cover image for Software Reliability Assessment with OR Applications
Software Reliability Assessment with OR Applications
Author 
Kapur, P.K. author. Pham, Hoang. author. Gupta, A. author. Jha, P.C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-204-9
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Soft Errors in Modern Electronic Systems
Soft Errors in Modern Electronic Systems
Author 
Nicolaidis, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6993-4
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Predictive Technology Model for Robust Nanoelectronic Design
Predictive Technology Model for Robust Nanoelectronic Design
Author 
Cao, Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0445-3
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Electronic Value Exchange Origins of the VISA Electronic Payment System
Electronic Value Exchange Origins of the VISA Electronic Payment System
Author 
Stearns, David L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-139-4
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for VLSI 2010 Annual Symposium Selected papers
VLSI 2010 Annual Symposium Selected papers
Author 
Voros, Nikolaos. editor. Mukherjee, Amar. editor. Sklavos, Nicolas. editor. Masselos, Konstantinos. editor. Huebner, Michael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1488-5
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Praxishandbuch Web Dynpro ABAP
Praxishandbuch Web Dynpro ABAP
Author 
Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11387-1
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Model-Based Software Performance Analysis
Model-Based Software Performance Analysis
Author 
Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13621-4
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Introduction to Reliable and Secure Distributed Programming
Introduction to Reliable and Secure Distributed Programming
Author 
Cachin, Christian. author. Guerraoui, Rachid. author. Rodrigues, Luís. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15260-3
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
Author 
Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20398-5
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Access Networks 5th International ICST Conference on Access Networks, AccessNets 2010 and First ICST International Workshop on Autonomic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, Budapest, Hungary, November 3-5, 2010, Revised Selected Papers
Access Networks 5th International ICST Conference on Access Networks, AccessNets 2010 and First ICST International Workshop on Autonomic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, Budapest, Hungary, November 3-5, 2010, Revised Selected Papers
Author 
Szabó, Róbert. editor. Zhu, Hua. editor. Imre, Sándor. editor. Chaparadza, Ranganai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20931-4
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Distributed Applications and Interoperable Systems 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
Distributed Applications and Interoperable Systems 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
Author 
Felber, Pascal. editor. Rouvoy, Romain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21387-8
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings
Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings
Author 
Al-Begain, Khalid. editor. Balsamo, Simonetta. editor. Fiems, Dieter. editor. Marin, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21713-5
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers
Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers
Author 
Par, Gerard. editor. Morrow, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23583-2
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 8th International Conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011. Proceedings
Energy Minimization Methods in Computer Vision and Pattern Recognition 8th International Conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011. Proceedings
Author 
Boykov, Yuri. editor. Kahl, Fredrik. editor. Lempitsky, Victor. editor. Schmidt, Frank R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23094-3
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Search Based Software Engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
Search Based Software Engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
Author 
Cohen, Myra B. editor. Ó Cinnéide, Mel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23716-4
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Forensics in Telecommunications, Information, and Multimedia Third International ICST Conference, e-Forensics 2010, Shanghai, China, November 11-12, 2010, Revised Selected Papers
Forensics in Telecommunications, Information, and Multimedia Third International ICST Conference, e-Forensics 2010, Shanghai, China, November 11-12, 2010, Revised Selected Papers
Author 
Lai, Xuejia. editor. Gu, Dawu. editor. Jin, Bo. editor. Wang, Yongquan. editor. Li, Hui. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23602-0
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Advanced Parallel Processing Technologies 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings
Advanced Parallel Processing Technologies 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings
Author 
Temam, Olivier. editor. Yew, Pen-Chung. editor. Zang, Binyu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24151-2
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Communications and Multimedia Security 12th IFIP TC 6 / TC 11 International Conference, CMS 2011, Ghent, Belgium, October 19-21,2011. Proceedings
Communications and Multimedia Security 12th IFIP TC 6 / TC 11 International Conference, CMS 2011, Ghent, Belgium, October 19-21,2011. Proceedings
Author 
Decker, Bart. editor. Lapon, Jorn. editor. Naessens, Vincent. editor. Uhl, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24712-5
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Network and Parallel Computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings
Network and Parallel Computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings
Author 
Altman, Erik. editor. Shi, Weisong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24403-2
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
Author 
Jones, Cliff B. editor. Lloyd, John L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24541-1
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Trustworthy Internet
Trustworthy Internet
Author 
Salgarelli, Luca. editor. Bianchi, Giuseppe. editor. Blefari-Melazzi, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-1818-1
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Understanding Concurrent Systems
Understanding Concurrent Systems
Author 
Roscoe, A.W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-258-0
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Cloud Computing Principles, Systems and Applications
Cloud Computing Principles, Systems and Applications
Author 
Antonopoulos, Nick. editor. Gillam, Lee. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-241-4
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Autonomic Computing and Communications Systems Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers
Autonomic Computing and Communications Systems Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers
Author 
Vasilakos, Athanasius V. editor. Beraldi, Roberto. editor. Friedman, Roy. editor. Mamei, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11482-3
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Architecture of Computing Systems - ARCS 2010 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings
Architecture of Computing Systems - ARCS 2010 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings
Author 
Müller-Schloer, Christian. editor. Karl, Wolfgang. editor. Yehia, Sami. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11950-7
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II
Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II
Author 
Chio, Cecilia. editor. Brabazon, Anthony. editor. Caro, Gianni A. editor. Ebner, Marc. editor. Farooq, Muddassar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12242-2
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings
Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings
Author 
Bellavista, Paolo. editor. Chang, Ruay-Shiung. editor. Chao, Han-Chieh. editor. Lin, Shin-Feng. editor. Sloot, Peter M. A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13067-0
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings
Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings
Author 
Jajodia, Sushil. editor. Zhou, Jianying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16161-2
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
Author 
Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16505-4
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers
Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers
Author 
Chatzimisios, Periklis. editor. Verikoukis, Christos. editor. Santamaría, Ignacio. editor. Laddomada, Massimiliano. editor. Hoffmann, Oliver. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16644-0
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Provenance and Annotation of Data and Processes Third International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010. Revised Selected Papers
Provenance and Annotation of Data and Processes Third International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010. Revised Selected Papers
Author 
McGuinness, Deborah L. editor. Michaelis, James R. editor. Moreau, Luc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17819-1
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for HPC@Green IT Green High Performance Computing Methods
HPC@Green IT Green High Performance Computing Methods
Author 
Gruber, Ralf. author. Keller, Vincent. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01789-6
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers
Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers
Author 
Doulamis, Anastasios. editor. Mambretti, Joe. editor. Tomkos, Ioannis. editor. Varvarigou, Theodora. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11733-6
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
Author 
Zhang, Wu. editor. Chen, Zhangxin. editor. Douglas, Craig C. editor. Tong, Weiqin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11842-5
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers
Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12535-5
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Pervasive Computing 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings
Pervasive Computing 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings
Author 
Floréen, Patrik. editor. Krüger, Antonio. editor. Spasojevic, Mirjana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12654-3
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Progress in Cryptology – AFRICACRYPT 2010 Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010. Proceedings
Progress in Cryptology – AFRICACRYPT 2010 Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010. Proceedings
Author 
Bernstein, Daniel J. editor. Lange, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12678-9
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers
Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers
Author 
Altman, Eitan. editor. Carrera, Iacopo. editor. El-Azouzi, Rachid. editor. Hart, Emma. editor. Hayel, Yezekael. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12808-0
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Post-Quantum Cryptography Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings
Post-Quantum Cryptography Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings
Author 
Sendrier, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12929-2
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Communications and Multimedia Security 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 – June 2, 2010. Proceedings
Communications and Multimedia Security 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 – June 2, 2010. Proceedings
Author 
Decker, Bart. editor. Schaumüller-Bichl, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13241-4
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings
Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings
Author 
Rajaraman, Rajmohan. editor. Moscibroda, Thomas. editor. Dunkels, Adam. editor. Scaglione, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13651-1
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Mechanisms for Autonomous Management of Networks and Services 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings
Mechanisms for Autonomous Management of Networks and Services 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings
Author 
Stiller, Burkhard. editor. Turck, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13986-4
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings
Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings
Author 
Özcan, Abdulkadir. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14171-3
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Beginning Microsoft Excel 2010
Beginning Microsoft Excel 2010
Author 
Katz, Abbbott. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-2956-8
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for iOS Forensic Analysis for iPhone, iPad, and iPod touch
iOS Forensic Analysis for iPhone, iPad, and iPod touch
Author 
Morrissey, Sean. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-3343-5
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Composing Software Components A Software-testing Perspective
Composing Software Components A Software-testing Perspective
Author 
Hamlet, Dick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7148-7
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Association Rule Hiding for Data Mining
Association Rule Hiding for Data Mining
Author 
Gkoulalas-Divanis, Aris. author. Verykios, Vassilios S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6569-1
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Adaptive Cryptographic Access Control
Adaptive Cryptographic Access Control
Author 
Kayem, Anne V. D. M. author. Akl, Selim G. author. Martin, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6655-1
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Web Dynpro ABAP for Practitioners
Web Dynpro ABAP for Practitioners
Author 
Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11385-7
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
Author 
Eliassen, Frank. editor. Kapitza, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13645-0
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers
Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers
Author 
Rome, Erich. editor. Bloomfield, Robin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-14379-3
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, Proceedings, Part I
Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, Proceedings, Part I
Author 
D’Ambra, Pasqua. editor. Guarracino, Mario. editor. Talia, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15277-1
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II
Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II
Author 
D’Ambra, Pasqua. editor. Guarracino, Mario. editor. Talia, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15291-7
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
Author 
Ding, Chen. editor. Shao, Zhiyuan. editor. Zheng, Ran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15672-4
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17071-3
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Peer-to-Peer Computing Principles and Applications
Peer-to-Peer Computing Principles and Applications
Author 
Vu, Quang Hieu. author. Lupu, Mihai. author. Ooi, Beng Chin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03514-2
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Mikrocontroller und Mikroprozessoren
Mikrocontroller und Mikroprozessoren
Author 
Brinkschulte, Uwe. author. Ungerer, Theo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05398-6
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Models in Hardware Testing Lecture Notes of the Forum in Honor of Christian Landrault
Models in Hardware Testing Lecture Notes of the Forum in Honor of Christian Landrault
Author 
Wunderlich, Hans-Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3282-9
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Scheduling for Parallel Processing
Scheduling for Parallel Processing
Author 
Drozdowski, Maciej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-310-5
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Robust Control for Uncertain Networked Control Systems with Random Delays
Robust Control for Uncertain Networked Control Systems with Random Delays
Author 
Huang, Dan. author. Nguang, Sing Kiong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-678-6
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Storage Management in Data Centers Understanding, Exploiting, Tuning, and Troubleshooting Veritas Storage Foundation
Storage Management in Data Centers Understanding, Exploiting, Tuning, and Troubleshooting Veritas Storage Foundation
Author 
Scriba, Albrecht. author. Herminghaus, Volker. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85023-6
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Architecture of Computing Systems – ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings
Architecture of Computing Systems – ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings
Author 
Berekovic, Mladen. editor. Müller-Schloer, Christian. editor. Hochberger, Christian. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00454-4
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings
Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings
Author 
Vahrenhold, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02011-7
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports
Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports
Author 
Eugster, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02047-6
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Networks for Grid Applications Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers
Networks for Grid Applications Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers
Author 
Vicat-Blanc Primet, Pascale. editor. Kudoh, Tomohiro. editor. Mambretti, Joe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02080-3
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings
Author 
Kordon, Fabrice. editor. Kermarrec, Yvon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01924-1
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
Author 
Lewis, Grace A. editor. Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02414-6
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Mobile Lightweight Wireless Systems First International ICST Conference, MOBILIGHT 2009, Athens, Greece, May 18-20, 2009, Revised Selected Papers
Mobile Lightweight Wireless Systems First International ICST Conference, MOBILIGHT 2009, Athens, Greece, May 18-20, 2009, Revised Selected Papers
Author 
Granelli, Fabrizio. editor. Skianis, Charalabos. editor. Chatzimisios, Periklis. editor. Xiao, Yang. editor. Redana, Simone. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03819-8
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems
Author 
Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05465-5
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Communication and Networking International Conference, FGCN/ACN 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Communication and Networking International Conference, FGCN/ACN 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Author 
Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Chang, Alan Chin-Chen. editor. Vasilakos, Thanos. editor. Li, MingChu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10844-0
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers
Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers
Author 
Mueller, Peter. editor. Cao, Jian-Nong. editor. Wang, Cho-Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10485-5
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Future Generation Information Technology First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12,2009. Proceedings
Future Generation Information Technology First International Conference, FGIT 2009, Jeju Island, Korea, December 10-12,2009. Proceedings
Author 
Lee, Young-hoon. editor. Kim, Tai-hoon. editor. Fang, Wai-chi. editor. Ślęzak, Dominik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10509-8
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Grid and Distributed Computing International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Grid and Distributed Computing International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Author 
Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Yau, Stephen S. editor. Gervasi, Osvaldo. editor. Kang, Byeong-Ho. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10549-4
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings
Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings
Author 
Jaatun, Martin Gilje. editor. Zhao, Gansen. editor. Rong, Chunming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10665-1
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Proceedings of the 3rd European Conference on Computer Network Defense
Proceedings of the 3rd European Conference on Computer Network Defense
Author 
Siris, Vasilios. editor. Anagnostakis, Kostas. editor. Ioannidis, Sotiris. editor. Trimintzios, Panagiotis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-85555-4
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for High Assurance Services Computing
High Assurance Services Computing
Author 
Zhang, Liang-Jie. editor. Paul, Raymond. editor. Dong, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-87658-0
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Automating Linux and Unix System Administration
Automating Linux and Unix System Administration
Author 
Campi, Nate. author. Bauer, Kirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1060-3
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Beginning OpenOffice 3 From Novice to Professional
Beginning OpenOffice 3 From Novice to Professional
Author 
Channelle, Andy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1591-2
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Leistungsbewertung bei Computersystemen Praktische Performance-Analyse von Rechnern und ihrer Kommunikation
Leistungsbewertung bei Computersystemen Praktische Performance-Analyse von Rechnern und ihrer Kommunikation
Author 
Kruse, Hans Günther. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71054-7
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Social Semantic Web Web 2.0 -- Was nun?
Social Semantic Web Web 2.0 -- Was nun?
Author 
Blumauer, Andreas. editor. Pellegrini, Tassilo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72216-8
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Embedded Linux Das Praxisbuch
Embedded Linux Das Praxisbuch
Author 
Dillmann, Rüdiger. author. Gockel, Tilo. author. Schröder, Joachim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78620-7
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings
Author 
Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00199-4
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Methods, Models and Tools for Fault Tolerance
Methods, Models and Tools for Fault Tolerance
Author 
Butler, Michael. editor. Jones, Cliff. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00867-2
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Evolving OpenMP in an Age of Extreme Parallelism 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings
Evolving OpenMP in an Age of Extreme Parallelism 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings
Author 
Müller, Matthias S. editor. Supinski, Bronis R. editor. Chapman, Barbara M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02303-3
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
Author 
Boer, Frank S. editor. Bonsangue, Marcello M. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04167-9
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Architecting Dependable Systems VI
Architecting Dependable Systems VI
Author 
Lemos, Rogério. editor. Fabre, Jean-Charles. editor. Gacek, Cristina. editor. Gadducci, Fabio. editor. Beek, Maurice. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10248-6
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Service-Oriented Computing 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings
Service-Oriented Computing 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings
Author 
Baresi, Luciano. editor. Chi, Chi-Hung. editor. Suzuki, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10383-4
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings
Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings
Author 
Papasratorn, Borworn. editor. Chutimaskul, Wichian. editor. Porkaew, Kriengkrai. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10392-6
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
Author 
Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. Jiang, Tao. editor. Verner, June. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10619-4
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Quality of Service in Heterogeneous Networks 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23-25, 2009 Proceedings
Quality of Service in Heterogeneous Networks 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23-25, 2009 Proceedings
Author 
Bartolini, Novella. editor. Nikoletseas, Sotiris. editor. Sinha, Prasun. editor. Cardellini, Valeria. editor. Mahanti, Anirban. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10625-5
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Pro Ubuntu Server Administration
Pro Ubuntu Server Administration
Author 
Vugt, Sander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1623-0
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Mac for Linux Geeks
Mac for Linux Geeks
Author 
Steidler-Dennison, Tony. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1651-3
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Beginning the Linux Command Line
Beginning the Linux Command Line
Author 
Vugt, Sander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1890-6
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Pro OpenSolaris A New Open Source OS for Linux Developers and Administrators
Pro OpenSolaris A New Open Source OS for Linux Developers and Administrators
Author 
Foxwell, Harry J. author. Tran, Christine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1892-0
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Pro Linux System Administration
Pro Linux System Administration
Author 
Turnbull, James. author. Lieverdink, Peter. author. Matotek, Dennis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1913-2
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Ubuntu Netbooks The Path to Low-Cost Computing
Ubuntu Netbooks The Path to Low-Cost Computing
Author 
Vugt, Sander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-2442-6
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Scheduling in Distributed Computing Systems Analysis, Design and Models
Scheduling in Distributed Computing Systems Analysis, Design and Models
Author 
Vidyarthi, Deo Prakash. author. Sarker, Biplab Kumer. author. Tripathi, Anil Kumar. author. Yang, Laurence Tianruo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-74483-4
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Distributed Intelligent Systems A Coordination Perspective
Distributed Intelligent Systems A Coordination Perspective
Author 
Bedrouni, Abdellah. author. Mittu, Ranjeev. author. Boukhtouta, A. author. Berger, Jean. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-77702-3
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Security and Dependability for Ambient Intelligence
Security and Dependability for Ambient Intelligence
Author 
Kokolakis, Spyros. editor. Gómez, Antonio Maña. editor. Spanoudakis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-88775-3
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Windows Netbooks The Path to Low-Cost Computing
Windows Netbooks The Path to Low-Cost Computing
Author 
Kelly, James Floyd. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-2400-6
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Embedded Software Development with C
Embedded Software Development with C
Author 
Qian, Kai. author. Den Haring, David. author. Cao, Li. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0606-9
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers
Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers
Author 
Vouros, George. editor. Artikis, Alexander. editor. Stathis, Kostas. editor. Pitt, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02377-4
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings
Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings
Author 
Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03275-2
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Energy Minimization Methods in Computer Vision and Pattern Recognition 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings
Energy Minimization Methods in Computer Vision and Pattern Recognition 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings
Author 
Cremers, Daniel. editor. Boykov, Yuri. editor. Blake, Andrew. editor. Schmidt, Frank R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03641-5
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for The Internet of the Future 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, Barcelona, Spain, September 7-9, 2009. Proceedings
The Internet of the Future 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, Barcelona, Spain, September 7-9, 2009. Proceedings
Author 
Oliver, Miquel. editor. Sallent, Sebastià. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03700-9
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings
Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings
Author 
Ropo, Matti. editor. Westerholm, Jan. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03770-2
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Euro-Par 2009 Parallel Processing 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings
Euro-Par 2009 Parallel Processing 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings
Author 
Sips, Henk. editor. Epema, Dick. editor. Lin, Hai-Xiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03869-3
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings
Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings
Author 
Keidar, Idit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04355-0
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers
Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers
Author 
Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04633-9
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for AccessNets Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers
AccessNets Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers
Author 
Wang, Chonggang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04648-3
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
Author 
Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04694-0
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Advances in Information and Computer Security 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings
Advances in Information and Computer Security 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings
Author 
Takagi, Tsuyoshi. editor. Mambo, Masahiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04846-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets