Search Results for Software. - Narrowed by: Operating systems (Computers).

Software Reliability Assessment with OR Applications

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Model-Based Software Performance Analysis

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Embedded Software Development with C

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Software-Implemented Hardware Fault Tolerance

2024-10-17T08:29:21Z

Author Goloubeva, Olga. author. Rebaudengo, Maurizio. author. Reorda, Matteo Sonza. author. Violante, Massimo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-32937-4
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Composing Software Components A Software-testing Perspective

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Software Fault Detection and Correction: Modeling and Applications

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

Author Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54807-9
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering and Management for Software Development Projects

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Search Based Software Engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

The Testing Network An Integral Approach to Test Activities in Large Software Projects

2024-10-17T08:29:21Z

Author Henry, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78504-0
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

2024-10-17T08:29:21Z

Author Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69149-5
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

2024-10-17T08:29:21Z

Author Chaudron, Michel R. V. editor. Szyperski, Clemens. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87891-9
Format: Electronic Resources
Availability Online Library~1

Software Verification and Validation An Engineering and Scientific Approach

2024-10-17T08:29:21Z

Author Fisher, Marcus S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-47939-2
Format: Electronic Resources
Availability Online Library~1

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings

2024-10-17T08:29:21Z

Author Lee, Yann-Hang. editor. Kim, Heung-Nam. editor. Kim, Jong. editor. Park, Yongwan. editor. Yang, Laurence T. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72685-2
Format: Electronic Resources
Availability Online Library~1

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy

2024-10-17T08:29:21Z

Author Damiani, Ernesto. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Scotto, Marco. editor. Succi, Giancarlo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34226-5
Format: Electronic Resources
Availability Online Library~1

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program

2024-10-17T08:29:21Z

Author Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11808107
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends

2024-10-17T08:29:21Z

Author Atkinson, Colin. editor. Bunse, Christian. editor. Gross, Hans-Gerhard. editor. Peper, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11591962
Format: Electronic Resources
Availability Online Library~1

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

2024-10-17T08:29:21Z

Author Wu, Zhaohui. editor. Chen, Chun. editor. Guo, Minyi. editor. Bu, Jiajun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11535409
Format: Electronic Resources
Availability Online Library~1

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings

2024-10-17T08:29:21Z

Author Yang, Laurence T. editor. Zhou, Xingshe. editor. Zhao, Wei. editor. Wu, Zhaohui. editor. Zhu, Yian. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11599555
Format: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Handbook of Model Checking

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Low-Power Design and Power-Aware Verification

2024-10-17T08:29:21Z

Author Khondkar, Progyna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66619-8
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXVIII

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems -- ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Ada 2012 Rationale The Language, The Standard Libraries

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Web Dynpro ABAP for Practitioners

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Selected Areas in Cryptography 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

UNIX Operating System The Development Tutorial via UNIX Kernel Services

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 8th International Conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Communications and Multimedia Security 12th IFIP TC 6 / TC 11 International Conference, CMS 2011, Ghent, Belgium, October 19-21,2011. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Praxishandbuch Web Dynpro ABAP

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Introduction to Reliable and Secure Distributed Programming

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems - ARCS 2011 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Progress in Cryptology – AFRICACRYPT 2011 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Analyzing Computer System Performance with Perl::PDQ

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

HPC@Green IT Green High Performance Computing Methods

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Progress in Cryptology – AFRICACRYPT 2010 Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Post-Quantum Cryptography Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Association Rule Hiding for Data Mining

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Web Dynpro ABAP for Practitioners

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems - ARCS 2010 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Pervasive Computing 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Communications and Multimedia Security 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 – June 2, 2010. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, Proceedings, Part I

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

High Assurance Services Computing

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Scheduling for Parallel Processing

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Security and Dependability for Ambient Intelligence

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Embedded Linux Das Praxisbuch

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Euro-Par 2009 Parallel Processing 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Advances in Information and Computer Security 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Architecting Dependable Systems VI

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers

