Search Results for Software. - Narrowed by: 2009

Software project management

2026-01-17T08:20:44Z

Author Hughes, Bob. Cotterell, Mike.
Preferred Shelf Number QA76.76 H84 2009
Format: Books
Availability Beytepe Library~1

Geomorphometry concepts, software, applications

2026-01-17T08:20:44Z

Author Hengl, Tomislav. Reuter, Hannes I.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123743459
Format: Electronic Resources
Availability Online Library~1

Software-Entwicklung für Echtzeitsysteme

2026-01-17T08:20:44Z

Author Benra, Juliane T. editor. Halang, Wolfgang A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01596-0
Format: Electronic Resources
Availability Online Library~1

Architecting secure software systems

2026-01-17T08:20:44Z

Author Talukder, Asoke K., author. Chaitanya, Manish.
Preferred Shelf Number QA76.9 .A25 T34 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Enterprise-scale agile software development

2026-01-17T08:20:44Z

Author Schiel, James., author.
Preferred Shelf Number QA76.76 .D47 S2957 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook of software engineering & knowledge engineering

2026-01-17T08:20:44Z

Author Chang, Shi Kuo, 1944- ed.
Preferred Shelf Number QA 76.758 H36 2001- V.2
Format: Books
Availability Beytepe Library~1

Managing and leading software projects

2026-01-17T08:20:44Z

Author Fairley, R. E. (Richard E.), 1937- IEEE Computer Society.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

Systems and software engineering with applications

2026-01-17T08:20:44Z

Author Schneidewind, Norman.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539 IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539
Format: Electronic Resources
Availability Online Library~1

Optimierungssysteme Modelle, Verfahren, Software, Anwendungen

2026-01-17T08:20:44Z

Author Mellouli, Taieb. author. Suhl, Leena. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01580-9
Format: Electronic Resources
Availability Online Library~1

Software-Architektur kompakt – angemessen und zielorientiert

2026-01-17T08:20:44Z

Author Starke, Gernot. author. Hruschka, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8274-2205-7
Format: Electronic Resources
Availability Online Library~1

Software-Architektur Grundlagen — Konzepte — Praxis

2026-01-17T08:20:44Z

Author Vogel, Oliver. author. Arnold, Ingo. author. Chughtai, Arif. author. Ihler, Edmund. author. Kehrer, Timo. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8274-2267-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems

2026-01-17T08:20:44Z

Author Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02161-9
Format: Electronic Resources
Availability Online Library~1

Software performance and scalability a quantitative approach

2026-01-17T08:20:44Z

Author Liu, Henry H. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Books24x7 http://www.books24x7.com/marc.asp?bookid=33731 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=448916 John Wiley http://dx.doi.org/10.1002/9780470465394 Safari Books Online http://proquest.safaribooksonline.com/?fpi=9780470462539 MyiLibrary, Table of contents http://www.myilibrary.com?id=223744&ref=toc
Format: Electronic Resources
Availability Online Library~1

Abnahme komplexer Software-Systeme Das Praxishandbuch

2026-01-17T08:20:44Z

Author Osterhage, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68230-1
Format: Electronic Resources
Availability Online Library~1

Embedded Software Development with C

2026-01-17T08:20:44Z

Author Qian, Kai. author. Den Haring, David. author. Cao, Li. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0606-9
Format: Electronic Resources
Availability Online Library~1

Artificial Life Models in Software

2026-01-17T08:20:44Z

Author Komosinski, Maciej. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-285-6
Format: Electronic Resources
Availability Online Library~1

Guide to Graphics Software Tools

2026-01-17T08:20:44Z

Author Chen, Jim X. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-901-1
Format: Electronic Resources
Availability Online Library~1

Hardware-dependent Software Principles and Practice

2026-01-17T08:20:44Z

Author Ecker, Wolfgang. editor. Müller, Wolfgang. editor. Dömer, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9436-1
Format: Electronic Resources
Availability Online Library~1

Expressive processing digital fictions, computer games, and software studies

2026-01-17T08:20:44Z

Author Wardrip-Fruin, Noah.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267550
Format: Electronic Resources
Availability Online Library~1

Experience and Knowledge Management in Software Engineering

2026-01-17T08:20:44Z

Author Schneider, Kurt. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-95880-2
Format: Electronic Resources
Availability Online Library~1

An Approach to Modelling Software Evolution Processes

2026-01-17T08:20:44Z

Author Li, Tong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79464-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development V

2026-01-17T08:20:44Z

Author Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02059-9
Format: Electronic Resources
Availability Online Library~1

Software Architecture Knowledge Management Theory and Practice

2026-01-17T08:20:44Z

Author Ali Babar, Muhammad. editor. Dingsøyr, Torgeir. editor. Lago, Patricia. editor. van Vliet, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02374-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research, Management and Applications 2009

2026-01-17T08:20:44Z

Author Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05441-9
Format: Electronic Resources
Availability Online Library~1

Software error detection through testing and analysis

2026-01-17T08:20:44Z

Author Huang, J. C., 1935-
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=456102 John Wiley http://dx.doi.org/10.1002/9780470464076 MyiLibrary, Table of contents http://www.myilibrary.com?id=227967&ref=toc http://site.ebrary.com/lib/alltitles/Doc?id=10332960 http://swb.eblib.com/patron/FullRecord.aspx?p=456102
Format: Electronic Resources
Availability Online Library~1

MIS cases : decision making with application software

2026-01-17T08:20:44Z

Author Miller, M. Lisa.
Preferred Shelf Number HD30.23 M55 2009
Format: Books
Availability Beytepe Library~1

Directory of library automation software, systems, and services.

2026-01-17T08:20:44Z

Author Cibbarelli, Pamela R., ed. Information Today, Inc.
Preferred Shelf Number Z678.9.A3 D6
Format: Books
Availability Beytepe Library~1

Software and Data Technologies Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers

2026-01-17T08:20:44Z

Author Filipe, Joaquim. editor. Shishkov, Boris. editor. Helfert, Markus. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88655-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures

2026-01-17T08:20:44Z

Author Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-95888-8
Format: Electronic Resources
Availability Online Library~1

The Rubato Composer Music Software Component-Based Implementation of a Functorial Concept Architecture

2026-01-17T08:20:44Z

Author Milmeister, Gérard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00148-2
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers

2026-01-17T08:20:44Z

Author Gašević, Dragan. editor. Lämmel, Ralf. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00434-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-01-17T08:20:44Z

Author Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00590-9
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-01-17T08:20:44Z

Author Chechik, Marsha. editor. Wirsing, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00593-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-01-17T08:20:44Z

Author Alfaro, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00596-1
Format: Electronic Resources
Availability Online Library~1

Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers

2026-01-17T08:20:44Z

Author Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01338-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

2026-01-17T08:20:44Z

Author Gotel, Olly. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02987-5
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

2026-01-17T08:20:44Z

Author Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05031-2
Format: Electronic Resources
Availability Online Library~1

Software and Data Technologies Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers

2026-01-17T08:20:44Z

Author Cordeiro, José. editor. Shishkov, Boris. editor. Ranchordas, AlpeshKumar. editor. Helfert, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05201-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

2026-01-17T08:20:44Z

Author Breitman, Karin. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10373-5
Format: Electronic Resources
Availability Online Library~1

Informatik in der Medizintechnik Grundlagen — Software — Computergestützte Systeme

