Search Results for Science -- Software. - Narrowed by: 2007
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bSoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092007$0025092007$0026ps$003d300?
2026-02-12T14:56:29Z
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187774
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77050-3">http://dx.doi.org/10.1007/978-3-540-77050-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187896
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77505-8">http://dx.doi.org/10.1007/978-3-540-77505-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186267
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71389-0">http://dx.doi.org/10.1007/978-3-540-71389-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynaxity Management von Dynamik und Komplexität im Softwarebau
ent://SD_ILS/0/SD_ILS:182867
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
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-31744-9">http://dx.doi.org/10.1007/978-3-540-31744-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Component Development with Zope 3
ent://SD_ILS/0/SD_ILS:183841
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Weitershausen, Philipp. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33808-6">http://dx.doi.org/10.1007/978-3-540-33808-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling of Information Systems
ent://SD_ILS/0/SD_ILS:184725
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Olivé, Antoni. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-39390-0">http://dx.doi.org/10.1007/978-3-540-39390-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen
ent://SD_ILS/0/SD_ILS:185395
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Hofstedt, Petra. author. Wolf, Armin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68194-6">http://dx.doi.org/10.1007/978-3-540-68194-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186219
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71229-9">http://dx.doi.org/10.1007/978-3-540-71229-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186237
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71289-3">http://dx.doi.org/10.1007/978-3-540-71289-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:186085
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Virbitskaite, Irina. 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-70881-0">http://dx.doi.org/10.1007/978-3-540-70881-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186088
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70889-6">http://dx.doi.org/10.1007/978-3-540-70889-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186428
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71998-4">http://dx.doi.org/10.1007/978-3-540-71998-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic
ent://SD_ILS/0/SD_ILS:186429
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71999-1">http://dx.doi.org/10.1007/978-3-540-71999-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:186593
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Shi, Yong. 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-72590-9">http://dx.doi.org/10.1007/978-3-540-72590-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modelling in Information Systems Engineering
ent://SD_ILS/0/SD_ILS:186616
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Krogstie, John. editor. Opdahl, Andreas Lothe. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72677-7">http://dx.doi.org/10.1007/978-3-540-72677-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments
ent://SD_ILS/0/SD_ILS:186636
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72727-9">http://dx.doi.org/10.1007/978-3-540-72727-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186655
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Murphy, Amy L. editor. Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72794-1">http://dx.doi.org/10.1007/978-3-540-72794-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186707
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72982-2">http://dx.doi.org/10.1007/978-3-540-72982-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186723
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Sawyer, Pete. editor. Paech, Barbara. editor. Heymans, Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73031-6">http://dx.doi.org/10.1007/978-3-540-73031-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186741
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Olivetti, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73099-6">http://dx.doi.org/10.1007/978-3-540-73099-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186742
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73101-6">http://dx.doi.org/10.1007/978-3-540-73101-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ruby on Rails for PHP and Java Developers
ent://SD_ILS/0/SD_ILS:186758
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Vohra, Deepak. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73145-0">http://dx.doi.org/10.1007/978-3-540-73145-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:186759
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Comon-Lundh, Hubert. editor. Kirchner, Claude. editor. Kirchner, Hélène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73147-4">http://dx.doi.org/10.1007/978-3-540-73147-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Effective IT Service Management To ITIL and Beyond!
ent://SD_ILS/0/SD_ILS:186773
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Addy, Rob. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73198-6">http://dx.doi.org/10.1007/978-3-540-73198-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186776
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Davies, Jim. editor. Gibbons, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73210-5">http://dx.doi.org/10.1007/978-3-540-73210-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Applied Artificial Intelligence 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186815
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Okuno, Hiroshi G. 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-73325-6">http://dx.doi.org/10.1007/978-3-540-73325-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186818
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Dainoff, Marvin J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73333-1">http://dx.doi.org/10.1007/978-3-540-73333-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual Reality Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186819
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Shumaker, Randall. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73335-5">http://dx.doi.org/10.1007/978-3-540-73335-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Debian GNU/Linux Grundlagen, Einrichtung und Betrieb
ent://SD_ILS/0/SD_ILS:186820
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Ganten, Peter H. author. Alex, Wulf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73339-3">http://dx.doi.org/10.1007/978-3-540-73339-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186828
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73370-6">http://dx.doi.org/10.1007/978-3-540-73370-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186845
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73420-8">http://dx.doi.org/10.1007/978-3-540-73420-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186850
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Anai, Hirokazu. editor. Horimoto, Katsuhisa. editor. Kutsia, Temur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73433-8">http://dx.doi.org/10.1007/978-3-540-73433-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186860
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Münch, Jürgen. editor. Abrahamsson, Pekka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73460-4">http://dx.doi.org/10.1007/978-3-540-73460-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:186906
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73595-3">http://dx.doi.org/10.1007/978-3-540-73595-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186991
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73859-6">http://dx.doi.org/10.1007/978-3-540-73859-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Distributed Systems
ent://SD_ILS/0/SD_ILS:187012
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Fokkink, Wan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73938-8">http://dx.doi.org/10.1007/978-3-540-73938-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Dependable Systems IV
ent://SD_ILS/0/SD_ILS:187038
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74035-3">http://dx.doi.org/10.1007/978-3-540-74035-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187046
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Nielson, Hanne Riis. editor. Filé, Gilberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74061-2">http://dx.doi.org/10.1007/978-3-540-74061-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:187063
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Edelkamp, Stefan. editor. Lomuscio, Alessio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74128-2">http://dx.doi.org/10.1007/978-3-540-74128-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:187170
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74472-6">http://dx.doi.org/10.1007/978-3-540-74472-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:187172
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74477-1">http://dx.doi.org/10.1007/978-3-540-74477-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III
ent://SD_ILS/0/SD_ILS:187175
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74484-9">http://dx.doi.org/10.1007/978-3-540-74484-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187493
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Kågström, Bo. editor. Elmroth, Erik. editor. Dongarra, Jack. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75755-9">http://dx.doi.org/10.1007/978-3-540-75755-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187479
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75698-9">http://dx.doi.org/10.1007/978-3-540-75698-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187534
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Draheim, Dirk. editor. Weber, Gerald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75912-6">http://dx.doi.org/10.1007/978-3-540-75912-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187547
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Paschke, Adrian. editor. Biletskiy, Yevgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75975-1">http://dx.doi.org/10.1007/978-3-540-75975-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187640
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76637-7">http://dx.doi.org/10.1007/978-3-540-76637-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187645
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76650-6">http://dx.doi.org/10.1007/978-3-540-76650-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
ent://SD_ILS/0/SD_ILS:187680
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Backhouse, Roland. editor. Gibbons, Jeremy. editor. Hinze, Ralf. editor. Jeuring, Johan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76786-2">http://dx.doi.org/10.1007/978-3-540-76786-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187690
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Moreira, Ana. editor. Grundy, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76811-1">http://dx.doi.org/10.1007/978-3-540-76811-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187769
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Cavazza, Marc. editor. Donikian, Stéphane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77039-8">http://dx.doi.org/10.1007/978-3-540-77039-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development IV
ent://SD_ILS/0/SD_ILS:187770
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77042-8">http://dx.doi.org/10.1007/978-3-540-77042-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Active Conceptual Modeling of Learning Next Generation Learning-Base System Development
ent://SD_ILS/0/SD_ILS:187895
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Chen, Peter P. editor. Wong, Leah Y. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77503-4">http://dx.doi.org/10.1007/978-3-540-77503-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187859
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Sokolsky, Oleg. editor. Taşıran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77395-5">http://dx.doi.org/10.1007/978-3-540-77395-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence
ent://SD_ILS/0/SD_ILS:187835
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Lungarella, Max. editor. Iida, Fumiya. editor. Bongard, Josh. editor. Pfeifer, Rolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77296-5">http://dx.doi.org/10.1007/978-3-540-77296-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Java als erste Programmiersprache Vom Einsteiger zum Profi
ent://SD_ILS/0/SD_ILS:203791
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Heinisch, Cornelia. author. Müller-Hofmann, Frank. 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-9101-3">http://dx.doi.org/10.1007/978-3-8351-9101-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Visual Languages and Applications
ent://SD_ILS/0/SD_ILS:166561
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Zhang, Kang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68257-0">http://dx.doi.org/10.1007/978-0-387-68257-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland
ent://SD_ILS/0/SD_ILS:166948
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Feller, Joseph. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Sillitti, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-72486-7">http://dx.doi.org/10.1007/978-0-387-72486-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Memory Optimization Techniques for Low-Power Embedded Processors
ent://SD_ILS/0/SD_ILS:169629
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Verma, Manish. author. Marwedel, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5897-4">http://dx.doi.org/10.1007/978-1-4020-5897-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Processor Design System-on-Chip Computing for ASICs and FPGAs
ent://SD_ILS/0/SD_ILS:169510
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Nurmi, Jari. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5530-0">http://dx.doi.org/10.1007/978-1-4020-5530-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Ubuntu Linux
ent://SD_ILS/0/SD_ILS:170896
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Thomas, Keir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0191-5">http://dx.doi.org/10.1007/978-1-4302-0191-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SharePoint 2007 User’s Guide Learning Microsoft’s Collaboration and Productivity Platform
ent://SD_ILS/0/SD_ILS:170910
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
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-0207-3">http://dx.doi.org/10.1007/978-1-4302-0207-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Access 2007
ent://SD_ILS/0/SD_ILS:170912
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Reid, Martin W P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0209-7">http://dx.doi.org/10.1007/978-1-4302-0209-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Extreme NXT Extending the LEGO MINDSTORMS NXT to the Next Level
ent://SD_ILS/0/SD_ILS:170913
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Gasperi, Michael. author. Hurbain, Philippe Philo. author. Hurbain, Isabelle. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0211-0">http://dx.doi.org/10.1007/978-1-4302-0211-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart and Gets Things Done Joel Spolsky’s Concise Guide to Finding the Best Technical Talent
ent://SD_ILS/0/SD_ILS:170929
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
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-0254-7">http://dx.doi.org/10.1007/978-1-4302-0254-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro BizTalk 2006
ent://SD_ILS/0/SD_ILS:170933
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Dunphy, George. author. Metwally, Ahmed. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0259-2">http://dx.doi.org/10.1007/978-1-4302-0259-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Definitive Guide to SOA: BEA AquaLogic® Service Bus
ent://SD_ILS/0/SD_ILS:170935
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Davies, Jeff. author. Krishna, Ashish. author. Schorow, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0263-9">http://dx.doi.org/10.1007/978-1-4302-0263-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Word 2007 Beyond the Manual
ent://SD_ILS/0/SD_ILS:170936
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Morrison, Connie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0268-4">http://dx.doi.org/10.1007/978-1-4302-0268-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Active Record Databases with Ruby and Rails
ent://SD_ILS/0/SD_ILS:170937
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Marshall, Kevin. author. Pytel, Chad. author. Yurek, Jon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0269-1">http://dx.doi.org/10.1007/978-1-4302-0269-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Joomla! From Novice to Professional
ent://SD_ILS/0/SD_ILS:170944
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Rahmel, Dan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0278-3">http://dx.doi.org/10.1007/978-1-4302-0278-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LEGO® MINDSTORMS® NXT-G Programming Guide
ent://SD_ILS/0/SD_ILS:170960
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Kelly, James Floyd. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0303-2">http://dx.doi.org/10.1007/978-1-4302-0303-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Definitive Guide to the Microsoft Enterprise Library
ent://SD_ILS/0/SD_ILS:170965
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Newton, Keenan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0315-5">http://dx.doi.org/10.1007/978-1-4302-0315-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Clear Blogging How People Blogging Are Changing the World and How You Can Join Them
ent://SD_ILS/0/SD_ILS:170968
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Walsh, Bob. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0321-6">http://dx.doi.org/10.1007/978-1-4302-0321-6</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:170972
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
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-0327-8">http://dx.doi.org/10.1007/978-1-4302-0327-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Expert SQL Server 2005 Development
ent://SD_ILS/0/SD_ILS:170975
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Machanic, Adam. author. Kornelis, Hugo. author. Rubbelke, Lara. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0333-9">http://dx.doi.org/10.1007/978-1-4302-0333-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Windows Vista Beyond the Manual
ent://SD_ILS/0/SD_ILS:170991
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Hassell, Jonathan. author. Campbell, Tony. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0368-1">http://dx.doi.org/10.1007/978-1-4302-0368-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Use Case Driven Object Modeling with UML Theory and Practice
ent://SD_ILS/0/SD_ILS:170992
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Rosenberg, Doug. author. Stephens, Matt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0369-8">http://dx.doi.org/10.1007/978-1-4302-0369-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Apache Tomcat 6
ent://SD_ILS/0/SD_ILS:170997
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Moodie, Matthew. author. Mittal, Kunal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0378-0">http://dx.doi.org/10.1007/978-1-4302-0378-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Google Maps Applications with Rails and Ajax From Novice to Professional
ent://SD_ILS/0/SD_ILS:170998
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Lewis, Andre. author. Purvis, Michael. author. Sambells, Jeffrey. author. Turner, Cameron. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0380-3">http://dx.doi.org/10.1007/978-1-4302-0380-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Outlook 2007 Beyond the Manual
ent://SD_ILS/0/SD_ILS:171006
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Campbell, Tony. author. Hassell, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0388-9">http://dx.doi.org/10.1007/978-1-4302-0388-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Excel 2007 Beyond the Manual
ent://SD_ILS/0/SD_ILS:171007
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Dixon, Helen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0389-6">http://dx.doi.org/10.1007/978-1-4302-0389-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Painless Project Management with FogBugz
ent://SD_ILS/0/SD_ILS:171043
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Gunderloy, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0487-9">http://dx.doi.org/10.1007/978-1-4302-0487-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lego Mindstorms NXT-G Programming Guide
ent://SD_ILS/0/SD_ILS:171419
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Kelly, James Floyd. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2977-3">http://dx.doi.org/10.1007/978-1-4302-2977-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Web: Concepts, Technologies and Applications
ent://SD_ILS/0/SD_ILS:175521
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-710-7">http://dx.doi.org/10.1007/978-1-84628-710-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Models of Operating System Kernels
ent://SD_ILS/0/SD_ILS:175527
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Craig, Iain D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-718-3">http://dx.doi.org/10.1007/978-1-84628-718-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Java Methods for Financial Engineering Applications in Finance and Investment
ent://SD_ILS/0/SD_ILS:175539
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Barker, Philip. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-741-1">http://dx.doi.org/10.1007/978-1-84628-741-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enabling Semantic Web Services The Web Service Modeling Ontology
ent://SD_ILS/0/SD_ILS:184092
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Fensel, Dieter. author. Lausen, Holger. author. Bruijn, Jos. author. Stollberg, Michael. author. Roman, Dumitru. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-34520-6">http://dx.doi.org/10.1007/978-3-540-34520-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Services with OpenAFS for Enterprise and Education
ent://SD_ILS/0/SD_ILS:184397
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Milicchio, Franco. author. Gehrke, Wolfgang A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-36634-8">http://dx.doi.org/10.1007/978-3-540-36634-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ITIL Das IT-Servicemanagement Framework
ent://SD_ILS/0/SD_ILS:184653
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
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/978-3-540-37973-7">http://dx.doi.org/10.1007/978-3-540-37973-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Services Computing
ent://SD_ILS/0/SD_ILS:184671
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Zhang, Liang-Jie. author. Zhang, Jia. author. Cai, Hong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-38284-3">http://dx.doi.org/10.1007/978-3-540-38284-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software
ent://SD_ILS/0/SD_ILS:184960
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Diehl, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-46505-8">http://dx.doi.org/10.1007/978-3-540-46505-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relationale und postrelationale Datenbanken
ent://SD_ILS/0/SD_ILS:184970
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Meier, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-46555-3">http://dx.doi.org/10.1007/978-3-540-46555-3</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:185080
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
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-48472-1">http://dx.doi.org/10.1007/978-3-540-48472-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finite Model Theory and Its Applications
ent://SD_ILS/0/SD_ILS:185593
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-68804-8">http://dx.doi.org/10.1007/3-540-68804-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
ent://SD_ILS/0/SD_ILS:185699
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69061-0">http://dx.doi.org/10.1007/978-3-540-69061-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185845
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Kühne, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69489-2">http://dx.doi.org/10.1007/978-3-540-69489-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:185868
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Hanus, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69611-7">http://dx.doi.org/10.1007/978-3-540-69611-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:185875
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Cook, Byron. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69738-1">http://dx.doi.org/10.1007/978-3-540-69738-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186114
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70952-7">http://dx.doi.org/10.1007/978-3-540-70952-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Universal Access in Ambient Intelligence Environments 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:186147
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Stephanidis, Constantine. editor. Pieper, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71025-7">http://dx.doi.org/10.1007/978-3-540-71025-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:186242
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71301-2">http://dx.doi.org/10.1007/978-3-540-71301-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186244
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Nicola, Rocco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71316-6">http://dx.doi.org/10.1007/978-3-540-71316-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:186247
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71322-7">http://dx.doi.org/10.1007/978-3-540-71322-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186092
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70901-5">http://dx.doi.org/10.1007/978-3-540-70901-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Product Lines in Action The Best Industrial Practice in Product Line Engineering
ent://SD_ILS/0/SD_ILS:186280
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Linden, Frank. author. Schmid, Klaus. author. Rommes, Eelco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71437-8">http://dx.doi.org/10.1007/978-3-540-71437-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186296
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71493-4">http://dx.doi.org/10.1007/978-3-540-71493-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:186323
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71618-1">http://dx.doi.org/10.1007/978-3-540-71618-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:186328
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71629-7">http://dx.doi.org/10.1007/978-3-540-71629-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Measurement Establish — Extract — Evaluate — Execute
ent://SD_ILS/0/SD_ILS:186335
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Ebert, Christof. author. Dumke, Reiner. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71649-5">http://dx.doi.org/10.1007/978-3-540-71649-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Anti-Spam Measures Analysis and Design
ent://SD_ILS/0/SD_ILS:186358
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Schryen, Guido. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71750-8">http://dx.doi.org/10.1007/978-3-540-71750-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186369
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Meuter, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71836-9">http://dx.doi.org/10.1007/978-3-540-71836-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling
ent://SD_ILS/0/SD_ILS:186381
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Pastor, Oscar. author. Molina, Juan Carlos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71868-0">http://dx.doi.org/10.1007/978-3-540-71868-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186385
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Guelfi, Nicolas. editor. Buchs, Didier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71876-5">http://dx.doi.org/10.1007/978-3-540-71876-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
ent://SD_ILS/0/SD_ILS:186386
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Liblit, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71878-9">http://dx.doi.org/10.1007/978-3-540-71878-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186537
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
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-72426-1">http://dx.doi.org/10.1007/978-3-540-72426-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:186590
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Shi, Yong. 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-72584-8">http://dx.doi.org/10.1007/978-3-540-72584-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:186591
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Shi, Yong. 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-72586-2">http://dx.doi.org/10.1007/978-3-540-72586-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:186592
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Shi, Yong. 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-72588-6">http://dx.doi.org/10.1007/978-3-540-72588-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management Concepts, Languages, Architectures
ent://SD_ILS/0/SD_ILS:186879
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73522-9">http://dx.doi.org/10.1007/978-3-540-73522-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187217
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Konev, Boris. editor. Wolter, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74621-8">http://dx.doi.org/10.1007/978-3-540-74621-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
ent://SD_ILS/0/SD_ILS:187265
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74792-5">http://dx.doi.org/10.1007/978-3-540-74792-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:187267
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74796-3">http://dx.doi.org/10.1007/978-3-540-74796-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:187269
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74800-7">http://dx.doi.org/10.1007/978-3-540-74800-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187335
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Saglietti, Francesca. editor. Oster, Norbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75101-4">http://dx.doi.org/10.1007/978-3-540-75101-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187339
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Oquendo, Flavio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75132-8">http://dx.doi.org/10.1007/978-3-540-75132-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187342
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Calder, Muffy. editor. Gilmore, Stephen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75140-3">http://dx.doi.org/10.1007/978-3-540-75140-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development III
ent://SD_ILS/0/SD_ILS:187349
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75162-5">http://dx.doi.org/10.1007/978-3-540-75162-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187363
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Engels, Gregor. editor. Opdyke, Bill. editor. Schmidt, Douglas C. editor. Weil, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75209-7">http://dx.doi.org/10.1007/978-3-540-75209-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187397
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Abrahamsson, Pekka. editor. Baddoo, Nathan. editor. Margaria, Tiziana. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75381-0">http://dx.doi.org/10.1007/978-3-540-75381-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:187411
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75414-5">http://dx.doi.org/10.1007/978-3-540-75414-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187420
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75454-1">http://dx.doi.org/10.1007/978-3-540-75454-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:187442
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Meyer, Bertrand. editor. Joseph, Mathai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75542-5">http://dx.doi.org/10.1007/978-3-540-75542-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187449
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Dershowitz, Nachum. 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-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187451
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Parent, Christine. editor. Schewe, Klaus-Dieter. editor. Storey, Veda C. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75563-0">http://dx.doi.org/10.1007/978-3-540-75563-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Masterkurs Client/Server- Programmierung mit Java Anwendungen entwickeln mit JDBC, Sockets, XML-RPC, RMI und JMS - Kompakt und praxisnah - Zahlreiche Programmbeispiele und Aufgaben
ent://SD_ILS/0/SD_ILS:199324
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Abts, Dietmar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9180-8">http://dx.doi.org/10.1007/978-3-8348-9180-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Profikurs ABAP® Konkrete, praxisorientierte Lösungen - Tipps, Tricks und jede Menge Erfahrung
ent://SD_ILS/0/SD_ILS:199348
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Theobald, Patrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9207-2">http://dx.doi.org/10.1007/978-3-8348-9207-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Techniques: Design for Quality
ent://SD_ILS/0/SD_ILS:166267
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Sacha, Krzysztof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-39388-9">http://dx.doi.org/10.1007/978-0-387-39388-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design for Manufacturability and Yield for Nano-Scale CMOS
ent://SD_ILS/0/SD_ILS:169402
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5188-3">http://dx.doi.org/10.1007/978-1-4020-5188-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer-Aided Design of User Interfaces V
ent://SD_ILS/0/SD_ILS:169607
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Calvary, Gaëlle. editor. Pribeanu, Costin. editor. Santucci, Giuseppe. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5820-2">http://dx.doi.org/10.1007/978-1-4020-5820-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolving Connectionist Systems The Knowledge Engineering Approach
ent://SD_ILS/0/SD_ILS:175393
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Kasabov, Nikola. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-347-5">http://dx.doi.org/10.1007/978-1-84628-347-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Distributed Processing
ent://SD_ILS/0/SD_ILS:175591
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Brooke, Phillip J. author. Paige, Richard F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-841-8">http://dx.doi.org/10.1007/978-1-84628-841-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-Oriented Programming and Java
ent://SD_ILS/0/SD_ILS:175647
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Poo, Danny. author. Kiong, Derek. author. Ashok, Swarnalatha. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-963-7">http://dx.doi.org/10.1007/978-1-84628-963-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Refinement for Operating System Kernels
ent://SD_ILS/0/SD_ILS:175649
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Craig, Iain D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-967-5">http://dx.doi.org/10.1007/978-1-84628-967-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automatic Quantum Computer Programming A Genetic Programming Approach
ent://SD_ILS/0/SD_ILS:166173
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Spector, Lee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36791-0">http://dx.doi.org/10.1007/978-0-387-36791-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Embedded Processors A Low Power Perspective
ent://SD_ILS/0/SD_ILS:169621
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Henkel, Jörg. editor. Parameswaran, Sri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5869-1">http://dx.doi.org/10.1007/978-1-4020-5869-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimized ASIP Synthesis from Architecture Description Language Models
ent://SD_ILS/0/SD_ILS:169564
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Schliebusch, Oliver. author. Meyr, Heinrich. author. Leupers, Rainer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5686-4">http://dx.doi.org/10.1007/978-1-4020-5686-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The human-computer interaction handbook : fundamentals, evolving technologies, and emerging applications
ent://SD_ILS/0/SD_ILS:539122
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Sears, Andrew. Jacko, Julie A.<br/>Preferred Shelf Number QA76.9 .H85 H8568 2007<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781410615862">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Automated taxon identification in systematics : theory, approaches and applications
ent://SD_ILS/0/SD_ILS:539862
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author MacLeod, Norman, 1953- Systematics Association.<br/>Preferred Shelf Number QH83 .A93 2007<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420008074">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Handbook of linear algebra
ent://SD_ILS/0/SD_ILS:541998
2026-02-12T14:56:29Z
2026-02-12T14:56:29Z
Author Hogben, Leslie.<br/>Preferred Shelf Number QA184.2 .H36 2007<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420010572">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>