2024-10-17T08:29:21Z

Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10424-4
Format: Electronic Resources
Availability Online Library~1

Middleware 2009 ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 – December 4, 2009. Proceedings

2024-10-17T08:29:21Z

Author Bacon, Jean M. editor. Cooper, Brian F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10445-9
Format: Electronic Resources
Availability Online Library~1

Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

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

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Methods, Models and Tools for Fault Tolerance

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Networks for Grid Applications Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings

2024-10-17T08:29:21Z

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: Electronic Resources
Availability Online Library~1

Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008

2024-10-17T08:29:21Z

Author Mahr, Bernd. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8889-6
Format: Electronic Resources
Availability Online Library~1

Principles of the Spin Model Checker

2024-10-17T08:29:21Z

Author Ben-Ari, Mordechai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-770-1
Format: Electronic Resources
Availability Online Library~1

E-Government Ict Professionalism and Competences Service Science

2024-10-17T08:29:21Z

Author Mazzeo, Antonino. editor. Bellini, Roberto. editor. Motta, Gianmario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09712-1
Format: Electronic Resources
Availability Online Library~1

A Modular Calculus for the Average Cost of Data Structuring

2024-10-17T08:29:21Z

Author Schellekens, Michel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-73384-5
Format: Electronic Resources
Availability Online Library~1

Distributed and Parallel Systems In Focus: Desktop Grid Computing

2024-10-17T08:29:21Z

Author Kacsuk, Péter. editor. Lovas, Róbert. editor. Németh, Zsolt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-79448-8
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2024-10-17T08:29:21Z

Author Meier, René. editor. Terzis, Sotirios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68642-2
Format: Electronic Resources
Availability Online Library~1

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

2024-10-17T08:29:21Z

Author Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68746-7
Format: Electronic Resources
Availability Online Library~1

Web Component Development with Zope 3

2024-10-17T08:29:21Z

Author Weitershausen, Philipp. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76448-9
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers

2024-10-17T08:29:21Z

Author Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78699-3
Format: Electronic Resources
Availability Online Library~1

Secure Transaction Protocol Analysis Models and Applications

2024-10-17T08:29:21Z

Author Chen, Qingfeng. author. Zhang, Chengqi. author. Zhang, Shichao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85074-8
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

2024-10-17T08:29:21Z

Author Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89247-2
Format: Electronic Resources
Availability Online Library~1

Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers

2024-10-17T08:29:21Z

Author Hirschfeld, Robert. editor. Rose, Kim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89275-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

2024-10-17T08:29:21Z

Author Ramalingam, G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89330-1
Format: Electronic Resources
Availability Online Library~1

Innovation in Manufacturing Networks Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008

2024-10-17T08:29:21Z

Author Azevedo, Américo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09492-2
Format: Electronic Resources
Availability Online Library~1

Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity

2024-10-17T08:29:21Z

Author Georgiou, Chryssis. author. Shvartsman, Alexander A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-69045-2
Format: Electronic Resources
Availability Online Library~1

Moving Wearables into the Mainstream Taming the Borg

2024-10-17T08:29:21Z

Author Dvorak, Joseph L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-69142-8
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings

2024-10-17T08:29:21Z

Author Nikoletseas, Sotiris E. editor. Chlebus, Bogdan S. editor. Johnson, David B. editor. Krishnamachari, Bhaskar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69170-9
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

2024-10-17T08:29:21Z

Author Suzuki, Kenji. editor. Higashino, Teruo. editor. Yasumoto, Keiichi. editor. El-Fakih, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68855-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

2024-10-17T08:29:21Z

Author Barthe, Gilles. editor. Boer, Frank S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68863-1
Format: Electronic Resources
Availability Online Library~1

Dependability Metrics Advanced Lectures

2024-10-17T08:29:21Z

Author Eusgeld, Irene. editor. Freiling, Felix C. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68947-8
Format: Electronic Resources
Availability Online Library~1

Ajax in Oracle JDeveloper

2024-10-17T08:29:21Z