2026-01-17T08:20:44Z

Author Zauner, Martin. author. Schrempf, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-211-89189-6
Format: Electronic Resources
Availability Online Library~1

Models in Software Engineering Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers

2026-01-17T08:20:44Z

Author Chaudron, Michel R. V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01648-6
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

2026-01-17T08:20:44Z

Author Chockler, Hana. editor. Hu, Alan J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01702-5
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings

2026-01-17T08:20:44Z

Author Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Maurer, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01853-4
Format: Electronic Resources
Availability Online Library~1

Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers

2026-01-17T08:20:44Z

Author Berkling, Kay. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01856-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

2026-01-17T08:20:44Z

Author Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01918-0
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings

2026-01-17T08:20:44Z

Author Kordon, Fabrice. editor. Kermarrec, Yvon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01924-1
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings

2026-01-17T08:20:44Z

Author Glinz, Martin. editor. Heymans, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02050-6
Format: Electronic Resources
Availability Online Library~1

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2026-01-17T08:20:44Z

Author Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02351-4
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2026-01-17T08:20:44Z

Author Lewis, Grace A. editor. Poernomo, Iman. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02414-6
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

2026-01-17T08:20:44Z

Author Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02652-2
Format: Electronic Resources
Availability Online Library~1

Software Composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

2026-01-17T08:20:44Z

Author Bergel, Alexandre. editor. Fabry, Johan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02655-3
Format: Electronic Resources
Availability Online Library~1

Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures

2026-01-17T08:20:44Z

Author Bove, Ana. editor. Barbosa, Luís Soares. editor. Pardo, Alberto. editor. Pinto, Jorge Sousa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03153-3
Format: Electronic Resources
Availability Online Library~1

Fast Software Encryption 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers

2026-01-17T08:20:44Z

Author Dunkelman, Orr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03317-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering

2026-01-17T08:20:44Z

Author Katz, Shmuel. editor. Ossher, Harold. editor. France, Robert. editor. Jézéquel, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03764-1
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings

2026-01-17T08:20:44Z

Author O’Connor, Rory V. editor. Baddoo, Nathan. editor. Cuadrago Gallego, Juan. editor. Rejas Muslera, Ricardo. editor. Smolander, Kari. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04133-4
Format: Electronic Resources
Availability Online Library~1

Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings

2026-01-17T08:20:44Z

Author Edwards, Stephen H. editor. Kulczycki, Gregory. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04211-9
Format: Electronic Resources
Availability Online Library~1

Software Services for e-Business and e-Society 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009. Proceedings

2026-01-17T08:20:44Z

Author Godart, Claude. editor. Gronau, Norbert. editor. Sharma, Sushil. editor. Canals, Gérôme. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04280-5
Format: Electronic Resources
Availability Online Library~1

Software-intensive verteilte Echtzeitsysteme Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 19. und 20. November 2009

2026-01-17T08:20:44Z

Author Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04783-1
Format: Electronic Resources
Availability Online Library~1

Advances in Software Engineering International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

2026-01-17T08:20:44Z

Author Kim, Tai-hoon. editor. Fang, Wai-Chi. editor. Lee, Changhoon. editor. Arnett, Kirk P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10242-4
Format: Electronic Resources
Availability Online Library~1

Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings

2026-01-17T08:20:44Z

Author Lee, Sunggu. editor. Narasimhan, Priya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10265-3
Format: Electronic Resources
Availability Online Library~1

Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

2026-01-17T08:20:44Z

Author Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. Jiang, Tao. editor. Verner, June. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10619-4
Format: Electronic Resources
Availability Online Library~1

Software-Qualität Testen, Analysieren und Verifizieren von Software

2026-01-17T08:20:44Z

Author Liggesmeyer, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8274-2203-3
Format: Electronic Resources
Availability Online Library~1

Grundkurs Software-Engineering mit UML Der pragmatische Weg zu erfolgreichen Softwareprojekten

2026-01-17T08:20:44Z

Author Kleuker, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9235-5
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

2026-01-17T08:20:44Z

Author Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00199-4
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-01-17T08:20:44Z

Author Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00768-2
Format: Electronic Resources
Availability Online Library~1

Ocean Modelling for Beginners Using Open-Source Software

2026-01-17T08:20:44Z

Author Kämpf, Jochen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00820-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2026-01-17T08:20:44Z

Author Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01203-7
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-01-17T08:20:44Z

Author Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00722-4
Format: Electronic Resources
Availability Online Library~1

Trustworthy Software Development Processes International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings

2026-01-17T08:20:44Z

Author Wang, Qing. editor. Garousi, Vahid. editor. Madachy, Raymond. editor. Pfahl, Dietmar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01680-6
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 10th International Conference, PROFES 2009, Oulu, Finland, June 15-17, 2009. Proceedings

2026-01-17T08:20:44Z

Author Bomarius, Frank. editor. Oivo, Markku. editor. Jaring, Päivi. editor. Abrahamsson, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02152-7
Format: Electronic Resources
Availability Online Library~1

Software Process and Product Measurement International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings

2026-01-17T08:20:44Z

Author Abran, Alain. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Cuadrado-Gallego, Juan J. editor. Brunekreef, Jacob. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05415-0
Format: Electronic Resources
Availability Online Library~1

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

2026-01-17T08:20:44Z

Author Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11447-2
Format: Electronic Resources
Availability Online Library~1

The fabric of mobile services software paradigms and business demands

2026-01-17T08:20:44Z

Author Loeb, Shoshana. Falchuk, Benjamin. Panagos, Euthimios. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470478240 http://site.ebrary.com/lib/alltitles/Doc?id=10332947 Books24x7 http://www.books24x7.com/marc.asp?bookid=33732
Format: Electronic Resources
Availability Online Library~1

Requirements engineering : from system goals to UML models to software specifications

2026-01-17T08:20:44Z

Author Lamsweerde, A. van (Axel)
Preferred Shelf Number QA76.758 L28 2009
Format: Books
Availability Beytepe Library~1

Advanced Imaging in Biology and Medicine Technology, Software Environments, Applications

2026-01-17T08:20:44Z

Author Sensen, Christoph W. editor. Hallgrímsson, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68993-5
Format: Electronic Resources
Availability Online Library~1

Vertical Software Industry Evolution Analysis of Telecom Operator Software

2026-01-17T08:20:44Z

Author Tyrväinen, Pasi. editor. Mazhelis, Oleksiy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7908-2352-3
Format: Electronic Resources
Availability Online Library~1

Machine learning for spatial environmental data : theory, applications and software

2026-01-17T08:20:44Z

Author Kanevski, Mikhail., author. Pozdnoukhov, Alexei. Timonin, Vadim.
Preferred Shelf Number Q325.5 .K36 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Architecting software intensive systems : a practitioner's guide

2026-01-17T08:20:44Z

Author Lattanze, Anthony J., author.
Preferred Shelf Number QA76.758 .L3285 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Security software development : assessing and managing security risks

2026-01-17T08:20:44Z

Author Ashbaugh, Douglas A., author.
Preferred Shelf Number QA76.9 .A25 A8246 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Energy efficient hardware-software co-synthesis using reconfigurable hardware

2026-01-17T08:20:44Z

Author Ou, Jingzhao., author. Prasanna Kumar, V. K.
Preferred Shelf Number TK7895 .G36 O94 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Modelling systems : practical tools and techniques in software development

2026-01-17T08:20:44Z

