Search Results for Science -- Software. - Narrowed by: 2005
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bSoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092005$0025092005$0026ps$003d300?dt=list
2026-01-12T10:20:03Z
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182343
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104325">http://dx.doi.org/10.1007/b104325</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183361
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11590156">http://dx.doi.org/10.1007/11590156</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183053
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106850">http://dx.doi.org/10.1007/b106850</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:180646
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Danos, Vincent. editor. Schachter, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107287">http://dx.doi.org/10.1007/b107287</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Secure Systems Development with UML
ent://SD_ILS/0/SD_ILS:180777
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Jürjens, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137706">http://dx.doi.org/10.1007/b137706</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Domain Decomposition Methods — Algorithms and Theory
ent://SD_ILS/0/SD_ILS:180874
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Toselli, Andrea. author. Widlund, Olof B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137868">http://dx.doi.org/10.1007/b137868</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linux- und Open-Source-Strategien
ent://SD_ILS/0/SD_ILS:181098
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Wichmann, Thorsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138350">http://dx.doi.org/10.1007/b138350</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring
ent://SD_ILS/0/SD_ILS:181106
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Rumpe, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138365">http://dx.doi.org/10.1007/b138365</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ABAP/4 Programmiertechniken Trainingsbuch
ent://SD_ILS/0/SD_ILS:181128
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Winkler, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138418">http://dx.doi.org/10.1007/b138418</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inconsistency Tolerance
ent://SD_ILS/0/SD_ILS:182393
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Bertossi, Leopoldo. editor. Hunter, Anthony. editor. Schaub, Torsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104925">http://dx.doi.org/10.1007/b104925</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discovering knowledge in data an introduction to data mining
ent://SD_ILS/0/SD_ILS:318842
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Larose, Daniel T.<br/>Preferred Shelf Number ONLINE(318842.1)<br/>Electronic Access <a href="http://www.contentreserve.com/TitleInfo.asp?ID={C5D20722-9BD0-4261-B140-108383011E78}&Format=50">Click for information</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=12378">http://www.books24x7.com/marc.asp?bookid=12378</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=225794">http://public.eblib.com/choice/publicfullrecord.aspx?p=225794</a>
ebrary <a href="http://site.ebrary.com/id/10114096">http://site.ebrary.com/id/10114096</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=127312">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=127312</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent Intelligence Through Data Mining
ent://SD_ILS/0/SD_ILS:165180
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Symeonidis, Andreas L. author. Mitkas, Pericles A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136000">http://dx.doi.org/10.1007/b136000</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Programming Languages, Platforms and Applications
ent://SD_ILS/0/SD_ILS:165269
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137449">http://dx.doi.org/10.1007/b137449</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional Verification of Programmable Embedded Architectures A Top-Down Approach
ent://SD_ILS/0/SD_ILS:165277
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137514">http://dx.doi.org/10.1007/b137514</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Integrated Approach to Software Engineering
ent://SD_ILS/0/SD_ILS:165473
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Jalote, Pankaj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28132-0">http://dx.doi.org/10.1007/0-387-28132-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Real-Time Systems Predictability vs. Efficiency
ent://SD_ILS/0/SD_ILS:165478
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28147-9">http://dx.doi.org/10.1007/0-387-28147-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Prozessübergreifendes Projektmanagement Grundlagen erfolgreicher Projekte
ent://SD_ILS/0/SD_ILS:180746
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Versteegen, Gerhard. editor. Meier, Erich. editor. Hindel, Bernd. editor. Vlasan, Adriana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137555">http://dx.doi.org/10.1007/b137555</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Testing with UML
ent://SD_ILS/0/SD_ILS:180937
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Gross, Hans-Gerhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138012">http://dx.doi.org/10.1007/b138012</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Best Practices in Software Measurement How to use metrics to improve project and process performance
ent://SD_ILS/0/SD_ILS:180938
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Ebert, Christof. author. Bundschuh, Manfred. author. Dumke, Reiner. author. Schmietendorf, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138013">http://dx.doi.org/10.1007/b138013</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agentenorientierte Softwareentwicklung Methoden und Tools
ent://SD_ILS/0/SD_ILS:181003
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Weiß, Gerhard. author. Jakob, Ralf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138124">http://dx.doi.org/10.1007/b138124</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Das C++ Kompendium STL, Objektfabriken, Exceptions
ent://SD_ILS/0/SD_ILS:181022
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Brands, Gilbert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138162">http://dx.doi.org/10.1007/b138162</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Categories for Software Engineering
ent://SD_ILS/0/SD_ILS:181067
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Fiadeiro, José Luiz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138249">http://dx.doi.org/10.1007/b138249</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Form-Oriented Analysis A New Methodology to Model Form-Based Applications
ent://SD_ILS/0/SD_ILS:181068
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Draheim, Dirk. author. Weber, Gerald. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138252">http://dx.doi.org/10.1007/b138252</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Einführung in die Informatik Objektorientiert mit Java
ent://SD_ILS/0/SD_ILS:181070
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138253">http://dx.doi.org/10.1007/b138253</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components
ent://SD_ILS/0/SD_ILS:181284
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Caromel, Denis. author. Henrio, Ludovic. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138812">http://dx.doi.org/10.1007/b138812</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Commercial-off-the-Shelf Components and Systems
ent://SD_ILS/0/SD_ILS:181188
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Beydeda, Sami. editor. Gruhn, Volker. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138567">http://dx.doi.org/10.1007/b138567</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimieren von Requirements Management & Engineering Mit dem HOOD Capability Model
ent://SD_ILS/0/SD_ILS:181325
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Hood, Colin. author. Wiebel, Rupert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138908">http://dx.doi.org/10.1007/b138908</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
ent://SD_ILS/0/SD_ILS:181352
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Kurki-Suonio, Reino. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138956">http://dx.doi.org/10.1007/b138956</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
JDF Process Integration, Technology, Product Description
ent://SD_ILS/0/SD_ILS:181466
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Kühn, Wolfgang. author. Grell, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27528-2">http://dx.doi.org/10.1007/3-540-27528-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Business @ Print Internet-Based Services and Processes
ent://SD_ILS/0/SD_ILS:181467
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author König, Anne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27529-0">http://dx.doi.org/10.1007/3-540-27529-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programmieren in Java 1.5 Ein kompaktes, interaktives Tutorial
ent://SD_ILS/0/SD_ILS:181480
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Fischer, Gregor. author. Gudenberg, Jürgen Wolff. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27549-5">http://dx.doi.org/10.1007/3-540-27549-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementing Distributed Systems with Java and CORBA
ent://SD_ILS/0/SD_ILS:181626
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Aleksy, Markus. author. Korthaus, Axel. author. Schader, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28047-2">http://dx.doi.org/10.1007/3-540-28047-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Speech Application SDK mit ASP.NET Design und Implementierung sprachgestützter Web-Applikationen
ent://SD_ILS/0/SD_ILS:181645
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Zeeck, Achim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28086-3">http://dx.doi.org/10.1007/3-540-28086-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering and Managing Software Requirements
ent://SD_ILS/0/SD_ILS:181690
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Aurum, Aybüke. editor. Wohlin, Claes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28244-0">http://dx.doi.org/10.1007/3-540-28244-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Software Development
ent://SD_ILS/0/SD_ILS:181802
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Beydeda, Sami. editor. Book, Matthias. editor. Gruhn, Volker. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28554-7">http://dx.doi.org/10.1007/3-540-28554-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182671
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137278">http://dx.doi.org/10.1007/b137278</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product Focused Software Process Improvement 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182796
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Bomarius, Frank. editor. Komi-Sirviö, Seija. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137178">http://dx.doi.org/10.1007/b137178</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Dependable Systems III
ent://SD_ILS/0/SD_ILS:182800
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11556169">http://dx.doi.org/10.1007/11556169</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182801
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182834
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11523468">http://dx.doi.org/10.1007/11523468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182846
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b27882">http://dx.doi.org/10.1007/b27882</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182857
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Gramlich, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11559306">http://dx.doi.org/10.1007/11559306</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182950
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Nieuwenhuis, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11532231">http://dx.doi.org/10.1007/11532231</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures
ent://SD_ILS/0/SD_ILS:182958
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Vene, Varmo. editor. Uustalu, Tarmo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11546382">http://dx.doi.org/10.1007/11546382</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182962
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11548133">http://dx.doi.org/10.1007/11548133</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis Foundations and Applications
ent://SD_ILS/0/SD_ILS:182967
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Ganter, Bernhard. editor. Stumme, Gerd. editor. Wille, Rudolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-31881-1">http://dx.doi.org/10.1007/978-3-540-31881-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nonlinear Speech Modeling and Applications Advanced Lectures and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182972
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Chollet, Gérard. editor. Esposito, Anna. editor. Faundez-Zanuy, Marcos. editor. Marinaro, Maria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138975">http://dx.doi.org/10.1007/b138975</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovations in Applied Artificial Intelligence 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182979
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Ali, Moonis. editor. Esposito, Floriana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137656">http://dx.doi.org/10.1007/b137656</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biomimetic Neural Learning for Intelligent Robots Intelligent Systems, Cognitive Robotics, and Neuroscience
ent://SD_ILS/0/SD_ILS:182982
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Wermter, Stefan. editor. Palm, Günther. editor. Elshaw, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139051">http://dx.doi.org/10.1007/b139051</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182985
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Godefroid, Patrice. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11537328">http://dx.doi.org/10.1007/11537328</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183227
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11589976">http://dx.doi.org/10.1007/11589976</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183234
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Yi, Kwangkeun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Biometric Person Authentication International Wokshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183235
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Li, Stan Z. editor. Sun, Zhenan. editor. Tan, Tieniu. editor. Pankanti, Sharath. editor. Chollet, Gérard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11569947">http://dx.doi.org/10.1007/11569947</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183237
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11576280">http://dx.doi.org/10.1007/11576280</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:183238
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Konagaya, Akihiko. editor. Satou, Kenji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106923">http://dx.doi.org/10.1007/b106923</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:183241
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106663">http://dx.doi.org/10.1007/b106663</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183249
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Ganter, Bernhard. editor. Godin, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105806">http://dx.doi.org/10.1007/b105806</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:183286
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganá, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136278">http://dx.doi.org/10.1007/b136278</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle
ent://SD_ILS/0/SD_ILS:169085
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Seffah, Ahmed. editor. Gulliksen, Jan. editor. Desmarais, Michel C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4113-6">http://dx.doi.org/10.1007/1-4020-4113-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
ent://SD_ILS/0/SD_ILS:170051
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101185">http://dx.doi.org/10.1007/b101185</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Spring
ent://SD_ILS/0/SD_ILS:170709
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Harrop, Rob. author. Machacek, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0004-8">http://dx.doi.org/10.1007/978-1-4302-0004-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Painless Project Management with FogBugz
ent://SD_ILS/0/SD_ILS:170713
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Gunderloy, Mike. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0008-6">http://dx.doi.org/10.1007/978-1-4302-0008-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Common Lisp
ent://SD_ILS/0/SD_ILS:170722
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Seibel, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0017-8">http://dx.doi.org/10.1007/978-1-4302-0017-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Databases with PostgreSQL From Novice to Professional
ent://SD_ILS/0/SD_ILS:170723
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Matthew, Neil. author. Stones, Richard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0018-5">http://dx.doi.org/10.1007/978-1-4302-0018-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Expert Oracle
ent://SD_ILS/0/SD_ILS:170724
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Kyte, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0019-2">http://dx.doi.org/10.1007/978-1-4302-0019-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning J2ME: From Novice to Professional
ent://SD_ILS/0/SD_ILS:170725
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Li, Sing. author. Knudsen, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0020-8">http://dx.doi.org/10.1007/978-1-4302-0020-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Shell Scripting Recipes A Problem-Solution Approach
ent://SD_ILS/0/SD_ILS:170729
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Johnson, Chris F. A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0024-6">http://dx.doi.org/10.1007/978-1-4302-0024-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Programmer’s Introduction to C# 2.0
ent://SD_ILS/0/SD_ILS:170740
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Gunnerson, Eric. editor. Wienholt, Nick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0035-2">http://dx.doi.org/10.1007/978-1-4302-0035-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Java Objects From Concepts to Code
ent://SD_ILS/0/SD_ILS:170741
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Barker, Jacquie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0036-9">http://dx.doi.org/10.1007/978-1-4302-0036-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Best Software Writing I
ent://SD_ILS/0/SD_ILS:170743
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Spolsky, Joel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0038-3">http://dx.doi.org/10.1007/978-1-4302-0038-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SharePoint 2003 User’s Guide
ent://SD_ILS/0/SD_ILS:170745
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Bates, Seth. author. Smith, Tony. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0040-6">http://dx.doi.org/10.1007/978-1-4302-0040-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Hibernate 3
ent://SD_ILS/0/SD_ILS:170747
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Minter, Dave. author. Linwood, Jeff. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0042-0">http://dx.doi.org/10.1007/978-1-4302-0042-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro J2ME Polish Open Source Wireless Java Tools Suite
ent://SD_ILS/0/SD_ILS:170750
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Virkus, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0045-1">http://dx.doi.org/10.1007/978-1-4302-0045-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Messaging Application Development Building and Extending Gaim
ent://SD_ILS/0/SD_ILS:170752
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Egan, Sean. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0047-5">http://dx.doi.org/10.1007/978-1-4302-0047-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Apache Beehive
ent://SD_ILS/0/SD_ILS:170757
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Mittal, Kunal. author. Kanchanavally, Srinivas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0052-9">http://dx.doi.org/10.1007/978-1-4302-0052-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro JSP 2
ent://SD_ILS/0/SD_ILS:170816
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Brown, Simon. author. Dalton, Sam. author. Jepp, Daniel. author. Johnson, David. author. Li, Sing. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0111-3">http://dx.doi.org/10.1007/978-1-4302-0111-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Life Models in Software
ent://SD_ILS/0/SD_ILS:175318
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-214-4">http://dx.doi.org/10.1007/1-84628-214-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Virtual Reality Systems The Structured Approach
ent://SD_ILS/0/SD_ILS:175329
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Kim, Gerard Jounghyun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-230-0">http://dx.doi.org/10.1007/978-1-84628-230-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spiele effektiv programmieren mit VB.net und DirectX
ent://SD_ILS/0/SD_ILS:181210
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Kettermann, Uwe. author. Rohde, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138630">http://dx.doi.org/10.1007/b138630</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linux-Systemadministration Grundlagen, Konzepte, Anwendung
ent://SD_ILS/0/SD_ILS:181224
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Wolfinger, Christine. author. Gulbins, Jürgen. author. Hammer, Carsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138658">http://dx.doi.org/10.1007/b138658</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ITIL Das IT-Servicemanagement Framework
ent://SD_ILS/0/SD_ILS:181234
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Köhler, Peter T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138674">http://dx.doi.org/10.1007/b138674</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning Design A Handbook on Modelling and Delivering Networked Education and Training
ent://SD_ILS/0/SD_ILS:181361
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Koper, Rob. editor. Tattersall, Colin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138966">http://dx.doi.org/10.1007/b138966</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mambo Installation, Administration, Anwendung und Entwicklung
ent://SD_ILS/0/SD_ILS:181433
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Deutz, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27487-1">http://dx.doi.org/10.1007/3-540-27487-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Component Development with Zope 3
ent://SD_ILS/0/SD_ILS:181389
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Weitershausen, Philipp. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139044">http://dx.doi.org/10.1007/b139044</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Moderne C-Programmierung Kompendium und Referenz
ent://SD_ILS/0/SD_ILS:181795
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Schellong, Helmut O.B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28545-8">http://dx.doi.org/10.1007/3-540-28545-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Debian GNU/Linux Grundlagen, Installation, Administration und Anwendung
ent://SD_ILS/0/SD_ILS:181822
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Ganten, Peter H. Alex, Wulf. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28623-3">http://dx.doi.org/10.1007/3-540-28623-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Product Line Engineering Foundations, Principles, and Techniques
ent://SD_ILS/0/SD_ILS:181893
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Pohl, Klaus. author. Böckle, Günter. author. Linden, Frank. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28901-1">http://dx.doi.org/10.1007/3-540-28901-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182329
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Zhang, Jun. editor. He, Ji-Huan. editor. Fu, Yuxi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104566">http://dx.doi.org/10.1007/b104566</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182332
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Maher, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103476">http://dx.doi.org/10.1007/b103476</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182479
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105317">http://dx.doi.org/10.1007/b105317</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Biometric Person Authentication 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182349
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Li, Stan Z. editor. Lai, Jianhuang. editor. Tan, Tieniu. editor. Feng, Guocan. editor. Wang, Yunhong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104239">http://dx.doi.org/10.1007/b104239</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182357
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105205">http://dx.doi.org/10.1007/b105205</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Switching and Learning in Feedback Systems European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers
ent://SD_ILS/0/SD_ILS:182359
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Murray-Smith, Roderick. editor. Shorten, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105497">http://dx.doi.org/10.1007/b105497</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182366
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182374
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105088">http://dx.doi.org/10.1007/b105088</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182376
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Cousot, Radhia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105073">http://dx.doi.org/10.1007/b105073</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182384
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Franch, Xavier. editor. Port, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105900">http://dx.doi.org/10.1007/b105900</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Music Modeling and Retrieval Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers
ent://SD_ILS/0/SD_ILS:182894
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Wiil, Uffe Kock. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105507">http://dx.doi.org/10.1007/b105507</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182908
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Beckert, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11554554">http://dx.doi.org/10.1007/11554554</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:182931
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Roy, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106627">http://dx.doi.org/10.1007/b106627</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:182933
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182934
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106767">http://dx.doi.org/10.1007/b106767</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
UML Modeling Languages and Applications < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182890
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Jardim Nunes, Nuno. editor. Selic, Bran. editor. Rodrigues da Silva, Alberto. editor. Toval Alvarez, Ambrosio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106725">http://dx.doi.org/10.1007/b106725</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures
ent://SD_ILS/0/SD_ILS:183012
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183026
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106766">http://dx.doi.org/10.1007/b106766</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183031
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107129">http://dx.doi.org/10.1007/b107129</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183033
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Bastide, Rémi. editor. Palanque, Philippe. editor. Roth, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136790">http://dx.doi.org/10.1007/b136790</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183043
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Hankin, Chris. editor. Siveroni, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11547662">http://dx.doi.org/10.1007/11547662</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183048
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Glück, Robert. editor. Lowry, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11561347">http://dx.doi.org/10.1007/11561347</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183055
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Cerioli, Maura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107062">http://dx.doi.org/10.1007/b107062</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183056
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Bodik, Rastislav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107108">http://dx.doi.org/10.1007/b107108</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183058
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Sagiv, Mooly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183068
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11563228">http://dx.doi.org/10.1007/11563228</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183075
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135596">http://dx.doi.org/10.1007/b135596</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
ent://SD_ILS/0/SD_ILS:183076
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Rust, Heinrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135629">http://dx.doi.org/10.1007/b135629</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings
ent://SD_ILS/0/SD_ILS:183093
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11552222">http://dx.doi.org/10.1007/11552222</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Testing of Reactive Systems Advanced Lectures
ent://SD_ILS/0/SD_ILS:183102
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Broy, Manfred. editor. Jonsson, Bengt. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. Pretschner, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137241">http://dx.doi.org/10.1007/b137241</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183104
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Guelfi, Nicolas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136153">http://dx.doi.org/10.1007/b136153</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:183108
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136266">http://dx.doi.org/10.1007/b136266</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:183109
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136269">http://dx.doi.org/10.1007/b136269</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:183110
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136271">http://dx.doi.org/10.1007/b136271</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183114
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136248">http://dx.doi.org/10.1007/b136248</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183122
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Briand, Lionel. editor. Williams, Clay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11557432">http://dx.doi.org/10.1007/11557432</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Product Lines 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183128
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Obbink, Henk. editor. Pohl, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11554844">http://dx.doi.org/10.1007/11554844</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling – ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183132
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Delcambre, Lois. editor. Kop, Christian. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. Pastor, Oscar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11568322">http://dx.doi.org/10.1007/11568322</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metainformatics International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183167
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Wiil, Uffe Kock. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138822">http://dx.doi.org/10.1007/b138822</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:183173
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136570">http://dx.doi.org/10.1007/b136570</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:183175
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136571">http://dx.doi.org/10.1007/b136571</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:183179
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136575">http://dx.doi.org/10.1007/b136575</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reverse Engineering of Object Oriented Code
ent://SD_ILS/0/SD_ILS:164976
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Tonella, Paolo. author. Potrich, Alessandra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b102522">http://dx.doi.org/10.1007/b102522</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Assembly Language Programming in Linux
ent://SD_ILS/0/SD_ILS:165240
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Dandamudi, Sivarama P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136895">http://dx.doi.org/10.1007/b136895</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multimedia Introduction to Programming Using Java
ent://SD_ILS/0/SD_ILS:165306
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Gries, David. author. Gries, Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138328">http://dx.doi.org/10.1007/b138328</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biometric Systems Technology, Design and Performance Evaluation
ent://SD_ILS/0/SD_ILS:175199
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Wayman, James. editor. Jain, Anil. editor. Maltoni, Davide. editor. Maio, Dario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138151">http://dx.doi.org/10.1007/b138151</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constructing Correct Software
ent://SD_ILS/0/SD_ILS:175212
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Cooke, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138515">http://dx.doi.org/10.1007/b138515</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creating Web-based Laboratories
ent://SD_ILS/0/SD_ILS:175221
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Ko, C.C. author. Chen, Ben M. author. Chen, Jianping. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138627">http://dx.doi.org/10.1007/b138627</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Validated Designs for Object-oriented Systems
ent://SD_ILS/0/SD_ILS:175237
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Fitzgerald, John. author. Larsen, Peter Gorm. author. Mukherjee, Paul. author. Plat, Nico. author. Verhoef, Marcel. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138800">http://dx.doi.org/10.1007/b138800</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual, Distributed and Flexible Organisations Studies in Organisational Semiotics
ent://SD_ILS/0/SD_ILS:168663
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Liu, Kecheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-2162-3">http://dx.doi.org/10.1007/1-4020-2162-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Information Systems V
ent://SD_ILS/0/SD_ILS:168735
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Camp, Olivier. editor. Filipe, Joaquim B. L. editor. Hammoudi, Slimane. editor. Piattini, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-2673-0">http://dx.doi.org/10.1007/1-4020-2673-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004
ent://SD_ILS/0/SD_ILS:168883
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Kowalik, Janusz S. editor. Gorski, Janusz. editor. Sachenko, Anatoly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3381-8">http://dx.doi.org/10.1007/1-4020-3381-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
ent://SD_ILS/0/SD_ILS:168920
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3532-2">http://dx.doi.org/10.1007/1-4020-3532-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security in E-Learning
ent://SD_ILS/0/SD_ILS:165224
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Weippl, Edgar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136702">http://dx.doi.org/10.1007/b136702</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro PHP Security
ent://SD_ILS/0/SD_ILS:170762
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Snyder, Chris. author. Southwell, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0057-4">http://dx.doi.org/10.1007/978-1-4302-0057-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Service-Oriented Smart Clients with .NET 2.0
ent://SD_ILS/0/SD_ILS:170763
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Hashimi, Sayed Y. author. Steffan, Scott J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0058-1">http://dx.doi.org/10.1007/978-1-4302-0058-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Eclipse JST Plug-ins for J2EE Development
ent://SD_ILS/0/SD_ILS:170764
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Judd, Christopher M. author. Shittu, Hakeem. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0059-8">http://dx.doi.org/10.1007/978-1-4302-0059-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
JDBC Recipes A Problem-Solution Approach
ent://SD_ILS/0/SD_ILS:170766
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Parsian, Mahmoud. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0061-1">http://dx.doi.org/10.1007/978-1-4302-0061-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of AOP for J2EE Development
ent://SD_ILS/0/SD_ILS:170768
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Pawlak, Renaud. author. Seinturier, Lionel. author. Retaillé, Jean-Philippe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0063-5">http://dx.doi.org/10.1007/978-1-4302-0063-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AutoCAD 2006 VBA A Programmer’s Reference
ent://SD_ILS/0/SD_ILS:170774
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Sutphin, Joe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0069-7">http://dx.doi.org/10.1007/978-1-4302-0069-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informatik Aufgaben und Lösungen, Begleitbuch zu Blieberger et al.: Informatik
ent://SD_ILS/0/SD_ILS:176822
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Kastner, Wolfgang. editor. Schildt, Gerhard-Helge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138718">http://dx.doi.org/10.1007/b138718</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Socionics Scalability of Complex Social Systems
ent://SD_ILS/0/SD_ILS:182780
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Fischer, Klaus. editor. Florian, Michael. editor. Malsch, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11594116">http://dx.doi.org/10.1007/11594116</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Development for Embedded Systems An Overview of Current Research Trends
ent://SD_ILS/0/SD_ILS:182781
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Atkinson, Colin. editor. Bunse, Christian. editor. Gross, Hans-Gerhard. editor. Peper, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11591962">http://dx.doi.org/10.1007/11591962</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182783
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11603009">http://dx.doi.org/10.1007/11603009</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
ent://SD_ILS/0/SD_ILS:183252
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Abdallah, Ali E. editor. Jones, Cliff B. editor. Sanders, Jeff W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136154">http://dx.doi.org/10.1007/b136154</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183255
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Morrison, Ron. editor. Oquendo, Flavio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136986">http://dx.doi.org/10.1007/b136986</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183258
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Richardson, Ita. editor. Abrahamsson, Pekka. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11586012">http://dx.doi.org/10.1007/11586012</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183262
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183268
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Dearle, Alan. editor. Eisenbach, Susan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11590712">http://dx.doi.org/10.1007/11590712</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling Third International Conference, ICVS 2005, Strasbourg, France, November 30 - December 2, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183271
2026-01-12T10:20:03Z
2026-01-12T10:20:03Z
Author Subsol, Gérard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11590361">http://dx.doi.org/10.1007/11590361</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>