Author Vohra, Deepak. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77596-6
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings

2024-10-17T08:29:21Z

Author Brinkschulte, Uwe. editor. Ungerer, Theo. editor. Hochberger, Christian. editor. Spallek, Rainer G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78153-0
Format: Electronic Resources
Availability Online Library~1

Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

2024-10-17T08:29:21Z

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-540-78827-0
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2024-10-17T08:29:21Z

Author Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Electronic Resources
Availability Online Library~1

Architecting Dependable Systems V

2024-10-17T08:29:21Z

Author Lemos, Rogério. editor. Giandomenico, Felicita. editor. Gacek, Cristina. editor. Muccini, Henry. editor. Vieira, Marlon. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85571-2
Format: Electronic Resources
Availability Online Library~1

Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

2024-10-17T08:29:21Z

Author Taubenfeld, Gadi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87779-0
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings

2024-10-17T08:29:21Z

Author Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88011-0
Format: Electronic Resources
Availability Online Library~1

Systems and Virtualization Management. Standards and New Technologies Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings

2024-10-17T08:29:21Z

Author Boursas, Latifa. editor. Carlson, Mark. editor. Hommel, Wolfgang. editor. Sibilla, Michelle. editor. Wold, Kes. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88708-9
Format: Electronic Resources
Availability Online Library~1

Advances in Information and Computer Security Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008. Proceedings

2024-10-17T08:29:21Z

Author Matsuura, Kanta. editor. Fujisaki, Eiichiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89598-5
Format: Electronic Resources
Availability Online Library~1

Middleware 2008 ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

2024-10-17T08:29:21Z

Author Issarny, Valérie. editor. Schantz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89856-6
Format: Electronic Resources
Availability Online Library~1

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings

2024-10-17T08:29:21Z

Author Sadayappan, Ponnuswamy. editor. Parashar, Manish. editor. Badrinath, Ramamurthy. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89894-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

2024-10-17T08:29:21Z

Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92188-2
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

2024-10-17T08:29:21Z

Author Shen, Weiming. editor. Yong, Jianming. editor. Yang, Yun. editor. Barthès, Jean-Paul A. editor. Luo, Junzhou. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92719-8
Format: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings

2024-10-17T08:29:21Z

Author Wu, Song. editor. Yang, Laurence T. editor. Xu, Tony Li. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68083-3
Format: Electronic Resources
Availability Online Library~1

Formal Models of Operating System Kernels

2024-10-17T08:29:21Z

Author Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-718-3
Format: Electronic Resources
Availability Online Library~1

Workflows for e-Science Scientific Workflows for Grids

2024-10-17T08:29:21Z

Author Taylor, Ian J. editor. Deelman, Ewa. editor. Gannon, Dennis B. editor. Shields, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-757-2
Format: Electronic Resources
Availability Online Library~1

Distributed and Parallel Systems From Cluster to Grid Computing

2024-10-17T08:29:21Z

Author Kacsuk, Péter. editor. Fahringer, Thomas. editor. Németh, Zsolt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-69858-8
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings

2024-10-17T08:29:21Z

Author Lukowicz, Paul. editor. Thiele, Lothar. editor. Tröster, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71270-1
Format: Electronic Resources
Availability Online Library~1

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

2024-10-17T08:29:21Z

Author Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73094-1
Format: Electronic Resources
Availability Online Library~1

Architecting Dependable Systems IV

2024-10-17T08:29:21Z

Author Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74035-3
Format: Electronic Resources
Availability Online Library~1

Distributed Computing 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings

2024-10-17T08:29:21Z

Author Pelc, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75142-7
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2024-10-17T08:29:21Z

Author Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76637-7
Format: Electronic Resources
Availability Online Library~1

Web Component Development with Zope 3

2024-10-17T08:29:21Z

Author Weitershausen, Philipp. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-33808-6
Format: Electronic Resources
Availability Online Library~1

Distributed Services with OpenAFS for Enterprise and Education

2024-10-17T08:29:21Z