Author Fitzgerald, John, 1965- author. Larsen, P. G. (Peter Gorm), 1964- author.
Preferred Shelf Number QA76.76 .D47 F59 2009
Electronic Access https://doi.org/10.1017/CBO9780511626975
Format: Electronic Resources
Availability Online Library~1

Beyindeki beyaz cevher lezyonlarının otomatik belirlenmesi için bir yazılımın tasarım ve gerçekleştirimi = Design and implementation of a software for automatic detection of white matter lesions in brain

2026-01-17T08:20:44Z

Author Keçeli, Ali Seydi.
Preferred Shelf Number TEZ/8996 .K43 2009
Format: Books
Availability Beytepe Library~1

RF and digital signal processing for software-defined radio : a multi-standard multi-mode approach

2026-01-17T08:20:44Z

Author Rouphael, Tony J.
Preferred Shelf Number TK5103.4875 R68 2009
Format: Books
Availability Beytepe Library~1

Hardware Software Co-Design of a Multimedia SOC Platform

2026-01-17T08:20:44Z

Author Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: Electronic Resources
Availability Online Library~1

Adoption-centric Usability Engineering Systematic Deployment, Assessment and Improvement of Usability Methods in Software Engineering

2026-01-17T08:20:44Z

Author Seffah, Ahmed. editor. Metzker, Eduard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-019-3
Format: Electronic Resources
Availability Online Library~1

Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI

2026-01-17T08:20:44Z

Author Seffah, Ahmed. editor. Vanderdonckt, Jean. editor. Desmarais, Michel C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-907-3
Format: Electronic Resources
Availability Online Library~1

Software Verification and Analysis An Integrated, Hands-On Approach

2026-01-17T08:20:44Z

Author Stanley, William. author. Laski, Janusz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-240-5
Format: Electronic Resources
Availability Online Library~1

Ada for Software Engineers (Second Edition with Ada 2005)

2026-01-17T08:20:44Z

Author Ben-Ari, Mordechai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-314-3
Format: Electronic Resources
Availability Online Library~1

Moderne Eignungsbeurteilung mit der DIN 33430 Mit einer Software zur computergestützten Konformitätsprüfung und einem Originalabdruck der DIN 33430

2026-01-17T08:20:44Z

Author Reimann, Gerd. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-531-91829-7
Format: Electronic Resources
Availability Online Library~1

RF and digital signal processing for software-defined radio a multi-standard multi-mode approach

2026-01-17T08:20:44Z

Author Rouphael, Tony J.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750682107
Format: Electronic Resources
Availability Online Library~1

Green Software Defined Radios Enabling seamless connectivity while saving on hardware and energy

2026-01-17T08:20:44Z

Author Perre, Liesbet Van der. author. Craninckx, Jan. author. Dejonghe, Antoine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8212-2
Format: Electronic Resources
Availability Online Library~1

Software Product Management and Pricing Key Success Factors for Software Organizations

2026-01-17T08:20:44Z

Author Kittlaus, Hans-Bernd. author. Clough, Peter N. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76987-3
Format: Electronic Resources
Availability Online Library~1

Computer organization and design : the hardware/software interface

2026-01-17T08:20:44Z

Author Hennessy, John L. Patterson, David A., ort. yaz.
Preferred Shelf Number QA76.9.C643 H46 2009
Format: Books
Availability Beytepe Library~2

The C programming language

2026-01-17T08:20:44Z

Author Kernighan, Brian W. Ritchie, Dennis M.
Preferred Shelf Number QA76.73.C15 K47 2009
Format: Books
Availability Beytepe Library~1

Advanced Agent-Based Environmental Management Systems

2026-01-17T08:20:44Z

Author Cortés, Ulises. editor. Poch, Manel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8900-0
Format: Electronic Resources
Availability Online Library~1

Windows 7 just the steps for dummies

2026-01-17T08:20:44Z

Author Muir, Nancy, 1954-
Preferred Shelf Number ONLINE
Electronic Access Click for information on Adobe Digital Editions version Click for information on Adobe Digital Editions version Click for information on Mobipocket Reader version Wiley InterScience An electronic book accessible through the World Wide Web; click for information Image http://images.contentreserve.com/ImageType-100/0128-1/{1865C98C-939A-45E6-AC30-F500574831A6}Img100.jpg
Format: Electronic Resources
Availability Online Library~1

Information security management handbook

2026-01-17T08:20:44Z

Author Tipton, Harold F. Krause, Micki.
Preferred Shelf Number QA76.9 .A25 I54165 2003
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Information security management handbook

2026-01-17T08:20:44Z

Author Tipton, Harold F. Nozaki, Micki Krause.
Preferred Shelf Number QA76.9 .A25 I54165 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

PowerBuilder : PowerScript reference, version 6.

2026-01-17T08:20:44Z

Preferred Shelf Number QA 76.76.A65 P871 1991-97 V.2
Format: Books
Availability Beytepe Library~1

Modern regression techniques using R : a practical guide for students and researchers

2026-01-17T08:20:44Z

Author Wright, Daniel B. London, Kamala.
Preferred Shelf Number QA278.2 W735 2009
Format: Books
Availability Beytepe Library~1

Constructive dialogue modelling speech interaction and rational agents

2026-01-17T08:20:44Z

Author Jokinen, Kristiina. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470511275 MyiLibrary, Table of contents http://www.myilibrary.com?id=218857&ref=toc http://site.ebrary.com/lib/alltitles/Doc?id=10310622
Format: Electronic Resources
Availability Online Library~1

Trust theory

2026-01-17T08:20:44Z

Author Castelfranchi, Cristiano. Falcone, Rino. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470519851
Format: Electronic Resources
Availability Online Library~1

UML 2 semantics and applications

2026-01-17T08:20:44Z

Author Lano, K.
Preferred Shelf Number ONLINE
Electronic Access Books24x7 http://www.books24x7.com/marc.asp?bookid=33734 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=711732 John Wiley http://dx.doi.org/10.1002/9780470522622
Format: Electronic Resources
Availability Online Library~1

Cognitive radio and dynamic spectrum access

2026-01-17T08:20:44Z

Author Berlemann, Lars. Mangold, Stefan. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=454356 John Wiley http://dx.doi.org/10.1002/9780470754429 http://site.ebrary.com/lib/alltitles/Doc?id=10317801
Format: Electronic Resources
Availability Online Library~1

Advances in Modeling Agricultural Systems

2026-01-17T08:20:44Z

Author Pardalos, Panos M. editor. Papajorgji, Petraq J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75181-8
Format: Electronic Resources
Availability Online Library~1

The China Information Technology Handbook

2026-01-17T08:20:44Z

Author Ordóñez de Pablos, Patricia. editor. Lytras, Miltiadis D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-77743-6
Format: Electronic Resources
Availability Online Library~1

Web 2.0 The Business Model

2026-01-17T08:20:44Z

Author Lytras, Miltiadis D. editor. Damiani, Ernesto. editor. Ordóñez de Pablos, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-85895-1
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice VI

2026-01-17T08:20:44Z

Author Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-87623-8
Format: Electronic Resources
Availability Online Library~1

High Assurance Services Computing

2026-01-17T08:20:44Z

Author Zhang, Liang-Jie. editor. Paul, Raymond. editor. Dong, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-87658-0
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA

2026-01-17T08:20:44Z

