Search Results for Science -- Software. - Narrowed by: Operating systems (Computers).
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bSoftware.$0026qf$003dSUBJECT$002509Subject$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026ps$003d300?
2025-12-26T16:13:51Z
Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399155
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400792
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334353.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334469.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender
ent://SD_ILS/0/SD_ILS:337045
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Wolfinger, Christine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337045.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334077.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation
ent://SD_ILS/0/SD_ILS:338350
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Mandl, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338350.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334870.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
ent://SD_ILS/0/SD_ILS:334327
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334327.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334533.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Web Dynpro ABAP for Practitioners
ent://SD_ILS/0/SD_ILS:334566
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334566.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.<br/>Preferred Shelf Number ONLINE(335216.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Ada 2012 Rationale The Language, The Standard Libraries
ent://SD_ILS/0/SD_ILS:335195
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Barnes, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335195.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Praxishandbuch Web Dynpro ABAP
ent://SD_ILS/0/SD_ILS:191673
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
UNIX Operating System The Development Tutorial via UNIX Kernel Services
ent://SD_ILS/0/SD_ILS:194370
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Liu, Yukun. author. Yue, Yong. author. Guo, Liwei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Cohen, Myra B. editor. Ó Cinnéide, Mel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Altman, Erik. editor. Shi, Weisong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Ding, Chen. editor. Shao, Zhiyuan. editor. Zheng, Ran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Web Dynpro ABAP for Practitioners
ent://SD_ILS/0/SD_ILS:191672
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Linux Das Praxisbuch
ent://SD_ILS/0/SD_ILS:188188
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Dillmann, Rüdiger. author. Gockel, Tilo. author. Schröder, Joachim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Software Development with C
ent://SD_ILS/0/SD_ILS:172012
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Qian, Kai. author. Den Haring, David. author. Cao, Li. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Madelaine, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Web Component Development with Zope 3
ent://SD_ILS/0/SD_ILS:187617
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Weitershausen, Philipp. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Dependability Metrics Advanced Lectures
ent://SD_ILS/0/SD_ILS:185660
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Eusgeld, Irene. editor. Freiling, Felix C. editor. Reussner, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Ajax in Oracle JDeveloper
ent://SD_ILS/0/SD_ILS:187924
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Vohra, Deepak. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Hirschfeld, Robert. editor. Rose, Kim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Ramalingam, G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
E-Government Ict Professionalism and Competences Service Science
ent://SD_ILS/0/SD_ILS:164763
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Mazzeo, Antonino. editor. Bellini, Roberto. editor. Motta, Gianmario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of the Spin Model Checker
ent://SD_ILS/0/SD_ILS:175556
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Dependable Systems V
ent://SD_ILS/0/SD_ILS:188730
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Lemos, Rogério. editor. Giandomenico, Felicita. editor. Gacek, Cristina. editor. Muccini, Henry. editor. Vieira, Marlon. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Meyer, Bertrand. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Ruby on Rails for PHP and Java Developers
ent://SD_ILS/0/SD_ILS:186758
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Vohra, Deepak. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Debian GNU/Linux Grundlagen, Einrichtung und Betrieb
ent://SD_ILS/0/SD_ILS:186820
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Ganten, Peter H. author. Alex, Wulf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Web Component Development with Zope 3
ent://SD_ILS/0/SD_ILS:183841
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Weitershausen, Philipp. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Dependable Systems IV
ent://SD_ILS/0/SD_ILS:187038
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Services with OpenAFS for Enterprise and Education
ent://SD_ILS/0/SD_ILS:184397
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Milicchio, Franco. author. Gehrke, Wolfgang A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Models of Operating System Kernels
ent://SD_ILS/0/SD_ILS:175527
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Craig, Iain D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mac OS X
ent://SD_ILS/0/SD_ILS:182578
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Kobylinski, Rafael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security@Work Pragmatische Konzeption und Implementierung von IT-Sicherheit mit Löungsbeispielen auf Open-Source-Basis
ent://SD_ILS/0/SD_ILS:184358
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Eschweiler, Jög. author. Atencio Psille, Daniel E. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Kobayashi, Naoki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy
ent://SD_ILS/0/SD_ILS:166014
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Damiani, Ernesto. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Scotto, Marco. editor. Succi, Giancarlo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual Machines
ent://SD_ILS/0/SD_ILS:175338
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Craig, Iain D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Service Oriented Architectures Concepts, Challenges, Recommendations
ent://SD_ILS/0/SD_ILS:168980
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author McGovern, James. author. Sims, Oliver. author. Jain, Ashish. author. Little, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Systems: Software, Computing, Networks Research Results of the DICS Program
ent://SD_ILS/0/SD_ILS:184443
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11808107">http://dx.doi.org/10.1007/11808107</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performance
ent://SD_ILS/0/SD_ILS:170915
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Dyke, Julian. author. Shaw, Steve. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Dunne, Steve. editor. Stoddart, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11768173">http://dx.doi.org/10.1007/11768173</a><br/>Format: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Dependable Systems III
ent://SD_ILS/0/SD_ILS:182800
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11556169">http://dx.doi.org/10.1007/11556169</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures
ent://SD_ILS/0/SD_ILS:183012
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Rust, Heinrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135629">http://dx.doi.org/10.1007/b135629</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Development for Embedded Systems An Overview of Current Research Trends
ent://SD_ILS/0/SD_ILS:182781
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Atkinson, Colin. editor. Bunse, Christian. editor. Gross, Hans-Gerhard. editor. Peper, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11591962">http://dx.doi.org/10.1007/11591962</a><br/>Format: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Roy, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106627">http://dx.doi.org/10.1007/b106627</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Real-Time Systems Predictability vs. Efficiency
ent://SD_ILS/0/SD_ILS:165478
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Expert Oracle
ent://SD_ILS/0/SD_ILS:170724
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Kyte, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Linux-Systemadministration Grundlagen, Konzepte, Anwendung
ent://SD_ILS/0/SD_ILS:181224
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Wolfinger, Christine. author. Gulbins, Jürgen. author. Hammer, Carsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138658">http://dx.doi.org/10.1007/b138658</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Component Development with Zope 3
ent://SD_ILS/0/SD_ILS:181389
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Weitershausen, Philipp. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139044">http://dx.doi.org/10.1007/b139044</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Debian GNU/Linux Grundlagen, Installation, Administration und Anwendung
ent://SD_ILS/0/SD_ILS:181822
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Ganten, Peter H. Alex, Wulf. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Yi, Kwangkeun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Konagaya, Akihiko. editor. Satou, Kenji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106923">http://dx.doi.org/10.1007/b106923</a><br/>Format: Electronic Resources<br/>Availability 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
2025-12-26T16:13:51Z
2025-12-26T16:13:51Z
Author Dearle, Alan. editor. Eisenbach, Susan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11590712">http://dx.doi.org/10.1007/11590712</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>