Author Milicchio, Franco. author. Gehrke, Wolfgang A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-36634-8
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

2024-10-17T08:29:21Z

Author Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71035-6
Format: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings

2024-10-17T08:29:21Z

Author Cérin, Christophe. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72360-8
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings

2024-10-17T08:29:21Z

Author Aspnes, James. editor. Scheideler, Christian. editor. Arora, Anish. editor. Madden, Samuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73090-3
Format: Electronic Resources
Availability Online Library~1

Ruby on Rails for PHP and Java Developers

2024-10-17T08:29:21Z

Author Vohra, Deepak. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73145-0
Format: Electronic Resources
Availability Online Library~1

Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings

2024-10-17T08:29:21Z

Author Garay, Juan A. editor. Lenstra, Arjen K. editor. Mambo, Masahiro. editor. Peralta, René. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75496-1
Format: Electronic Resources
Availability Online Library~1

Advances in Information and Computer Security Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007. Proceedings

2024-10-17T08:29:21Z

Author Miyaji, Atsuko. editor. Kikuchi, Hiroaki. editor. Rannenberg, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75651-4
Format: Electronic Resources
Availability Online Library~1

Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings

2024-10-17T08:29:21Z

Author Cerqueira, Renato. editor. Campbell, Roy H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76778-7
Format: Electronic Resources
Availability Online Library~1

Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services

2024-10-17T08:29:21Z

Author Gunther, Neil J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31010-5
Format: Electronic Resources
Availability Online Library~1

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2024-10-17T08:29:21Z

Author Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69262-1
Format: Electronic Resources
Availability Online Library~1

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-10-17T08:29:21Z

Author Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69868-5
Format: Electronic Resources
Availability Online Library~1

Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers

2024-10-17T08:29:21Z

Author Minden, Gary J. editor. Calvert, Kenneth L. editor. Solarski, Marcin. editor. Yamamoto, Miki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71500-9
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2024-10-17T08:29:21Z

Author Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-10-17T08:29:21Z

Author Indulska, Jadwiga. editor. Raymond, Kerry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72883-2
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

2024-10-17T08:29:21Z

Author Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72863-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-10-17T08:29:21Z

Author Bonsangue, Marcello M. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72952-5
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

2024-10-17T08:29:21Z

Author Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73196-2
Format: Electronic Resources
Availability Online Library~1

Debian GNU/Linux Grundlagen, Einrichtung und Betrieb

2024-10-17T08:29:21Z

Author Ganten, Peter H. author. Alex, Wulf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73339-3
Format: Electronic Resources
Availability Online Library~1

Self-Organizing Systems Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings

2024-10-17T08:29:21Z

Author Hutchison, David. editor. Katz, Randy H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74917-2
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

2024-10-17T08:29:21Z

Author Paillier, Pascal. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74735-2
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings

2024-10-17T08:29:21Z

Author Stojmenovic, Ivan. editor. Thulasiram, Ruppa K. editor. Yang, Laurence T. editor. Jia, Weijia. editor. Guo, Minyi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74742-0
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings

2024-10-17T08:29:21Z

Author Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74780-2
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings

2024-10-17T08:29:21Z

Author Li, Keqiu. editor. Jesshope, Chris. editor. Jin, Hai. editor. Gaudiot, Jean-Luc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74784-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

2024-10-17T08:29:21Z

Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74792-5
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings

2024-10-17T08:29:21Z

Author Tovar, Eduardo. editor. Tsigas, Philippas. editor. Fouchal, Hacène. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77096-1
Format: Electronic Resources
Availability Online Library~1

Access Control Systems Security, Identity Management and Trust Models

2024-10-17T08:29:21Z

Author Benantar, Messaoud. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-27716-1
Format: Electronic Resources
Availability Online Library~1

Enterprise Service Oriented Architectures Concepts, Challenges, Recommendations

2024-10-17T08:29:21Z

Author McGovern, James. author. Sims, Oliver. author. Jain, Ashish. author. Little, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3705-8
Format: Electronic Resources
Availability Online Library~1