Author Hasler, Paul. editor. Mooney, Vincent. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-89558-1
Format: Electronic Resources
Availability Online Library~1

Electronics System Design Techniques for Safety Critical Applications

2026-01-17T08:20:44Z

Author Sterpone, Luca. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8979-4
Format: Electronic Resources
Availability Online Library~1

Embedded Linux Das Praxisbuch

2026-01-17T08:20:44Z

Author Dillmann, Rüdiger. author. Gockel, Tilo. author. Schröder, Joachim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78620-7
Format: Electronic Resources
Availability Online Library~1

Bio-inspired Algorithms for the Vehicle Routing Problem

2026-01-17T08:20:44Z

Author Pereira, Francisco Babtista. editor. Tavares, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85152-3
Format: Electronic Resources
Availability Online Library~1

Geschäftsprozessmanagement

2026-01-17T08:20:44Z

Author Becker, Jörg. author. Mathas, Christoph. author. Winkelmann, Axel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85155-4
Format: Electronic Resources
Availability Online Library~1

Enterprise Architecture Creating Value by Informed Governance

2026-01-17T08:20:44Z

Author Op ’t Land, Martin. author. Proper, Erik. author. Waage, Maarten. author. Cloo, Jeroen. author. Steghuis, Claudia. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85232-2
Format: Electronic Resources
Availability Online Library~1

Genetic Algorithms for Applied CAD Problems

2026-01-17T08:20:44Z

Author Kureichik, Viktor M. author. Malioukov, Sergey P. author. Kureichik, Vladimir V. author. Malioukov, Alexander S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85281-0
Format: Electronic Resources
Availability Online Library~1

Aktuelle Anwendungen in Technik und Wirtschaft Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 27. und 28. November 2008

2026-01-17T08:20:44Z

Author Halang, Wolfgang A. editor. Holleczek, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85324-4
Format: Electronic Resources
Availability Online Library~1

Algorithmic Adventures From Knowledge to Magic

2026-01-17T08:20:44Z

Author Hromkovic, Juraj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85986-4
Format: Electronic Resources
Availability Online Library~1

Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers

2026-01-17T08:20:44Z

Author Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88713-3
Format: Electronic Resources
Availability Online Library~1

A Generative Theory of Relevance

2026-01-17T08:20:44Z

Author Lavrenko, Victor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89364-6
Format: Electronic Resources
Availability Online Library~1

Konzepte objektorientierter Programmierung Mit einer Einführung in Java

2026-01-17T08:20:44Z

Author Poetzsch-Heffter, Arnd. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89471-1
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Uncertain Programming

2026-01-17T08:20:44Z

Author Liu, Baoding. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89484-1
Format: Electronic Resources
Availability Online Library~1

Middleware for Network Eccentric and Mobile Applications

2026-01-17T08:20:44Z

Author Garbinato, Benoît. editor. Miranda, Hugo. editor. Rodrigues, Luís. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89707-1
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings

2026-01-17T08:20:44Z

Author Parashar, Manish. editor. Aggarwal, Sanjeev K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89737-8
Format: Electronic Resources
Availability Online Library~1

Touch of Class Learning to Program Well with Objects and Contracts

2026-01-17T08:20:44Z

Author Meyer, Bertrand. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92145-5
Format: Electronic Resources
Availability Online Library~1

QVT - Relations Language Modellierung mit der Query Views Transformation

2026-01-17T08:20:44Z

Author Nolte, Siegfried. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92171-4
Format: Electronic Resources
Availability Online Library~1

Engineering Web Applications

2026-01-17T08:20:44Z

Author Casteleyn, Sven. author. Daniel, Florian. author. Dolog, Peter. author. Matera, Maristella. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92201-8
Format: Electronic Resources
Availability Online Library~1

Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008 Revised Selected Papers

2026-01-17T08:20:44Z

Author Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92219-3
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings

2026-01-17T08:20:44Z

Author Garg, Vijay. editor. Wattenhofer, Roger. editor. Kothapalli, Kishore. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92295-7
Format: Electronic Resources
Availability Online Library~1

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

2026-01-17T08:20:44Z

Author Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92701-3
Format: Electronic Resources
Availability Online Library~1

Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers

2026-01-17T08:20:44Z

Author Lyytinen, Kalle. editor. Loucopoulos, Pericles. editor. Mylopoulos, John. editor. Robinson, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92966-6
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

2026-01-17T08:20:44Z

Author Jones, Neil D. editor. Müller-Olm, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-93900-9
Format: Electronic Resources
Availability Online Library~1

Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

2026-01-17T08:20:44Z

Author Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-93920-7
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers

2026-01-17T08:20:44Z

Author Bampis, Evripidis. editor. Skutella, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-93980-1
Format: Electronic Resources
Availability Online Library~1

Algorithms and Models for the Web-Graph 6th International Workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009. Proceedings

2026-01-17T08:20:44Z

Author Avrachenkov, Konstantin. editor. Donato, Debora. editor. Litvak, Nelly. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-95995-3
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering and Ontology Development

2026-01-17T08:20:44Z

Author Deved¿ic, Vladan. author. Djuric, Dragan. author. Ga¿evic, Dragan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00282-3
Format: Electronic Resources
Availability Online Library~1

Information Security Applications 9th International Workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, Revised Selected Papers

2026-01-17T08:20:44Z

Author Chung, Kyo-Il. editor. Sohn, Kiwook. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00306-6
Format: Electronic Resources
Availability Online Library~1

Business Process Management Workshops BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers

2026-01-17T08:20:44Z

Author Ardagna, Danilo. editor. Mecella, Massimo. editor. Yang, Jian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00328-8
Format: Electronic Resources
Availability Online Library~1

Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers

2026-01-17T08:20:44Z

Author Altman, Eitan. editor. Chaintreau, Augustin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00393-6
Format: Electronic Resources
Availability Online Library~1

Information Systems, Technology and Management Third International Conference, ICISTM 2009, Ghaziabad, India, March 12-13, 2009. Proceedings

2026-01-17T08:20:44Z

Author Prasad, Sushil K. editor. Routray, Susmi. editor. Khurana, Reema. editor. Sahni, Sartaj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00405-6
Format: Electronic Resources
Availability Online Library~1

End-User Development 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings

2026-01-17T08:20:44Z

Author Pipek, Volkmar. editor. Rosson, Mary Beth. editor. Ruyter, Boris. editor. Wulf, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00427-8
Format: Electronic Resources
Availability Online Library~1

Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

2026-01-17T08:20:44Z

Author Peled, Doron A. editor. Wooldridge, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00431-5
Format: Electronic Resources
Availability Online Library~1

Human Machine Interaction Research Results of the MMI Program

2026-01-17T08:20:44Z

Author Lalanne, Denis. editor. Kohlas, Jürg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00437-7
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2009 22nd International Conference, Delft, The Netherlands, March 10-13, 2009. Proceedings

2026-01-17T08:20:44Z

Author Berekovic, Mladen. editor. Müller-Schloer, Christian. editor. Hochberger, Christian. editor. Wong, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00454-4
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings

2026-01-17T08:20:44Z

Author Reingold, Omer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00457-5
Format: Electronic Resources
Availability Online Library~1

Numerical Analysis and Its Applications 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers

2026-01-17T08:20:44Z

Author Margenov, Svetozar. editor. Vulkov, Lubin G. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00464-3
Format: Electronic Resources
Availability Online Library~1

