Search Results for Science -- Software. - Narrowed by: 2008
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bSoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092008$0025092008$0026ps$003d300?dt=list
2026-01-12T01:17:43Z
Software engineering foundations : a software science perspective
ent://SD_ILS/0/SD_ILS:541714
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Wang, Yingxu., author.<br/>Preferred Shelf Number QA76.758 .W375 2008<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9780203496091">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188152
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Amadio, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78499-9">http://dx.doi.org/10.1007/978-3-540-78499-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Softwareentwicklung kompakt und verständlich Wie Softwaresysteme entstehen
ent://SD_ILS/0/SD_ILS:199620
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Brandt-Pook, Hans. author. Kollmeier, Rainer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9507-3">http://dx.doi.org/10.1007/978-3-8348-9507-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs Algorithmen und Datenstrukturen in JAVA Eine Einführung in die praktische Informatik
ent://SD_ILS/0/SD_ILS:199635
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Solymosi, Andreas. author. Grude, Ulrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9522-6">http://dx.doi.org/10.1007/978-3-8348-9522-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Java will nur spielen Programmieren lernen mit Spaß und Kreativität
ent://SD_ILS/0/SD_ILS:199638
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Panitz, Sven Eric. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9525-7">http://dx.doi.org/10.1007/978-3-8348-9525-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
XQuery und SQL/XML in DB2-Datenbanken Verwaltung und Erzeugung von XML-Dokumenten in DB2
ent://SD_ILS/0/SD_ILS:199667
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Moos, Alfred. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9556-1">http://dx.doi.org/10.1007/978-3-8348-9556-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis and Design of Information Systems Third Edition
ent://SD_ILS/0/SD_ILS:175496
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Langer, Arthur M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-655-1">http://dx.doi.org/10.1007/978-1-84628-655-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Maturing Usability Quality in Software, Interaction and Value
ent://SD_ILS/0/SD_ILS:175638
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Law, Effie Lai-Chong. editor. Hvannberg, Ebba Thora. editor. Cockton, Gilbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-941-5">http://dx.doi.org/10.1007/978-1-84628-941-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities
ent://SD_ILS/0/SD_ILS:175672
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Simon, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-017-9">http://dx.doi.org/10.1007/978-1-84800-017-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Das V-Modell XT Grundlagen, Methodik und Anwendungen
ent://SD_ILS/0/SD_ILS:182278
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Höhn, Reinhard. author. Höppner, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-30250-6">http://dx.doi.org/10.1007/978-3-540-30250-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The IT Measurement Compendium Estimating and Benchmarking Success with Functional Size Measurement
ent://SD_ILS/0/SD_ILS:185392
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Bundschuh, Manfred. author. Dekkers, Carol. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68188-5">http://dx.doi.org/10.1007/978-3-540-68188-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185416
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Cuellar, Jorge. editor. Maibaum, Tom. editor. Sere, Kaisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68237-0">http://dx.doi.org/10.1007/978-3-540-68237-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185424
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Abrahamsson, Pekka. editor. Baskerville, Richard. editor. Conboy, Kieran. editor. Fitzgerald, Brian. editor. Morgan, Lorraine. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68255-4">http://dx.doi.org/10.1007/978-3-540-68255-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185429
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Lea, Doug. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68265-3">http://dx.doi.org/10.1007/978-3-540-68265-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Temporal Logic and State Systems
ent://SD_ILS/0/SD_ILS:185537
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68635-4">http://dx.doi.org/10.1007/978-3-540-68635-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependability Metrics Advanced Lectures
ent://SD_ILS/0/SD_ILS:185660
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
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/>
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185908
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69848-7">http://dx.doi.org/10.1007/978-3-540-69848-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
25 Years of Model Checking History, Achievements, Perspectives
ent://SD_ILS/0/SD_ILS:185909
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Grumberg, Orna. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69850-0">http://dx.doi.org/10.1007/978-3-540-69850-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:185774
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Chapman, Barbara. editor. Zheng, Weiming. editor. Gao, Guang R. editor. Sato, Mitsuhisa. editor. Ayguadé, Eduard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69303-1">http://dx.doi.org/10.1007/978-3-540-69303-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ajax in der Praxis Grundlagen, Konzepte, Lösungen
ent://SD_ILS/0/SD_ILS:185789
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Jäger, Kai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69334-5">http://dx.doi.org/10.1007/978-3-540-69334-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AJAX Geschichte, Technologie, Zukunft
ent://SD_ILS/0/SD_ILS:186748
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Moussaoui, Hassan. author. Zeppenfeld, Klaus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73115-3">http://dx.doi.org/10.1007/978-3-540-73115-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wege aus der Softwarekrise Verbesserungen bei der Softwareentwicklung
ent://SD_ILS/0/SD_ILS:186671
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Hamilton, Patrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72871-9">http://dx.doi.org/10.1007/978-3-540-72871-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:187055
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74105-3">http://dx.doi.org/10.1007/978-3-540-74105-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics of Specification Languages
ent://SD_ILS/0/SD_ILS:187056
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74107-7">http://dx.doi.org/10.1007/978-3-540-74107-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture
ent://SD_ILS/0/SD_ILS:187130
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Qin, Zheng. author. Zheng, Xiang. author. Xing, Jiankuan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74343-9">http://dx.doi.org/10.1007/978-3-540-74343-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:188031
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Yorav, Karen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77966-7">http://dx.doi.org/10.1007/978-3-540-77966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Service Provisioning
ent://SD_ILS/0/SD_ILS:188186
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Kuropka, Dominik. editor. Staab, Steffen. editor. Tröger, Peter. editor. Weske, Mathias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78617-7">http://dx.doi.org/10.1007/978-3-540-78617-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Einstieg in Java und OOP
ent://SD_ILS/0/SD_ILS:188187
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Silberbauer, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78618-4">http://dx.doi.org/10.1007/978-3-540-78618-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188226
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Drossopoulou, Sophia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188227
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Fiadeiro, José Luiz. editor. Inverardi, Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78743-3">http://dx.doi.org/10.1007/978-3-540-78743-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188243
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Hendren, Laurie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78791-4">http://dx.doi.org/10.1007/978-3-540-78791-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
TestGoal Result-Driven Testing
ent://SD_ILS/0/SD_ILS:188255
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author De Grood, Derk-Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78829-4">http://dx.doi.org/10.1007/978-3-540-78829-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188275
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78913-0">http://dx.doi.org/10.1007/978-3-540-78913-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188277
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Hierons, Robert M. editor. Bowen, Jonathan P. editor. Harman, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78917-8">http://dx.doi.org/10.1007/978-3-540-78917-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188769
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Fitzgerald, John S. editor. Haxthausen, Anne E. editor. Yenigun, Husnu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85762-4">http://dx.doi.org/10.1007/978-3-540-85762-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188842
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Ehrig, Hartmut. editor. Heckel, Reiko. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87405-8">http://dx.doi.org/10.1007/978-3-540-87405-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189114
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Calvanese, Diego. editor. Lausen, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88737-9">http://dx.doi.org/10.1007/978-3-540-88737-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189133
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Bassiliades, Nick. editor. Governatori, Guido. 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-540-88808-6">http://dx.doi.org/10.1007/978-3-540-88808-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189076
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Heiner, Monika. editor. Uhrmacher, Adelinde M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88562-7">http://dx.doi.org/10.1007/978-3-540-88562-7</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
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
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
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
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/>
Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189262
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Dumke, Reiner R. editor. Braungarten, René. editor. Büren, Günter. editor. Abran, Alain. editor. Cuadrado-Gallego, Juan J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89403-2">http://dx.doi.org/10.1007/978-3-540-89403-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189268
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Storytelling First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008 Erfurt, Germany, November 26-29, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:189273
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Spierling, Ulrike. editor. Szilas, Nicolas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89454-4">http://dx.doi.org/10.1007/978-3-540-89454-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programmieren spielend gelernt mit dem Java-Hamster-Modell
ent://SD_ILS/0/SD_ILS:203823
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Boles, Dietrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8351-9212-6">http://dx.doi.org/10.1007/978-3-8351-9212-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
C als erste Programmiersprache Vom Einsteiger zum Profi
ent://SD_ILS/0/SD_ILS:203840
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Dausmann, Manfred. author. Bröckl, Ulrich. author. Goll, Joachim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8351-9229-4">http://dx.doi.org/10.1007/978-3-8351-9229-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallele Programmierung spielend gelernt mit dem Java-Hamster-Modell Programmierung mit Java-Threads
ent://SD_ILS/0/SD_ILS:203852
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Boles, Dietrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8351-9242-3">http://dx.doi.org/10.1007/978-3-8351-9242-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design science research methods and patterns : innovating information and communication technology
ent://SD_ILS/0/SD_ILS:546848
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Vaishnavi, Vijay., author. Kuechler, William.<br/>Preferred Shelf Number T58.5 .V354 2008<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420059335">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Parsing Techniques A Practical Guide
ent://SD_ILS/0/SD_ILS:166666
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Grune, Dick. author. Jacobs, Ceriel J. H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68954-8">http://dx.doi.org/10.1007/978-0-387-68954-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of the Spin Model Checker
ent://SD_ILS/0/SD_ILS:175556
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
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/>
Auf der Fährte von C# Einführung und Referenz
ent://SD_ILS/0/SD_ILS:181590
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Roden, Golo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-27889-4">http://dx.doi.org/10.1007/978-3-540-27889-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185507
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68555-5">http://dx.doi.org/10.1007/978-3-540-68555-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:185554
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68679-8">http://dx.doi.org/10.1007/978-3-540-68679-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Applied Artificial Intelligence 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185697
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Nguyen, Ngoc Thanh. editor. Borzemski, Leszek. editor. Grzech, Adam. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69052-8">http://dx.doi.org/10.1007/978-3-540-69052-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185700
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Paech, Barbara. editor. Rolland, Colette. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69062-7">http://dx.doi.org/10.1007/978-3-540-69062-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185702
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Giese, Holger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69073-3">http://dx.doi.org/10.1007/978-3-540-69073-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185805
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69384-0">http://dx.doi.org/10.1007/978-3-540-69384-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185806
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69387-1">http://dx.doi.org/10.1007/978-3-540-69387-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:185807
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69389-5">http://dx.doi.org/10.1007/978-3-540-69389-5</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
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
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/>
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185729
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Alpuente, María. editor. Vidal, Germán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69166-2">http://dx.doi.org/10.1007/978-3-540-69166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185864
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Jedlitschka, Andreas. editor. Salo, Outi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69566-0">http://dx.doi.org/10.1007/978-3-540-69566-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185897
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Paige, Richard F. 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-540-69824-1">http://dx.doi.org/10.1007/978-3-540-69824-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185905
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69839-5">http://dx.doi.org/10.1007/978-3-540-69839-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
C++ mit dem Borland C++Builder 2007 Einführung in den C++-Standard und die objektorientierte Windows-Programmierung
ent://SD_ILS/0/SD_ILS:185884
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Kaiser, Richard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69773-2">http://dx.doi.org/10.1007/978-3-540-69773-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Robotics Mobile Robot Design and Applications with Embedded Systems
ent://SD_ILS/0/SD_ILS:185977
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Bräunl, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70534-5">http://dx.doi.org/10.1007/978-3-540-70534-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185995
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70575-8">http://dx.doi.org/10.1007/978-3-540-70575-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185998
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70583-3">http://dx.doi.org/10.1007/978-3-540-70583-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:186003
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Audebaud, Philippe. editor. Paulin-Mohring, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70594-9">http://dx.doi.org/10.1007/978-3-540-70594-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186012
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Filipe, Joaquim. editor. Shishkov, Boris. 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-540-70621-2">http://dx.doi.org/10.1007/978-3-540-70621-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web 2.0
ent://SD_ILS/0/SD_ILS:186750
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Behrendt, Jens. author. Zeppenfeld, Klaus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73121-4">http://dx.doi.org/10.1007/978-3-540-73121-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Testing
ent://SD_ILS/0/SD_ILS:186585
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Baker, Paul. author. Dai, Zhen Ru. author. Grabowski, Jens. author. Haugen, Øystein. author. Schieferdecker, Ina. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72563-3">http://dx.doi.org/10.1007/978-3-540-72563-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software-Qualität
ent://SD_ILS/0/SD_ILS:187576
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76323-9">http://dx.doi.org/10.1007/978-3-540-76323-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Echtzeitsysteme Grundlagen der Planung
ent://SD_ILS/0/SD_ILS:187602
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Zöbel, Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76396-3">http://dx.doi.org/10.1007/978-3-540-76396-3</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:187604
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Friedrich, Jan. author. Kuhrmann, Marco. author. Sihling, Marc. author. Hammerschall, Ulrike. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76404-5">http://dx.doi.org/10.1007/978-3-540-76404-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Evolution
ent://SD_ILS/0/SD_ILS:187615
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Mens, Tom. author. Demeyer, Serge. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76440-3">http://dx.doi.org/10.1007/978-3-540-76440-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Component Development with Zope 3
ent://SD_ILS/0/SD_ILS:187617
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
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/>
Informatikforschung in Deutschland
ent://SD_ILS/0/SD_ILS:187631
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Reuse, Bernd. editor. Vollmar, Roland. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76550-9">http://dx.doi.org/10.1007/978-3-540-76550-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science I
ent://SD_ILS/0/SD_ILS:188385
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79299-4">http://dx.doi.org/10.1007/978-3-540-79299-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188592
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Horimoto, Katsuhisa. editor. Regensburger, Georg. editor. Rosenkranz, Markus. editor. Yoshida, Hiroshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85101-1">http://dx.doi.org/10.1007/978-3-540-85101-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188598
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Havelund, Klaus. editor. Majumdar, Rupak. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85114-1">http://dx.doi.org/10.1007/978-3-540-85114-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Management in Grid and Peer-to-Peer Systems First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188625
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Hameurlain, Abdelkader. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85176-9">http://dx.doi.org/10.1007/978-3-540-85176-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188660
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Meyer, Bertrand. editor. Nawrocki, Jerzy R. editor. Walter, Bartosz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85279-7">http://dx.doi.org/10.1007/978-3-540-85279-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Management von IT-Projekten Von der Planung zur Realisierung
ent://SD_ILS/0/SD_ILS:188665
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Wieczorrek, Hans W. author. Mertens, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85291-9">http://dx.doi.org/10.1007/978-3-540-85291-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science II
ent://SD_ILS/0/SD_ILS:188870
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Wang, Yingxu. editor. Yao, Yiyu. editor. Wang, Guoyin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87563-5">http://dx.doi.org/10.1007/978-3-540-87563-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188879
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Börger, Egon. editor. Butler, Michael. editor. Bowen, Jonathan P. editor. Boca, Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87603-8">http://dx.doi.org/10.1007/978-3-540-87603-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188894
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Harrison, Michael D. editor. Sujan, Mark-Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87698-4">http://dx.doi.org/10.1007/978-3-540-87698-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Problem Solving from Nature – PPSN X 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188895
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Rudolph, Günter. editor. Jansen, Thomas. editor. Lucas, Simon. editor. Poloni, Carlo. editor. Beume, Nicola. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87700-4">http://dx.doi.org/10.1007/978-3-540-87700-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188929
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Czarnecki, Krzysztof. editor. Ober, Ileana. editor. Bruel, Jean-Michel. editor. Uhl, Axel. editor. Völter, Markus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87875-9">http://dx.doi.org/10.1007/978-3-540-87875-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188930
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Li, Qing. editor. Spaccapietra, Stefano. editor. Yu, Eric. editor. Olivé, Antoni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87877-3">http://dx.doi.org/10.1007/978-3-540-87877-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188931
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Becker, Steffen. editor. Plasil, Frantisek. 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-87879-7">http://dx.doi.org/10.1007/978-3-540-87879-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188932
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Darzentas, John. editor. Vouros, George A. editor. Vosinakis, Spyros. editor. Arnellos, Argyris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87881-0">http://dx.doi.org/10.1007/978-3-540-87881-0</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
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
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/>
Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:189331
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Börger, Egon. editor. Cisternino, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89762-0">http://dx.doi.org/10.1007/978-3-540-89762-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189335
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Paech, Barbara. editor. Martell, Craig. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89778-1">http://dx.doi.org/10.1007/978-3-540-89778-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications
ent://SD_ILS/0/SD_ILS:169692
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Bobda, Christophe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6100-4">http://dx.doi.org/10.1007/978-1-4020-6100-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automatic Program Development A Tribute to Robert Paige
ent://SD_ILS/0/SD_ILS:169862
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Danvy, Olivier. editor. Henglein, Fritz. editor. Mairson, Harry. editor. Pettorossi, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6585-9">http://dx.doi.org/10.1007/978-1-4020-6585-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Oracle Application Express
ent://SD_ILS/0/SD_ILS:170946
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Scott, John Edward. author. Spendolini, Scott. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0280-6">http://dx.doi.org/10.1007/978-1-4302-0280-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning PHP and MySQL E-Commerce From Novice to Professional
ent://SD_ILS/0/SD_ILS:170954
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Darie, Cristian. author. Balanescu, Emilian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0291-2">http://dx.doi.org/10.1007/978-1-4302-0291-2</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:170974
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
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-0331-5">http://dx.doi.org/10.1007/978-1-4302-0331-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of 3D Graphics Programming Using JOGL and Java3D
ent://SD_ILS/0/SD_ILS:175796
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Chen, Jim X. author. Chen, Chunyang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-284-5">http://dx.doi.org/10.1007/978-1-84800-284-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Software Engineering
ent://SD_ILS/0/SD_ILS:175804
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Jalote, Pankaj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-302-6">http://dx.doi.org/10.1007/978-1-84800-302-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185341
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Mei, Hong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68073-4">http://dx.doi.org/10.1007/978-3-540-68073-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling Semantic Web Services The Web Service Modeling Language
ent://SD_ILS/0/SD_ILS:185384
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Bruijn, Jos. author. Fensel, Dieter. author. Kerrigan, Mick. author. Keller, Uwe. author. Lausen, Holger. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68172-4">http://dx.doi.org/10.1007/978-3-540-68172-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185472
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Fisher, Jasmin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68413-8">http://dx.doi.org/10.1007/978-3-540-68413-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Management The Interface Between Requirements Development and All Other Systems Engineering Processes
ent://SD_ILS/0/SD_ILS:185486
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Hood, Colin. author. Wiedemann, Simon. author. Fichtinger, Stefan. author. Pautz, Urte. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68476-3">http://dx.doi.org/10.1007/978-3-540-68476-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186104
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70930-5">http://dx.doi.org/10.1007/978-3-540-70930-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186168
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71070-7">http://dx.doi.org/10.1007/978-3-540-71070-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rightshore! Successfully SAP(R) Projects Offshore
ent://SD_ILS/0/SD_ILS:187832
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Messner, Wolfgang. editor. Hendel, Anja. editor. Thun, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77288-0">http://dx.doi.org/10.1007/978-3-540-77288-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rationale-Based Software Engineering
ent://SD_ILS/0/SD_ILS:187921
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Burge, Janet E. author. Carroll, John M. author. McCall, Raymond. author. Mistrik, Ivan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77583-6">http://dx.doi.org/10.1007/978-3-540-77583-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ajax in Oracle JDeveloper
ent://SD_ILS/0/SD_ILS:187924
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
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/>
Unfoldings A Partial-Order Approach to Model Checking
ent://SD_ILS/0/SD_ILS:187868
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77426-6">http://dx.doi.org/10.1007/978-3-540-77426-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:187873
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Hudak, Paul. editor. Warren, David S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77442-6">http://dx.doi.org/10.1007/978-3-540-77442-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187955
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Labarta, Jesús. editor. Joe, Kazuki. editor. Sato, Toshinori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77704-5">http://dx.doi.org/10.1007/978-3-540-77704-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reflections on the Teaching of Programming Methods and Implementations
ent://SD_ILS/0/SD_ILS:188023
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Bennedsen, Jens. editor. Caspersen, Michael E. editor. Kölling, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77934-6">http://dx.doi.org/10.1007/978-3-540-77934-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188042
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Medina, Raoul. editor. Obiedkov, Sergei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78137-0">http://dx.doi.org/10.1007/978-3-540-78137-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188048
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Logozzo, Francesco. editor. Peled, Doron A. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78163-9">http://dx.doi.org/10.1007/978-3-540-78163-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188280
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78929-1">http://dx.doi.org/10.1007/978-3-540-78929-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems and e-Business Technologies 2nd International United Information Systems Conference UNISCON 2008 Klagenfurt, Austria, April 22–25, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188284
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Kaschek, Roland. editor. Kop, Christian. editor. Steinberger, Claudia. editor. Fliedl, Günther. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78942-0">http://dx.doi.org/10.1007/978-3-540-78942-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Active Knowledge Modeling of Enterprises
ent://SD_ILS/0/SD_ILS:188428
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Lillehagen, Frank. author. Krogstie, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79416-5">http://dx.doi.org/10.1007/978-3-540-79416-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188479
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Eigenmann, Rudolf. editor. Supinski, Bronis R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79561-2">http://dx.doi.org/10.1007/978-3-540-79561-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Making Globally Distributed Software Development a Success Story International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188487
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79588-9">http://dx.doi.org/10.1007/978-3-540-79588-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ada 2005 Rationale The Language, The Standard Libraries
ent://SD_ILS/0/SD_ILS:188493
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Barnes, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79701-2">http://dx.doi.org/10.1007/978-3-540-79701-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188496
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Leue, Stefan. editor. Merino, Pedro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79707-4">http://dx.doi.org/10.1007/978-3-540-79707-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188548
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79980-1">http://dx.doi.org/10.1007/978-3-540-79980-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:188563
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Kronland-Martinet, Richard. editor. Ystad, Sølvi. 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-540-85035-9">http://dx.doi.org/10.1007/978-3-540-85035-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Entscheidbarkeit bei Petri Netzen Überblick und Kompendium
ent://SD_ILS/0/SD_ILS:188706
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Wimmel, Harro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85471-5">http://dx.doi.org/10.1007/978-3-540-85471-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process and Product Measurement International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:188722
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Cuadrado-Gallego, Juan J. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Abran, Alain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85553-8">http://dx.doi.org/10.1007/978-3-540-85553-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Dependable Systems V
ent://SD_ILS/0/SD_ILS:188730
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
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 and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189005
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Liu, Shaoying. editor. Maibaum, Tom. editor. Araki, Keijiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88194-0">http://dx.doi.org/10.1007/978-3-540-88194-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188969
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Morrison, Ron. editor. Balasubramaniam, Dharini. editor. Falkner, Katrina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88030-1">http://dx.doi.org/10.1007/978-3-540-88030-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
ent://SD_ILS/0/SD_ILS:188976
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Soós, Anna. editor. Zsók, Viktória. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88059-2">http://dx.doi.org/10.1007/978-3-540-88059-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:189178
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Schürr, Andy. editor. Nagl, Manfred. editor. Zündorf, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89020-1">http://dx.doi.org/10.1007/978-3-540-89020-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Defence Industry Applications of Autonomous Agents and Multi-Agent Systems
ent://SD_ILS/0/SD_ILS:198098
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Pěchouček, Michal. editor. Thompson, Simon G. editor. Voos, Holger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8571-2">http://dx.doi.org/10.1007/978-3-7643-8571-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
ent://SD_ILS/0/SD_ILS:164756
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Cascini, Gaetano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09697-1">http://dx.doi.org/10.1007/978-0-387-09697-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
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
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/>
Computer And Computing Technologies In Agriculture, Volume I First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
ent://SD_ILS/0/SD_ILS:167447
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Li, Daoliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-77251-6">http://dx.doi.org/10.1007/978-0-387-77251-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer And Computing Technologies In Agriculture, Volume II First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
ent://SD_ILS/0/SD_ILS:167448
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Li, Daoliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-77253-0">http://dx.doi.org/10.1007/978-0-387-77253-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Office and SharePoint 2007 User’s Guide Integrating SharePoint with Excel, Outlook, Access, and Word
ent://SD_ILS/0/SD_ILS:171095
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Antonovich, Michael P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0631-6">http://dx.doi.org/10.1007/978-1-4302-0631-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Django Projects
ent://SD_ILS/0/SD_ILS:171108
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
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-0868-6">http://dx.doi.org/10.1007/978-1-4302-0868-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Android Essentials
ent://SD_ILS/0/SD_ILS:171147
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Haseman, Chris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1063-4">http://dx.doi.org/10.1007/978-1-4302-1063-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Founders at Work Stories of Startups’ Early Days
ent://SD_ILS/0/SD_ILS:171152
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Livingston, Jessica. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1077-1">http://dx.doi.org/10.1007/978-1-4302-1077-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networked RFID Systems, Software and Services
ent://SD_ILS/0/SD_ILS:175735
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Roussos, George. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-153-4">http://dx.doi.org/10.1007/978-1-84800-153-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Software Engineering
ent://SD_ILS/0/SD_ILS:175757
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Hazzan, Orit. author. Dubinsky, Yael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-198-5">http://dx.doi.org/10.1007/978-1-84800-198-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geocoding health data : the use of geographic codes in cancer prevention and control, research, and practice
ent://SD_ILS/0/SD_ILS:545914
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Rushton, Gerard.<br/>Preferred Shelf Number RA645 .C3 G46 2008<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9780849384332">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Petascale computing : algorithms and applications
ent://SD_ILS/0/SD_ILS:546038
2026-01-12T01:17:43Z
2026-01-12T01:17:43Z
Author Bader, David A.<br/>Preferred Shelf Number QA76.88 .P475 2008<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781584889106">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>