Embedded Systems – Modeling, Technology, and Applications

2024-10-17T08:29:21Z

Author Hommel, Günter. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4933-1
Format: Electronic Resources
Availability Online Library~1

Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performance

2024-10-17T08:29:21Z

Author Dyke, Julian. author. Shaw, Steve. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0214-1
Format: Electronic Resources
Availability Online Library~1

Virtual Machines

2024-10-17T08:29:21Z

Author Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-246-1
Format: Electronic Resources
Availability Online Library~1

Betriebssysteme Eine kompakte Einführung mit Linux

2024-10-17T08:29:21Z

Author Achilles, Albrecht. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-29376-7
Format: Electronic Resources
Availability Online Library~1

Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

2024-10-17T08:29:21Z

Author Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734697
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology - ICISC 2005 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers

2024-10-17T08:29:21Z

Author Won, Dong Ho. editor. Kim, Seungjoo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734727
Format: Electronic Resources
Availability Online Library~1

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings

2024-10-17T08:29:21Z

Author Clark, John A. editor. Paige, Richard F. editor. Polack, Fiona A. C. editor. Brooke, Phillip J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734666
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communications 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006. Proceedings

2024-10-17T08:29:21Z

Author Braun, Torsten. editor. Carle, Georg. editor. Fahmy, Sonia. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11750390
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2006 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings

2024-10-17T08:29:21Z

Author Vaudenay, Serge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11761679
Format: Electronic Resources
Availability Online Library~1

High Availability and Disaster Recovery Concepts, Design, Implementation

2024-10-17T08:29:21Z

Author Schmidt, Klaus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-34582-5
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings

2024-10-17T08:29:21Z

Author Gibbons, Phillip B. editor. Abdelzaher, Tarek. editor. Aspnes, James. editor. Rao, Ramesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11776178
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006. Proceedings

2024-10-17T08:29:21Z

Author Batten, Lynn Margaret. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780656
Format: Electronic Resources
Availability Online Library~1

Advanced Topics in Exception Handling Techniques

2024-10-17T08:29:21Z

Author Dony, Christophe. editor. Knudsen, Jørgen Lindskov. editor. Romanovsky, Alexander. editor. Tripathi, Anand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11818502
Format: Electronic Resources
Availability Online Library~1

Self-Organizing Systems First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings

2024-10-17T08:29:21Z

Author Meer, Hermann. editor. Sterbenz, James P. G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11822035
Format: Electronic Resources
Availability Online Library~1

Security and Cryptography for Networks 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. Proceedings

2024-10-17T08:29:21Z

Author Prisco, Roberto. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11832072
Format: Electronic Resources
Availability Online Library~1

UbiComp 2006: Ubiquitous Computing 8th International Conference, UbiComp 2006 Orange County, CA, USA, September 17-21, 2006 Proceedings

2024-10-17T08:29:21Z

Author Dourish, Paul. editor. Friday, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11853565
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 10th International Conference, FC 2006 Anguilla, British West Indies, February 27-March 2, 2006 Revised Selected Papers

2024-10-17T08:29:21Z

Author Crescenzo, Giovanni. editor. Rubin, Avi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11889663
Format: Electronic Resources
Availability Online Library~1

Digital Watermarking 5th International Workshop, IWDW 2006, Jeju Island, Korea, November 8-10, 2006. Proceedings

2024-10-17T08:29:21Z

Author Shi, Yun Qing. editor. Jeon, Byeungwoo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11922841
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

2024-10-17T08:29:21Z

Author Kobayashi, Naoki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11924661
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings

2024-10-17T08:29:21Z

Author Shvartsman, Mariam Momenzadeh Alexander A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11945529
Format: Electronic Resources
Availability Online Library~1

Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006. Proceedings

2024-10-17T08:29:21Z

Author Steen, Maarten. editor. Henning, Michi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11925071
Format: Electronic Resources
Availability Online Library~1

Mac OS X

2024-10-17T08:29:21Z