Public Key Cryptography – PKC 2009 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings

2026-01-17T08:20:44Z

Author Jarecki, Stanisław. editor. Tsudik, Gene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00468-1
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

2026-01-17T08:20:44Z

Author Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00515-2
Format: Electronic Resources
Availability Online Library~1

Trusted Computing Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings.

2026-01-17T08:20:44Z

Author Chen, Liqun. editor. Mitchell, Chris J. editor. Martin, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00587-9
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

2026-01-17T08:20:44Z

Author Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00602-9
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2009 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings

2026-01-17T08:20:44Z

Author Joux, Antoine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01001-9
Format: Electronic Resources
Availability Online Library~1

Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

2026-01-17T08:20:44Z

Author Bruni, Roberto. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01364-5
Format: Electronic Resources
Availability Online Library~1

Model Driven Architecture - Foundations and Applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings

2026-01-17T08:20:44Z

Author Paige, Richard F. editor. Hartman, Alan. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02674-4
Format: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings

2026-01-17T08:20:44Z

Author Tai, Xue-Cheng. editor. Mørken, Knut. editor. Lysaker, Marius. editor. Lie, Knut-Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02256-2
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

2026-01-17T08:20:44Z

Author Ono, Hiroakira. editor. Kanazawa, Makoto. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02261-6
Format: Electronic Resources
Availability Online Library~1

Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I

2026-01-17T08:20:44Z

Author Mira, José. editor. Ferrández, José Manuel. editor. Álvarez, José R. editor. Paz, Félix. editor. Toledo, F. Javier. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02264-7
Format: Electronic Resources
Availability Online Library~1

Bioinspired Applications in Artificial and Natural Computation Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part II

2026-01-17T08:20:44Z

Author Mira, José. editor. Ferrández, José Manuel. editor. Álvarez, José R. editor. Paz, Félix. editor. Toledo, F. Javier. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02267-8
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings

2026-01-17T08:20:44Z

Author Deng, Xiaotie. editor. Hopcroft, John E. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02270-8
Format: Electronic Resources
Availability Online Library~1

GeoSensor Networks Third International Conference, GSN 2009, Oxford, UK, July 13-14, 2009. Proceedings

2026-01-17T08:20:44Z

Author Trigoni, Niki. editor. Markham, Andrew. editor. Nawaz, Sarfraz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02903-5
Format: Electronic Resources
Availability Online Library~1

RoboCup 2008: Robot Soccer World Cup XII

2026-01-17T08:20:44Z

Author Iocchi, Luca. editor. Matsubara, Hitoshi. editor. Weitzenfeld, Alfredo. editor. Zhou, Changjiu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02921-9
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings

2026-01-17T08:20:44Z

Author Bradley, Jeremy T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02924-0
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I

2026-01-17T08:20:44Z

Author Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02927-1
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

2026-01-17T08:20:44Z

Author Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02930-1
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

2026-01-17T08:20:44Z

Author Dubois, Catherine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02949-3
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings

2026-01-17T08:20:44Z

Author Maneth, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02979-0
Format: Electronic Resources
Availability Online Library~1

Data and Applications Security XXIII 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009. Proceedings

2026-01-17T08:20:44Z

Author Gudes, Ehud. editor. Vaidya, Jaideep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03007-9
Format: Electronic Resources
Availability Online Library~1

ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings

2026-01-17T08:20:44Z

Author Drossopoulou, Sophia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03013-0
Format: Electronic Resources
Availability Online Library~1

SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings

2026-01-17T08:20:44Z

Author Reed, Rick. editor. Bilgic, Attila. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04554-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

2026-01-17T08:20:44Z

Author Alpuente, María. editor. Cook, Byron. editor. Joubert, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04570-7
Format: Electronic Resources
Availability Online Library~1

Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

2026-01-17T08:20:44Z

Author Gibbons, Jeremy. editor. Oliveira, José Nuno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04912-5
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics 6th International Workshop, HM 2009, Udine, Italy, October 16-17, 2009. Proceedings

2026-01-17T08:20:44Z

Author Blesa, María J. editor. Blum, Christian. editor. Gaspero, Luca. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04918-7
Format: Electronic Resources
Availability Online Library~1

Adaptive and Natural Computing Algorithms 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers

2026-01-17T08:20:44Z

Author Kolehmainen, Mikko. editor. Toivanen, Pekka. editor. Beliczynski, Bartlomiej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04921-7
Format: Electronic Resources
Availability Online Library~1

Next Generation Information Technologies and Systems 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers

2026-01-17T08:20:44Z

Author Feldman, Yishai A. editor. Kraft, Donald. editor. Kuflik, Tsvi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04941-5
Format: Electronic Resources
Availability Online Library~1

Stochastic Algorithms: Foundations and Applications 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings

2026-01-17T08:20:44Z

Author Watanabe, Osamu. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04944-6
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling - Challenging Perspectives ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings

2026-01-17T08:20:44Z

Author Heuser, Carlos Alberto. editor. Pernul, Günther. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04947-7
Format: Electronic Resources
Availability Online Library~1

Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

2026-01-17T08:20:44Z

Author Governatori, Guido. editor. Hall, John. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04985-9
Format: Electronic Resources
Availability Online Library~1

Modelling Autonomic Communications Environments Fourth IEEE International Workshop, MACE 2009, Venice, Italy, October 26-27, 2009. Proceedings

2026-01-17T08:20:44Z

Author Strassner, John C. editor. Ghamri-Doudane, Yacine M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05006-0
Format: Electronic Resources
Availability Online Library~1

Visual Informatics: Bridging Research and Practice First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November 11-13, 2009 Proceedings

2026-01-17T08:20:44Z

Author Badioze Zaman, Halimah. editor. Robinson, Peter. editor. Petrou, Maria. editor. Olivier, Patrick. editor. Schröder, Heiko. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05036-7
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings

2026-01-17T08:20:44Z

Author Polleres, Axel. editor. Swift, Terrance. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05082-4
Format: Electronic Resources
Availability Online Library~1

Semantic Methods for Execution-level Business Process Modeling Modeling Support Through Process Verification and Service Composition

2026-01-17T08:20:44Z

Author Weber, Ingo M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05085-5
Format: Electronic Resources
Availability Online Library~1

FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

2026-01-17T08:20:44Z

Author Cavalcanti, Ana. editor. Dams, Dennis R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05089-3
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings

2026-01-17T08:20:44Z

Author Guerraoui, Rachid. editor. Petit, Franck. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05118-0
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings

2026-01-17T08:20:44Z

Author Matsui, Mitsuru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10366-7
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings

2026-01-17T08:20:44Z

Author Baresi, Luciano. editor. Chi, Chi-Hung. editor. Suzuki, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10383-4
Format: Electronic Resources
Availability Online Library~1

Advances in Information Technology Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings

2026-01-17T08:20:44Z

Author Papasratorn, Borworn. editor. Chutimaskul, Wichian. editor. Porkaew, Kriengkrai. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10392-6
Format: Electronic Resources
Availability Online Library~1

Network Control and Optimization Third Euro-NF Conference, NET-COOP 2009 Eindhoven, The Netherlands, November 23-25, 2009 Proceedings

2026-01-17T08:20:44Z

Author Núñez-Queija, Rudesindo. editor. Resing, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10406-0
Format: Electronic Resources
Availability Online Library~1

Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers

