Search Results for Operating systems (Computers). - Narrowed by: SpringerLink (Online service) - Online Library - Computer science. - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dOperating$002bsystems$002b$002528Computers$002529.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-07-16T09:17:58Z Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399155 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Li, Chao. editor.&#160;Wu, Junjie. editor. (orcid)0000-0001-5951-8988&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2423-9">https://doi.org/10.1007/978-981-13-2423-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16&ndash;18, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400792 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Li, Jinwen. editor.&#160;Zhang, Chengyi. editor.&#160;Zhu, Zhenzhen. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-7844-6">https://doi.org/10.1007/978-981-10-7844-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:401247 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251&#160;Loreti, Michele. editor. (orcid)0000-0003-3061-863X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92408-3">https://doi.org/10.1007/978-3-319-92408-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25&ndash;26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401991 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Rensink, Arend. editor. (orcid)0000-0002-1714-6319&#160;S&aacute;nchez Cuadrado, Jes&uacute;s. editor. (orcid)0000-0001-9755-5616&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93317-7">https://doi.org/10.1007/978-3-319-93317-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low-Power Design and Power-Aware Verification ent://SD_ILS/0/SD_ILS:402053 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Khondkar, Progyna. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66619-8">https://doi.org/10.1007/978-3-319-66619-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400459 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Itsykson, Vladimir. editor.&#160;Scedrov, Andre. editor.&#160;Zakharov, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-71734-0">https://doi.org/10.1007/978-3-319-71734-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400495 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Pires, Lu&iacute;s Ferreira. editor.&#160;Hammoudi, Slimane. editor.&#160;Selic, Bran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-94764-8">https://doi.org/10.1007/978-3-319-94764-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401670 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Heras, Dora B. editor.&#160;Boug&eacute;, Luc. editor.&#160;Mencagli, Gabriele. editor.&#160;Jeannot, Emmanuel. editor.&#160;Sakellariou, Rizos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75178-8">https://doi.org/10.1007/978-3-319-75178-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:399750 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Fortino, Giancarlo. editor.&#160;Ali, A.B.M. Shawkat. editor.&#160;Pathan, Mukaddim. editor.&#160;Guerrieri, Antonio. editor.&#160;Di Fatta, Giuseppe. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-97795-9">https://doi.org/10.1007/978-3-319-97795-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2&ndash;6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399802 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918&#160;Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99673-8">https://doi.org/10.1007/978-3-319-99673-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400714 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Wang, Meng. editor.&#160;Owens, Scott. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89719-6">https://doi.org/10.1007/978-3-319-89719-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Model Checking ent://SD_ILS/0/SD_ILS:401293 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Clarke, Edmund M. editor.&#160;Henzinger, Thomas A. editor.&#160;Veith, Helmut. editor.&#160;Bloem, Roderick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:401312 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Baier, Christel. editor.&#160;Caires, Lu&iacute;s. editor. (orcid)0000-0002-3215-6734&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92612-4">https://doi.org/10.1007/978-3-319-92612-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 &ndash; June 2, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334049 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Yuan, Yuyu. editor.&#160;Wu, Xu. editor.&#160;Lu, Yueming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334049.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35795-4">http://dx.doi.org/10.1007/978-3-642-35795-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334469 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kasahara, Hironori. editor.&#160;Kimura, Keiji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334469.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37658-0">http://dx.doi.org/10.1007/978-3-642-37658-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:334353 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Jhala, Ranjit. editor.&#160;Bosschere, Koen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334353.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ada 2012 Rationale The Language, The Standard Libraries ent://SD_ILS/0/SD_ILS:335195 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Barnes, John. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335195.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45210-9">http://dx.doi.org/10.1007/978-3-642-45210-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335206 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Wu, Chenggang. editor.&#160;Cohen, Albert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335206.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45293-2">http://dx.doi.org/10.1007/978-3-642-45293-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Keine Angst vor Linux/Unix Ein Lehrbuch f&uuml;r Linux- und Unix-Anwender ent://SD_ILS/0/SD_ILS:337045 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Wolfinger, Christine. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(337045.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32079-8">http://dx.doi.org/10.1007/978-3-642-32079-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334071 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. editor.&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334071.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35867-8">http://dx.doi.org/10.1007/978-3-642-35867-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334077 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Beckert, Bernhard. editor.&#160;Damiani, Ferruccio. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334077.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334200 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kub&aacute;tov&aacute;, Hana. editor.&#160;Hochberger, Christian. editor.&#160;Dan&#283;k, Martin. editor.&#160;Sick, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334200.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36424-2">http://dx.doi.org/10.1007/978-3-642-36424-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334533 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Brat, Guillaume. editor.&#160;Rungta, Neha. editor.&#160;Venet, Arnaud. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334533.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Dynpro ABAP for Practitioners ent://SD_ILS/0/SD_ILS:334566 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Gellert, Ulrich. author.&#160;Cristea, Ana Daniela. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334566.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38247-5">http://dx.doi.org/10.1007/978-3-642-38247-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:334610 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Nicola, Rocco. editor.&#160;Julien, Christine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334610.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38493-6">http://dx.doi.org/10.1007/978-3-642-38493-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334662 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kunkel, Julian Martin. editor.&#160;Ludwig, Thomas. editor.&#160;Meuer, Hans Werner. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334662.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38750-0">http://dx.doi.org/10.1007/978-3-642-38750-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334870 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Louren&ccedil;o, Jo&atilde;o M. editor.&#160;Farchi, Eitan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334870.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334871 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Malyshkin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334871.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335024 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Gorbenko, Anatoliy. editor.&#160;Romanovsky, Alexander. editor.&#160;Kharchenko, Vyacheslav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335024.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation ent://SD_ILS/0/SD_ILS:338350 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Mandl, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(338350.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-2301-4">http://dx.doi.org/10.1007/978-3-8348-2301-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Requirements Engineering and Management for Software Development Projects ent://SD_ILS/0/SD_ILS:331756 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Chemuturi, Murali. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331756.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5377-2">http://dx.doi.org/10.1007/978-1-4614-5377-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Assurances for Self-Adaptive Systems Principles, Models, and Techniques ent://SD_ILS/0/SD_ILS:334156 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;C&aacute;mara, Javier. editor.&#160;Lemos, Rog&eacute;rio. editor.&#160;Ghezzi, Carlo. editor.&#160;Lopes, Ant&oacute;nia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334156.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36249-1">http://dx.doi.org/10.1007/978-3-642-36249-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Aliasing in Object-Oriented Programming. Types, Analysis and Verification ent://SD_ILS/0/SD_ILS:334327 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Clarke, Dave. editor.&#160;Noble, James. editor.&#160;Wrigstad, Tobias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334327.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36946-9">http://dx.doi.org/10.1007/978-3-642-36946-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334882 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Wolf, Felix. editor.&#160;Mohr, Bernd. editor.&#160;Mey, Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334882.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40047-6">http://dx.doi.org/10.1007/978-3-642-40047-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E) ent://SD_ILS/0/SD_ILS:335216 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Taft, S. Tucker. editor.&#160;Duff, Robert A. editor.&#160;Brukardt, Randall L. editor.&#160;Ploedereder, Erhard. editor.&#160;Leroy, Pascal. editor.<br/>Preferred Shelf Number&#160;ONLINE(335216.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project ent://SD_ILS/0/SD_ILS:335577 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Cotroneo, Domenico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335577.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-2772-5">http://dx.doi.org/10.1007/978-88-470-2772-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196407 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Herkersdorf, Andreas. editor.&#160;R&ouml;mer, Kay. editor.&#160;Brinkschulte, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28293-5">http://dx.doi.org/10.1007/978-3-642-28293-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196559 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Goodloe, Alwyn E. editor.&#160;Person, Suzette. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28891-3">http://dx.doi.org/10.1007/978-3-642-28891-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197039 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Pankratius, Victor. editor.&#160;Philippsen, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31202-1">http://dx.doi.org/10.1007/978-3-642-31202-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197282 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kaklamanis, Christos. editor.&#160;Papatheodorou, Theodore. editor.&#160;Spirakis, Paul G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32820-6">http://dx.doi.org/10.1007/978-3-642-32820-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197623 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Park, James J. editor.&#160;Zomaya, Albert. editor.&#160;Yeo, Sang-Soo. editor.&#160;Sahni, Sartaj. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35606-3">http://dx.doi.org/10.1007/978-3-642-35606-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers ent://SD_ILS/0/SD_ILS:195898 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Aichernig, Bernhard K. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25271-6">http://dx.doi.org/10.1007/978-3-642-25271-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:197398 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Chessa, Stefano. editor.&#160;Knauth, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33533-4">http://dx.doi.org/10.1007/978-3-642-33533-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:197459 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34026-0">http://dx.doi.org/10.1007/978-3-642-34026-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:197460 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197617 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Korakis, Thanasis. editor.&#160;Zink, Michael. editor.&#160;Ott, Maximilian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35576-9">http://dx.doi.org/10.1007/978-3-642-35576-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196710 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Ser, Javier. editor.&#160;Jorswieck, Eduard Axel. editor.&#160;Miguez, Joaquin. editor.&#160;Matinmikko, Marja. editor.&#160;Palomar, Daniel P. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29479-2">http://dx.doi.org/10.1007/978-3-642-29479-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:196932 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Sadre, Ramin. editor.&#160;Novotn&yacute;, Ji&#345;&iacute;. editor.&#160;&#268;eleda, Pavel. editor.&#160;Waldburger, Martin. editor.&#160;Stiller, Burkhard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30633-4">http://dx.doi.org/10.1007/978-3-642-30633-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196955 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Li, Ruixuan. editor.&#160;Cao, Jiannong. editor.&#160;Bourgeois, Julien. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30767-6">http://dx.doi.org/10.1007/978-3-642-30767-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196969 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;G&ouml;schka, Karl Michael. editor.&#160;Haridi, Seif. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30823-9">http://dx.doi.org/10.1007/978-3-642-30823-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:197272 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Mir, Salvador. editor.&#160;Tsui, Chi-Ying. editor.&#160;Reis, Ricardo. editor.&#160;Choy, Oliver C. S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32770-4">http://dx.doi.org/10.1007/978-3-642-32770-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197321 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Fraser, Gordon. editor.&#160;Teixeira de Souza, Jerffeson. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33119-0">http://dx.doi.org/10.1007/978-3-642-33119-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197330 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Avgeriou, Paris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33176-3">http://dx.doi.org/10.1007/978-3-642-33176-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge ent://SD_ILS/0/SD_ILS:185477 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Czernohous, Christoph. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68426-8">http://dx.doi.org/10.1007/978-3-540-68426-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194683 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Felber, Pascal. editor.&#160;Rouvoy, Romain. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21387-8">http://dx.doi.org/10.1007/978-3-642-21387-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:194715 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Chrisment, Isabelle. editor.&#160;Couch, Alva. editor.&#160;Badonnel, R&eacute;mi. editor.&#160;Waldburger, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21484-4">http://dx.doi.org/10.1007/978-3-642-21484-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers ent://SD_ILS/0/SD_ILS:194786 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Xenakis, Christos. editor.&#160;Wolthusen, Stephen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21694-7">http://dx.doi.org/10.1007/978-3-642-21694-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194793 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Al-Begain, Khalid. editor.&#160;Balsamo, Simonetta. editor.&#160;Fiems, Dieter. editor.&#160;Marin, Andrea. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21713-5">http://dx.doi.org/10.1007/978-3-642-21713-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:195333 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Jeannot, Emmanuel. editor.&#160;Namyst, Raymond. editor.&#160;Roman, Jean. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23397-5">http://dx.doi.org/10.1007/978-3-642-23397-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:195334 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Jeannot, Emmanuel. editor.&#160;Namyst, Raymond. editor.&#160;Roman, Jean. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23400-2">http://dx.doi.org/10.1007/978-3-642-23400-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Based Software Engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195425 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Cohen, Myra B. editor.&#160;&Oacute; Cinn&eacute;ide, Mel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23716-4">http://dx.doi.org/10.1007/978-3-642-23716-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195627 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Altman, Erik. editor.&#160;Shi, Weisong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24403-2">http://dx.doi.org/10.1007/978-3-642-24403-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Software Performance Analysis ent://SD_ILS/0/SD_ILS:192394 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Cortellessa, Vittorio. author.&#160;Di Marco, Antinisca. author.&#160;Inverardi, Paola. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13621-4">http://dx.doi.org/10.1007/978-3-642-13621-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195262 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Malyshkin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23178-0">http://dx.doi.org/10.1007/978-3-642-23178-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195385 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Par, Gerard. editor.&#160;Morrow, Philip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23583-2">http://dx.doi.org/10.1007/978-3-642-23583-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems - ARCS 2011 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193947 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Berekovic, Mladen. editor.&#160;Fornaciari, William. editor.&#160;Brinkschulte, Uwe. editor.&#160;Silvano, Cristina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-19137-4">http://dx.doi.org/10.1007/978-3-642-19137-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194357 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Bobaru, Mihaela. editor.&#160;Havelund, Klaus. editor.&#160;Holzmann, Gerard J. editor.&#160;Joshi, Rajeev. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20398-5">http://dx.doi.org/10.1007/978-3-642-20398-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> UNIX Operating System The Development Tutorial via UNIX Kernel Services ent://SD_ILS/0/SD_ILS:194370 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Liu, Yukun. author.&#160;Yue, Yong. author.&#160;Guo, Liwei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-20432-6">http://dx.doi.org/10.1007/978-3-642-20432-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analyzing Computer System Performance with Perl::PDQ ent://SD_ILS/0/SD_ILS:195072 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Gunther, Neil J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22583-3">http://dx.doi.org/10.1007/978-3-642-22583-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday ent://SD_ILS/0/SD_ILS:195668 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Jones, Cliff B. editor.&#160;Lloyd, John L. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24541-1">http://dx.doi.org/10.1007/978-3-642-24541-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Praxishandbuch Web Dynpro ABAP ent://SD_ILS/0/SD_ILS:191673 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Gellert, Ulrich. author.&#160;Cristea, Ana Daniela. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11387-1">http://dx.doi.org/10.1007/978-3-642-11387-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192117 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Altman, Eitan. editor.&#160;Carrera, Iacopo. editor.&#160;El-Azouzi, Rachid. editor.&#160;Hart, Emma. editor.&#160;Hayel, Yezekael. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12808-0">http://dx.doi.org/10.1007/978-3-642-12808-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192208 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Bellavista, Paolo. editor.&#160;Chang, Ruay-Shiung. editor.&#160;Chao, Han-Chieh. editor.&#160;Lin, Shin-Feng. editor.&#160;Sloot, Peter M. A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13067-0">http://dx.doi.org/10.1007/978-3-642-13067-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192065 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Flor&eacute;en, Patrik. editor.&#160;Kr&uuml;ger, Antonio. editor.&#160;Spasojevic, Mirjana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12654-3">http://dx.doi.org/10.1007/978-3-642-12654-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:192634 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Rome, Erich. editor.&#160;Bloomfield, Robin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14379-3">http://dx.doi.org/10.1007/978-3-642-14379-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192569 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;&Ouml;zcan, Abdulkadir. editor.&#160;Chaki, Nabendu. editor.&#160;Nagamalai, Dhinaharan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14171-3">http://dx.doi.org/10.1007/978-3-642-14171-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193317 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16505-4">http://dx.doi.org/10.1007/978-3-642-16505-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> HPC@Green IT Green High Performance Computing Methods ent://SD_ILS/0/SD_ILS:190122 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Gruber, Ralf. author.&#160;Keller, Vincent. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01789-6">http://dx.doi.org/10.1007/978-3-642-01789-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191784 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Doulamis, Anastasios. editor.&#160;Mambretti, Joe. editor.&#160;Tomkos, Ioannis. editor.&#160;Varvarigou, Theodora. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11733-6">http://dx.doi.org/10.1007/978-3-642-11733-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191815 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Zhang, Wu. editor.&#160;Chen, Zhangxin. editor.&#160;Douglas, Craig C. editor.&#160;Tong, Weiqin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11842-5">http://dx.doi.org/10.1007/978-3-642-11842-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192402 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Eliassen, Frank. editor.&#160;Kapitza, R&uuml;diger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13645-0">http://dx.doi.org/10.1007/978-3-642-13645-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192404 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Rajaraman, Rajmohan. editor.&#160;Moscibroda, Thomas. editor.&#160;Dunkels, Adam. editor.&#160;Scaglione, Anna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13651-1">http://dx.doi.org/10.1007/978-3-642-13651-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Composing Software Components A Software-testing Perspective ent://SD_ILS/0/SD_ILS:172786 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Hamlet, Dick. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-7148-7">http://dx.doi.org/10.1007/978-1-4419-7148-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:192513 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Stiller, Burkhard. editor.&#160;Turck, Filip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13986-4">http://dx.doi.org/10.1007/978-3-642-13986-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193047 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Ding, Chen. editor.&#160;Shao, Zhiyuan. editor.&#160;Zheng, Ran. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15672-4">http://dx.doi.org/10.1007/978-3-642-15672-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193205 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Jajodia, Sushil. editor.&#160;Zhou, Jianying. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16161-2">http://dx.doi.org/10.1007/978-3-642-16161-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193365 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Chatzimisios, Periklis. editor.&#160;Verikoukis, Christos. editor.&#160;Santamar&iacute;a, Ignacio. editor.&#160;Laddomada, Massimiliano. editor.&#160;Hoffmann, Oliver. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16644-0">http://dx.doi.org/10.1007/978-3-642-16644-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:193496 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Hallerstede, Stefan. editor.&#160;Leuschel, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-17071-3">http://dx.doi.org/10.1007/978-3-642-17071-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Dynpro ABAP for Practitioners ent://SD_ILS/0/SD_ILS:191672 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Gellert, Ulrich. author.&#160;Cristea, Ana Daniela. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11385-7">http://dx.doi.org/10.1007/978-3-642-11385-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems - ARCS 2010 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191846 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;M&uuml;ller-Schloer, Christian. editor.&#160;Karl, Wolfgang. editor.&#160;Yehia, Sami. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11950-7">http://dx.doi.org/10.1007/978-3-642-11950-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:191933 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Chio, Cecilia. editor.&#160;Brabazon, Anthony. editor.&#160;Caro, Gianni A. editor.&#160;Ebner, Marc. editor.&#160;Farooq, Muddassar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12242-2">http://dx.doi.org/10.1007/978-3-642-12242-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:191009 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04633-9">http://dx.doi.org/10.1007/978-3-642-04633-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Linux Das Praxisbuch ent://SD_ILS/0/SD_ILS:188188 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Dillmann, R&uuml;diger. author.&#160;Gockel, Tilo. author.&#160;Schr&ouml;der, Joachim. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78620-7">http://dx.doi.org/10.1007/978-3-540-78620-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189692 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Berekovic, Mladen. editor.&#160;M&uuml;ller-Schloer, Christian. editor.&#160;Hochberger, Christian. editor.&#160;Wong, Stephan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00454-4">http://dx.doi.org/10.1007/978-3-642-00454-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports ent://SD_ILS/0/SD_ILS:190199 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Eugster, Patrick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02047-6">http://dx.doi.org/10.1007/978-3-642-02047-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networks for Grid Applications Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190209 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Vicat-Blanc Primet, Pascale. editor.&#160;Kudoh, Tomohiro. editor.&#160;Mambretti, Joe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02080-3">http://dx.doi.org/10.1007/978-3-642-02080-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers ent://SD_ILS/0/SD_ILS:190304 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Vouros, George. editor.&#160;Artikis, Alexander. editor.&#160;Stathis, Kostas. editor.&#160;Pitt, Jeremy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02377-4">http://dx.doi.org/10.1007/978-3-642-02377-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190314 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Lewis, Grace A. editor.&#160;Poernomo, Iman. editor.&#160;Hofmeister, Christine. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02414-6">http://dx.doi.org/10.1007/978-3-642-02414-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190573 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Malyshkin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03275-2">http://dx.doi.org/10.1007/978-3-642-03275-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190924 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Keidar, Idit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04355-0">http://dx.doi.org/10.1007/978-3-642-04355-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures ent://SD_ILS/0/SD_ILS:190858 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Madelaine, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04167-9">http://dx.doi.org/10.1007/978-3-642-04167-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems ent://SD_ILS/0/SD_ILS:191279 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Ahuja, Ravindra K. editor.&#160;M&ouml;hring, Rolf H. editor.&#160;Zaroliagis, Christos D. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05465-5">http://dx.doi.org/10.1007/978-3-642-05465-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191350 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Baresi, Luciano. editor.&#160;Chi, Chi-Hung. editor.&#160;Suzuki, Jun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10383-4">http://dx.doi.org/10.1007/978-3-642-10383-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191354 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Papasratorn, Borworn. editor.&#160;Chutimaskul, Wichian. editor.&#160;Porkaew, Kriengkrai. editor.&#160;Vanijja, Vajirasak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10392-6">http://dx.doi.org/10.1007/978-3-642-10392-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191362 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Nambiar, Raghunath. editor.&#160;Poess, Meikel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10424-4">http://dx.doi.org/10.1007/978-3-642-10424-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Middleware 2009 ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 &ndash; December 4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191369 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Bacon, Jean M. editor.&#160;Cooper, Brian F. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10445-9">http://dx.doi.org/10.1007/978-3-642-10445-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Software Development with C ent://SD_ILS/0/SD_ILS:172012 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Qian, Kai. author.&#160;Den Haring, David. author.&#160;Cao, Li. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0606-9">http://dx.doi.org/10.1007/978-1-4419-0606-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189610 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Massacci, Fabio. editor.&#160;Redwine, Samuel T. editor.&#160;Zannone, Nicola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00199-4">http://dx.doi.org/10.1007/978-3-642-00199-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Methods, Models and Tools for Fault Tolerance ent://SD_ILS/0/SD_ILS:189817 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Butler, Michael. editor.&#160;Jones, Cliff. editor.&#160;Romanovsky, Alexander. editor.&#160;Troubitsyna, Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00867-2">http://dx.doi.org/10.1007/978-3-642-00867-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliable Software Technologies &ndash; Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190165 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kordon, Fabrice. editor.&#160;Kermarrec, Yvon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-01924-1">http://dx.doi.org/10.1007/978-3-642-01924-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Assurance Services Computing ent://SD_ILS/0/SD_ILS:167831 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Zhang, Liang-Jie. editor.&#160;Paul, Raymond. editor.&#160;Dong, Jing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-87658-0">http://dx.doi.org/10.1007/978-0-387-87658-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security and Dependability for Ambient Intelligence ent://SD_ILS/0/SD_ILS:167907 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kokolakis, Spyros. editor.&#160;G&oacute;mez, Antonio Ma&ntilde;a. editor.&#160;Spanoudakis, George. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-88775-3">http://dx.doi.org/10.1007/978-0-387-88775-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2009 Parallel Processing 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190764 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Sips, Henk. editor.&#160;Epema, Dick. editor.&#160;Lin, Hai-Xiang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03869-3">http://dx.doi.org/10.1007/978-3-642-03869-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers ent://SD_ILS/0/SD_ILS:191028 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Bensalem, Saddek. editor.&#160;Peled, Doron A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04694-0">http://dx.doi.org/10.1007/978-3-642-04694-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecting Dependable Systems VI ent://SD_ILS/0/SD_ILS:191313 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Lemos, Rog&eacute;rio. editor.&#160;Fabre, Jean-Charles. editor.&#160;Gacek, Cristina. editor.&#160;Gadducci, Fabio. editor.&#160;Beek, Maurice. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10248-6">http://dx.doi.org/10.1007/978-3-642-10248-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191382 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Mueller, Peter. editor.&#160;Cao, Jian-Nong. editor.&#160;Wang, Cho-Li. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10485-5">http://dx.doi.org/10.1007/978-3-642-10485-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:191402 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;&#346;l&#281;zak, Dominik. editor.&#160;Kim, Tai-hoon. editor.&#160;Yau, Stephen S. editor.&#160;Gervasi, Osvaldo. editor.&#160;Kang, Byeong-Ho. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10549-4">http://dx.doi.org/10.1007/978-3-642-10549-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:191424 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;&#346;l&#281;zak, Dominik. editor.&#160;Kim, Tai-hoon. editor.&#160;Kiumi, Akingbehin. editor.&#160;Jiang, Tao. editor.&#160;Verner, June. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10619-4">http://dx.doi.org/10.1007/978-3-642-10619-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:191426 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Bartolini, Novella. editor.&#160;Nikoletseas, Sotiris. editor.&#160;Sinha, Prasun. editor.&#160;Cardellini, Valeria. editor.&#160;Mahanti, Anirban. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10625-5">http://dx.doi.org/10.1007/978-3-642-10625-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191439 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Jaatun, Martin Gilje. editor.&#160;Zhao, Gansen. editor.&#160;Rong, Chunming. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10665-1">http://dx.doi.org/10.1007/978-3-642-10665-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Testing Network An Integral Approach to Test Activities in Large Software Projects ent://SD_ILS/0/SD_ILS:188154 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Henry, Pierre. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78504-0">http://dx.doi.org/10.1007/978-3-540-78504-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188936 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Chaudron, Michel R. V. editor.&#160;Szyperski, Clemens. editor.&#160;Reussner, Ralf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87891-9">http://dx.doi.org/10.1007/978-3-540-87891-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvi&agrave;, Mallorca, Spain, September 21-25, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188967 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Luo, Yuhua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88011-0">http://dx.doi.org/10.1007/978-3-540-88011-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems and Virtualization Management. Standards and New Technologies Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings ent://SD_ILS/0/SD_ILS:189107 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Boursas, Latifa. editor.&#160;Carlson, Mark. editor.&#160;Hommel, Wolfgang. editor.&#160;Sibilla, Michelle. editor.&#160;Wold, Kes. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88708-9">http://dx.doi.org/10.1007/978-3-540-88708-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Middleware 2008 ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings ent://SD_ILS/0/SD_ILS:189345 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Issarny, Val&eacute;rie. editor.&#160;Schantz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89856-6">http://dx.doi.org/10.1007/978-3-540-89856-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189354 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Sadayappan, Ponnuswamy. editor.&#160;Parashar, Manish. editor.&#160;Badrinath, Ramamurthy. editor.&#160;Prasanna, Viktor K. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89894-8">http://dx.doi.org/10.1007/978-3-540-89894-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189442 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Shen, Weiming. editor.&#160;Yong, Jianming. editor.&#160;Yang, Yun. editor.&#160;Barth&egrave;s, Jean-Paul A. editor.&#160;Luo, Junzhou. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92719-8">http://dx.doi.org/10.1007/978-3-540-92719-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of the Spin Model Checker ent://SD_ILS/0/SD_ILS:175556 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Ben-Ari, Mordechai. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-770-1">http://dx.doi.org/10.1007/978-1-84628-770-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Networked and Distributed Systems &ndash; FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185615 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Suzuki, Kenji. editor.&#160;Higashino, Teruo. editor.&#160;Yasumoto, Keiichi. editor.&#160;El-Fakih, Khaled. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68855-6">http://dx.doi.org/10.1007/978-3-540-68855-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings ent://SD_ILS/0/SD_ILS:185620 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Barthe, Gilles. editor.&#160;Boer, Frank S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68863-1">http://dx.doi.org/10.1007/978-3-540-68863-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependability Metrics Advanced Lectures ent://SD_ILS/0/SD_ILS:185660 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Eusgeld, Irene. editor.&#160;Freiling, Felix C. editor.&#160;Reussner, Ralf. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68947-8">http://dx.doi.org/10.1007/978-3-540-68947-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Component Development with Zope 3 ent://SD_ILS/0/SD_ILS:187617 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Weitershausen, Philipp. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-76448-9">http://dx.doi.org/10.1007/978-3-540-76448-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems &ndash; ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188044 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Brinkschulte, Uwe. editor.&#160;Ungerer, Theo. editor.&#160;Hochberger, Christian. editor.&#160;Spallek, Rainer G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78153-0">http://dx.doi.org/10.1007/978-3-540-78153-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ent://SD_ILS/0/SD_ILS:189398 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Graf, Susanne. editor.&#160;Roever, Willem-Paul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92188-2">http://dx.doi.org/10.1007/978-3-540-92188-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovation in Manufacturing Networks Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23&ndash;25, 2008 ent://SD_ILS/0/SD_ILS:164664 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Azevedo, Am&eacute;rico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09492-2">http://dx.doi.org/10.1007/978-0-387-09492-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Government Ict Professionalism and Competences Service Science ent://SD_ILS/0/SD_ILS:164763 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Mazzeo, Antonino. editor.&#160;Bellini, Roberto. editor.&#160;Motta, Gianmario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09712-1">http://dx.doi.org/10.1007/978-0-387-09712-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185344 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Wu, Song. editor.&#160;Yang, Laurence T. editor.&#160;Xu, Tony Li. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68083-3">http://dx.doi.org/10.1007/978-3-540-68083-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185539 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Meier, Ren&eacute;. editor.&#160;Terzis, Sotirios. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68642-2">http://dx.doi.org/10.1007/978-3-540-68642-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi&rsquo;an, China, June 23-27, 2008. Proceedings ent://SD_ILS/0/SD_ILS:185569 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Hee, Kees M. editor.&#160;Valk, R&uuml;diger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68746-7">http://dx.doi.org/10.1007/978-3-540-68746-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:185723 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Meyer, Bertrand. editor.&#160;Woodcock, Jim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ajax in Oracle JDeveloper ent://SD_ILS/0/SD_ILS:187924 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Vohra, Deepak. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77596-6">http://dx.doi.org/10.1007/978-3-540-77596-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Secure Transaction Protocol Analysis Models and Applications ent://SD_ILS/0/SD_ILS:188580 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Chen, Qingfeng. author.&#160;Zhang, Chengqi. author.&#160;Zhang, Shichao. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85074-8">http://dx.doi.org/10.1007/978-3-540-85074-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecting Dependable Systems V ent://SD_ILS/0/SD_ILS:188730 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Lemos, Rog&eacute;rio. editor.&#160;Giandomenico, Felicita. editor.&#160;Gacek, Cristina. editor.&#160;Muccini, Henry. editor.&#160;Vieira, Marlon. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85571-2">http://dx.doi.org/10.1007/978-3-540-85571-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers ent://SD_ILS/0/SD_ILS:189230 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Leucker, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89247-2">http://dx.doi.org/10.1007/978-3-540-89247-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers ent://SD_ILS/0/SD_ILS:189236 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Hirschfeld, Robert. editor.&#160;Rose, Kim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89275-5">http://dx.doi.org/10.1007/978-3-540-89275-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189248 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Ramalingam, G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89330-1">http://dx.doi.org/10.1007/978-3-540-89330-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Modular Calculus for the Average Cost of Data Structuring ent://SD_ILS/0/SD_ILS:167050 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Schellekens, Michel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-73384-5">http://dx.doi.org/10.1007/978-0-387-73384-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed and Parallel Systems In Focus: Desktop Grid Computing ent://SD_ILS/0/SD_ILS:167680 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kacsuk, P&eacute;ter. editor.&#160;Lovas, R&oacute;bert. editor.&#160;N&eacute;meth, Zsolt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-79448-8">http://dx.doi.org/10.1007/978-0-387-79448-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Moving Wearables into the Mainstream Taming the Borg ent://SD_ILS/0/SD_ILS:166697 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Dvorak, Joseph L. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-69142-8">http://dx.doi.org/10.1007/978-0-387-69142-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomous Systems &ndash; Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6&ndash;7, 2008 ent://SD_ILS/0/SD_ILS:170364 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Mahr, Bernd. editor.&#160;Huanye, Sheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-8889-6">http://dx.doi.org/10.1007/978-1-4020-8889-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid Computing Experiment Management, Tool Integration, and Scientific Workflows ent://SD_ILS/0/SD_ILS:185754 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Prodan, Radu. author.&#160;Fahringer, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69262-1">http://dx.doi.org/10.1007/978-3-540-69262-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186516 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;C&eacute;rin, Christophe. editor.&#160;Li, Kuan-Ching. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72360-8">http://dx.doi.org/10.1007/978-3-540-72360-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Networked and Distributed Systems &ndash; FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186772 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Derrick, John. editor.&#160;Vain, J&uuml;ri. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73196-2">http://dx.doi.org/10.1007/978-3-540-73196-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecting Dependable Systems IV ent://SD_ILS/0/SD_ILS:187038 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Lemos, Rog&eacute;rio. editor.&#160;Gacek, Cristina. editor.&#160;Romanovsky, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74035-3">http://dx.doi.org/10.1007/978-3-540-74035-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187246 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Paillier, Pascal. editor.&#160;Verbauwhede, Ingrid. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74735-2">http://dx.doi.org/10.1007/978-3-540-74735-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings ent://SD_ILS/0/SD_ILS:187249 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Stojmenovic, Ivan. editor.&#160;Thulasiram, Ruppa K. editor.&#160;Yang, Laurence T. editor.&#160;Jia, Weijia. editor.&#160;Guo, Minyi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74742-0">http://dx.doi.org/10.1007/978-3-540-74742-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187260 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Luo, Yuhua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74780-2">http://dx.doi.org/10.1007/978-3-540-74780-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187262 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Li, Keqiu. editor.&#160;Jesshope, Chris. editor.&#160;Jin, Hai. editor.&#160;Gaudiot, Jean-Luc. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74784-0">http://dx.doi.org/10.1007/978-3-540-74784-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures ent://SD_ILS/0/SD_ILS:187265 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Graf, Susanne. editor.&#160;Roever, Willem-Paul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74792-5">http://dx.doi.org/10.1007/978-3-540-74792-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186619 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Lee, Yann-Hang. editor.&#160;Kim, Heung-Nam. editor.&#160;Kim, Jong. editor.&#160;Park, Yongwan. editor.&#160;Yang, Laurence T. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72685-2">http://dx.doi.org/10.1007/978-3-540-72685-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Models of Operating System Kernels ent://SD_ILS/0/SD_ILS:175527 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Craig, Iain D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-718-3">http://dx.doi.org/10.1007/978-1-84628-718-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Workflows for e-Science Scientific Workflows for Grids ent://SD_ILS/0/SD_ILS:175549 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Taylor, Ian J. editor.&#160;Deelman, Ewa. editor.&#160;Gannon, Dennis B. editor.&#160;Shields, Matthew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-757-2">http://dx.doi.org/10.1007/978-1-84628-757-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services ent://SD_ILS/0/SD_ILS:182503 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Gunther, Neil J. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-31010-5">http://dx.doi.org/10.1007/978-3-540-31010-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186230 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Lukowicz, Paul. editor.&#160;Thiele, Lothar. editor.&#160;Tr&ouml;ster, Gerhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71270-1">http://dx.doi.org/10.1007/978-3-540-71270-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers ent://SD_ILS/0/SD_ILS:186298 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Minden, Gary J. editor.&#160;Calvert, Kenneth L. editor.&#160;Solarski, Marcin. editor.&#160;Yamamoto, Miki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-71500-9">http://dx.doi.org/10.1007/978-3-540-71500-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186676 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Indulska, Jadwiga. editor.&#160;Raymond, Kerry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72883-2">http://dx.doi.org/10.1007/978-3-540-72883-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186699 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Bonsangue, Marcello M. editor.&#160;Johnsen, Einar Broch. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72952-5">http://dx.doi.org/10.1007/978-3-540-72952-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Petri Nets and Other Models of Concurrency &ndash; 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 ent://SD_ILS/0/SD_ILS:186740 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kleijn, Jetty. editor.&#160;Yakovlev, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73094-1">http://dx.doi.org/10.1007/978-3-540-73094-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ruby on Rails for PHP and Java Developers ent://SD_ILS/0/SD_ILS:186758 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Vohra, Deepak. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73145-0">http://dx.doi.org/10.1007/978-3-540-73145-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Debian GNU/Linux Grundlagen, Einrichtung und Betrieb ent://SD_ILS/0/SD_ILS:186820 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Ganten, Peter H. author.&#160;Alex, Wulf. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73339-3">http://dx.doi.org/10.1007/978-3-540-73339-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Self-Organizing Systems Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187307 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Hutchison, David. editor.&#160;Katz, Randy H. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74917-2">http://dx.doi.org/10.1007/978-3-540-74917-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187640 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Shao, Zhong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-76637-7">http://dx.doi.org/10.1007/978-3-540-76637-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187676 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Cerqueira, Renato. editor.&#160;Campbell, Roy H. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-76778-7">http://dx.doi.org/10.1007/978-3-540-76778-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187795 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Tovar, Eduardo. editor.&#160;Tsigas, Philippas. editor.&#160;Fouchal, Hac&egrave;ne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-77096-1">http://dx.doi.org/10.1007/978-3-540-77096-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Verification and Validation An Engineering and Scientific Approach ent://SD_ILS/0/SD_ILS:166391 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Fisher, Marcus S. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-47939-2">http://dx.doi.org/10.1007/978-0-387-47939-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Component Development with Zope 3 ent://SD_ILS/0/SD_ILS:183841 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Weitershausen, Philipp. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-33808-6">http://dx.doi.org/10.1007/978-3-540-33808-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Services with OpenAFS for Enterprise and Education ent://SD_ILS/0/SD_ILS:184397 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Milicchio, Franco. author.&#160;Gehrke, Wolfgang A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-36634-8">http://dx.doi.org/10.1007/978-3-540-36634-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:185918 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Brueckner, Sven A. editor.&#160;Hassas, Salima. editor.&#160;Jelasity, M&aacute;rk. editor.&#160;Yamins, Daniel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-69868-5">http://dx.doi.org/10.1007/978-3-540-69868-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 10th International Conference, ISC 2007, Valpara&iacute;so, Chile, October 9-12, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187429 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Garay, Juan A. editor.&#160;Lenstra, Arjen K. editor.&#160;Mambo, Masahiro. editor.&#160;Peralta, Ren&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75496-1">http://dx.doi.org/10.1007/978-3-540-75496-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:186668 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Shen, Weiming. editor.&#160;Luo, Junzhou. editor.&#160;Lin, Zongkai. editor.&#160;Barth&egrave;s, Jean-Paul A. editor.&#160;Hao, Qi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72863-4">http://dx.doi.org/10.1007/978-3-540-72863-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed and Parallel Systems From Cluster to Grid Computing ent://SD_ILS/0/SD_ILS:166741 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kacsuk, P&eacute;ter. editor.&#160;Fahringer, Thomas. editor.&#160;N&eacute;meth, Zsolt. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-69858-8">http://dx.doi.org/10.1007/978-0-387-69858-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rigorous Development of Complex Fault-Tolerant Systems ent://SD_ILS/0/SD_ILS:185062 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Butler, Michael. editor.&#160;Jones, Cliff B. editor.&#160;Romanovsky, Alexander. editor.&#160;Troubitsyna, Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11916246">http://dx.doi.org/10.1007/11916246</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Virtual Machines ent://SD_ILS/0/SD_ILS:175338 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Craig, Iain D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-246-1">http://dx.doi.org/10.1007/978-1-84628-246-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Betriebssysteme Eine kompakte Einf&uuml;hrung mit Linux ent://SD_ILS/0/SD_ILS:182020 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Achilles, Albrecht. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-29376-7">http://dx.doi.org/10.1007/978-3-540-29376-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:184593 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Meer, Hermann. editor.&#160;Sterbenz, James P. G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11822035">http://dx.doi.org/10.1007/11822035</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Networking. Advances in Data Communications and Wireless Networks International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:185101 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Chong, Ilyoung. editor.&#160;Kawahara, Kenji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11919568">http://dx.doi.org/10.1007/11919568</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185155 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kobayashi, Naoki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mac OS X ent://SD_ILS/0/SD_ILS:182578 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kobylinski, Rafael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-31283-3">http://dx.doi.org/10.1007/978-3-540-31283-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184677 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Katsikas, Sokratis K. editor.&#160;L&oacute;pez, Javier. editor.&#160;Backes, Michael. editor.&#160;Gritzalis, Stefanos. editor.&#160;Preneel, Bart. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11836810">http://dx.doi.org/10.1007/11836810</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Autonomic and Trusted Computing Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184694 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Yang, Laurence T. editor.&#160;Jin, Hai. editor.&#160;Ma, Jianhua. editor.&#160;Ungerer, Theo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11839569">http://dx.doi.org/10.1007/11839569</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184890 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Najm, Elie. editor.&#160;Pradat-Peyre, Jean-Fran&ccedil;ois. editor.&#160;Donzeau-Gouge, V&eacute;ronique Vigui&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11888116">http://dx.doi.org/10.1007/11888116</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184764 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Lightfoot, David E. editor.&#160;Szyperski, Clemens. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8&ndash;10, 2006, Como, Italy ent://SD_ILS/0/SD_ILS:166014 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Damiani, Ernesto. editor.&#160;Fitzgerald, Brian. editor.&#160;Scacchi, Walt. editor.&#160;Scotto, Marco. editor.&#160;Succi, Giancarlo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-34226-5">http://dx.doi.org/10.1007/0-387-34226-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performance ent://SD_ILS/0/SD_ILS:170915 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Dyke, Julian. author.&#160;Shaw, Steve. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-0214-1">http://dx.doi.org/10.1007/978-1-4302-0214-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Debian GNU/Linux in der Praxis Anwendungen, Konzepte, Werkzeuge ent://SD_ILS/0/SD_ILS:182237 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Alex, Wulf. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-30029-8">http://dx.doi.org/10.1007/978-3-540-30029-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Event-Based Systems ent://SD_ILS/0/SD_ILS:183464 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;M&uuml;hl, Gero. author.&#160;Fiege, Ludger. author.&#160;Pietzuch, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-32653-7">http://dx.doi.org/10.1007/3-540-32653-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183499 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Grass, Werner. editor.&#160;Sick, Bernhard. editor.&#160;Waldschmidt, Klaus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11682127">http://dx.doi.org/10.1007/11682127</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183574 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Shen, Wei-ming. editor.&#160;Chao, Kuo-Ming. editor.&#160;Lin, Zongkai. editor.&#160;Barth&egrave;s, Jean-Paul A. editor.&#160;James, Anne. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11686699">http://dx.doi.org/10.1007/11686699</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183711 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Brueckner, Sven A. editor.&#160;Marzo Serugendo, Giovanna. editor.&#160;Hales, David. editor.&#160;Zambonelli, Franco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11734697">http://dx.doi.org/10.1007/11734697</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183718 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Clark, John A. editor.&#160;Paige, Richard F. editor.&#160;Polack, Fiona A. C. editor.&#160;Brooke, Phillip J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11734666">http://dx.doi.org/10.1007/11734666</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183805 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Barthe, Gilles. editor.&#160;Gr&eacute;goire, Benjamin. editor.&#160;Huisman, Marieke. editor.&#160;Lanet, Jean-Louis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183842 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Chung, Yeh-Ching. editor.&#160;Moreira, Jos&eacute; E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11745693">http://dx.doi.org/10.1007/11745693</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183867 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Fishkin, Kenneth P. editor.&#160;Schiele, Bernt. editor.&#160;Nixon, Paddy. editor.&#160;Quigley, Aaron. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11748625">http://dx.doi.org/10.1007/11748625</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wired/Wireless Internet Communications 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183910 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Braun, Torsten. editor.&#160;Carle, Georg. editor.&#160;Fahmy, Sonia. editor.&#160;Koucheryavy, Yevgeni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11750390">http://dx.doi.org/10.1007/11750390</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Availability and Disaster Recovery Concepts, Design, Implementation ent://SD_ILS/0/SD_ILS:184109 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Schmidt, Klaus. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-34582-5">http://dx.doi.org/10.1007/3-540-34582-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:184148 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Donatelli, Susanna. editor.&#160;Thiagarajan, P. S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11767589">http://dx.doi.org/10.1007/11767589</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:184160 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Dunne, Steve. editor.&#160;Stoddart, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11768173">http://dx.doi.org/10.1007/11768173</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184185 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Gorrieri, Roberto. editor.&#160;Wehrheim, Heike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184208 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Eliassen, Frank. editor.&#160;Montresor, Alberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11773887">http://dx.doi.org/10.1007/11773887</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures ent://SD_ILS/0/SD_ILS:184426 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Graf, Susanne. editor.&#160;Roever, Willem-Paul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 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 ent://SD_ILS/0/SD_ILS:184439 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Damiani, Ernesto. editor.&#160;Liu, Peng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11805588">http://dx.doi.org/10.1007/11805588</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Systems: Software, Computing, Networks Research Results of the DICS Program ent://SD_ILS/0/SD_ILS:184443 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kohlas, J&uuml;rg. editor.&#160;Meyer, Bertrand. editor.&#160;Schiper, Andr&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11808107">http://dx.doi.org/10.1007/11808107</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> UbiComp 2006: Ubiquitous Computing 8th International Conference, UbiComp 2006 Orange County, CA, USA, September 17-21, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184745 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Dourish, Paul. editor.&#160;Friday, Adrian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11853565">http://dx.doi.org/10.1007/11853565</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184972 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Goubin, Louis. editor.&#160;Matsui, Mitsuru. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11894063">http://dx.doi.org/10.1007/11894063</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185308 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Shvartsman, Mariam Momenzadeh Alexander A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11945529">http://dx.doi.org/10.1007/11945529</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel and Distributed Processing and Applications 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185339 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Guo, Minyi. editor.&#160;Yang, Laurence T. editor.&#160;Martino, Beniamino. editor.&#160;Zima, Hans P. editor.&#160;Dongarra, Jack. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11946441">http://dx.doi.org/10.1007/11946441</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185425 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Steen, Maarten. editor.&#160;Henning, Michi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11925071">http://dx.doi.org/10.1007/11925071</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Service Oriented Architectures Concepts, Challenges, Recommendations ent://SD_ILS/0/SD_ILS:168980 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;McGovern, James. author.&#160;Sims, Oliver. author.&#160;Jain, Ashish. author.&#160;Little, Mark. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-3705-8">http://dx.doi.org/10.1007/1-4020-3705-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems &ndash; Modeling, Technology, and Applications ent://SD_ILS/0/SD_ILS:169320 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Hommel, G&uuml;nter. editor.&#160;Huanye, Sheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-4933-1">http://dx.doi.org/10.1007/1-4020-4933-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sicheres Netzwerkmanagement Konzepte, Protokolle, Tools ent://SD_ILS/0/SD_ILS:182581 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Schwenkler, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-31287-0">http://dx.doi.org/10.1007/3-540-31287-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Applications 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183638 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Song, Joo-Seok. editor.&#160;Kwon, Taekyoung. editor.&#160;Yung, Moti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11604938">http://dx.doi.org/10.1007/11604938</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:184309 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Reussner, Ralf H. editor.&#160;Stafford, Judith A. editor.&#160;Szyperski, Clemens A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11786160">http://dx.doi.org/10.1007/11786160</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security@Work Pragmatische Konzeption und Implementierung von IT-Sicherheit mit L&ouml;ungsbeispielen auf Open-Source-Basis ent://SD_ILS/0/SD_ILS:184358 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Eschweiler, J&ouml;g. author.&#160;Atencio Psille, Daniel E. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-36226-6">http://dx.doi.org/10.1007/3-540-36226-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:184368 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Anderson, James H. editor.&#160;Prencipe, Giuseppe. editor.&#160;Wattenhofer, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11795490">http://dx.doi.org/10.1007/11795490</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Topics in Exception Handling Techniques ent://SD_ILS/0/SD_ILS:184545 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Dony, Christophe. editor.&#160;Knudsen, J&oslash;rgen Lindskov. editor.&#160;Romanovsky, Alexander. editor.&#160;Tripathi, Anand. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11818502">http://dx.doi.org/10.1007/11818502</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184774 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Luo, Yuhua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11863649">http://dx.doi.org/10.1007/11863649</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Access Control Systems Security, Identity Management and Trust Models ent://SD_ILS/0/SD_ILS:165433 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Benantar, Messaoud. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-27716-1">http://dx.doi.org/10.1007/0-387-27716-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automotive Embedded Systeme Effizientes Framework &mdash; Vom Design zur Implementierung ent://SD_ILS/0/SD_ILS:181710 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Wietzke, Joachim. author.&#160;Tran, Manh Tien. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-28305-6">http://dx.doi.org/10.1007/3-540-28305-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Networking. Convergence in Broadband and Mobile Networking International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182379 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kim, Cheeha. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105584">http://dx.doi.org/10.1007/b105584</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182366 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Barthe, Gilles. editor.&#160;Burdy, Lilian. editor.&#160;Huisman, Marieke. editor.&#160;Lanet, Jean-Louis. editor.&#160;Muntean, Traian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Component Development with Zope 3 ent://SD_ILS/0/SD_ILS:181389 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Weitershausen, Philipp. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b139044">http://dx.doi.org/10.1007/b139044</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Debian GNU/Linux Grundlagen, Installation, Administration und Anwendung ent://SD_ILS/0/SD_ILS:181822 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Ganten, Peter H.&#160;Alex, Wulf.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-28623-3">http://dx.doi.org/10.1007/3-540-28623-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Expert Oracle ent://SD_ILS/0/SD_ILS:170724 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kyte, Thomas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4302-0019-2">http://dx.doi.org/10.1007/978-1-4302-0019-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Linux-Systemadministration Grundlagen, Konzepte, Anwendung ent://SD_ILS/0/SD_ILS:181224 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Wolfinger, Christine. author.&#160;Gulbins, J&uuml;rgen. author.&#160;Hammer, Carsten. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138658">http://dx.doi.org/10.1007/b138658</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Peer-to-Peer Systems III Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182267 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Voelker, Geoffrey M. editor.&#160;Shenker, Scott. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104020">http://dx.doi.org/10.1007/b104020</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings ent://SD_ILS/0/SD_ILS:182341 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Sen, Arunabha. editor.&#160;Das, Nabanita. editor.&#160;Das, Sajal K. editor.&#160;Sinha, Bhabani P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104419">http://dx.doi.org/10.1007/b104419</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings ent://SD_ILS/0/SD_ILS:182363 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Cao, Jiannong. editor.&#160;Yang, Laurence T. editor.&#160;Guo, Minyi. editor.&#160;Lau, Francis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104574">http://dx.doi.org/10.1007/b104574</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers ent://SD_ILS/0/SD_ILS:182668 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Nicola, Rocco. editor.&#160;Sangiorgi, Davide. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11580850">http://dx.doi.org/10.1007/11580850</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecting Dependable Systems III ent://SD_ILS/0/SD_ILS:182800 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Lemos, Rog&eacute;rio. editor.&#160;Gacek, Cristina. editor.&#160;Romanovsky, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11556169">http://dx.doi.org/10.1007/11556169</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182737 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Ciardo, Gianfranco. editor.&#160;Darondeau, Philippe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136988">http://dx.doi.org/10.1007/b136988</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182821 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Ramos, F&eacute;lix F. editor.&#160;Larios Rosillo, Victor. editor.&#160;Unger, Herwig. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11533962">http://dx.doi.org/10.1007/11533962</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Pervasive Computing Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183099 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Gellersen, Hans -W. editor.&#160;Want, Roy. editor.&#160;Schmidt, Albrecht. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136550">http://dx.doi.org/10.1007/b136550</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183101 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Sloot, Peter M. A. editor.&#160;Hoekstra, Alfons G. editor.&#160;Priol, Thierry. editor.&#160;Reinefeld, Alexander. editor.&#160;Bubak, Marian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137919">http://dx.doi.org/10.1007/b137919</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183039 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Beigl, Michael. editor.&#160;Lukowicz, Paul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106632">http://dx.doi.org/10.1007/b106632</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183147 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Wang, Farn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11562436">http://dx.doi.org/10.1007/11562436</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183155 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Maziero, Carlos Alberto. editor.&#160;Gabriel Silva, Jo&atilde;o. editor.&#160;Andrade, Aline Maria Santos. editor.&#160;Assis Silva, Fl&aacute;vio Morais. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11572329">http://dx.doi.org/10.1007/11572329</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183163 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Pan, Yi. editor.&#160;Chen, Daoxu. editor.&#160;Guo, Minyi. editor.&#160;Cao, Jiannong. editor.&#160;Dongarra, Jack. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11576235">http://dx.doi.org/10.1007/11576235</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wired/Wireless Internet Communications Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183166 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Braun, Torsten. editor.&#160;Carle, Georg. editor.&#160;Koucheryavy, Yevgeni. editor.&#160;Tsaoussidis, Vassilis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136247">http://dx.doi.org/10.1007/b136247</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Software and Systems Second International Conference, ICESS 2005, Xi&rsquo;an, China, December 16-18, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183282 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Yang, Laurence T. editor.&#160;Zhou, Xingshe. editor.&#160;Zhao, Wei. editor.&#160;Wu, Zhaohui. editor.&#160;Zhu, Yian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11599555">http://dx.doi.org/10.1007/11599555</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Computing &ndash; IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183370 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Pal, Ajit. editor.&#160;Kshemkalyani, Ajay D. editor.&#160;Kumar, Rajeev. editor.&#160;Gupta, Arobinda. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11603771">http://dx.doi.org/10.1007/11603771</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Development for Embedded Systems An Overview of Current Research Trends ent://SD_ILS/0/SD_ILS:182781 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Atkinson, Colin. editor.&#160;Bunse, Christian. editor.&#160;Gross, Hans-Gerhard. editor.&#160;Peper, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11591962">http://dx.doi.org/10.1007/11591962</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182735 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Steffen, Martin. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136996">http://dx.doi.org/10.1007/b136996</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182754 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Kutvonen, Lea. editor.&#160;Alonistioti, Nancy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137217">http://dx.doi.org/10.1007/b137217</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182756 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Higashino, Teruo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138689">http://dx.doi.org/10.1007/b138689</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:182866 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Shen, Weiming. editor.&#160;Lin, Zongkai. editor.&#160;Barth&egrave;s, Jean-Paul A. editor.&#160;Li, Tangqiu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11568421">http://dx.doi.org/10.1007/11568421</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers ent://SD_ILS/0/SD_ILS:182887 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Priami, Corrado. editor.&#160;Quaglia, Paola. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b103251">http://dx.doi.org/10.1007/b103251</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Applications 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182902 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Lim, Chae Hoon. editor.&#160;Yung, Moti. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b103174">http://dx.doi.org/10.1007/b103174</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182909 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Wu, Zhaohui. editor.&#160;Chen, Chun. editor.&#160;Guo, Minyi. editor.&#160;Bu, Jiajun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11535409">http://dx.doi.org/10.1007/11535409</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:182931 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Roy, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106627">http://dx.doi.org/10.1007/b106627</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Self-Organising Systems Methodologies and Applications ent://SD_ILS/0/SD_ILS:182987 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Brueckner, Sven A. editor.&#160;Marzo Serugendo, Giovanna. editor.&#160;Karageorgos, Anthony. editor.&#160;Nagpal, Radhika. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136984">http://dx.doi.org/10.1007/b136984</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers ent://SD_ILS/0/SD_ILS:182992 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Castro, Miguel. editor.&#160;Renesse, Robbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11558989">http://dx.doi.org/10.1007/11558989</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Data and Applications Security XIX 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183010 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Jajodia, Sushil. editor.&#160;Wijesekera, Duminda. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11535706">http://dx.doi.org/10.1007/11535706</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 &ndash; 5, 2004, Revised Lectures ent://SD_ILS/0/SD_ILS:183012 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Graf, Susanne. editor.&#160;Roever, Willem-Paul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptographic Hardware and Embedded Systems &ndash; CHES 2005 7th International Workshop, Edinburgh, UK, August 29 &ndash; September 1, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183013 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Rao, Josyula R. editor.&#160;Sunar, Berk. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11545262">http://dx.doi.org/10.1007/11545262</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> UbiComp 2005: Ubiquitous Computing 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183014 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Beigl, Michael. editor.&#160;Intille, Stephen. editor.&#160;Rekimoto, Jun. editor.&#160;Tokuda, Hideyuki. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11551201">http://dx.doi.org/10.1007/11551201</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183072 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Hutter, Dieter. editor.&#160;Ullmann, Markus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b135497">http://dx.doi.org/10.1007/b135497</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems ent://SD_ILS/0/SD_ILS:183076 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Rust, Heinrich. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b135629">http://dx.doi.org/10.1007/b135629</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:183078 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Herrero, Pilar. editor.&#160;P&eacute;rez, Mar&iacute;a S. editor.&#160;Robles, V&iacute;ctor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136149">http://dx.doi.org/10.1007/b136149</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems Design The ARTIST Roadmap for Research and Development ent://SD_ILS/0/SD_ILS:183044 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Bouyssounouse, Bruno. author.&#160;Sifakis, Joseph. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106761">http://dx.doi.org/10.1007/b106761</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183047 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Luo, Yuhua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11555223">http://dx.doi.org/10.1007/11555223</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183233 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Jin, Hai. editor.&#160;Reed, Daniel. editor.&#160;Jiang, Wenbin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11577188">http://dx.doi.org/10.1007/11577188</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183234 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Yi, Kwangkeun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:183238 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Konagaya, Akihiko. editor.&#160;Satou, Kenji. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106923">http://dx.doi.org/10.1007/b106923</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183256 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Alonso, Gustavo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11587552">http://dx.doi.org/10.1007/11587552</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Grid and Cooperative Computing - GCC 2005 4th International Conference, Beijing, China, November 30 - December 3, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183264 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Zhuge, Hai. editor.&#160;Fox, Geoffrey C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11590354">http://dx.doi.org/10.1007/11590354</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183268 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Dearle, Alan. editor.&#160;Eisenbach, Susan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11590712">http://dx.doi.org/10.1007/11590712</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Specification to Embedded Systems Application ent://SD_ILS/0/SD_ILS:165390 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Rettberg, Achim. editor.&#160;Zanella, Mauro C. editor.&#160;Rammig, Franz J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11523277">http://dx.doi.org/10.1007/11523277</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Soft Real-Time Systems Predictability vs. Efficiency ent://SD_ILS/0/SD_ILS:165478 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Buttazzo, Giorgio. author.&#160;Lipari, Giuseppe. author.&#160;Abeni, Luca. author.&#160;Caccamo, Marco. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28147-9">http://dx.doi.org/10.1007/0-387-28147-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Horizons of Parallel and Distributed Computing ent://SD_ILS/0/SD_ILS:165588 2024-07-16T09:17:58Z 2024-07-16T09:17:58Z Author&#160;Guo, Minyi. editor.&#160;Yang, Laurence Tianruo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28967-4">http://dx.doi.org/10.1007/0-387-28967-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>