Search Results for Science -- Software. - Narrowed by: 2009
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bSoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092009$0025092009$0026ps$003d300?
2025-12-30T05:37:56Z
Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189741
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Alfaro, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00596-1">http://dx.doi.org/10.1007/978-3-642-00596-1</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-30T05:37:56Z
2025-12-30T05:37:56Z
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/>
Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189626
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Leuschel, Michael. editor. Wehrheim, Heike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00255-7">http://dx.doi.org/10.1007/978-3-642-00255-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen
ent://SD_ILS/0/SD_ILS:189632
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Tiegelkamp, Michael. author. John, Karl Heinz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00269-4">http://dx.doi.org/10.1007/978-3-642-00269-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189794
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00768-2">http://dx.doi.org/10.1007/978-3-642-00768-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture Knowledge Management Theory and Practice
ent://SD_ILS/0/SD_ILS:190303
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Ali Babar, Muhammad. editor. Dingsøyr, Torgeir. editor. Lago, Patricia. editor. van Vliet, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02374-3">http://dx.doi.org/10.1007/978-3-642-02374-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cutting-Edge Research Topics on Multiple Criteria Decision Making 20th International Conference, MCDM 2009, Chengdu/Jiuzhaigou, China, June 21-26, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190279
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Shi, Yong. editor. Wang, Shouyang. editor. Peng, Yi. editor. Li, Jianping. editor. Zeng, Yong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02298-2">http://dx.doi.org/10.1007/978-3-642-02298-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190925
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04368-0">http://dx.doi.org/10.1007/978-3-642-04368-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Entity Localization and Tracking in GPS-less Environnments Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190929
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Fuller, Richard. editor. Koutsoukos, Xenofon D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04385-7">http://dx.doi.org/10.1007/978-3-642-04385-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190930
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Godo, Lluís. editor. Pugliese, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04388-8">http://dx.doi.org/10.1007/978-3-642-04388-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Decision Theory First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190945
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Rossi, Francesca. editor. Tsoukias, Alexis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04428-1">http://dx.doi.org/10.1007/978-3-642-04428-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190949
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Chen, Shyi-Ming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04441-0">http://dx.doi.org/10.1007/978-3-642-04441-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning and Intelligent Optimization Third International Conference, LION 3, Trento, Italy, January 14-18, 2009. Selected Papers
ent://SD_ILS/0/SD_ILS:191599
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Stützle, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11169-3">http://dx.doi.org/10.1007/978-3-642-11169-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software-Architektur kompakt – angemessen und zielorientiert
ent://SD_ILS/0/SD_ILS:198699
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Starke, Gernot. author. Hruschka, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2205-7">http://dx.doi.org/10.1007/978-3-8274-2205-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering
ent://SD_ILS/0/SD_ILS:198718
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Balzert, Helmut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2247-7">http://dx.doi.org/10.1007/978-3-8274-2247-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software-Architektur Grundlagen — Konzepte — Praxis
ent://SD_ILS/0/SD_ILS:198724
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Vogel, Oliver. author. Arnold, Ingo. author. Chughtai, Arif. author. Ihler, Edmund. author. Kehrer, Timo. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2267-5">http://dx.doi.org/10.1007/978-3-8274-2267-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten
ent://SD_ILS/0/SD_ILS:199366
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Kleuker, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9235-5">http://dx.doi.org/10.1007/978-3-8348-9235-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Development Challenges in Practice, Theory, and Education Volume 1
ent://SD_ILS/0/SD_ILS:166627
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Wojtkowski, Wita. editor. Wojtkowski, Gregory. editor. Lang, Michael. editor. Conboy, Kieran. editor. Barry, Chris. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68772-8">http://dx.doi.org/10.1007/978-0-387-68772-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Web Services Challenge Results from the First Year
ent://SD_ILS/0/SD_ILS:166951
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Petrie, Charles. editor. Margaria, Tiziana. editor. Lausen, Holger. editor. Zaremba, Michal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-72496-6">http://dx.doi.org/10.1007/978-0-387-72496-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Development Challenges in Practice, Theory, and Education Volume 2
ent://SD_ILS/0/SD_ILS:167592
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Barry, Chris. editor. Lang, Michael. editor. Wojtkowski, Wita. editor. Conboy, Kieran. editor. Wojtkowski, Gregory. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-78578-3">http://dx.doi.org/10.1007/978-0-387-78578-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware Software Co-Design of a Multimedia SOC Platform
ent://SD_ILS/0/SD_ILS:170593
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9623-5">http://dx.doi.org/10.1007/978-1-4020-9623-5</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-30T05:37:56Z
2025-12-30T05:37:56Z
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/>
SOA und WebServices
ent://SD_ILS/0/SD_ILS:187752
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Zeppenfeld, Klaus. author. Finger, Patrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76991-0">http://dx.doi.org/10.1007/978-3-540-76991-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Approach to Modelling Software Evolution Processes
ent://SD_ILS/0/SD_ILS:188443
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Li, Tong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79464-6">http://dx.doi.org/10.1007/978-3-540-79464-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security Engineering for Service-Oriented Architectures
ent://SD_ILS/0/SD_ILS:188468
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Hafner, Michael. author. Breu, Ruth. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79539-1">http://dx.doi.org/10.1007/978-3-540-79539-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtuelle Realität
ent://SD_ILS/0/SD_ILS:188600
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Brill, Manfred. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85118-9">http://dx.doi.org/10.1007/978-3-540-85118-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geschäftsprozessmanagement
ent://SD_ILS/0/SD_ILS:188616
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Becker, Jörg. author. Mathas, Christoph. author. Winkelmann, Axel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85155-4">http://dx.doi.org/10.1007/978-3-540-85155-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189099
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Filipe, Joaquim. editor. Shishkov, Boris. editor. Helfert, Markus. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88655-6">http://dx.doi.org/10.1007/978-3-540-88655-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers
ent://SD_ILS/0/SD_ILS:189109
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88713-3">http://dx.doi.org/10.1007/978-3-540-88713-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Funktionale und Applikative Programmierung Grundlagen, Sprachen, Implementierungstechniken
ent://SD_ILS/0/SD_ILS:189207
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Lippe, Wolfram-Manfred. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89108-6">http://dx.doi.org/10.1007/978-3-540-89108-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
ent://SD_ILS/0/SD_ILS:189225
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Mendling, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89224-3">http://dx.doi.org/10.1007/978-3-540-89224-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Konzepte objektorientierter Programmierung Mit einer Einführung in Java
ent://SD_ILS/0/SD_ILS:189275
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Poetzsch-Heffter, Arnd. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89471-1">http://dx.doi.org/10.1007/978-3-540-89471-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
QVT - Relations Language Modellierung mit der Query Views Transformation
ent://SD_ILS/0/SD_ILS:189392
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Nolte, Siegfried. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92171-4">http://dx.doi.org/10.1007/978-3-540-92171-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Web Applications
ent://SD_ILS/0/SD_ILS:189403
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Casteleyn, Sven. author. Daniel, Florian. author. Dolog, Peter. author. Matera, Maristella. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92201-8">http://dx.doi.org/10.1007/978-3-540-92201-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Touch of Class Learning to Program Well with Objects and Contracts
ent://SD_ILS/0/SD_ILS:189386
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Meyer, Bertrand. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92145-5">http://dx.doi.org/10.1007/978-3-540-92145-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:189499
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Lyytinen, Kalle. editor. Loucopoulos, Pericles. editor. Mylopoulos, John. editor. Robinson, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92966-6">http://dx.doi.org/10.1007/978-3-540-92966-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189739
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189740
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Chechik, Marsha. editor. Wirsing, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00593-0">http://dx.doi.org/10.1007/978-3-642-00593-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189743
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00602-9">http://dx.doi.org/10.1007/978-3-642-00602-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software-Entwicklung für Echtzeitsysteme
ent://SD_ILS/0/SD_ILS:190052
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Benra, Juliane T. editor. Halang, Wolfgang A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01596-0">http://dx.doi.org/10.1007/978-3-642-01596-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190073
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Chaudron, Michel R. V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01648-6">http://dx.doi.org/10.1007/978-3-642-01648-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190084
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Wang, Qing. editor. Garousi, Vahid. editor. Madachy, Raymond. editor. Pfahl, Dietmar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01680-6">http://dx.doi.org/10.1007/978-3-642-01680-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Ecosystems: Diverse Communities Interacting 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, June 3-6, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190194
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Boldyreff, Cornelia. editor. Crowston, Kevin. editor. Lundell, Björn. editor. Wasserman, Anthony I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02032-2">http://dx.doi.org/10.1007/978-3-642-02032-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190200
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Glinz, Martin. editor. Heymans, Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02050-6">http://dx.doi.org/10.1007/978-3-642-02050-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190232
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Bomarius, Frank. editor. Oivo, Markku. editor. Jaring, Päivi. editor. Abrahamsson, Pekka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02152-7">http://dx.doi.org/10.1007/978-3-642-02152-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Self-Adaptive Systems
ent://SD_ILS/0/SD_ILS:190235
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02161-9">http://dx.doi.org/10.1007/978-3-642-02161-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190297
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02351-4">http://dx.doi.org/10.1007/978-3-642-02351-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190310
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Príncipe, José C. editor. Miikkulainen, Risto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02397-2">http://dx.doi.org/10.1007/978-3-642-02397-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190312
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Paige, Richard F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02408-5">http://dx.doi.org/10.1007/978-3-642-02408-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190317
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02424-5">http://dx.doi.org/10.1007/978-3-642-02424-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:190325
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02454-2">http://dx.doi.org/10.1007/978-3-642-02454-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulos
ent://SD_ILS/0/SD_ILS:190328
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02463-4">http://dx.doi.org/10.1007/978-3-642-02463-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190481
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Gotel, Olly. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02987-5">http://dx.doi.org/10.1007/978-3-642-02987-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers
ent://SD_ILS/0/SD_ILS:190346
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Ystad, Sølvi. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02518-1">http://dx.doi.org/10.1007/978-3-642-02518-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Interface and the Management of Information. Designing Information Environments Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I
ent://SD_ILS/0/SD_ILS:190357
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Smith, Michael J. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02556-3">http://dx.doi.org/10.1007/978-3-642-02556-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Interface and the Management of Information. Information and Interaction Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:190358
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Salvendy, Gavriel. editor. Smith, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02559-4">http://dx.doi.org/10.1007/978-3-642-02559-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Societies in the Agents World IX 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190359
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Artikis, Alexander. editor. Picard, Gauthier. editor. Vercouter, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02562-4">http://dx.doi.org/10.1007/978-3-642-02562-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Objects, Components, Models and Patterns 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190362
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Oriol, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02571-6">http://dx.doi.org/10.1007/978-3-642-02571-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190388
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02652-2">http://dx.doi.org/10.1007/978-3-642-02652-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:190499
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Köppen, Mario. editor. Kasabov, Nikola. editor. Coghill, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03040-6">http://dx.doi.org/10.1007/978-3-642-03040-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:190535
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Bove, Ana. editor. Barbosa, Luís Soares. editor. Pardo, Alberto. editor. Pinto, Jorge Sousa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03153-3">http://dx.doi.org/10.1007/978-3-642-03153-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190564
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Palsberg, Jens. editor. Su, Zhendong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03237-0">http://dx.doi.org/10.1007/978-3-642-03237-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190565
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Cofer, Darren. editor. Fantechi, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03240-0">http://dx.doi.org/10.1007/978-3-642-03240-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Management for Health Care Procedures ECAI 2008 Workshop, K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190569
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Riaño, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03262-2">http://dx.doi.org/10.1007/978-3-642-03262-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190596
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Tan, Runhua. editor. Cao, Guozhong. editor. León, Noel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03346-9">http://dx.doi.org/10.1007/978-3-642-03346-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:190633
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03456-5">http://dx.doi.org/10.1007/978-3-642-03456-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190636
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Leucker, Martin. editor. Morgan, Carroll. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03466-4">http://dx.doi.org/10.1007/978-3-642-03466-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Database and XML Technologies 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190659
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Bellahsène, Zohra. editor. Hunt, Ela. editor. Rys, Michael. editor. Unland, Rainer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03555-5">http://dx.doi.org/10.1007/978-3-642-03555-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
ent://SD_ILS/0/SD_ILS:190663
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03564-7">http://dx.doi.org/10.1007/978-3-642-03564-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:190695
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Gross, Tom. editor. Gulliksen, Jan. editor. Kotzé, Paula. editor. Oestreicher, Lars. editor. Palanque, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03655-2">http://dx.doi.org/10.1007/978-3-642-03655-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:190696
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Gross, Tom. editor. Gulliksen, Jan. editor. Kotzé, Paula. editor. Oestreicher, Lars. editor. Palanque, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03658-3">http://dx.doi.org/10.1007/978-3-642-03658-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Management in Grid and Peer-to-Peer Systems Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190714
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03715-3">http://dx.doi.org/10.1007/978-3-642-03715-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering
ent://SD_ILS/0/SD_ILS:190731
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Katz, Shmuel. editor. Ossher, Harold. editor. France, Robert. editor. Jézéquel, Jean-Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03764-1">http://dx.doi.org/10.1007/978-3-642-03764-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190828
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Altinsoy, M. Ercan. editor. Jekosch, Ute. editor. Brewster, Stephen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04076-4">http://dx.doi.org/10.1007/978-3-642-04076-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190846
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author O’Connor, Rory V. editor. Baddoo, Nathan. editor. Cuadrago Gallego, Juan. editor. Rejas Muslera, Ricardo. editor. Smolander, Kari. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04133-4">http://dx.doi.org/10.1007/978-3-642-04133-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:190857
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04164-8">http://dx.doi.org/10.1007/978-3-642-04164-8</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-30T05:37:56Z
2025-12-30T05:37:56Z
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/>
Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190872
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Edwards, Stephen H. editor. Kulczycki, Gregory. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04211-9">http://dx.doi.org/10.1007/978-3-642-04211-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190962
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Samarati, Pierangela. editor. Yung, Moti. editor. Martinelli, Fabio. editor. Ardagna, Claudio A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04474-8">http://dx.doi.org/10.1007/978-3-642-04474-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
ent://SD_ILS/0/SD_ILS:191016
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04652-0">http://dx.doi.org/10.1007/978-3-642-04652-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190876
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Ghilardi, Silvio. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04222-5">http://dx.doi.org/10.1007/978-3-642-04222-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190883
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04238-6">http://dx.doi.org/10.1007/978-3-642-04238-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190885
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Gent, Ian P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04244-7">http://dx.doi.org/10.1007/978-3-642-04244-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190990
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Alpuente, María. editor. Cook, Byron. editor. Joubert, Christophe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04570-7">http://dx.doi.org/10.1007/978-3-642-04570-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Interoperability Second IFIP WG 5.8 International Workshop, IWEI 2009, Valencia, Spain, October 13-14, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191046
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Poler, Raúl. editor. Sinderen, Marten. editor. Sanchis, Raquel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04750-3">http://dx.doi.org/10.1007/978-3-642-04750-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191051
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Liu, Zhiming. editor. Ravn, Anders P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04761-9">http://dx.doi.org/10.1007/978-3-642-04761-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191076
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Laender, Alberto H. F. editor. Castano, Silvana. editor. Dayal, Umeshwar. editor. Casati, Fabio. editor. Oliveira, José Palazzo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04840-1">http://dx.doi.org/10.1007/978-3-642-04840-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nano-Net 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191079
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Schmid, Alexandre. editor. Goel, Sanjay. editor. Wang, Wei. editor. Beiu, Valeriu. editor. Carrara, Sandro. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04850-0">http://dx.doi.org/10.1007/978-3-642-04850-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency III
ent://SD_ILS/0/SD_ILS:191080
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Jensen, Kurt. editor. Billington, Jonathan. editor. Koutny, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04856-2">http://dx.doi.org/10.1007/978-3-642-04856-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191312
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Kim, Tai-hoon. editor. Fang, Wai-Chi. editor. Lee, Changhoon. editor. Arnett, Kirk P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10242-4">http://dx.doi.org/10.1007/978-3-642-10242-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191347
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10373-5">http://dx.doi.org/10.1007/978-3-642-10373-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191371
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Oliveira, Marcel Vinícius Medeiros. 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-642-10452-7">http://dx.doi.org/10.1007/978-3-642-10452-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-30T05:37:56Z
2025-12-30T05:37:56Z
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/>
Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189527
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Jones, Neil D. editor. Müller-Olm, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-93900-9">http://dx.doi.org/10.1007/978-3-540-93900-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experience and Knowledge Management in Software Engineering
ent://SD_ILS/0/SD_ILS:189551
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Schneider, Kurt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-95880-2">http://dx.doi.org/10.1007/978-3-540-95880-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:189554
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-95888-8">http://dx.doi.org/10.1007/978-3-540-95888-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Engineering and Ontology Development
ent://SD_ILS/0/SD_ILS:189636
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Deved¿ic, Vladan. author. Djuric, Dragan. author. Ga¿evic, Dragan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00282-3">http://dx.doi.org/10.1007/978-3-642-00282-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189717
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Hanus, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00515-2">http://dx.doi.org/10.1007/978-3-642-00515-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
End-User Development 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189681
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Pipek, Volkmar. editor. Rosson, Mary Beth. editor. Ruyter, Boris. editor. Wulf, Volker. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00427-8">http://dx.doi.org/10.1007/978-3-642-00427-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:189683
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Peled, Doron A. editor. Wooldridge, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00431-5">http://dx.doi.org/10.1007/978-3-642-00431-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189684
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Gašević, Dragan. editor. Lämmel, Ralf. editor. Wyk, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00434-6">http://dx.doi.org/10.1007/978-3-642-00434-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Machine Interaction Research Results of the MMI Program
ent://SD_ILS/0/SD_ILS:189685
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Lalanne, Denis. editor. Kohlas, Jürg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00437-7">http://dx.doi.org/10.1007/978-3-642-00437-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems
ent://SD_ILS/0/SD_ILS:189827
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00899-3">http://dx.doi.org/10.1007/978-3-642-00899-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems: Modeling, Development, and Integration Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189888
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Yang, Jianhua. editor. Ginige, Athula. editor. Mayr, Heinrich C. editor. Kutsche, Ralf-D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01112-2">http://dx.doi.org/10.1007/978-3-642-01112-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Das V-Modell® XT Für Projektleiter und QS-Verantwortliche kompakt und übersichtlich
ent://SD_ILS/0/SD_ILS:190014
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Friedrich, Jan. author. Hammerschall, Ulrike. author. Kuhrmann, Marco. author. Sihling, Marc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01488-8">http://dx.doi.org/10.1007/978-3-642-01488-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190130
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Ferré, Sébastien. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01815-2">http://dx.doi.org/10.1007/978-3-642-01815-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190142
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Maurer, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01853-4">http://dx.doi.org/10.1007/978-3-642-01853-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers
ent://SD_ILS/0/SD_ILS:190143
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Berkling, Kay. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01856-5">http://dx.doi.org/10.1007/978-3-642-01856-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modular Ontologies Concepts, Theories and Techniques for Knowledge Modularization
ent://SD_ILS/0/SD_ILS:190159
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Stuckenschmidt, Heiner. editor. Parent, Christine. editor. Spaccapietra, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01907-4">http://dx.doi.org/10.1007/978-3-642-01907-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:190326
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02457-3">http://dx.doi.org/10.1007/978-3-642-02457-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Universal Access in Human-Computer Interaction. Addressing Diversity 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:190405
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02707-9">http://dx.doi.org/10.1007/978-3-642-02707-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Universal Access in Human-Computer Interaction. Applications and Services 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:190407
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02713-0">http://dx.doi.org/10.1007/978-3-642-02713-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software-Qualität Testen, Analysieren und Verifizieren von Software
ent://SD_ILS/0/SD_ILS:198697
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Liggesmeyer, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2203-3">http://dx.doi.org/10.1007/978-3-8274-2203-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agility kompakt Tipps für erfolgreiche Systementwicklung
ent://SD_ILS/0/SD_ILS:198698
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Hruschka, Peter. author. Rupp, Chris. author. Starke, Gernot. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2204-0">http://dx.doi.org/10.1007/978-3-8274-2204-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architekturen für Web-Anwendungen Eine praxisbezogene Konstruktions-Systematik
ent://SD_ILS/0/SD_ILS:199384
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Bauer, Günther. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9253-9">http://dx.doi.org/10.1007/978-3-8348-9253-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs Computergrafik mit Java Die Grundlagen verstehen und einfach umsetzen mit Java 3D
ent://SD_ILS/0/SD_ILS:199404
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Klawonn, Frank. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9275-1">http://dx.doi.org/10.1007/978-3-8348-9275-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs Smalltalk — Objektorientierung von Anfang an Eine Einführung in die Programmierung
ent://SD_ILS/0/SD_ILS:199438
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Brauer, Johannes. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9315-4">http://dx.doi.org/10.1007/978-3-8348-9315-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The New PL/I … for PC, Workstation and Mainframe
ent://SD_ILS/0/SD_ILS:199440
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Sturm, Eberhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9317-8">http://dx.doi.org/10.1007/978-3-8348-9317-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs Relationale Datenbanken Einführung in die Praxis der Datenbankentwicklung für Ausbildung, Studium und IT-Beruf
ent://SD_ILS/0/SD_ILS:199676
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Steiner, René. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9565-3">http://dx.doi.org/10.1007/978-3-8348-9565-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formale Modelle der Softwareentwicklung Model-Checking, Verifikation, Analyse und Simulation
ent://SD_ILS/0/SD_ILS:199704
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Kleuker, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9595-0">http://dx.doi.org/10.1007/978-3-8348-9595-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Definitive Guide to Pylons
ent://SD_ILS/0/SD_ILS:171060
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Gardner, James. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0534-0">http://dx.doi.org/10.1007/978-1-4302-0534-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Joomla!
ent://SD_ILS/0/SD_ILS:171187
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Rahmel, Dan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1643-8">http://dx.doi.org/10.1007/978-1-4302-1643-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Django Projects
ent://SD_ILS/0/SD_ILS:171239
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Bennett, James. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1939-2">http://dx.doi.org/10.1007/978-1-4302-1939-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developing with Ext GWT Enterprise RIA Development
ent://SD_ILS/0/SD_ILS:171240
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Slender, Grant. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1941-5">http://dx.doi.org/10.1007/978-1-4302-1941-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundation Blender Compositing
ent://SD_ILS/0/SD_ILS:171254
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Wickes, Roger D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1977-4">http://dx.doi.org/10.1007/978-1-4302-1977-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro BizTalk 2009
ent://SD_ILS/0/SD_ILS:171256
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Dunphy, George. author. Moukhnitski, Sergei. author. Kaufman, Stephen. author. Kelcey, Peter. author. Campos, Harold. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1982-8">http://dx.doi.org/10.1007/978-1-4302-1982-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Web Startup Success Guide
ent://SD_ILS/0/SD_ILS:171258
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Walsh, Bob. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1986-6">http://dx.doi.org/10.1007/978-1-4302-1986-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Definitive Guide to Catalyst Writing Extensible, Scalable, and Maintainable Perl-Based Web Applications
ent://SD_ILS/0/SD_ILS:171270
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Diment, Kieren. author. Trout, Matt S. author. Cardim, Eden. author. Kuri, Jay. author. Robinson, Jess. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2366-5">http://dx.doi.org/10.1007/978-1-4302-2366-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Expert F# 2.0
ent://SD_ILS/0/SD_ILS:171292
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Syme, Don. author. Granicz, Adam. author. Cisternino, Antonio. author. Andres, Clay. editor. Anglin, Steve. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2432-7">http://dx.doi.org/10.1007/978-1-4302-2432-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Extreme NXT: Extending the LEGO MINDSTORMS NXT to the Next Level
ent://SD_ILS/0/SD_ILS:171299
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Gasperi, Michael. author. Hurbain, Philippe “Philo”. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2454-9">http://dx.doi.org/10.1007/978-1-4302-2454-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:190091
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Chockler, Hana. editor. Hu, Alan J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01702-5">http://dx.doi.org/10.1007/978-3-642-01702-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:190406
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02710-9">http://dx.doi.org/10.1007/978-3-642-02710-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190408
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Giese, Martin. editor. Waaler, Arild. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02716-1">http://dx.doi.org/10.1007/978-3-642-02716-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I
ent://SD_ILS/0/SD_ILS:190177
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01970-8">http://dx.doi.org/10.1007/978-3-642-01970-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II
ent://SD_ILS/0/SD_ILS:190178
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01973-9">http://dx.doi.org/10.1007/978-3-642-01973-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual and Mixed Reality Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190419
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Shumaker, Randall. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02771-0">http://dx.doi.org/10.1007/978-3-642-02771-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:190463
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02927-1">http://dx.doi.org/10.1007/978-3-642-02927-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:190464
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02930-1">http://dx.doi.org/10.1007/978-3-642-02930-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:190337
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Köppen, Mario. editor. Kasabov, Nikola. editor. Coghill, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02490-0">http://dx.doi.org/10.1007/978-3-642-02490-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191097
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Gibbons, Jeremy. editor. Oliveira, José Nuno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04912-5">http://dx.doi.org/10.1007/978-3-642-04912-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive and Natural Computing Algorithms 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191099
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Kolehmainen, Mikko. editor. Toivanen, Pekka. editor. Beliczynski, Bartlomiej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04921-7">http://dx.doi.org/10.1007/978-3-642-04921-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling - Challenging Perspectives ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191107
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Heuser, Carlos Alberto. editor. Pernul, Günther. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04947-7">http://dx.doi.org/10.1007/978-3-642-04947-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190960
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Buth, Bettina. editor. Rabe, Gerd. editor. Seyfarth, Till. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04468-7">http://dx.doi.org/10.1007/978-3-642-04468-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191118
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Governatori, Guido. editor. Hall, John. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04985-9">http://dx.doi.org/10.1007/978-3-642-04985-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191134
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05031-2">http://dx.doi.org/10.1007/978-3-642-05031-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings
ent://SD_ILS/0/SD_ILS:191152
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Polleres, Axel. editor. Swift, Terrance. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05082-4">http://dx.doi.org/10.1007/978-3-642-05082-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Methods for Execution-level Business Process Modeling Modeling Support Through Process Verification and Service Composition
ent://SD_ILS/0/SD_ILS:191153
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Weber, Ingo M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05085-5">http://dx.doi.org/10.1007/978-3-642-05085-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191155
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Cavalcanti, Ana. editor. Dams, Dennis R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05089-3">http://dx.doi.org/10.1007/978-3-642-05089-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Computational Intelligence International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191204
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Deng, Hepu. editor. Wang, Lanzhou. editor. Wang, Fu Lee. editor. Lei, Jingsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05253-8">http://dx.doi.org/10.1007/978-3-642-05253-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Technologies Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191192
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Cordeiro, José. editor. Shishkov, Boris. editor. Ranchordas, AlpeshKumar. editor. Helfert, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05201-9">http://dx.doi.org/10.1007/978-3-642-05201-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191295
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Aldewereld, Huib. editor. Dignum, Virginia. editor. Picard, Gauthier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10203-5">http://dx.doi.org/10.1007/978-3-642-10203-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Signal Processing, Image Processing and Pattern Recognition International Conference, SIP 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:191401
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Ślęzak, Dominik. editor. Pal, Sankar K. editor. Kang, Byeong-Ho. editor. Gu, Junzhong. editor. Kuroda, Hideo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10546-3">http://dx.doi.org/10.1007/978-3-642-10546-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constructing Ambient Intelligence AmI 2008 Workshops, Nuremberg, Germany 19-22, 2008. Revised Papers
ent://SD_ILS/0/SD_ILS:191420
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Gerhäuser, Heinz. editor. Hupp, Jürgen. editor. Efstratiou, Christos. editor. Heppner, Janina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10607-1">http://dx.doi.org/10.1007/978-3-642-10607-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191441
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Hu, Zhenjiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10672-9">http://dx.doi.org/10.1007/978-3-642-10672-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Systems Security Certification
ent://SD_ILS/0/SD_ILS:167460
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Damiani, Ernesto. author. Ardagna, Claudio Agostino. author. El Ioini, Nabil. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-77324-7">http://dx.doi.org/10.1007/978-0-387-77324-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The China Information Technology Handbook
ent://SD_ILS/0/SD_ILS:167517
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Ordóñez de Pablos, Patricia. editor. Lytras, Miltiadis D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-77743-6">http://dx.doi.org/10.1007/978-0-387-77743-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning GIMP From Novice to Professional
ent://SD_ILS/0/SD_ILS:171149
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Peck, Akkana. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1069-6">http://dx.doi.org/10.1007/978-1-4302-1069-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developing with Google App Engine
ent://SD_ILS/0/SD_ILS:171200
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Ciurana, Eugene. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1832-6">http://dx.doi.org/10.1007/978-1-4302-1832-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Git
ent://SD_ILS/0/SD_ILS:171201
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Chacon, Scott. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1834-0">http://dx.doi.org/10.1007/978-1-4302-1834-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Android
ent://SD_ILS/0/SD_ILS:171168
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Hashimi, Sayed Y. author. Komatineni, Satya. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1597-4">http://dx.doi.org/10.1007/978-1-4302-1597-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Definitive Guide to Django Web Development Done Right
ent://SD_ILS/0/SD_ILS:171238
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Holovaty, Adrian. author. Kaplan-Moss, Jacob. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1937-8">http://dx.doi.org/10.1007/978-1-4302-1937-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering
ent://SD_ILS/0/SD_ILS:175673
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Seffah, Ahmed. editor. Metzker, Eduard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-019-3">http://dx.doi.org/10.1007/978-1-84800-019-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Verification and Analysis An Integrated, Hands-On Approach
ent://SD_ILS/0/SD_ILS:175929
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Stanley, William. author. Laski, Janusz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-240-5">http://dx.doi.org/10.1007/978-1-84882-240-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach
ent://SD_ILS/0/SD_ILS:175931
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Li, ZhiWu. author. Zhou, MengChu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-244-3">http://dx.doi.org/10.1007/978-1-84882-244-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Introduction to Computer Architecture
ent://SD_ILS/0/SD_ILS:175933
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Page, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-256-6">http://dx.doi.org/10.1007/978-1-84882-256-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Life Models in Software
ent://SD_ILS/0/SD_ILS:175940
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Komosinski, Maciej. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-285-6">http://dx.doi.org/10.1007/978-1-84882-285-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ada for Software Engineers (Second Edition with Ada 2005)
ent://SD_ILS/0/SD_ILS:175948
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Ben-Ari, Mordechai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-314-3">http://dx.doi.org/10.1007/978-1-84882-314-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise and Practical Introduction to Programming Algorithms in Java
ent://SD_ILS/0/SD_ILS:175954
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Nielsen, Frank. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-339-6">http://dx.doi.org/10.1007/978-1-84882-339-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends on Human–Computer Interaction Research, Development, New Tools and Methods
ent://SD_ILS/0/SD_ILS:175958
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Macías, José A. editor. Granollers Saltiveri, Antoni. editor. Latorre, Pedro M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-352-5">http://dx.doi.org/10.1007/978-1-84882-352-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geometric Algebra: An Algebraic System for Computer Games and Animation
ent://SD_ILS/0/SD_ILS:175965
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-379-2">http://dx.doi.org/10.1007/978-1-84882-379-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models of Computation An Introduction to Computability Theory
ent://SD_ILS/0/SD_ILS:175973
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Fernández, Maribel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-434-8">http://dx.doi.org/10.1007/978-1-84882-434-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture II, Volume 1 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
ent://SD_ILS/0/SD_ILS:171896
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0209-2">http://dx.doi.org/10.1007/978-1-4419-0209-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture II, Volume 2 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
ent://SD_ILS/0/SD_ILS:171897
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0211-5">http://dx.doi.org/10.1007/978-1-4419-0211-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture II, Volume 3 The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
ent://SD_ILS/0/SD_ILS:171898
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Zhao, Chunjiang. editor. Li, Daoliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0213-9">http://dx.doi.org/10.1007/978-1-4419-0213-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Computing on the Cell Broadband Engine
ent://SD_ILS/0/SD_ILS:171927
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Koranne, Sandeep. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0308-2">http://dx.doi.org/10.1007/978-1-4419-0308-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Graphics Software Tools
ent://SD_ILS/0/SD_ILS:175848
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Chen, Jim X. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-901-1">http://dx.doi.org/10.1007/978-1-84800-901-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Programming Languages
ent://SD_ILS/0/SD_ILS:175880
2025-12-30T05:37:56Z
2025-12-30T05:37:56Z
Author Dowek, Gilles. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-032-6">http://dx.doi.org/10.1007/978-1-84882-032-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>