2026-01-17T08:20:44Z

Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10424-4
Format: Electronic Resources
Availability Online Library~1

Self-Organizing Systems 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009. Proceedings

2026-01-17T08:20:44Z

Author Spyropoulos, Thrasyvoulos. editor. Hummel, Karin Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10865-5
Format: Electronic Resources
Availability Online Library~1

Principles of Practice in Multi-Agent Systems 12th International Conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009. Proceedings

2026-01-17T08:20:44Z

Author Yang, Jung-Jin. editor. Yokoo, Makoto. editor. Ito, Takayuki. editor. Jin, Zhi. editor. Scerri, Paul. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11161-7
Format: Electronic Resources
Availability Online Library~1

Learning and Intelligent Optimization Third International Conference, LION 3, Trento, Italy, January 14-18, 2009. Selected Papers

2026-01-17T08:20:44Z

Author Stützle, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11169-3
Format: Electronic Resources
Availability Online Library~1

Agents for Games and Simulations Trends in Techniques, Concepts and Design

2026-01-17T08:20:44Z

Author Dignum, Frank. editor. Bradshaw, Jeff. editor. Silverman, Barry. editor. Doesburg, Willem. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11198-3
Format: Electronic Resources
Availability Online Library~1

GeoSpatial Semantics Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009. Proceedings

2026-01-17T08:20:44Z

Author Janowicz, Krzysztof. editor. Raubal, Martin. editor. Levashkin, Sergei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10436-7
Format: Electronic Resources
Availability Online Library~1

Middleware 2009 ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 – December 4, 2009. Proceedings

2026-01-17T08:20:44Z

Author Bacon, Jean M. editor. Cooper, Brian F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10445-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

2026-01-17T08:20:44Z

Author Oliveira, Marcel Vinícius Medeiros. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10452-7
Format: Electronic Resources
Availability Online Library~1

Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers

2026-01-17T08:20:44Z

Author Mueller, Peter. editor. Cao, Jian-Nong. editor. Wang, Cho-Li. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10485-5
Format: Electronic Resources
Availability Online Library~1

Communications Infrastructure. Systems and Applications in Europe First International ICST Conference, EuropeComm 2009, London, UK, August 11-13, 2009, Revised Selected Papers

2026-01-17T08:20:44Z

Author Mehmood, Rashid. editor. Cerqueira, Eduardo. editor. Piesiewicz, Radoslaw. editor. Chlamtac, Imrich. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11284-3
Format: Electronic Resources
Availability Online Library~1

Les virus informatiques: théorie, pratique et applications

2026-01-17T08:20:44Z

Author Filiol, Éric. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-2-287-98240-8
Format: Electronic Resources
Availability Online Library~1

Computability of Julia Sets

2026-01-17T08:20:44Z

Author Braverman, Mark. author. Yampolsky, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68547-0
Format: Electronic Resources
Availability Online Library~1

Große Netze der Logistik Die Ergebnisse des Sonderforschungsbereichs 559

2026-01-17T08:20:44Z

Author Buchholz, Peter. editor. Clausen, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71048-6
Format: Electronic Resources
Availability Online Library~1

Security Engineering for Service-Oriented Architectures

2026-01-17T08:20:44Z

Author Hafner, Michael. author. Breu, Ruth. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79539-1
Format: Electronic Resources
Availability Online Library~1

Sichere Systeme Konzepte, Architekturen und Frameworks

2026-01-17T08:20:44Z

Author Schmitz, Roland. author. Kriha, Walter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78959-8
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

2026-01-17T08:20:44Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88479-8
Format: Electronic Resources
Availability Online Library~1

Enterprise Architecture at Work Modelling, Communication and Analysis

2026-01-17T08:20:44Z

Author Lankhorst, Marc. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01310-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science IV Special Issue on Security in Computing

2026-01-17T08:20:44Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01004-0
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009. Proceedings

2026-01-17T08:20:44Z

Author Cotta, Carlos. editor. Cowling, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01009-5
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings

2026-01-17T08:20:44Z

Author Ehrgott, Matthias. editor. Fonseca, Carlos M. editor. Gandibleux, Xavier. editor. Hao, Jin-Kao. editor. Sevaux, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01020-0
Format: Electronic Resources
Availability Online Library~1

Information Systems: Modeling, Development, and Integration Third International United Information Systems Conference, UNISCON 2009, Sydney, Australia, April 21-24, 2009. Proceedings

2026-01-17T08:20:44Z

Author Yang, Jianhua. editor. Ginige, Athula. editor. Mayr, Heinrich C. editor. Kutsche, Ralf-D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01112-2
Format: Electronic Resources
Availability Online Library~1

OSS Design Patterns A Pattern Approach to the Design of Telecommunications Management Systems

2026-01-17T08:20:44Z

Author Ashford, Colin. author. Gauthier, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01396-6
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2009 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings

2026-01-17T08:20:44Z

Author Fratta, Luigi. editor. Schulzrinne, Henning. editor. Takahashi, Yutaka. editor. Spaniol, Otto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01399-7
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers

2026-01-17T08:20:44Z

Author Yung, Moti. editor. Liu, Peng. editor. Lin, Dongdai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01440-6
Format: Electronic Resources
Availability Online Library~1

Das V-Modell® XT Für Projektleiter und QS-Verantwortliche kompakt und übersichtlich

2026-01-17T08:20:44Z

Author Friedrich, Jan. author. Hammerschall, Ulrike. author. Kuhrmann, Marco. author. Sihling, Marc. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01488-8
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part I

2026-01-17T08:20:44Z

Author Yu, Wen. editor. He, Haibo. editor. Zhang, Nian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01507-6
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part II

2026-01-17T08:20:44Z

Author Yu, Wen. editor. He, Haibo. editor. Zhang, Nian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01510-6
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2009 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III

2026-01-17T08:20:44Z

Author Yu, Wen. editor. He, Haibo. editor. Zhang, Nian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01513-7
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing 7th International Conference, Pervasive 2009, Nara, Japan, May 11-14, 2009. Proceedings

2026-01-17T08:20:44Z

Author Tokuda, Hideyuki. editor. Beigl, Michael. editor. Friday, Adrian. editor. Brush, A. J. Bernheim. editor. Tobe, Yoshito. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01516-8
Format: Electronic Resources
Availability Online Library~1

Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers

2026-01-17T08:20:44Z

Author Ghose, Aditya. editor. Governatori, Guido. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01639-4
Format: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings

2026-01-17T08:20:44Z

Author Abdennadher, Nabil. editor. Petcu, Dana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01671-4
Format: Electronic Resources
Availability Online Library~1

Transactions on Data Hiding and Multimedia Security IV

2026-01-17T08:20:44Z

Author Shi, Yun Q. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01757-5
Format: Electronic Resources
Availability Online Library~1

MobileWireless Middleware, Operating Systems, and Applications Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings

2026-01-17T08:20:44Z

Author Bonnin, Jean-Marie. editor. Giannelli, Carlo. editor. Magedanz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01802-2
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings

2026-01-17T08:20:44Z

Author Ferré, Sébastien. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01815-2
Format: Electronic Resources
Availability Online Library~1

Advances in Enterprise Engineering II First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 11, 2009. Proceedings

2026-01-17T08:20:44Z

Author Proper, Erik. editor. Harmsen, Frank. editor. Dietz, Jan L. G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01859-6
Format: Electronic Resources
Availability Online Library~1

