Search Results for Science -- Software. - Narrowed by: 2012
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bSoftware.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026ps$003d300?
2025-12-24T10:12:48Z
Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196520
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Birkedal, Lars. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28729-9">http://dx.doi.org/10.1007/978-3-642-28729-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools
ent://SD_ILS/0/SD_ILS:235833
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Yevick, David.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9781139022262">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Algebraic Specification and Formal Software Development
ent://SD_ILS/0/SD_ILS:193572
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Moderne C++ Programmierung Klassen, Templates, Design Patterns
ent://SD_ILS/0/SD_ILS:194698
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Schneeweiß, Ralf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21429-5">http://dx.doi.org/10.1007/978-3-642-21429-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring
ent://SD_ILS/0/SD_ILS:195024
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
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-22430-0">http://dx.doi.org/10.1007/978-3-642-22430-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:195885
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25231-0">http://dx.doi.org/10.1007/978-3-642-25231-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196271
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27694-1">http://dx.doi.org/10.1007/978-3-642-27694-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196275
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27705-4">http://dx.doi.org/10.1007/978-3-642-27705-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Correctness-by-Construction Approach to Programming
ent://SD_ILS/0/SD_ILS:196299
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Kourie, Derrick G. author. Watson, Bruce W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27919-5">http://dx.doi.org/10.1007/978-3-642-27919-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196304
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Kuncak, Viktor. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27940-9">http://dx.doi.org/10.1007/978-3-642-27940-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196338
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Horimoto, Katsuhisa. editor. Nakatsui, Masahiko. editor. Popov, Nikolaj. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28067-2">http://dx.doi.org/10.1007/978-3-642-28067-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Information Systems and Technologies 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196343
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
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-28082-5">http://dx.doi.org/10.1007/978-3-642-28082-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:196351
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Daniel, Florian. editor. Barkaoui, Kamel. editor. Dustdar, Schahram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28108-2">http://dx.doi.org/10.1007/978-3-642-28108-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:196353
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Daniel, Florian. editor. Barkaoui, Kamel. editor. Dustdar, Schahram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28115-0">http://dx.doi.org/10.1007/978-3-642-28115-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196402
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Düsterhöft, Antje. editor. Klettke, Meike. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28279-9">http://dx.doi.org/10.1007/978-3-642-28279-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent-Based Simulation XII International Workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196436
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Villatoro, Daniel. editor. Sabater-Mir, Jordi. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28400-7">http://dx.doi.org/10.1007/978-3-642-28400-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Latent Variable Analysis and Signal Separation 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196475
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Theis, Fabian. editor. Cichocki, Andrzej. editor. Yeredor, Arie. editor. Zibulevsky, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28551-6">http://dx.doi.org/10.1007/978-3-642-28551-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management Concepts, Languages, Architectures
ent://SD_ILS/0/SD_ILS:196490
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28616-2">http://dx.doi.org/10.1007/978-3-642-28616-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196507
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Vanmechelen, Kurt. editor. 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-28675-9">http://dx.doi.org/10.1007/978-3-642-28675-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196518
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Bjørner, Nikolaj. 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-28717-6">http://dx.doi.org/10.1007/978-3-642-28717-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196547
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Sloane, Anthony. editor. Aßmann, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28830-2">http://dx.doi.org/10.1007/978-3-642-28830-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196559
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28891-3">http://dx.doi.org/10.1007/978-3-642-28891-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Management Leadership in an Agile Environment
ent://SD_ILS/0/SD_ILS:196561
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Medinilla, Ángel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28909-5">http://dx.doi.org/10.1007/978-3-642-28909-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relationale Datenbanken und SQL in Theorie und Praxis
ent://SD_ILS/0/SD_ILS:196582
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Unterstein, Michael. author. Matthiessen, Günter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28986-6">http://dx.doi.org/10.1007/978-3-642-28986-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197211
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32347-8">http://dx.doi.org/10.1007/978-3-642-32347-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business System Management and Engineering From Open Issues to Applications
ent://SD_ILS/0/SD_ILS:197218
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Ardagna, Claudio A. editor. Damiani, Ernesto. editor. Maciaszek, Leszek A. editor. Missikoff, Michele. editor. Parkin, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32439-0">http://dx.doi.org/10.1007/978-3-642-32439-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197223
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32469-7">http://dx.doi.org/10.1007/978-3-642-32469-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197293
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Barros, Alistair. editor. Gal, Avigdor. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32885-5">http://dx.doi.org/10.1007/978-3-642-32885-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197302
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Roychoudhury, Abhik. editor. D’Souza, Meenakshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32943-2">http://dx.doi.org/10.1007/978-3-642-32943-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197321
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33119-0">http://dx.doi.org/10.1007/978-3-642-33119-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197323
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Miné, Antoine. 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-33125-1">http://dx.doi.org/10.1007/978-3-642-33125-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197332
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Carvalho Junior, Francisco Heron. editor. Barbosa, Luis Soares. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33182-4">http://dx.doi.org/10.1007/978-3-642-33182-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197336
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33203-6">http://dx.doi.org/10.1007/978-3-642-33203-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197176
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Zsók, Viktória. editor. Horváth, Zoltán. 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-32096-5">http://dx.doi.org/10.1007/978-3-642-32096-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented and Cloud Computing First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197373
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Paoli, Flavio. editor. Pimentel, Ernesto. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33427-6">http://dx.doi.org/10.1007/978-3-642-33427-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Testing in the Cloud Migration and Execution
ent://SD_ILS/0/SD_ILS:197182
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32122-1">http://dx.doi.org/10.1007/978-3-642-32122-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
ent://SD_ILS/0/SD_ILS:197188
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Gibbons, Jeremy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32202-0">http://dx.doi.org/10.1007/978-3-642-32202-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:197390
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33503-7">http://dx.doi.org/10.1007/978-3-642-33503-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197393
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Finkel, Alain. editor. Leroux, Jérôme. 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-33512-9">http://dx.doi.org/10.1007/978-3-642-33512-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197394
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33515-0">http://dx.doi.org/10.1007/978-3-642-33515-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197392
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Su, Chun-Yi. editor. Rakheja, Subhash. editor. Liu, Honghai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33509-9">http://dx.doi.org/10.1007/978-3-642-33509-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:197486
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Schürr, Andy. editor. Varró, Dániel. editor. Varró, Gergely. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34176-2">http://dx.doi.org/10.1007/978-3-642-34176-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197514
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Gill, Andy. editor. Hage, Jurriaan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34407-7">http://dx.doi.org/10.1007/978-3-642-34407-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197548
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Hähnle, Reiner. editor. Knoop, Jens. editor. Margaria, Tiziana. editor. Schreiner, Dietmar. editor. Steffen, Bernhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34781-8">http://dx.doi.org/10.1007/978-3-642-34781-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Information Systems Engineering - WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197563
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Wang, X. Sean. editor. Cruz, Isabel. editor. Delis, Alex. editor. Huang, Guangyan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35063-4">http://dx.doi.org/10.1007/978-3-642-35063-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197574
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Cudré-Mauroux, Philippe. editor. Heflin, Jeff. editor. Sirin, Evren. editor. Tudorache, Tania. editor. Euzenat, Jérôme. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35173-0">http://dx.doi.org/10.1007/978-3-642-35173-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197575
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Cudré-Mauroux, Philippe. editor. Heflin, Jeff. editor. Sirin, Evren. editor. Tudorache, Tania. editor. Euzenat, Jérôme. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35176-1">http://dx.doi.org/10.1007/978-3-642-35176-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197577
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35182-2">http://dx.doi.org/10.1007/978-3-642-35182-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Economics of Grids, Clouds, Systems, and Services 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197578
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Vanmechelen, Kurt. editor. 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-35194-5">http://dx.doi.org/10.1007/978-3-642-35194-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197592
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Hawblitzel, Chris. editor. Miller, Dale. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35308-6">http://dx.doi.org/10.1007/978-3-642-35308-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Energy Von der reaktiven Kundenverwaltung zum proaktiven Kundenmanagement
ent://SD_ILS/0/SD_ILS:198853
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Aichele, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-1981-9">http://dx.doi.org/10.1007/978-3-8348-1981-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs Microsoft Dynamics AX Die Business-Lösung von Microsoft in Version AX 2012
ent://SD_ILS/0/SD_ILS:198872
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Luszczak, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2169-0">http://dx.doi.org/10.1007/978-3-8348-2169-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using Microsoft Dynamics AX 2012
ent://SD_ILS/0/SD_ILS:198876
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Luszczak, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2191-1">http://dx.doi.org/10.1007/978-3-8348-2191-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Einführung in die Programmierung mit LOGO Lehrbuch für Unterricht und Selbststudium
ent://SD_ILS/0/SD_ILS:198898
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Hromkovic, Juraj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2266-6">http://dx.doi.org/10.1007/978-3-8348-2266-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Praktische Informatik - Eine Einführung Lehr- und Arbeitsbuch mit Tafelbildern
ent://SD_ILS/0/SD_ILS:198900
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Büchel, Gregor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2283-3">http://dx.doi.org/10.1007/978-3-8348-2283-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formale Grundlagen der Programmierung
ent://SD_ILS/0/SD_ILS:198901
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Nebel, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2296-3">http://dx.doi.org/10.1007/978-3-8348-2296-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes
ent://SD_ILS/0/SD_ILS:198917
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Storm, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2381-6">http://dx.doi.org/10.1007/978-3-8348-2381-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Webseiten-Programmierung Sprachen, Werkzeuge, Entwicklung
ent://SD_ILS/0/SD_ILS:198934
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Pomaska, Günter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2485-1">http://dx.doi.org/10.1007/978-3-8348-2485-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Anwendungsentwicklung für Intelligente Umgebungen im Web Engineering
ent://SD_ILS/0/SD_ILS:198949
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Heil, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2551-3">http://dx.doi.org/10.1007/978-3-8348-2551-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Praxis der User Interface-Entwicklung Informationsstrukturen, Designpatterns, Vorgehensmuster
ent://SD_ILS/0/SD_ILS:199044
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Chlebek, Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-8219-6">http://dx.doi.org/10.1007/978-3-8348-8219-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testen von Informationssystemen Integriertes und prozessorientiertes Testen
ent://SD_ILS/0/SD_ILS:199184
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Pilorget, Lionel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-8677-4">http://dx.doi.org/10.1007/978-3-8348-8677-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arduino and Kinect Projects Design, Build, Blow Their Minds
ent://SD_ILS/0/SD_ILS:171709
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Melgar, Enrique Ramos. author. Díez, Ciriaco Castro. author. Jaworski, Przemek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4168-3">http://dx.doi.org/10.1007/978-1-4302-4168-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Android ADK with Arduino
ent://SD_ILS/0/SD_ILS:171717
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Böhmer, Mario. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4198-0">http://dx.doi.org/10.1007/978-1-4302-4198-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service Virtualization Reality is Overrated
ent://SD_ILS/0/SD_ILS:171793
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Michelsen, John. author. English, Jason. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4672-5">http://dx.doi.org/10.1007/978-1-4302-4672-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code
ent://SD_ILS/0/SD_ILS:171818
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Blunden, Bill. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5108-8">http://dx.doi.org/10.1007/978-1-4302-5108-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
ent://SD_ILS/0/SD_ILS:168462
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-233-9">http://dx.doi.org/10.1007/978-0-85729-233-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Expert F# 3.0
ent://SD_ILS/0/SD_ILS:171791
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Syme, Don. author. Granicz, Adam. author. Cisternino, Antonio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4651-0">http://dx.doi.org/10.1007/978-1-4302-4651-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Patterns, Programming and Everything
ent://SD_ILS/0/SD_ILS:173429
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Breitman, Karin K. editor. Horspool, R. Nigel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2350-7">http://dx.doi.org/10.1007/978-1-4471-2350-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational Java Key Elements and Practical Programming
ent://SD_ILS/0/SD_ILS:173453
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Parsons, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2479-5">http://dx.doi.org/10.1007/978-1-4471-2479-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Doing Design Ethnography
ent://SD_ILS/0/SD_ILS:173465
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Crabtree, Andrew. author. Rouncefield, Mark. author. Tolmie, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2726-0">http://dx.doi.org/10.1007/978-1-4471-2726-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Scientific Computing in C++
ent://SD_ILS/0/SD_ILS:173468
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2736-9">http://dx.doi.org/10.1007/978-1-4471-2736-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Configuration Problem Solving
ent://SD_ILS/0/SD_ILS:174403
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Petrie, Charles J. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4532-6">http://dx.doi.org/10.1007/978-1-4614-4532-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
User Experience Design Mit erlebniszentrierter Softwareentwicklung zu Produkten, die begeistern
ent://SD_ILS/0/SD_ILS:192311
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Moser, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13363-3">http://dx.doi.org/10.1007/978-3-642-13363-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abgründe der Informatik Geheimnisse und Gemeinheiten
ent://SD_ILS/0/SD_ILS:195199
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Potton, Alois. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22975-6">http://dx.doi.org/10.1007/978-3-642-22975-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Definition and Management
ent://SD_ILS/0/SD_ILS:195592
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24291-5">http://dx.doi.org/10.1007/978-3-642-24291-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
ent://SD_ILS/0/SD_ILS:195898
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-25271-6">http://dx.doi.org/10.1007/978-3-642-25271-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Quality. Process Automation in Software Development 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196129
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Biffl, Stefan. editor. Winkler, Dietmar. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-27213-4">http://dx.doi.org/10.1007/978-3-642-27213-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimentation in Software Engineering
ent://SD_ILS/0/SD_ILS:196596
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29044-2">http://dx.doi.org/10.1007/978-3-642-29044-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
agendaCPS Integrierte Forschungsagenda Cyber-Physical Systems
ent://SD_ILS/0/SD_ILS:196612
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Geisberger, Eva. editor. 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-29099-2">http://dx.doi.org/10.1007/978-3-642-29099-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
S-BPM ONE – Scientific Research 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196622
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author 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-29133-3">http://dx.doi.org/10.1007/978-3-642-29133-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196668
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
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-29320-7">http://dx.doi.org/10.1007/978-3-642-29320-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:196711
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Constable, Robert L. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29485-3">http://dx.doi.org/10.1007/978-3-642-29485-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196745
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Kienzle, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29645-1">http://dx.doi.org/10.1007/978-3-642-29645-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196754
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Clarke, Edmund. 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-29709-0">http://dx.doi.org/10.1007/978-3-642-29709-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196774
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29822-6">http://dx.doi.org/10.1007/978-3-642-29822-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages
ent://SD_ILS/0/SD_ILS:196775
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Henderson-Sellers, Brian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29825-7">http://dx.doi.org/10.1007/978-3-642-29825-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196777
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Carbone, Marco. editor. Petit, Jean-Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29834-9">http://dx.doi.org/10.1007/978-3-642-29834-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196784
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29860-8">http://dx.doi.org/10.1007/978-3-642-29860-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196792
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29892-9">http://dx.doi.org/10.1007/978-3-642-29892-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 13th International Conference, XP 2012, Malmö, Sweden, May 21-25, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196863
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Wohlin, Claes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30350-0">http://dx.doi.org/10.1007/978-3-642-30350-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing
ent://SD_ILS/0/SD_ILS:196875
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
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-30397-5">http://dx.doi.org/10.1007/978-3-642-30397-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196896
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Brucker, Achim D. editor. Julliand, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30473-6">http://dx.doi.org/10.1007/978-3-642-30473-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196932
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30633-4">http://dx.doi.org/10.1007/978-3-642-30633-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196948
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Derrick, John. editor. Gnesi, Stefania. editor. Latella, Diego. editor. Treharne, Helen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30729-4">http://dx.doi.org/10.1007/978-3-642-30729-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz
ent://SD_ILS/0/SD_ILS:196950
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30743-0">http://dx.doi.org/10.1007/978-3-642-30743-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Business Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196951
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Cusumano, Michael A. editor. Iyer, Bala. editor. Venkatraman, N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30746-1">http://dx.doi.org/10.1007/978-3-642-30746-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Impact Analysis of Solutions for Chronic Disease Prevention and Management 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196958
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Donnelly, Mark. editor. Paggetti, Cristiano. editor. Nugent, Chris. editor. Mokhtari, Mounir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30779-9">http://dx.doi.org/10.1007/978-3-642-30779-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
ent://SD_ILS/0/SD_ILS:197000
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30982-3">http://dx.doi.org/10.1007/978-3-642-30982-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings
ent://SD_ILS/0/SD_ILS:197012
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Dieste, Oscar. editor. Jedlitschka, Andreas. editor. Juristo, Natalia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31063-8">http://dx.doi.org/10.1007/978-3-642-31063-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering Workshops CAiSE 2012 International Workshops, Gdańsk, Poland, June 25-26, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197013
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Bajec, Marko. editor. Eder, Johann. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31069-0">http://dx.doi.org/10.1007/978-3-642-31069-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197017
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Ralyté, Jolita. editor. Franch, Xavier. editor. Brinkkemper, Sjaak. editor. Wrycza, Stanislaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31095-9">http://dx.doi.org/10.1007/978-3-642-31095-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197019
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31113-0">http://dx.doi.org/10.1007/978-3-642-31113-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197023
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Haddad, Serge. editor. Pomello, Lucia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31131-4">http://dx.doi.org/10.1007/978-3-642-31131-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197038
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Winkler, Dietmar. editor. O’Connor, Rory V. 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-31199-4">http://dx.doi.org/10.1007/978-3-642-31199-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197039
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31202-1">http://dx.doi.org/10.1007/978-3-642-31202-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197047
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Elmoataz, Abderrahim. editor. Mammass, Driss. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Aboutajdine, Driss. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31254-0">http://dx.doi.org/10.1007/978-3-642-31254-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197063
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197089
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31491-9">http://dx.doi.org/10.1007/978-3-642-31491-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197132
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Brambilla, Marco. editor. Tokuda, Takehiro. editor. Tolksdorf, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31753-8">http://dx.doi.org/10.1007/978-3-642-31753-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197133
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Donaldson, Alastair. editor. Parker, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31759-0">http://dx.doi.org/10.1007/978-3-642-31759-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197134
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Gurov, Dilian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31762-0">http://dx.doi.org/10.1007/978-3-642-31762-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197296
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32897-8">http://dx.doi.org/10.1007/978-3-642-32897-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197154
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Dennis, Louise. editor. Boissier, Olivier. editor. Bordini, Rafael H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31915-0">http://dx.doi.org/10.1007/978-3-642-31915-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Speech, Sound and Music Processing: Embracing Research in India 8th International Symposium, CMMR 2011, 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197165
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Ystad, Sølvi. editor. Aramaki, Mitsuko. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. Mohanty, Sanghamitra. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31980-8">http://dx.doi.org/10.1007/978-3-642-31980-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Collective Intelligence VII
ent://SD_ILS/0/SD_ILS:197174
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32066-8">http://dx.doi.org/10.1007/978-3-642-32066-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197352
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33296-8">http://dx.doi.org/10.1007/978-3-642-33296-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Software Technologies 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197354
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33308-8">http://dx.doi.org/10.1007/978-3-642-33308-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197355
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33314-9">http://dx.doi.org/10.1007/978-3-642-33314-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197363
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33365-1">http://dx.doi.org/10.1007/978-3-642-33365-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197365
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Gollmann, Dieter. editor. Freiling, Felix C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33383-5">http://dx.doi.org/10.1007/978-3-642-33383-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Systems: Long-Term Sustainability 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197374
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Hammouda, Imed. editor. Lundell, Björn. editor. Mikkonen, Tommi. editor. Scacchi, Walt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33442-9">http://dx.doi.org/10.1007/978-3-642-33442-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197191
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author 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-32211-2">http://dx.doi.org/10.1007/978-3-642-32211-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Einführung in die Softwareentwicklung mit C Eine Einführung mit dem Visual Studio 2010
ent://SD_ILS/0/SD_ILS:199053
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Duschl, Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-8239-4">http://dx.doi.org/10.1007/978-3-8348-8239-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Code Generation with Templates
ent://SD_ILS/0/SD_ILS:207042
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Arnoldus, Jeroen. author. van den Brand, Mark. author. Serebrenik, A. author. Brunekreef, J.J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-56-5">http://dx.doi.org/10.2991/978-94-91216-56-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Longitudinal data analysis a practical guide for researchers in aging, health, and social sciences
ent://SD_ILS/0/SD_ILS:259385
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Newsom, Jason T. Jones, Richard N. Hofer, Scott M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203814208">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multilevel modeling of categorical outcomes using IBM SPSS
ent://SD_ILS/0/SD_ILS:262279
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Heck, Ronald H. Thomas, Scott. Tabata, Lynn Naomi.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.tandfebooks.com/isbn/9780203808986">Click here to view</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recht ex machina Formalisierung des Rechts im Internet der Dienste
ent://SD_ILS/0/SD_ILS:193673
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17671-5">http://dx.doi.org/10.1007/978-3-642-17671-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197242
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Auweter, Axel. editor. Kranzlmüller, Dieter. editor. Tahamtan, Amirreza. 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-32606-6">http://dx.doi.org/10.1007/978-3-642-32606-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Security – ESORICS 2012 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197329
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Foresti, Sara. editor. Yung, Moti. editor. Martinelli, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33167-1">http://dx.doi.org/10.1007/978-3-642-33167-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197255
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Dienstfrey, Andrew M. editor. Boisvert, Ronald F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32677-6">http://dx.doi.org/10.1007/978-3-642-32677-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PRIMA 2012: Principles and Practice of Multi-Agent Systems 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197265
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Rahwan, Iyad. editor. Wobcke, Wayne. editor. Sen, Sandip. editor. Sugawara, Toshiharu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32729-2">http://dx.doi.org/10.1007/978-3-642-32729-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197270
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Giannakopoulou, Dimitra. editor. Méry, Dominique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32759-9">http://dx.doi.org/10.1007/978-3-642-32759-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logistics Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197405
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Hu, Hao. editor. Shi, Xiaoning. editor. Stahlbock, Robert. editor. Voß, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33587-7">http://dx.doi.org/10.1007/978-3-642-33587-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197406
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Rinderle-Ma, Stefanie. editor. Dadam, Peter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33606-5">http://dx.doi.org/10.1007/978-3-642-33606-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197407
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Abelló, Alberto. editor. Bellatreche, Ladjel. editor. Benatallah, Boualem. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33609-6">http://dx.doi.org/10.1007/978-3-642-33609-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems: OTM 2012 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197409
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Meersman, Robert. editor. Panetto, Hervé. editor. Dillon, Tharam. editor. Rinderle-Ma, Stefanie. editor. Dadam, Peter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33615-7">http://dx.doi.org/10.1007/978-3-642-33615-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197412
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Gilbert, David. editor. Heiner, Monika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33636-2">http://dx.doi.org/10.1007/978-3-642-33636-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197416
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Ehrig, Hartmut. editor. Engels, Gregor. editor. Kreowski, Hans-Jörg. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33654-6">http://dx.doi.org/10.1007/978-3-642-33654-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Dynamics of Global Sourcing. Perspectives and Practices 6th Global Sourcing Workshop 2012, Courchevel, France, March 12-15, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197446
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Kotlarsky, Julia. editor. Oshri, Ilan. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33920-2">http://dx.doi.org/10.1007/978-3-642-33920-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197454
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Castano, Silvana. editor. Vassiliadis, Panos. editor. Lakshmanan, Laks V. editor. Lee, Mong Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33999-8">http://dx.doi.org/10.1007/978-3-642-33999-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197455
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Atzeni, Paolo. editor. Cheung, David. editor. Ram, Sudha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34002-4">http://dx.doi.org/10.1007/978-3-642-34002-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197456
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Durán, Franciso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34005-5">http://dx.doi.org/10.1007/978-3-642-34005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:197459
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34026-0">http://dx.doi.org/10.1007/978-3-642-34026-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:197460
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197489
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197608
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Bach, Joscha. editor. Goertzel, Ben. editor. Iklé, Matthew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35506-6">http://dx.doi.org/10.1007/978-3-642-35506-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development IX
ent://SD_ILS/0/SD_ILS:197616
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35551-6">http://dx.doi.org/10.1007/978-3-642-35551-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197633
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Arbab, Farhad. editor. Ö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-35743-5">http://dx.doi.org/10.1007/978-3-642-35743-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:197634
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35746-6">http://dx.doi.org/10.1007/978-3-642-35746-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product Lifecycle Management. Towards Knowledge-Rich Enterprises IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197637
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Rivest, Louis. editor. Bouras, Abdelaziz. editor. Louhichi, Borhen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35758-9">http://dx.doi.org/10.1007/978-3-642-35758-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Systems Traceability
ent://SD_ILS/0/SD_ILS:173397
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2239-5">http://dx.doi.org/10.1007/978-1-4471-2239-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Software Development Designing and Managing the Life Cycle
ent://SD_ILS/0/SD_ILS:173413
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Langer, Arthur M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2300-2">http://dx.doi.org/10.1007/978-1-4471-2300-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
ent://SD_ILS/0/SD_ILS:203980
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54216-2">http://dx.doi.org/10.1007/978-4-431-54216-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Flexible imputation of missing data
ent://SD_ILS/0/SD_ILS:539608
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Buuren, Stef van., author.<br/>Preferred Shelf Number QA278 .B88 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439868256">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Advances in Cognitive Engineering and Neuroergonomics
ent://SD_ILS/0/SD_ILS:547621
2025-12-24T10:12:48Z
2025-12-24T10:12:48Z
Author Stanney, Kay M., editor. Hale, Kelly S., editor. Taylor and Francis.<br/>Preferred Shelf Number QP360.7 A383 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439870174">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>