Author Kobylinski, Rafael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31283-3
Format: Electronic Resources
Availability Online Library~1

Sicheres Netzwerkmanagement Konzepte, Protokolle, Tools

2024-10-17T08:29:21Z

Author Schwenkler, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-31287-0
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings

2024-10-17T08:29:21Z

Author Halevi, Shai. editor. Rabin, Tal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11681878
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings

2024-10-17T08:29:21Z

Author Grass, Werner. editor. Sick, Bernhard. editor. Waldschmidt, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11682127
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

2024-10-17T08:29:21Z

Author Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11686699
Format: Electronic Resources
Availability Online Library~1

Selected Areas in Cryptography 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers

2024-10-17T08:29:21Z

Author Preneel, Bart. editor. Tavares, Stafford. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11693383
Format: Electronic Resources
Availability Online Library~1

Information Security Applications 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers

2024-10-17T08:29:21Z

Author Song, Joo-Seok. editor. Kwon, Taekyoung. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11604938
Format: Electronic Resources
Availability Online Library~1

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

2024-10-17T08:29:21Z

Author Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11741060
Format: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings

2024-10-17T08:29:21Z

Author Chung, Yeh-Ching. editor. Moreira, José E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11745693
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings

2024-10-17T08:29:21Z

Author Fishkin, Kenneth P. editor. Schiele, Bernt. editor. Nixon, Paddy. editor. Quigley, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11748625
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

2024-10-17T08:29:21Z

Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11804192
Format: Electronic Resources
Availability Online Library~1

Security@Work Pragmatische Konzeption und Implementierung von IT-Sicherheit mit Löungsbeispielen auf Open-Source-Basis

2024-10-17T08:29:21Z

Author Eschweiler, Jög. author. Atencio Psille, Daniel E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-36226-6
Format: Electronic Resources
Availability Online Library~1

Data and Applications Security XX 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings

2024-10-17T08:29:21Z

Author Damiani, Ernesto. editor. Liu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11805588
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings

2024-10-17T08:29:21Z

Author Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11863649
Format: Electronic Resources
Availability Online Library~1

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006. Proceedings

2024-10-17T08:29:21Z

Author Dolev, Shlomi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11864219
Format: Electronic Resources
Availability Online Library~1

Rigorous Development of Complex Fault-Tolerant Systems

2024-10-17T08:29:21Z

Author Butler, Michael. editor. Jones, Cliff B. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11916246
Format: Electronic Resources
Availability Online Library~1

Introduction to Reliable Distributed Programming

2024-10-17T08:29:21Z

Author Guerraoui, Rachid. author. Rodrigues, Luís. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28846-5
Format: Electronic Resources
Availability Online Library~1

Debian GNU/Linux in der Praxis Anwendungen, Konzepte, Werkzeuge

2024-10-17T08:29:21Z

Author Alex, Wulf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-30029-8
Format: Electronic Resources
Availability Online Library~1

Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

2024-10-17T08:29:21Z

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/11666806
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2006 The Cryptographers’ Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005. Proceedings

2024-10-17T08:29:21Z

Author Pointcheval, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11605805
Format: Electronic Resources
Availability Online Library~1

Distributed Event-Based Systems

2024-10-17T08:29:21Z

Author Mühl, Gero. author. Fiege, Ludger. author. Pietzuch, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32653-7
Format: Electronic Resources
Availability Online Library~1

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

2024-10-17T08:29:21Z

Author Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767589
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

2024-10-17T08:29:21Z

Author Dunne, Steve. editor. Stoddart, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11768173
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-10-17T08:29:21Z

Author Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11768869
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2024-10-17T08:29:21Z

Author Eliassen, Frank. editor. Montresor, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11773887
Format: Electronic Resources
Availability Online Library~1

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

2024-10-17T08:29:21Z

Author Reussner, Ralf H. editor. Stafford, Judith A. editor. Szyperski, Clemens A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11786160
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2024-10-17T08:29:21Z

Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814948
Format: Electronic Resources
Availability Online Library~1