Enterprise, Business-Process and Information Systems Modeling 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings

2026-01-17T08:20:44Z

Author Halpin, Terry. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Erik. editor. Schmidt, Rainer. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01862-6
Format: Electronic Resources
Availability Online Library~1

Modular Ontologies Concepts, Theories and Techniques for Knowledge Modularization

2026-01-17T08:20:44Z

Author Stuckenschmidt, Heiner. editor. Parent, Christine. editor. Spaccapietra, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01907-4
Format: Electronic Resources
Availability Online Library~1

Advances in Enterprise Engineering III 5th International Workshop, CIAO! 2009, and 5th International Workshop, EOMAS 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings

2026-01-17T08:20:44Z

Author Albani, Antonia. editor. Barjis, Joseph. editor. Dietz, Jan L. G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01915-9
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings

2026-01-17T08:20:44Z

Author Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01929-6
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I

2026-01-17T08:20:44Z

Author Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01970-8
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II

2026-01-17T08:20:44Z

Author Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01973-9
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 13th Annual International Conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009. Proceedings

2026-01-17T08:20:44Z

Author Batzoglou, Serafim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02008-7
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings

2026-01-17T08:20:44Z

Author Vahrenhold, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02011-7
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

2026-01-17T08:20:44Z

Author Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02017-9
Format: Electronic Resources
Availability Online Library~1

Graph Theory, Computational Intelligence and Thought Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday

2026-01-17T08:20:44Z

Author Lipshteyn, Marina. editor. Levit, Vadim E. editor. McConnell, Ross M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02029-2
Format: Electronic Resources
Availability Online Library~1

Open Source Ecosystems: Diverse Communities Interacting 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, June 3-6, 2009. Proceedings

2026-01-17T08:20:44Z

Author Boldyreff, Cornelia. editor. Crowston, Kevin. editor. Lundell, Björn. editor. Wasserman, Anthony I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02032-2
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports

2026-01-17T08:20:44Z

Author Eugster, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02047-6
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

2026-01-17T08:20:44Z

Author Liszt, Franz, 1811-1886 editor. Vasconcelos, Vasco T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02053-7
Format: Electronic Resources
Availability Online Library~1

Computer Vision and Graphics International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008 Revised Papers

2026-01-17T08:20:44Z

Author Bolc, Leonard. editor. Kulikowski, Juliusz L. editor. Wojciechowski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02345-3
Format: Electronic Resources
Availability Online Library~1

Organized Adaption in Multi-Agent Systems First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers

2026-01-17T08:20:44Z

Author Vouros, George. editor. Artikis, Alexander. editor. Stathis, Kostas. editor. Pitt, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02377-4
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – AFRICACRYPT 2009 Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21-25, 2009. Proceedings

2026-01-17T08:20:44Z

Author Preneel, Bart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02384-2
Format: Electronic Resources
Availability Online Library~1

Information Systems – Creativity and Innovation in Small and Medium-Sized Enterprises IFIP WG 8.2 International Conference, CreativeSME 2009, Guimarães, Portugal, June 21-24, 2009. Proceedings

2026-01-17T08:20:44Z

Author Dhillon, Gurpreet. editor. Stahl, Bernd Carsten. editor. Baskerville, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02388-0
Format: Electronic Resources
Availability Online Library~1

Advances in Self-Organizing Maps 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings

2026-01-17T08:20:44Z

Author Príncipe, José C. editor. Miikkulainen, Risto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02397-2
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

2026-01-17T08:20:44Z

Author Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02408-5
Format: Electronic Resources
Availability Online Library~1

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings

2026-01-17T08:20:44Z

Author Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02424-5
Format: Electronic Resources
Availability Online Library~1

Combinatorial Pattern Matching 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings

2026-01-17T08:20:44Z

Author Kucherov, Gregory. editor. Ukkonen, Esko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02441-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I

2026-01-17T08:20:44Z

Author Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02454-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II

2026-01-17T08:20:44Z

Author Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02457-3
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling: Foundations and Applications Essays in Honor of John Mylopoulos

2026-01-17T08:20:44Z

Author Borgida, Alexander T. editor. Chaudhri, Vinay K. editor. Giorgini, Paolo. editor. Yu, Eric S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02463-4
Format: Electronic Resources
Availability Online Library~1

Future Multimedia Networking Second International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings

2026-01-17T08:20:44Z

Author Mauthe, Andreas. editor. Zeadally, Sherali. editor. Cerqueira, Eduardo. editor. Curado, Marília. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02472-6
Format: Electronic Resources
Availability Online Library~1

A Primer on Scientific Programming with Python

2026-01-17T08:20:44Z

Author Langtangen, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02475-7
Format: Electronic Resources
Availability Online Library~1

Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part I

2026-01-17T08:20:44Z

Author Köppen, Mario. editor. Kasabov, Nikola. editor. Coghill, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02490-0
Format: Electronic Resources
Availability Online Library~1

Web Engineering 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings

2026-01-17T08:20:44Z

Author Gaedke, Martin. editor. Grossniklaus, Michael. editor. Díaz, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02818-2
Format: Electronic Resources
Availability Online Library~1

Human Interface and the Management of Information. Designing Information Environments Symposium on Human Interface 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Procceedings, Part I

2026-01-17T08:20:44Z

Author Smith, Michael J. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02556-3
Format: Electronic Resources
Availability Online Library~1

Human Interface and the Management of Information. Information and Interaction Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II

2026-01-17T08:20:44Z

Author Salvendy, Gavriel. editor. Smith, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02559-4
Format: Electronic Resources
Availability Online Library~1

Engineering Societies in the Agents World IX 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers

2026-01-17T08:20:44Z

Author Artikis, Alexander. editor. Picard, Gauthier. editor. Vercouter, Laurent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02562-4
Format: Electronic Resources
Availability Online Library~1

Anticipatory Behavior in Adaptive Learning Systems From Psychological Theories to Artificial Cognitive Systems

2026-01-17T08:20:44Z

Author Pezzulo, Giovanni. editor. Butz, Martin V. editor. Sigaud, Olivier. editor. Baldassarre, Gianluca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02565-5
Format: Electronic Resources
Availability Online Library~1

Objects, Components, Models and Patterns 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings

2026-01-17T08:20:44Z

Author Oriol, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02571-6
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 6th International Conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009. Proceedings

2026-01-17T08:20:44Z

Author Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02611-9
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings

2026-01-17T08:20:44Z

Author Boyd, Colin. editor. González Nieto, Juan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02620-1
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

2026-01-17T08:20:44Z

Author Bouajjani, Ahmed. editor. Maler, Oded. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02658-4
Format: Electronic Resources
Availability Online Library~1

Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings

2026-01-17T08:20:44Z

Author Taha, Walid Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03034-5
Format: Electronic Resources
Availability Online Library~1

Advances in Neuro-Information Processing 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II

2026-01-17T08:20:44Z

Author Köppen, Mario. editor. Kasabov, Nikola. editor. Coghill, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03040-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

2026-01-17T08:20:44Z

Author Ambos-Spies, Klaus. editor. Löwe, Benedikt. editor. Merkle, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03073-4
Format: Electronic Resources
Availability Online Library~1

DNA Computing 14th International Meeting on DNA Computing, DNA 14, Prague, Czech Republic, June 2-9, 2008. Revised Selected Papers

2026-01-17T08:20:44Z

