Search Results for Science -- Software. - Narrowed by: 2011
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bSoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092011$0025092011$0026ic$003dtrue$0026ps$003d300?
2026-02-13T15:22:34Z
Computer Science The Hardware, Software and Heart of It
ent://SD_ILS/0/SD_ILS:173871
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1168-0">http://dx.doi.org/10.1007/978-1-4614-1168-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Software Engineering Paradigm Based on Complexity Science An Introduction to NSE
ent://SD_ILS/0/SD_ILS:172841
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Xiong, Jay. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7326-9">http://dx.doi.org/10.1007/978-1-4419-7326-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194162
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Hofmann, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19805-2">http://dx.doi.org/10.1007/978-3-642-19805-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning
ent://SD_ILS/0/SD_ILS:194228
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Tchounikine, Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20003-8">http://dx.doi.org/10.1007/978-3-642-20003-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193840
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Jhala, Ranjit. editor. Schmidt, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18275-4">http://dx.doi.org/10.1007/978-3-642-18275-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent-Based Simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193863
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Bosse, Tibor. editor. Geller, Armando. editor. Jonker, Catholijn M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18345-4">http://dx.doi.org/10.1007/978-3-642-18345-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:193874
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Rocha, Ricardo. editor. Launchbury, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18378-2">http://dx.doi.org/10.1007/978-3-642-18378-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
> Leitlinien Für Eine Deutsche Raumfahrtpolitik
ent://SD_ILS/0/SD_ILS:193884
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author acatech - Deutsche Akademie der Technikwissenschaften. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18408-6">http://dx.doi.org/10.1007/978-3-642-18408-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Essential Software Architecture
ent://SD_ILS/0/SD_ILS:193958
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Gorton, Ian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19176-3">http://dx.doi.org/10.1007/978-3-642-19176-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Web Services
ent://SD_ILS/0/SD_ILS:193964
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Fensel, Dieter. author. Facca, Federico Michele. author. Simperl, Elena. author. Toma, Ioan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19193-0">http://dx.doi.org/10.1007/978-3-642-19193-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193978
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Namjoshi, Kedar. editor. Zeller, Andreas. editor. Ziv, Avi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19237-1">http://dx.doi.org/10.1007/978-3-642-19237-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Process Mining Discovery, Conformance and Enhancement of Business Processes
ent://SD_ILS/0/SD_ILS:194012
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19345-3">http://dx.doi.org/10.1007/978-3-642-19345-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Computing Trends and Developments
ent://SD_ILS/0/SD_ILS:194116
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
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-19668-3">http://dx.doi.org/10.1007/978-3-642-19668-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture A Comprehensive Framework and Guide for Practitioners
ent://SD_ILS/0/SD_ILS:194139
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Vogel, Oliver. author. Arnold, Ingo. author. Chughtai, Arif. author. Kehrer, Timo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19736-9">http://dx.doi.org/10.1007/978-3-642-19736-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194144
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Marchetti-Spaccamela, Alberto. editor. Segal, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19754-3">http://dx.doi.org/10.1007/978-3-642-19754-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:194312
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Dobnikar, Andrej. editor. Lotrič, Uroš. editor. Šter, Branko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20267-4">http://dx.doi.org/10.1007/978-3-642-20267-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive and Natural Computing Algorithms 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:194317
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Dobnikar, Andrej. editor. Lotrič, Uroš. editor. Šter, Branko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20282-7">http://dx.doi.org/10.1007/978-3-642-20282-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194357
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20398-5">http://dx.doi.org/10.1007/978-3-642-20398-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:194449
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Meyden, Ron. editor. Smaus, Jan-Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20674-0">http://dx.doi.org/10.1007/978-3-642-20674-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194450
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Sillitti, Alberto. editor. Hazzan, Orit. editor. Bache, Emily. editor. Albaladejo, Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20677-1">http://dx.doi.org/10.1007/978-3-642-20677-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194523
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20895-9">http://dx.doi.org/10.1007/978-3-642-20895-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relating Software Requirements and Architectures
ent://SD_ILS/0/SD_ILS:194556
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Avgeriou, Paris. editor. Grundy, John. editor. Hall, Jon G. editor. Lago, Patricia. editor. Mistrík, Ivan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21001-3">http://dx.doi.org/10.1007/978-3-642-21001-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Art of Software Innovation Eight Practice Areas to Inspire your Business
ent://SD_ILS/0/SD_ILS:194574
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Pikkarainen, Minna. editor. Codenie, Wim. editor. Boucart, Nick. editor. Heredia Alvaro, José Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21049-5">http://dx.doi.org/10.1007/978-3-642-21049-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194581
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Swart, Harrie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development VIII
ent://SD_ILS/0/SD_ILS:194895
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22031-9">http://dx.doi.org/10.1007/978-3-642-22031-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering Workshops CAiSE 2011 International Workshops, London, UK, June 20-24, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194902
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Salinesi, Camille. editor. Pastor, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22056-2">http://dx.doi.org/10.1007/978-3-642-22056-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194918
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Gopalakrishnan, Ganesh. editor. Qadeer, Shaz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22110-1">http://dx.doi.org/10.1007/978-3-642-22110-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194920
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22119-4">http://dx.doi.org/10.1007/978-3-642-22119-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194940
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Cavallucci, Denis. editor. Guio, Roland. editor. Cascini, Gaetano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22182-8">http://dx.doi.org/10.1007/978-3-642-22182-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Service Process Improvement 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194948
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author O‘Connor, Rory V. editor. Pries-Heje, Jan. 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-22206-1">http://dx.doi.org/10.1007/978-3-642-22206-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194982
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Groce, Alex. editor. Musuvathi, Madanlal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22306-8">http://dx.doi.org/10.1007/978-3-642-22306-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Information Systems and Technologies 6th International Conference, WEBIST 2010, Valencia, Spain, April 7-10, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195146
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Filipe, Joaquim. editor. Cordeiro, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22810-0">http://dx.doi.org/10.1007/978-3-642-22810-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195162
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Eekelen, Marko. editor. Geuvers, Herman. editor. Schmaltz, Julien. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22863-6">http://dx.doi.org/10.1007/978-3-642-22863-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195225
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Rinderle-Ma, Stefanie. editor. Toumani, Farouk. editor. Wolf, Karsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23059-2">http://dx.doi.org/10.1007/978-3-642-23059-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring Music Contents 7th International Symposium, CMMR 2010, Málaga, Spain, June 21-24, 2010. Revised Papers
ent://SD_ILS/0/SD_ILS:195244
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Ystad, Sølvi. editor. Aramaki, Mitsuko. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23126-1">http://dx.doi.org/10.1007/978-3-642-23126-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Subject-Oriented Business Process Management Second International Conference, S-BPM ONE 2010, Karlsruhe, Germany, October 14, 2010. Selected Papers
ent://SD_ILS/0/SD_ILS:195247
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Fleischmann, Albert. editor. Schmidt, Werner. editor. Singer, Robert. editor. Seese, Detlef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23135-3">http://dx.doi.org/10.1007/978-3-642-23135-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195296
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Cerone, Antonio. editor. Pihlajasaari, Pekka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23283-1">http://dx.doi.org/10.1007/978-3-642-23283-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming for Engineers A Foundational Approach to Learning C and Matlab
ent://SD_ILS/0/SD_ILS:195303
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Bradley, Aaron R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23303-6">http://dx.doi.org/10.1007/978-3-642-23303-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:195333
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23397-5">http://dx.doi.org/10.1007/978-3-642-23397-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2011 Parallel Processing 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:195334
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Jeannot, Emmanuel. editor. Namyst, Raymond. editor. Roman, Jean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23400-2">http://dx.doi.org/10.1007/978-3-642-23400-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communication on Technology for the Fight against Global Warming First International Conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195345
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Kranzlmüller, Dieter. editor. Toja, A Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23447-7">http://dx.doi.org/10.1007/978-3-642-23447-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195384
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Rudolph, Sebastian. editor. Gutierrez, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23580-1">http://dx.doi.org/10.1007/978-3-642-23580-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Information Systems and Mining International Conference, WISM 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:195504
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Gong, Zhiguo. editor. Luo, Xiangfeng. editor. Chen, Junjie. editor. Lei, Jingsheng. editor. Wang, Fu Lee. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23971-7">http://dx.doi.org/10.1007/978-3-642-23971-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Information Systems and Mining International Conference, WISM 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:195508
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Gong, Zhiguo. editor. Luo, Xiangfeng. editor. Chen, Junjie. editor. Lei, Jingsheng. editor. Wang, Fu Lee. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23982-3">http://dx.doi.org/10.1007/978-3-642-23982-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195552
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Troubitsyna, Elena A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24124-6">http://dx.doi.org/10.1007/978-3-642-24124-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Research in Web Information Systems and Mining International Conference, WISM 2011, Taiyuan, China, September 23-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195587
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Zhiguo, Gong. editor. Luo, Xiangfeng. editor. Chen, Junjie. editor. Wang, Fu Lee. editor. Lei, Jingsheng. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24273-1">http://dx.doi.org/10.1007/978-3-642-24273-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195588
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Hage, Jurriaan. editor. Morazán, Marco T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24276-2">http://dx.doi.org/10.1007/978-3-642-24276-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195591
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Delzanno, Giorgio. 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-24288-5">http://dx.doi.org/10.1007/978-3-642-24288-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Studies in Global IT and Business Service Outsourcing 5th Global Scourcing Workshop 2011, Courchevel, France, March 14-17, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195755
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Kotlarsky, Julia. editor. Willcocks, Leslie P. editor. Oshri, Ilan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24815-3">http://dx.doi.org/10.1007/978-3-642-24815-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security 14th International Conference, ISC 2011, Xi’an, China, October 26-29, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195771
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Lai, Xuejia. editor. Zhou, Jianying. editor. Li, Hui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24861-0">http://dx.doi.org/10.1007/978-3-642-24861-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
ent://SD_ILS/0/SD_ILS:195782
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24897-9">http://dx.doi.org/10.1007/978-3-642-24897-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aufwandsschätzungen in der Software- und Systementwicklung kompakt
ent://SD_ILS/0/SD_ILS:198806
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Hummel, Oliver. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2752-6">http://dx.doi.org/10.1007/978-3-8274-2752-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lehrbuch der Softwaretechnik: Entwurf, Implementierung, Installation und Betrieb
ent://SD_ILS/0/SD_ILS:198717
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Balzert, Helmut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2246-0">http://dx.doi.org/10.1007/978-3-8274-2246-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Methoden und Architekturen der Softwaretechnik
ent://SD_ILS/0/SD_ILS:199006
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
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-8348-8164-9">http://dx.doi.org/10.1007/978-3-8348-8164-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ein Architekturmodell für SAP®-Anwendungen Leicht wartbare, erweiterbare und teamorientierte SAP®-Eigenentwicklungen mit ABAP™ Objects
ent://SD_ILS/0/SD_ILS:199035
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Cohrs, Moritz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-8204-2">http://dx.doi.org/10.1007/978-3-8348-8204-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten
ent://SD_ILS/0/SD_ILS:199914
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Kleuker, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9843-2">http://dx.doi.org/10.1007/978-3-8348-9843-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
C als erste Programmiersprache Vom Einsteiger zum Fortgeschrittenen
ent://SD_ILS/0/SD_ILS:199938
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Dausmann, Manfred. author. Bröckl, Ulrich. author. Schoop, Dominik. 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-8348-9879-1">http://dx.doi.org/10.1007/978-3-8348-9879-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Java will nur spielen Programmieren lernen mit Spaß und Kreativität
ent://SD_ILS/0/SD_ILS:199974
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Panitz, Sven Eric. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9931-6">http://dx.doi.org/10.1007/978-3-8348-9931-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
ent://SD_ILS/0/SD_ILS:205633
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Lokuciejewski, Paul. author. Marwedel, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9929-7">http://dx.doi.org/10.1007/978-90-481-9929-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data architecture : from zen to reality
ent://SD_ILS/0/SD_ILS:269756
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Tupper, Charles.<br/>Preferred Shelf Number QA76.9.D35 T85 2011<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Pro Objective-C Design Patterns for iOS
ent://SD_ILS/0/SD_ILS:171501
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Chung, Carlo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3331-2">http://dx.doi.org/10.1007/978-1-4302-3331-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mac Programming for Absolute Beginners
ent://SD_ILS/0/SD_ILS:171503
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Wang, Wallace. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3337-4">http://dx.doi.org/10.1007/978-1-4302-3337-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Development and Professional Practice
ent://SD_ILS/0/SD_ILS:171620
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Dooley, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3802-7">http://dx.doi.org/10.1007/978-1-4302-3802-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Open Source Tools
ent://SD_ILS/0/SD_ILS:172958
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Koranne, Sandeep. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7719-9">http://dx.doi.org/10.1007/978-1-4419-7719-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Development Business Systems and Services: Modeling and Development
ent://SD_ILS/0/SD_ILS:173308
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Pokorny, Jaroslav. editor. Repa, Vaclav. editor. Richta, Karel. editor. Wojtkowski, Wita. editor. Linger, Henry. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9790-6">http://dx.doi.org/10.1007/978-1-4419-9790-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Data Intensive Computing
ent://SD_ILS/0/SD_ILS:173934
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Furht, Borko. editor. Escalante, Armando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1415-5">http://dx.doi.org/10.1007/978-1-4614-1415-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontology-based Application Integration
ent://SD_ILS/0/SD_ILS:173938
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Paulheim, Heiko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1430-8">http://dx.doi.org/10.1007/978-1-4614-1430-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Seductive Computer Why IT Systems Always Fail
ent://SD_ILS/0/SD_ILS:176266
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Partridge, Derek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-498-2">http://dx.doi.org/10.1007/978-1-84996-498-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-Oriented Analysis and Design
ent://SD_ILS/0/SD_ILS:176274
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Ramnath, Sarnath. editor. Dathan, Brahma. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-522-4">http://dx.doi.org/10.1007/978-1-84996-522-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structures de données et méthodes formelles
ent://SD_ILS/0/SD_ILS:176569
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Guyomard, Marc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-2-8178-0200-8">http://dx.doi.org/10.1007/978-2-8178-0200-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193079
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Cousot, Radhia. editor. Martel, Matthieu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15769-1">http://dx.doi.org/10.1007/978-3-642-15769-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193308
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Morazán, Marco T. editor. Scholz, Sven-Bodo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16478-1">http://dx.doi.org/10.1007/978-3-642-16478-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195599
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Fahrenberg, Uli. editor. Tripakis, Stavros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24310-3">http://dx.doi.org/10.1007/978-3-642-24310-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195616
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Tinelli, Cesare. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24364-6">http://dx.doi.org/10.1007/978-3-642-24364-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195627
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Altman, Erik. editor. Shi, Weisong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24403-2">http://dx.doi.org/10.1007/978-3-642-24403-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Systems: Grounding Research 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195631
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Hissam, Scott A. editor. Russo, Barbara. editor. Mendonça Neto, Manoel G. editor. Kon, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24418-6">http://dx.doi.org/10.1007/978-3-642-24418-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195636
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Salaün, Gwen. editor. Schätz, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24431-5">http://dx.doi.org/10.1007/978-3-642-24431-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Information System Engineering – WISE 2011 12th International Conference, Sydney, Australia, October 13-14, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195637
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Bouguettaya, Athman. editor. Hauswirth, Manfred. editor. Liu, Ling. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24434-6">http://dx.doi.org/10.1007/978-3-642-24434-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model and Data Engineering First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195639
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Bellatreche, Ladjel. editor. Mota Pinto, Filipe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24443-8">http://dx.doi.org/10.1007/978-3-642-24443-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195642
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Scholz, Sven-Bodo. editor. Chitil, Olaf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24452-0">http://dx.doi.org/10.1007/978-3-642-24452-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195681
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24580-0">http://dx.doi.org/10.1007/978-3-642-24580-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling – ER 2011 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195688
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Jeusfeld, Manfred. editor. Delcambre, Lois. editor. Ling, Tok-Wang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24606-7">http://dx.doi.org/10.1007/978-3-642-24606-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195911
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25318-8">http://dx.doi.org/10.1007/978-3-642-25318-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195929
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Jouannaud, Jean-Pierre. editor. Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25379-9">http://dx.doi.org/10.1007/978-3-642-25379-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Robotics Third International Conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195963
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Mutlu, Bilge. editor. Bartneck, Christoph. editor. Ham, Jaap. editor. Evers, Vanessa. editor. Kanda, Takayuki. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25504-5">http://dx.doi.org/10.1007/978-3-642-25504-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:199921
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
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-8348-9854-8">http://dx.doi.org/10.1007/978-3-8348-9854-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data architecture from zen to reality
ent://SD_ILS/0/SD_ILS:147531
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Tupper, Charles D.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123851260">http://www.sciencedirect.com/science/book/9780123851260</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Specification of Software Systems
ent://SD_ILS/0/SD_ILS:168476
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-277-3">http://dx.doi.org/10.1007/978-0-85729-277-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Development Asian Experiences
ent://SD_ILS/0/SD_ILS:172851
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Song, William Wei. editor. Xu, Shenghua. editor. Wan, Changxuan. editor. Zhong, Yuansheng. editor. Wojtkowski, Wita. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7355-9">http://dx.doi.org/10.1007/978-1-4419-7355-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Identity-Based Encryption
ent://SD_ILS/0/SD_ILS:173195
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Chatterjee, Sanjit. author. Sarkar, Palash. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9383-0">http://dx.doi.org/10.1007/978-1-4419-9383-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Encyclopedia of Parallel Computing
ent://SD_ILS/0/SD_ILS:164784
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Padua, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09766-4">http://dx.doi.org/10.1007/978-0-387-09766-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous Software Development An Introduction to Program Verification
ent://SD_ILS/0/SD_ILS:168395
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-018-2">http://dx.doi.org/10.1007/978-0-85729-018-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grids, Clouds and Virtualization
ent://SD_ILS/0/SD_ILS:168405
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Cafaro, Massimo. editor. Aloisio, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-049-6">http://dx.doi.org/10.1007/978-0-85729-049-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Software Process Improvement
ent://SD_ILS/0/SD_ILS:168444
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-172-1">http://dx.doi.org/10.1007/978-0-85729-172-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Codecharts roadmaps and blueprints for object-oriented programs
ent://SD_ILS/0/SD_ILS:318929
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Eden, A. H., 1967- Nicholson, J. (Jonathan), 1983-<br/>Preferred Shelf Number ONLINE(318929.1)<br/>Electronic Access Wiley InterScience <a href="http://dx.doi.org/10.1002/9780470891032">An electronic book accessible through the World Wide Web; click for information</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=41806">http://www.books24x7.com/marc.asp?bookid=41806</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=700550">http://public.eblib.com/choice/publicfullrecord.aspx?p=700550</a>
ebrary <a href="http://site.ebrary.com/id/10465941">http://site.ebrary.com/id/10465941</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud computing and software services : theory and techniques
ent://SD_ILS/0/SD_ILS:544716
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Ahson, Syed. Ilyas, Mohammad, 1953-<br/>Preferred Shelf Number TK5105.88813 .C58 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439803165">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Display and interface design : subtle science, exact art
ent://SD_ILS/0/SD_ILS:547077
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Bennett, Kevin B. (Kevin Bruce), 1957, author. Flach, John.<br/>Preferred Shelf Number QA76.9 .U83 B458 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420064391">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Data structure and software engineering : challenges and improvements
ent://SD_ILS/0/SD_ILS:539709
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Antonakos, James L.<br/>Preferred Shelf Number QA76.9 .D35 D38 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466562608">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Virtual reality : concepts and technologies
ent://SD_ILS/0/SD_ILS:542281
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Fuchs, Philippe. Moreau, Guillaume. Guitton, Pascal.<br/>Preferred Shelf Number QA76.9 .C65 V5724 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9780203802953">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Das V-Modell® XT anpassen Anpassung und Einführung kompakt für V-Modell® XT Prozessingenieure
ent://SD_ILS/0/SD_ILS:190015
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Kuhrmann, Marco. author. Ternité, Thomas. author. Friedrich, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01490-1">http://dx.doi.org/10.1007/978-3-642-01490-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Praxishandbuch Web Dynpro ABAP
ent://SD_ILS/0/SD_ILS:191673
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
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-11387-1">http://dx.doi.org/10.1007/978-3-642-11387-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven SOA Anwendungsorientierte Methodik und Vorgehen in der Praxis
ent://SD_ILS/0/SD_ILS:192665
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Rempp, Gerhard. author. Akermann, Mark. author. Löffler, Martin. author. Lehmann, Jens. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14470-7">http://dx.doi.org/10.1007/978-3-642-14470-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Development of Advanced User Interfaces
ent://SD_ILS/0/SD_ILS:192696
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Hussmann, Heinrich. editor. Meixner, Gerrit. editor. Zuehlke, Detlef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14562-9">http://dx.doi.org/10.1007/978-3-642-14562-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Methods and Tools of Parallel Programming Multicomputers Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192780
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Hsu, Ching-Hsien. editor. Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14822-4">http://dx.doi.org/10.1007/978-3-642-14822-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Future of Software Engineering
ent://SD_ILS/0/SD_ILS:192889
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Nanz, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15187-3">http://dx.doi.org/10.1007/978-3-642-15187-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Conceptual Modeling Theory, Practice, and Research Challenges
ent://SD_ILS/0/SD_ILS:193110
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Embley, David W. 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-642-15865-0">http://dx.doi.org/10.1007/978-3-642-15865-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Monitoring von Motivationskonzepten für den Techniknachwuchs (MoMoTech)
ent://SD_ILS/0/SD_ILS:193128
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author acatech — Deutsche Akademie der Technikwissenschaften. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15921-3">http://dx.doi.org/10.1007/978-3-642-15921-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:193193
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
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-642-16127-8">http://dx.doi.org/10.1007/978-3-642-16127-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Facing the Multicore-Challenge Aspects of New Paradigms and Technologies in Parallel Computing
ent://SD_ILS/0/SD_ILS:193229
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16233-6">http://dx.doi.org/10.1007/978-3-642-16233-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Evolution of Conceptual Modeling From a Historical Perspective towards the Future of Conceptual Modeling
ent://SD_ILS/0/SD_ILS:193621
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Kaschek, Roland. editor. Delcambre, Lois. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17505-3">http://dx.doi.org/10.1007/978-3-642-17505-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193711
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Johnson, Michael. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17796-5">http://dx.doi.org/10.1007/978-3-642-17796-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193795
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Beckert, Bernhard. editor. Marché, Claude. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18070-5">http://dx.doi.org/10.1007/978-3-642-18070-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193823
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Burmester, Mike. editor. Tsudik, Gene. editor. Magliveras, Spyros. editor. Ilić, Ivana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18178-8">http://dx.doi.org/10.1007/978-3-642-18178-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generative and Transformational Techniques in Software Engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:193780
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Fernandes, João M. editor. Lämmel, Ralf. editor. Visser, Joost. editor. Saraiva, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18023-1">http://dx.doi.org/10.1007/978-3-642-18023-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis and Design of Advice
ent://SD_ILS/0/SD_ILS:193791
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Jureta, Ivan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18059-0">http://dx.doi.org/10.1007/978-3-642-18059-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194045
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Malloy, Brian. editor. Staab, Steffen. editor. Brand, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19440-5">http://dx.doi.org/10.1007/978-3-642-19440-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194090
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Barner, Sharon. editor. Harris, Ian. editor. Kroening, Daniel. editor. Raz, Orna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19583-9">http://dx.doi.org/10.1007/978-3-642-19583-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services and Formal Methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194092
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Bravetti, Mario. editor. Bultan, Tevfik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19589-1">http://dx.doi.org/10.1007/978-3-642-19589-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering of Software The Continuing Contributions of Leon J. Osterweil
ent://SD_ILS/0/SD_ILS:194168
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Tarr, Peri L. editor. Wolf, Alexander L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19823-6">http://dx.doi.org/10.1007/978-3-642-19823-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194170
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19829-8">http://dx.doi.org/10.1007/978-3-642-19829-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Methods in the Service-Oriented Context 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194226
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Ralyté, Jolita. editor. Mirbel, Isabelle. editor. Deneckère, Rébecca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19997-4">http://dx.doi.org/10.1007/978-3-642-19997-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Technologies 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194267
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Cordeiro, José. editor. Ranchordas, AlpeshKumar. editor. Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20116-5">http://dx.doi.org/10.1007/978-3-642-20116-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wertschöpfung und Beschäftigung in Deutschland
ent://SD_ILS/0/SD_ILS:194292
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Gausemeier, Jürgen. editor. Wiendahl, Hans-Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20204-9">http://dx.doi.org/10.1007/978-3-642-20204-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management Workshops BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194397
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Muehlen, Michael. editor. Su, Jianwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20511-8">http://dx.doi.org/10.1007/978-3-642-20511-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194398
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Valtchev, Petko. editor. Jäschke, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20514-9">http://dx.doi.org/10.1007/978-3-642-20514-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194411
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Alpuente, María. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20551-4">http://dx.doi.org/10.1007/978-3-642-20551-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
ent://SD_ILS/0/SD_ILS:194358
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Wirsing, Martin. editor. Hölzl, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20401-2">http://dx.doi.org/10.1007/978-3-642-20401-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
UNIX Operating System The Development Tutorial via UNIX Kernel Services
ent://SD_ILS/0/SD_ILS:194370
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Liu, Yukun. author. Yue, Yong. author. Guo, Liwei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20432-6">http://dx.doi.org/10.1007/978-3-642-20432-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194627
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Dingel, Juergen. editor. Solberg, Arnor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21210-9">http://dx.doi.org/10.1007/978-3-642-21210-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Top Productivity through Software Reuse 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194671
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Schmid, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21347-2">http://dx.doi.org/10.1007/978-3-642-21347-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194701
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Butler, Michael. editor. Schulte, Wolfram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21437-0">http://dx.doi.org/10.1007/978-3-642-21437-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
ent://SD_ILS/0/SD_ILS:194706
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21455-4">http://dx.doi.org/10.1007/978-3-642-21455-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Informatics 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194718
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Winkler, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21493-6">http://dx.doi.org/10.1007/978-3-642-21493-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
End-User Development Third International Symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194730
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Costabile, Maria Francesca. editor. Dittrich, Yvonne. editor. Fischer, Gerhard. editor. Piccinno, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21530-8">http://dx.doi.org/10.1007/978-3-642-21530-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data-Warehouse-Systeme kompakt Aufbau, Architektur, Grundfunktionen
ent://SD_ILS/0/SD_ILS:194731
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Farkisch, Kiumars. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21533-9">http://dx.doi.org/10.1007/978-3-642-21533-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Toward Useful Services for Elderly and People with Disabilities 9th International Conference on Smart Homes and Health Telematics, ICOST 2011, Montreal, Canada, June 20-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194732
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Abdulrazak, Bessam. editor. Giroux, Sylvain. editor. Bouchard, Bruno. editor. Pigot, Hélène. editor. Mokhtari, Mounir. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21535-3">http://dx.doi.org/10.1007/978-3-642-21535-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Business Second International Conference, ICSOB 2011, Brussels, Belgium, June 8-10, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194735
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Regnell, Björn. editor. Weerd, Inge. editor. Troyer, Olga. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21544-5">http://dx.doi.org/10.1007/978-3-642-21544-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194811
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Gogolla, Martin. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21768-5">http://dx.doi.org/10.1007/978-3-642-21768-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Interface and the Management of Information. Interacting with Information Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:194820
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Smith, Michael J. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21793-7">http://dx.doi.org/10.1007/978-3-642-21793-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194835
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Kristensen, Lars M. editor. Petrucci, Laure. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21834-7">http://dx.doi.org/10.1007/978-3-642-21834-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194837
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Caivano, Danilo. editor. Oivo, Markku. editor. Baldassarre, Maria Teresa. editor. Visaggio, Giuseppe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21843-9">http://dx.doi.org/10.1007/978-3-642-21843-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research and Education in Robotics - EUROBOT 2011 International Conference, Prague, Czech Republic, June 15-17, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194878
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Obdržálek, David. editor. Gottscheber, Achim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21975-7">http://dx.doi.org/10.1007/978-3-642-21975-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual and Mixed Reality - New Trends International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:194892
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Shumaker, Randall. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22021-0">http://dx.doi.org/10.1007/978-3-642-22021-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual and Mixed Reality - Systems and Applications International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:194893
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Shumaker, Randall. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22024-1">http://dx.doi.org/10.1007/978-3-642-22024-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195009
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Huzar, Zbigniew. editor. Koci, Radek. editor. Meyer, Bertrand. editor. Walter, Bartosz. editor. Zendulka, Jaroslav. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22386-0">http://dx.doi.org/10.1007/978-3-642-22386-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modellierung mit UML Sprache, Konzepte und Methodik
ent://SD_ILS/0/SD_ILS:195018
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Rumpe, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22413-3">http://dx.doi.org/10.1007/978-3-642-22413-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195027
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Bjørner, Nikolaj. editor. Sofronie-Stokkermans, Viorica. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22438-6">http://dx.doi.org/10.1007/978-3-642-22438-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Kanban für die Softwareentwicklung
ent://SD_ILS/0/SD_ILS:195076
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Epping, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22595-6">http://dx.doi.org/10.1007/978-3-642-22595-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptional Complexity of Formal Systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195078
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Holzer, Markus. editor. Kutrib, Martin. editor. Pighizzini, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22600-7">http://dx.doi.org/10.1007/978-3-642-22600-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195188
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Page, Rex. editor. Horváth, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22941-1">http://dx.doi.org/10.1007/978-3-642-22941-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Management in Grid and Peer-to-Peer Systems 4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings
ent://SD_ILS/0/SD_ILS:195190
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22947-3">http://dx.doi.org/10.1007/978-3-642-22947-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195420
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Yahav, Eran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23702-7">http://dx.doi.org/10.1007/978-3-642-23702-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Based Software Engineering Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195425
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Cohen, Myra B. editor. Ó Cinnéide, Mel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23716-4">http://dx.doi.org/10.1007/978-3-642-23716-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:195439
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23765-2">http://dx.doi.org/10.1007/978-3-642-23765-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:195440
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23768-3">http://dx.doi.org/10.1007/978-3-642-23768-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:195441
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23771-3">http://dx.doi.org/10.1007/978-3-642-23771-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:195442
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23774-4">http://dx.doi.org/10.1007/978-3-642-23774-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:195477
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Deng, Hepu. editor. Miao, Duoqian. editor. Lei, Jingsheng. editor. Wang, Fu Lee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23881-9">http://dx.doi.org/10.1007/978-3-642-23881-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:195478
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Deng, Hepu. editor. Miao, Duoqian. editor. Lei, Jingsheng. editor. Wang, Fu Lee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23887-1">http://dx.doi.org/10.1007/978-3-642-23887-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:195480
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Deng, Hepu. editor. Miao, Duoqian. editor. Lei, Jingsheng. editor. Wang, Fu Lee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23896-3">http://dx.doi.org/10.1007/978-3-642-23896-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195825
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Simao, Adenilso. editor. Morgan, Carroll. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25032-3">http://dx.doi.org/10.1007/978-3-642-25032-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195834
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Schreck, Pascal. editor. Narboux, Julien. editor. Richter-Gebert, Jürgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25070-5">http://dx.doi.org/10.1007/978-3-642-25070-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software-Architektur kompakt – angemessen und zielorientiert
ent://SD_ILS/0/SD_ILS:198823
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Starke, Gernot. author. Hruschka, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2835-6">http://dx.doi.org/10.1007/978-3-8274-2835-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Clustering-Based Support for Software Architecture Restructuring
ent://SD_ILS/0/SD_ILS:199182
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Streekmann, Niels. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-8675-0">http://dx.doi.org/10.1007/978-3-8348-8675-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in cognitive ergonomics
ent://SD_ILS/0/SD_ILS:546095
2026-02-13T15:22:34Z
2026-02-13T15:22:34Z
Author Kaber, David B. Boy, Guy A.<br/>Preferred Shelf Number TA166 .A355 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439834923">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>