Search Results for Science -- Software. - Narrowed by: 2010
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bSoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092010$0025092010$0026ps$003d300?
2026-02-17T12:03:47Z
Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193314
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16496-5">http://dx.doi.org/10.1007/978-3-642-16496-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191867
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12032-9">http://dx.doi.org/10.1007/978-3-642-12032-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security for Web Services and Service-Oriented Architectures
ent://SD_ILS/0/SD_ILS:188902
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Bertino, Elisa. author. Martino, Lorenzo. author. Paci, Federica. author. Squicciarini, Anna. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87742-4">http://dx.doi.org/10.1007/978-3-540-87742-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture-Based Design of Multi-Agent Systems
ent://SD_ILS/0/SD_ILS:189871
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Weyns, Danny. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01064-4">http://dx.doi.org/10.1007/978-3-642-01064-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Event-Driven Architecture Softwarearchitektur für ereignisgesteuerte Geschäftsprozesse
ent://SD_ILS/0/SD_ILS:190321
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Bruns, Ralf. author. Dunkel, Jürgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02439-9">http://dx.doi.org/10.1007/978-3-642-02439-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Test-Driven Development An Empirical Evaluation of Agile Practice
ent://SD_ILS/0/SD_ILS:190899
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Madeyski, Lech. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04288-1">http://dx.doi.org/10.1007/978-3-642-04288-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informationsverarbeitung in Versicherungsunternehmen
ent://SD_ILS/0/SD_ILS:190911
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Aschenbrenner, Michael. editor. Dicke, Ralph. editor. Karnarski, Bertel. editor. Schweiggert, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04321-5">http://dx.doi.org/10.1007/978-3-642-04321-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Python 3 - Intensivkurs Projekte erfolgreich realisieren
ent://SD_ILS/0/SD_ILS:190926
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Pilgrim, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04377-2">http://dx.doi.org/10.1007/978-3-642-04377-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Strategic IT Management A Toolkit for Enterprise Architecture Management
ent://SD_ILS/0/SD_ILS:191135
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Hanschke, Inge. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05034-3">http://dx.doi.org/10.1007/978-3-642-05034-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaborative Software Engineering
ent://SD_ILS/0/SD_ILS:191326
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Mistrík, Ivan. editor. Grundy, John. editor. Hoek, André. editor. Whitehead, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10294-3">http://dx.doi.org/10.1007/978-3-642-10294-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191633
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Leeuwen, Jan. editor. Muscholl, Anca. editor. Peleg, David. editor. Pokorný, Jaroslav. editor. Rumpe, Bernhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11266-9">http://dx.doi.org/10.1007/978-3-642-11266-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191650
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Barthe, Gilles. editor. Hermenegildo, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11319-2">http://dx.doi.org/10.1007/978-3-642-11319-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191743
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
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-642-11623-0">http://dx.doi.org/10.1007/978-3-642-11623-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sensor Applications, Experimentation, and Logistics First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191824
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Komninos, Nikos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11870-8">http://dx.doi.org/10.1007/978-3-642-11870-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191890
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12107-4">http://dx.doi.org/10.1007/978-3-642-12107-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192203
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Sillitti, Alberto. editor. Martin, Angela. editor. Wang, Xiaofeng. editor. Whitworth, Elizabeth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13054-0">http://dx.doi.org/10.1007/978-3-642-13054-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
ent://SD_ILS/0/SD_ILS:192228
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13119-6">http://dx.doi.org/10.1007/978-3-642-13119-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
ent://SD_ILS/0/SD_ILS:192235
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13136-3">http://dx.doi.org/10.1007/978-3-642-13136-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 – June 2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192272
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Ågerfalk, Pär. editor. Boldyreff, Cornelia. editor. González-Barahona, Jesús M. editor. Madey, Gregory R. editor. Noll, John. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13244-5">http://dx.doi.org/10.1007/978-3-642-13244-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
ent://SD_ILS/0/SD_ILS:192794
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Müller-Hannemann, Matthias. editor. Schirra, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14866-8">http://dx.doi.org/10.1007/978-3-642-14866-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192693
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14553-7">http://dx.doi.org/10.1007/978-3-642-14553-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193354
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Barringer, Howard. editor. Falcone, Ylies. editor. Finkbeiner, Bernd. editor. Havelund, Klaus. editor. Lee, Insup. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16612-9">http://dx.doi.org/10.1007/978-3-642-16612-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193426
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Brennan, Rob. editor. Fleck, Joel. editor. Meer, Sven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16836-9">http://dx.doi.org/10.1007/978-3-642-16836-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Robotics Second International Conference on Social Robotics, ICSR 2010, Singapore, November 23-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193542
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Ge, Shuzhi Sam. editor. Li, Haizhou. editor. Cabibihan, John-John. editor. Tan, Yeow Kee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17248-9">http://dx.doi.org/10.1007/978-3-642-17248-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193623
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Clarke, Edmund M. 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-642-17511-4">http://dx.doi.org/10.1007/978-3-642-17511-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programmieren in C
ent://SD_ILS/0/SD_ILS:197735
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Klima, Robert. author. Selberherr, Siegfried. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7091-0393-7">http://dx.doi.org/10.1007/978-3-7091-0393-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro PHP Refactoring
ent://SD_ILS/0/SD_ILS:171360
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Trucchia, Francesco. author. Romei, Jacopo. author. Lowman, Michelle. editor. Andres, Clay. editor. Anglin, Steve. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2728-1">http://dx.doi.org/10.1007/978-1-4302-2728-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Das C++ Kompendium STL, Objektfabriken, Exceptions
ent://SD_ILS/0/SD_ILS:191058
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Brands, Gilbert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04787-9">http://dx.doi.org/10.1007/978-3-642-04787-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relationale und postrelationale Datenbanken
ent://SD_ILS/0/SD_ILS:191205
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
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-642-05256-9">http://dx.doi.org/10.1007/978-3-642-05256-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme
ent://SD_ILS/0/SD_ILS:191240
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Partsch, Helmuth A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05358-0">http://dx.doi.org/10.1007/978-3-642-05358-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programmierung mit LEGO Mindstorms NXT Robotersysteme, Entwurfsmethodik, Algorithmen
ent://SD_ILS/0/SD_ILS:191281
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Berns, Karsten. author. Schmidt, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05470-9">http://dx.doi.org/10.1007/978-3-642-05470-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyber-Physical Systems Innovation Durch Software-Intensive Eingebettete Systeme
ent://SD_ILS/0/SD_ILS:192807
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Broy, Manfred. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14901-6">http://dx.doi.org/10.1007/978-3-642-14901-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192894
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15205-4">http://dx.doi.org/10.1007/978-3-642-15205-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192925
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15297-9">http://dx.doi.org/10.1007/978-3-642-15297-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192941
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Kučera, Antonín. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15349-5">http://dx.doi.org/10.1007/978-3-642-15349-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Sourcing of Information Technology and Business Processes 4th Global Sourcing Workshop 2010, Zermatt, Switzerland, March 22-25, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192963
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Oshri, Ilan. editor. Kotlarsky, Julia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15417-1">http://dx.doi.org/10.1007/978-3-642-15417-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193121
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Kowalewski, Stefan. editor. Roveri, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15898-8">http://dx.doi.org/10.1007/978-3-642-15898-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
S-BPM ONE – Setting the Stage for Subject-Oriented Business Process Management First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193126
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Buchwald, Hagen. editor. Fleischmann, Albert. editor. Seese, Detlef. editor. Stary, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15915-2">http://dx.doi.org/10.1007/978-3-642-15915-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193127
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Hitzler, Pascal. editor. Lukasiewicz, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15918-3">http://dx.doi.org/10.1007/978-3-642-15918-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193130
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15928-2">http://dx.doi.org/10.1007/978-3-642-15928-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193152
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Vigneron, Vincent. editor. Zarzoso, Vicente. editor. Moreau, Eric. editor. Gribonval, Rémi. editor. Vincent, Emmanuel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15995-4">http://dx.doi.org/10.1007/978-3-642-15995-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193169
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Blesa, María J. editor. Blum, Christian. editor. Raidl, Günther. editor. Roli, Andrea. editor. Sampels, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16054-7">http://dx.doi.org/10.1007/978-3-642-16054-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Objects and Databases Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193182
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Dearle, Alan. editor. Zicari, Roberto V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16092-9">http://dx.doi.org/10.1007/978-3-642-16092-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Information Systems and Mining International Conference, WISM 2010, Sanya, China, October 23-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193321
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Wang, Fu Lee. editor. Gong, Zhiguo. editor. Luo, Xiangfeng. editor. Lei, Jingsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16515-3">http://dx.doi.org/10.1007/978-3-642-16515-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:193325
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Wang, Fu Lee. editor. Deng, Hepu. editor. Gao, Yang. editor. Lei, Jingsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16527-6">http://dx.doi.org/10.1007/978-3-642-16527-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:193326
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Wang, Fu Lee. editor. Deng, Hepu. editor. Gao, Yang. editor. Lei, Jingsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16530-6">http://dx.doi.org/10.1007/978-3-642-16530-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193340
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16573-3">http://dx.doi.org/10.1007/978-3-642-16573-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193496
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17071-3">http://dx.doi.org/10.1007/978-3-642-17071-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193511
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Ueda, Kazunori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17164-2">http://dx.doi.org/10.1007/978-3-642-17164-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193275
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Parsons, Jeffrey. editor. Saeki, Motoshi. editor. Shoval, Peretz. editor. Woo, Carson. editor. Wand, Yair. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16373-9">http://dx.doi.org/10.1007/978-3-642-16373-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling – Applications and Challenges ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193279
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Trujillo, Juan. editor. Dobbie, Gillian. editor. Kangassalo, Hannu. editor. Hartmann, Sven. editor. Kirchberg, Markus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16385-2">http://dx.doi.org/10.1007/978-3-642-16385-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lean Enterprise Software and Systems First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193287
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Abrahamsson, Pekka. editor. Oza, Nilay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16416-3">http://dx.doi.org/10.1007/978-3-642-16416-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193377
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Qin, Shengchao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16690-7">http://dx.doi.org/10.1007/978-3-642-16690-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Dependable Systems VII
ent://SD_ILS/0/SD_ILS:193541
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Casimiro, Antonio. editor. Lemos, Rogério. editor. Gacek, Cristina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17245-8">http://dx.doi.org/10.1007/978-3-642-17245-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193629
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Jha, Girish Nath. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17528-2">http://dx.doi.org/10.1007/978-3-642-17528-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Python
ent://SD_ILS/0/SD_ILS:171367
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Alchin, Marty. author. Andres, Clay. editor. Anglin, Steve. editor. Beckner, Mark. editor. Buckingham, Ewan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2758-8">http://dx.doi.org/10.1007/978-1-4302-2758-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Based Service-Oriented Computing
ent://SD_ILS/0/SD_ILS:176136
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Griffiths, Nathan. editor. Chao, Kuo-Ming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-041-0">http://dx.doi.org/10.1007/978-1-84996-041-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Secure Integrated Circuits and Systems
ent://SD_ILS/0/SD_ILS:166890
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Verbauwhede, Ingrid M.R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-71829-3">http://dx.doi.org/10.1007/978-0-387-71829-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Development Towards a Service Provision Society
ent://SD_ILS/0/SD_ILS:167717
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Papadopoulos, George Angelos. editor. Wojtkowski, Wita. editor. Wojtkowski, Gregory. editor. Wrycza, Stanislaw. editor. Zupancic, Jože. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137171">http://dx.doi.org/10.1007/b137171</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Software for Digital Forensics
ent://SD_ILS/0/SD_ILS:172432
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Huebner, Ewa. editor. Zanero, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-5803-7">http://dx.doi.org/10.1007/978-1-4419-5803-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Specification and Verification of Multi-agent Systems
ent://SD_ILS/0/SD_ILS:172741
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-6984-2">http://dx.doi.org/10.1007/978-1-4419-6984-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: State of the Art and New Directions
ent://SD_ILS/0/SD_ILS:176054
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Boca, Paul. editor. Bowen, Jonathan P. editor. Siddiqi, Jawed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-736-3">http://dx.doi.org/10.1007/978-1-84882-736-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Thriving Systems Theory and Metaphor-Driven Modeling
ent://SD_ILS/0/SD_ILS:176215
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Waguespack, Leslie J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-302-2">http://dx.doi.org/10.1007/978-1-84996-302-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable and Autonomous Computational Science International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010
ent://SD_ILS/0/SD_ILS:176710
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Shin, Sung Y. editor. Gantenbein, Rex. editor. Kuo, Tei-Wei. editor. Hong, Jiman. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0031-0">http://dx.doi.org/10.1007/978-3-0348-0031-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality-Driven SystemC Design
ent://SD_ILS/0/SD_ILS:205136
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3631-5">http://dx.doi.org/10.1007/978-90-481-3631-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovations in Computing Sciences and Software Engineering
ent://SD_ILS/0/SD_ILS:205401
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9112-3">http://dx.doi.org/10.1007/978-90-481-9112-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
QVT - Operational Mappings Modellierung mit der Query Views Transformation
ent://SD_ILS/0/SD_ILS:189425
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Nolte, Siegfried. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92293-3">http://dx.doi.org/10.1007/978-3-540-92293-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
sicher & mobil Sicherheit in der drahtlosen Kommunikation
ent://SD_ILS/0/SD_ILS:190513
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Osterhage, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03083-3">http://dx.doi.org/10.1007/978-3-642-03083-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Datenaustausch in der Anlagenplanung mit AutomationML Integration von CAEX, PLCopen XML und COLLADA
ent://SD_ILS/0/SD_ILS:191023
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Draht, Rainer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04674-2">http://dx.doi.org/10.1007/978-3-642-04674-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computerlinguistik und Sprachtechnologie Eine Einführung
ent://SD_ILS/0/SD_ILS:198706
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Carstensen, Kai-Uwe. editor. Ebert, Christian. editor. Ebert, Cornelia. editor. Jekat, Susanne J. editor. Klabunde, Ralf. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2224-8">http://dx.doi.org/10.1007/978-3-8274-2224-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Usability Engineering kompakt Benutzbare Software gezielt entwickeln
ent://SD_ILS/0/SD_ILS:198738
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Richter, Michael. author. Flückiger, Markus D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2329-0">http://dx.doi.org/10.1007/978-3-8274-2329-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Best Practice Software-Engineering Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen
ent://SD_ILS/0/SD_ILS:198764
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Schatten, Alexander. author. Demolsky, Markus. author. Winkler, Dietmar. author. Biffl, Stefan. author. Gostischa-Franta, Erik. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2487-7">http://dx.doi.org/10.1007/978-3-8274-2487-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung
ent://SD_ILS/0/SD_ILS:198768
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2526-3">http://dx.doi.org/10.1007/978-3-8274-2526-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-orientierte Architekturen mit Web Services Konzepte – Standards – Praxis
ent://SD_ILS/0/SD_ILS:198770
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Melzer, Ingo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2550-8">http://dx.doi.org/10.1007/978-3-8274-2550-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Objektorientierte Programmierung spielend gelernt mit dem Java-Hamster-Modell
ent://SD_ILS/0/SD_ILS:199469
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Boles, Dietrich. author. Boles, Cornelia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9349-9">http://dx.doi.org/10.1007/978-3-8348-9349-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs Programmieren mit Delphi Systematisch programmieren lernen mit Turbo Delphi 2006, Delphi 7 und vielen anderen Delphi-Versionen
ent://SD_ILS/0/SD_ILS:199478
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Matthäus, Wolf-Gert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9358-1">http://dx.doi.org/10.1007/978-3-8348-9358-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs Datenbankentwurf Eine beispielorientierte Einführung für Studenten und Praktiker
ent://SD_ILS/0/SD_ILS:199482
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Jarosch, Helmut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9362-8">http://dx.doi.org/10.1007/978-3-8348-9362-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs Computergrafik mit Java Die Grundlagen verstehen und einfach umsetzen mit Java 3D
ent://SD_ILS/0/SD_ILS:199788
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Klawonn, Frank. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9679-7">http://dx.doi.org/10.1007/978-3-8348-9679-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien
ent://SD_ILS/0/SD_ILS:199815
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Reisig, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9708-4">http://dx.doi.org/10.1007/978-3-8348-9708-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs JAVA Von den Grundlagen bis zu Datenbankund Netzanwendungen
ent://SD_ILS/0/SD_ILS:199851
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
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-9747-3">http://dx.doi.org/10.1007/978-3-8348-9747-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Food identity preservation and traceability : safer grains
ent://SD_ILS/0/SD_ILS:539934
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Bennet, Gregory S., author.<br/>Preferred Shelf Number TX531 .B46 2010<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439804872">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Manual of geospatial science and technology
ent://SD_ILS/0/SD_ILS:544023
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Bossler, John D. Campbell, James B., 1944- McMaster, Robert Brainerd. Rizos, C.<br/>Preferred Shelf Number G70.212 .M287 2010<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420087345">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Web Dynpro ABAP for Practitioners
ent://SD_ILS/0/SD_ILS:191672
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11385-7">http://dx.doi.org/10.1007/978-3-642-11385-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:191698
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Pnueli, Amir. editor. 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-642-11486-1">http://dx.doi.org/10.1007/978-3-642-11486-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191704
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Carro, Manuel. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11503-5">http://dx.doi.org/10.1007/978-3-642-11503-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
ent://SD_ILS/0/SD_ILS:191706
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11512-7">http://dx.doi.org/10.1007/978-3-642-11512-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191800
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author England, David. editor. Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Wild, Peter J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11797-8">http://dx.doi.org/10.1007/978-3-642-11797-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
ent://SD_ILS/0/SD_ILS:191827
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Puppis, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11881-4">http://dx.doi.org/10.1007/978-3-642-11881-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:191841
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Schmid, Ute. editor. Kitzelmann, Emanuel. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11931-6">http://dx.doi.org/10.1007/978-3-642-11931-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191856
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Escobar, Santiago. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11999-6">http://dx.doi.org/10.1007/978-3-642-11999-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems, Technology and Management 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191868
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Prasad, Sushil K. editor. Vin, Harrick M. editor. Sahni, Sartaj. editor. Jaiswal, Mahadeo P. editor. Thipakorn, Bundit. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12035-0">http://dx.doi.org/10.1007/978-3-642-12035-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191892
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Pries-Heje, Jan. editor. Venable, John. editor. Bunker, Deborah. editor. Russo, Nancy L. editor. DeGross, Janice I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12113-5">http://dx.doi.org/10.1007/978-3-642-12113-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture III Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191927
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12220-0">http://dx.doi.org/10.1007/978-3-642-12220-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191936
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Blume, Matthias. editor. Kobayashi, Naoki. editor. Vidal, Germán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12251-4">http://dx.doi.org/10.1007/978-3-642-12251-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191939
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Ghosh, Sudipto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12261-3">http://dx.doi.org/10.1007/978-3-642-12261-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Computing Challenges and Directions
ent://SD_ILS/0/SD_ILS:191954
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12310-8">http://dx.doi.org/10.1007/978-3-642-12310-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agility Across Time and Space Implementing Agile Methods in Global Software Projects
ent://SD_ILS/0/SD_ILS:191998
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Šmite, Darja. editor. Moe, Nils Brede. editor. Ågerfalk, Pär J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12442-6">http://dx.doi.org/10.1007/978-3-642-12442-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intentional Perspectives on Information Systems Engineering
ent://SD_ILS/0/SD_ILS:192028
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Nurcan, Selmin. editor. Salinesi, Camille. editor. Souveyet, Carine. editor. Ralyté, Jolita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12544-7">http://dx.doi.org/10.1007/978-3-642-12544-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Software Development Current Research and Future Directions
ent://SD_ILS/0/SD_ILS:192038
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Dingsøyr, Torgeir. editor. Dybå, Tore. editor. Moe, Nils Brede. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12575-1">http://dx.doi.org/10.1007/978-3-642-12575-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192043
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Schreye, Danny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12592-8">http://dx.doi.org/10.1007/978-3-642-12592-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
ent://SD_ILS/0/SD_ILS:192374
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Giese, Holger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13556-9">http://dx.doi.org/10.1007/978-3-642-13556-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Business First International Conference, ICSOB 2010, Jyväskylä, Finland, June 21-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192398
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Tyrväinen, Pasi. editor. Jansen, Slinger. editor. Cusumano, Michael A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13633-7">http://dx.doi.org/10.1007/978-3-642-13633-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192412
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Lilius, Johan. editor. Penczek, Wojciech. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13675-7">http://dx.doi.org/10.1007/978-3-642-13675-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Processing in Computer-Assisted Interventions First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192421
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Navab, Nassir. editor. Jannin, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13711-2">http://dx.doi.org/10.1007/978-3-642-13711-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aging Friendly Technology for Health and Independence 8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192445
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Lee, Yeunsook. editor. Bien, Z. Zenn. editor. Mokhtari, Mounir. editor. Kim, Jeong Tai. editor. Park, Mignon. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13778-5">http://dx.doi.org/10.1007/978-3-642-13778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192447
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Nordio, Martin. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Terekhov, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13784-6">http://dx.doi.org/10.1007/978-3-642-13784-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192450
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Ali Babar, M. editor. Vierimaa, Matias. editor. Oivo, Markku. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13792-1">http://dx.doi.org/10.1007/978-3-642-13792-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192510
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Fraser, Gordon. editor. Gargantini, Angelo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13977-2">http://dx.doi.org/10.1007/978-3-642-13977-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Haptics: Generating and Perceiving Tangible Sensations International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:192538
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Kappers, Astrid M. L. editor. Erp, Jan B. F. editor. Bergmann Tiest, Wouter M. editor. Helm, Frans C. T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14064-8">http://dx.doi.org/10.1007/978-3-642-14064-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Haptics: Generating and Perceiving Tangible Sensations International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192542
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Kappers, Astrid M. L. editor. Erp, Jan B. F. editor. Bergmann Tiest, Wouter M. editor. Helm, Frans C. T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14075-4">http://dx.doi.org/10.1007/978-3-642-14075-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192572
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Strichman, Ofer. editor. Szeider, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14186-7">http://dx.doi.org/10.1007/978-3-642-14186-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192603
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14287-1">http://dx.doi.org/10.1007/978-3-642-14287-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
ent://SD_ILS/0/SD_ILS:192618
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14335-9">http://dx.doi.org/10.1007/978-3-642-14335-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:192638
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14390-8">http://dx.doi.org/10.1007/978-3-642-14390-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:192642
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14403-5">http://dx.doi.org/10.1007/978-3-642-14403-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192682
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Butterfield, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14521-6">http://dx.doi.org/10.1007/978-3-642-14521-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
ent://SD_ILS/0/SD_ILS:192688
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Montali, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14538-4">http://dx.doi.org/10.1007/978-3-642-14538-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192858
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Leavens, Gary T. editor. O’Hearn, Peter. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15057-9">http://dx.doi.org/10.1007/978-3-642-15057-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193016
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15582-6">http://dx.doi.org/10.1007/978-3-642-15582-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:193021
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15597-0">http://dx.doi.org/10.1007/978-3-642-15597-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193028
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Hull, Richard. editor. Mendling, Jan. editor. Tai, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15618-2">http://dx.doi.org/10.1007/978-3-642-15618-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193045
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Riel, Andreas. editor. O’Connor, Rory. editor. Tichkiewitch, Serge. 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-642-15666-3">http://dx.doi.org/10.1007/978-3-642-15666-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193047
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Ding, Chen. editor. Shao, Zhiyuan. editor. Zheng, Ran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15672-4">http://dx.doi.org/10.1007/978-3-642-15672-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193048
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Janhunen, Tomi. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15675-5">http://dx.doi.org/10.1007/978-3-642-15675-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Economics of Grids, Clouds, Systems, and Services 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193050
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15681-6">http://dx.doi.org/10.1007/978-3-642-15681-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193051
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Lee, Mong Li. editor. Yu, Jeffrey Xu. editor. Bellahsène, Zohra. editor. Unland, Rainer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15684-7">http://dx.doi.org/10.1007/978-3-642-15684-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193206
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Pol, Jaco. editor. Weber, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16164-3">http://dx.doi.org/10.1007/978-3-642-16164-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193232
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Fermüller, Christian G. 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-642-16242-8">http://dx.doi.org/10.1007/978-3-642-16242-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193240
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Méry, Dominique. editor. Merz, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16265-7">http://dx.doi.org/10.1007/978-3-642-16265-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193255
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16310-4">http://dx.doi.org/10.1007/978-3-642-16310-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmen und Problemlösungen mit C++ Von der Diskreten Mathematik zum fertigen Programm – Lern- und Arbeitsbuch für Informatiker und Mathematiker
ent://SD_ILS/0/SD_ILS:199502
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Logofătu, Doina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9382-6">http://dx.doi.org/10.1007/978-3-8348-9382-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Java-Grundkurs für Wirtschaftsinformatiker Die Grundlagen verstehen – Objektorientierte Programmierung – Fortgeschrittene Konzepte kennenlernen – Betriebswirtschaftlich orientierte Beispiele
ent://SD_ILS/0/SD_ILS:199761
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Deck, Klaus-Georg. author. Neuendorf, Herbert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9652-0">http://dx.doi.org/10.1007/978-3-8348-9652-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
UML in logistischen Prozessen Graphische Sprache zur Modellierung der Systeme
ent://SD_ILS/0/SD_ILS:199805
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
Author Czuchra, Waldemar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9698-8">http://dx.doi.org/10.1007/978-3-8348-9698-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Masterkurs Client/Server-Programmierung mit Java Anwendungen entwickeln mit Standard-Technologien: JDBC, UDP, TCP, HTTP, XML-RPC, RMI, JMS und JAX-WS
ent://SD_ILS/0/SD_ILS:199831
2026-02-17T12:03:47Z
2026-02-17T12:03:47Z
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-9724-4">http://dx.doi.org/10.1007/978-3-8348-9724-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>