Author Goel, Ashish. editor. Simmel, Friedrich C. editor. Sosík, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03076-5
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures: Leveraging Semantic Technologies 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings

2026-01-17T08:20:44Z

Author Rudolph, Sebastian. editor. Dau, Frithjof. editor. Kuznetsov, Sergei O. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03079-6
Format: Electronic Resources
Availability Online Library~1

Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

2026-01-17T08:20:44Z

Author Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03092-5
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings

2026-01-17T08:20:44Z

Author Hua, Arrems. editor. Chang, Shih-Liang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03095-6
Format: Electronic Resources
Availability Online Library~1

Advances in Bioinformatics and Computational Biology 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings

2026-01-17T08:20:44Z

Author Guimarães, Katia S. editor. Panchenko, Anna. editor. Przytycka, Teresa M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03223-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence An International Perspective An International Perspective

2026-01-17T08:20:44Z

Author Bramer, Max. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03226-4
Format: Electronic Resources
Availability Online Library~1

Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

2026-01-17T08:20:44Z

Author Palsberg, Jens. editor. Su, Zhendong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03237-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers

2026-01-17T08:20:44Z

Author Cofer, Darren. editor. Fantechi, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03240-0
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009. Proceedings

2026-01-17T08:20:44Z

Author Andrews, Paul S. editor. Timmis, Jon. editor. Owens, Nick D. L. editor. Aickelin, Uwe. editor. Hart, Emma. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03246-2
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

2026-01-17T08:20:44Z

Author Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03251-6
Format: Electronic Resources
Availability Online Library~1

Knowledge Management for Health Care Procedures ECAI 2008 Workshop, K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers

2026-01-17T08:20:44Z

Author Riaño, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03262-2
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings

2026-01-17T08:20:44Z

Author Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03275-2
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers

2026-01-17T08:20:44Z

Author Hindriks, Koen V. editor. Pokahr, Alexander. editor. Sardina, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03278-3
Format: Electronic Resources
Availability Online Library~1

Pairing-Based Cryptography – Pairing 2009 Third International Conference Palo Alto, CA, USA, August 12-14, 2009 Proceedings

2026-01-17T08:20:44Z

Author Shacham, Hovav. editor. Waters, Brent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03298-1
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems for Society 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers

2026-01-17T08:20:44Z

Author Lukose, Dickson. editor. Shi, Zhongzhi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03339-1
Format: Electronic Resources
Availability Online Library~1

Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings

2026-01-17T08:20:44Z

Author Tan, Runhua. editor. Cao, Guozhong. editor. León, Noel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03346-9
Format: Electronic Resources
Availability Online Library~1

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings

2026-01-17T08:20:44Z

Author Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03351-3
Format: Electronic Resources
Availability Online Library~1

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings

2026-01-17T08:20:44Z

Author Berghofer, Stefan. editor. Nipkow, Tobias. editor. Urban, Christian. editor. Wenzel, Makarius. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03359-9
Format: Electronic Resources
Availability Online Library~1

Algorithms and Data Structures 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings

2026-01-17T08:20:44Z

Author Dehne, Frank. editor. Gavrilova, Marina. editor. Sack, Jörg-Rüdiger. editor. Tóth, Csaba D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03367-4
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings

2026-01-17T08:20:44Z

Author Kutyłowski, Mirosław. editor. Charatonik, Witold. editor. Gębala, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03409-1
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings

2026-01-17T08:20:44Z

Author Liu, Benyuan. editor. Bestavros, Azer. editor. Du, Ding-Zhu. editor. Wang, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03417-6
Format: Electronic Resources
Availability Online Library~1

Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday

2026-01-17T08:20:44Z

Author Albers, Susanne. editor. Alt, Helmut. editor. Näher, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03456-5
Format: Electronic Resources
Availability Online Library~1

Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

2026-01-17T08:20:44Z

Author Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03459-6
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

2026-01-17T08:20:44Z

Author Leucker, Martin. editor. Morgan, Carroll. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03466-4
Format: Electronic Resources
Availability Online Library~1

Contemporary Computing Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings

2026-01-17T08:20:44Z

Author Ranka, Sanjay. editor. Aluru, Srinivas. editor. Buyya, Rajkumar. editor. Chung, Yeh-Ching. editor. Dua, Sumeet. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03547-0
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised Selected Papers

2026-01-17T08:20:44Z

Author Dingledine, Roger. editor. Golle, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03549-4
Format: Electronic Resources
Availability Online Library~1

Critical Information Infrastructure Security Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers

2026-01-17T08:20:44Z

Author Setola, Roberto. editor. Geretshuber, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03552-4
Format: Electronic Resources
Availability Online Library~1

Database and XML Technologies 6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings

2026-01-17T08:20:44Z

Author Bellahsène, Zohra. editor. Hunt, Ela. editor. Rys, Michael. editor. Unland, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03555-5
Format: Electronic Resources
Availability Online Library~1

Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings

2026-01-17T08:20:44Z

Author Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03564-7
Format: Electronic Resources
Availability Online Library~1

Mobile Wireless Middleware, Operating Systems, and Applications - Workshops Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers

2026-01-17T08:20:44Z

Author Hesselman, Cristian. editor. Giannelli, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03569-2
Format: Electronic Resources
Availability Online Library~1

Mathematics of Surfaces XIII 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings

2026-01-17T08:20:44Z

Author Hancock, Edwin R. editor. Martin, Ralph R. editor. Sabin, Malcolm A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03596-8
Format: Electronic Resources
Availability Online Library~1

Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers

2026-01-17T08:20:44Z

Author Cao, Longbing. editor. Gorodetsky, Vladimir. editor. Liu, Jiming. editor. Weiss, Gerhard. editor. Yu, Philip S. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03603-3
Format: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 7th International Conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009. Proceedings

2026-01-17T08:20:44Z

Author Cremers, Daniel. editor. Boykov, Yuri. editor. Blake, Andrew. editor. Schmidt, Frank R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03641-5
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I

2026-01-17T08:20:44Z

Author Gross, Tom. editor. Gulliksen, Jan. editor. Kotzé, Paula. editor. Oestreicher, Lars. editor. Palanque, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03655-2
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II

2026-01-17T08:20:44Z

Author Gross, Tom. editor. Gulliksen, Jan. editor. Kotzé, Paula. editor. Oestreicher, Lars. editor. Palanque, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03658-3
Format: Electronic Resources
Availability Online Library~1

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings

2026-01-17T08:20:44Z

Author Dinur, Irit. editor. Jansen, Klaus. editor. Naor, Joseph. editor. Rolim, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03685-9
Format: Electronic Resources
Availability Online Library~1

Data Management in Grid and Peer-to-Peer Systems Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings

2026-01-17T08:20:44Z

Author Hameurlain, Abdelkader. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03715-3
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

2026-01-17T08:20:44Z

Author Calude, Cristian S. editor. Costa, José Félix. editor. Dershowitz, Nachum. editor. Freire, Elisabete. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03745-0
Format: Electronic Resources
Availability Online Library~1

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings

2026-01-17T08:20:44Z

Author Stützle, Thomas. editor. Birattari, Mauro. editor. Hoos, Holger H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03751-1
Format: Electronic Resources
Availability Online Library~1

Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

2026-01-17T08:20:44Z

Author Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03754-2
Format: Electronic Resources
Availability Online Library~1