Search Results for Software. - Narrowed by: 2009

Software project management

2024-11-16T00:19:22Z

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

Geomorphometry concepts, software, applications

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

Enterprise-scale agile software development

2024-11-16T00:19:22Z

Author Schiel, James.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Handbook of software engineering & knowledge engineering

2024-11-16T00:19:22Z

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

Hardware-dependent Software Principles and Practice

2024-11-16T00:19:22Z

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

Guide to Graphics Software Tools

2024-11-16T00:19:22Z

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

Software Engineering for Self-Adaptive Systems

2024-11-16T00:19:22Z

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

Abnahme komplexer Software-Systeme Das Praxishandbuch

2024-11-16T00:19:22Z

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

Optimierungssysteme Modelle, Verfahren, Software, Anwendungen

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

Systems and software engineering with applications

2024-11-16T00:19:22Z

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

Software performance and scalability a quantitative approach

2024-11-16T00:19:22Z

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

Managing and leading software projects

2024-11-16T00:19:22Z

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

Embedded Software Development with C

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

Expressive processing digital fictions, computer games, and software studies

2024-11-16T00:19:22Z

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

Transactions on Aspect-Oriented Software Development V

2024-11-16T00:19:22Z

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 Engineering Research, Management and Applications 2009

2024-11-16T00:19:22Z

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

An Approach to Modelling Software Evolution Processes

2024-11-16T00:19:22Z

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

Experience and Knowledge Management in Software Engineering

2024-11-16T00:19:22Z

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

Software Architecture Knowledge Management Theory and Practice

2024-11-16T00:19:22Z

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 error detection through testing and analysis

2024-11-16T00:19:22Z

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

Essential software testing a use-case approach

2024-11-16T00:19:22Z

Author Fournier, Greg.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

MIS cases : decision making with application software

2024-11-16T00:19:22Z

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.

2024-11-16T00:19:22Z

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

Computer organization and design : the hardware/software interface

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

Hardware Software Co-Design of a Multimedia SOC Platform

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

Software Verification and Analysis An Integrated, Hands-On Approach

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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 Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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 Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

Vertical Software Industry Evolution Analysis of Telecom Operator Software

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

Software Product Management and Pricing Key Success Factors for Software Organizations

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

Energy efficient hardware-software co-synthesis using reconfigurable hardware

2024-11-16T00:19:22Z

Author Ou, Jingzhao. Prasanna Kumar, V. K.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

The fabric of mobile services software paradigms and business demands

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

Ada for Software Engineers (Second Edition with Ada 2005)

2024-11-16T00:19:22Z

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

Modelling systems : practical tools and techniques in software development

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

Author Rouphael, Tony J.
Preferred Shelf Number TK5103.4875 R68 2009
Format: Books
Availability Beytepe 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

2024-11-16T00:19:22Z

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

Machine learning for spatial environmental data theory, applications and software

2024-11-16T00:19:22Z

Author Kanevski, Mikhail. Pozdnoukhov, Alexei. Timonin, Vadim.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Architecting software intensive systems a practitioner's guide

2024-11-16T00:19:22Z

Author Lattanze, Anthony J.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

The C programming language

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

PowerBuilder : PowerScript reference, version 6.

2024-11-16T00:19:22Z

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

Building the agile enterprise with SOA, BPM and MBM

2024-11-16T00:19:22Z

Author Cummins, Fred.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123744456
Format: Electronic Resources
Availability Online Library~1

Nokia firewall, VPN, and IPSO configuration guide

2024-11-16T00:19:22Z

Author Hay, Andrew, 1973- Giannoulis, Peter. Hay, Keli.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597492867
Format: Electronic Resources
Availability Online Library~1

Effective prototyping with Excel a practical handbook for developers and designers

2024-11-16T00:19:22Z

Author Berger, Nevin.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780120885824
Format: Electronic Resources
Availability Online Library~1

Practical UML statecharts in C/C++ event-driven programming for embedded systems

2024-11-16T00:19:22Z

Author Samek, Miro.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750687065
Format: Electronic Resources
Availability Online Library~1

Developing virtual reality applications foundations of effective design

2024-11-16T00:19:22Z

Author Craig, Alan B. Sherman, William R. Will, Jeffrey D.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123749437
Format: Electronic Resources
Availability Online Library~1

GFI network security and PCI compliance power tools

2024-11-16T00:19:22Z

Author Posey, Brien. Thompson, Troy.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597492850
Format: Electronic Resources
Availability Online Library~1

TCP/IP sockets in C practical guide for programmers

2024-11-16T00:19:22Z

Author Donahoo, Michael J. Calvert, Kenneth L.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123745408
Format: Electronic Resources
Availability Online Library~1

Semantic Web Services Challenge Results from the First Year

2024-11-16T00:19:22Z

Author Petrie, Charles. editor. Margaria, Tiziana. editor. Lausen, Holger. editor. Zaremba, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-72496-6
Format: Electronic Resources
Availability Online Library~1

Information Systems Development Challenges in Practice, Theory, and Education Volume 2

2024-11-16T00:19:22Z

Author Barry, Chris. editor. Lang, Michael. editor. Wojtkowski, Wita. editor. Conboy, Kieran. editor. Wojtkowski, Gregory. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-78578-3
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice VI

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

Security and Dependability for Ambient Intelligence

2024-11-16T00:19:22Z

Author Kokolakis, Spyros. editor. Gómez, Antonio Maña. editor. Spanoudakis, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-88775-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Algorithms and Data Analysis

2024-11-16T00:19:22Z

Author Ao, Sio-Iong. editor. Rieger, Burghard. editor. Chen, Su-Shing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8919-0
Format: Electronic Resources
Availability Online Library~1

Language-driven Exploration and Implementation of Partially Re-configurable ASIPs

2024-11-16T00:19:22Z

Author Chattopadhyay, Anupam. author. Leupers, Rainer. author. Meyr, Heinrich. author. Ascheid, Gerd. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9297-8
Format: Electronic Resources
Availability Online Library~1

Unleash the System On Chip using FPGAs and Handel C

2024-11-16T00:19:22Z

Author Kamat, Rajanish K. author. Shinde, Santhosh A. author. Shelake, Vinod G. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9362-3
Format: Electronic Resources
Availability Online Library~1

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

2024-11-16T00:19:22Z

Author Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: Electronic Resources
Availability Online Library~1

The Definitive Guide to Pylons

2024-11-16T00:19:22Z

Author Gardner, James. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0534-0
Format: Electronic Resources
Availability Online Library~1

Beginning Joomla!

2024-11-16T00:19:22Z

Author Rahmel, Dan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1643-8
Format: Electronic Resources
Availability Online Library~1

Developing with Google App Engine

2024-11-16T00:19:22Z

Author Ciurana, Eugene. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1832-6
Format: Electronic Resources
Availability Online Library~1

Pro Git

2024-11-16T00:19:22Z

Author Chacon, Scott. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1834-0
Format: Electronic Resources
Availability Online Library~1

The Definitive Guide to Django Web Development Done Right

2024-11-16T00:19:22Z

Author Holovaty, Adrian. author. Kaplan-Moss, Jacob. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1937-8
Format: Electronic Resources
Availability Online Library~1

Practical Django Projects

2024-11-16T00:19:22Z

Author Bennett, James. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1939-2
Format: Electronic Resources
Availability Online Library~1

Beginning GIMP From Novice to Professional

2024-11-16T00:19:22Z

Author Peck, Akkana. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1069-6
Format: Electronic Resources
Availability Online Library~1

Pro BizTalk 2009

2024-11-16T00:19:22Z

Author Dunphy, George. author. Moukhnitski, Sergei. author. Kaufman, Stephen. author. Kelcey, Peter. author. Campos, Harold. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1982-8
Format: Electronic Resources
Availability Online Library~1

The Web Startup Success Guide

2024-11-16T00:19:22Z

Author Walsh, Bob. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1986-6
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Three-Dimensional Digital Image Processing

2024-11-16T00:19:22Z

Author Toriwaki, Junichiro. author. Yoshida, Hiro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-172-5
Format: Electronic Resources
Availability Online Library~1

Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach

2024-11-16T00:19:22Z

Author Li, ZhiWu. author. Zhou, MengChu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-244-3
Format: Electronic Resources
Availability Online Library~1

Practical Introduction to Computer Architecture

2024-11-16T00:19:22Z

Author Page, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-256-6
Format: Electronic Resources
Availability Online Library~1

OPC Unified Architecture

2024-11-16T00:19:22Z

Author Damm, Matthias. author. Leitner, Stefan-Helmut. author. Mahnke, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68899-0
Format: Electronic Resources
Availability Online Library~1

Advances in Modeling Agricultural Systems

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

Optimal Design and Related Areas in Optimization and Statistics

2024-11-16T00:19:22Z

Author Pronzato, Luc. editor. Zhigljavsky, Anatoly. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-79936-0
Format: Electronic Resources
Availability Online Library~1

Web 2.0 The Business Model

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

Design and Use of Serious Games

2024-11-16T00:19:22Z

Author Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9496-5
Format: Electronic Resources
Availability Online Library~1

Developing with Ext GWT Enterprise RIA Development

2024-11-16T00:19:22Z

Author Slender, Grant. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1941-5
Format: Electronic Resources
Availability Online Library~1

Foundation Blender Compositing

2024-11-16T00:19:22Z

Author Wickes, Roger D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1977-4
Format: Electronic Resources
Availability Online Library~1

The Definitive Guide to Catalyst Writing Extensible, Scalable, and Maintainable Perl-Based Web Applications

2024-11-16T00:19:22Z

Author Diment, Kieren. author. Trout, Matt S. author. Cardim, Eden. author. Kuri, Jay. author. Robinson, Jess. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2366-5
Format: Electronic Resources
Availability Online Library~1

Pro Android

2024-11-16T00:19:22Z

Author Hashimi, Sayed Y. author. Komatineni, Satya. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1597-4
Format: Electronic Resources
Availability Online Library~1

Expert F# 2.0

2024-11-16T00:19:22Z

Author Syme, Don. author. Granicz, Adam. author. Cisternino, Antonio. author. Andres, Clay. editor. Anglin, Steve. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2432-7
Format: Electronic Resources
Availability Online Library~1

Practical Computing on the Cell Broadband Engine

2024-11-16T00:19:22Z

Author Koranne, Sandeep. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0308-2
Format: Electronic Resources
Availability Online Library~1

Embedded Linux Das Praxisbuch

2024-11-16T00:19:22Z

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

Sichere Systeme Konzepte, Architekturen und Frameworks

2024-11-16T00:19:22Z

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

Enterprise Architecture Creating Value by Informed Governance

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

Funktionale und Applikative Programmierung Grundlagen, Sprachen, Implementierungstechniken

2024-11-16T00:19:22Z

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

Metrics for Process Models Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness

2024-11-16T00:19:22Z

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

A Generative Theory of Relevance

2024-11-16T00:19:22Z

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

Touch of Class Learning to Program Well with Objects and Contracts

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

WALCOM: Algorithms and Computation Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings

2024-11-16T00:19:22Z

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

Information Security and Cryptology – ICISC 2008 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers

2024-11-16T00:19:22Z

Author Lee, Pil Joong. editor. Cheon, Jung Hee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00730-9
Format: Electronic Resources
Availability Online Library~1

Emerging Trends in Visual Computing LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers

2024-11-16T00:19:22Z

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

Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings

2024-11-16T00:19:22Z

Author Li, Wenjie. editor. Mollá-Aliod, Diego. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00831-3
Format: Electronic Resources
Availability Online Library~1

Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings

2024-11-16T00:19:22Z

Author Bruza, Peter. editor. Sofge, Donald. editor. Lawless, William. editor. Rijsbergen, Keith. editor. Klusch, Matthias. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00834-4
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2009 The Cryptographers’ Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings

2024-11-16T00:19:22Z

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

Methods, Models and Tools for Fault Tolerance

2024-11-16T00:19:22Z

Author Butler, Michael. editor. Jones, Cliff. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00867-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems

2024-11-16T00:19:22Z

Author Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00899-3
Format: Electronic Resources
Availability Online Library~1

Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

2024-11-16T00:19:22Z

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

Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers

2024-11-16T00:19:22Z

Author César, Eduardo. editor. Alexander, Michael. editor. Streit, Achim. editor. Träff, Jesper Larsson. editor. Cérin, Christophe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00955-6
Format: Electronic Resources
Availability Online Library~1

Active and Programmable Networks IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers

2024-11-16T00:19:22Z

Author Hutchison, David. editor. Denazis, Spyros. editor. Lefevre, Laurent. editor. Minden, Gary J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00972-3
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

2024-11-16T00:19:22Z

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

Transactions on Computational Science IV Special Issue on Security in Computing

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

Cutting-Edge Research Topics on Multiple Criteria Decision Making 20th International Conference, MCDM 2009, Chengdu/Jiuzhaigou, China, June 21-26, 2009. Proceedings

2024-11-16T00:19:22Z

Author Shi, Yong. editor. Wang, Shouyang. editor. Peng, Yi. editor. Li, Jianping. editor. Zeng, Yong. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02298-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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

Combinatorial Optimization and Applications Third International Conference, COCOA 2009, Huangshan, China, June 10-12, 2009. Proceedings

2024-11-16T00:19:22Z

Author Du, Ding-Zhu. editor. Hu, Xiaodong. editor. Pardalos, Panos M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02026-1
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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

Modular Ontologies Concepts, Theories and Techniques for Knowledge Modularization

2024-11-16T00:19:22Z

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

Networks for Grid Applications Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers

2024-11-16T00:19:22Z

Author Vicat-Blanc Primet, Pascale. editor. Kudoh, Tomohiro. editor. Mambretti, Joe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02080-3
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings

2024-11-16T00:19:22Z

Author Krishnamachari, Bhaskar. editor. Suri, Subhash. editor. Heinzelman, Wendi. editor. Mitra, Urbashi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02085-8
Format: Electronic Resources
Availability Online Library~1

Algorithmics of Large and Complex Networks Design, Analysis, and Simulation

2024-11-16T00:19:22Z

Author Lerner, Jürgen. editor. Wagner, Dorothea. editor. Zweig, Katharina A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02094-0
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communications 7th International Conference, WWIC 2009, Enschede, The Netherlands, May 27-29, 2009. Proceedings

2024-11-16T00:19:22Z

Author Berg, Hans. editor. Heijenk, Geert. editor. Osipov, Evgeny. editor. Staehle, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02118-3
Format: Electronic Resources
Availability Online Library~1

The Semantic Web: Research and Applications 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31–June 4, 2009 Proceedings

2024-11-16T00:19:22Z

Author Aroyo, Lora. editor. Traverso, Paolo. editor. Ciravegna, Fabio. editor. Cimiano, Philipp. editor. Heath, Tom. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02121-3
Format: Electronic Resources
Availability Online Library~1

Hagenberg Research

2024-11-16T00:19:22Z

Author Buchberger, Bruno. editor. Affenzeller, Michael. editor. Ferscha, Alois. editor. Haller, Michael. editor. Jebelean, Tudor. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02127-5
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

2024-11-16T00:19:22Z

Author Lee, David. editor. Lopes, Antónia. editor. Poetzsch-Heffter, Arnd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02138-1
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects in Information and Management 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings

2024-11-16T00:19:22Z

Author Goldberg, Andrew V. editor. Zhou, Yunhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02158-9
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 9th IFIP WG 6.1 International Conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009. Proceedings

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

Emerging Intelligent Computing Technology and Applications 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009. Proceedings

2024-11-16T00:19:22Z

Author Huang, De-Shuang. editor. Jo, Kang-Hyun. editor. Lee, Hong-Hee. editor. Kang, Hee-Jun. editor. Bevilacqua, Vitoantonio. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04070-2
Format: Electronic Resources
Availability Online Library~1

Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings

2024-11-16T00:19:22Z

Author Altinsoy, M. Ercan. editor. Jekosch, Ute. editor. Brewster, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04076-4
Format: Electronic Resources
Availability Online Library~1

CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

2024-11-16T00:19:22Z

Author Bravetti, Mario. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04081-8
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings

2024-11-16T00:19:22Z

Author Gerdt, Vladimir P. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04103-7
Format: Electronic Resources
Availability Online Library~1

Algorithms - ESA 2009 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings

2024-11-16T00:19:22Z

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

E-Voting and Identity Second International Conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009. Proceedings

2024-11-16T00:19:22Z

Author Ryan, Peter Y. A. editor. Schoenmakers, Berry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04135-8
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2009 11th International Workshop Lausanne, Switzerland, September 6-9, 2009 Proceedings

2024-11-16T00:19:22Z

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

Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings

2024-11-16T00:19:22Z

Author Braubach, Lars. editor. Hoek, Wiebe. editor. Petta, Paolo. editor. Pokahr, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04143-3
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Processing – ICIAP 2009 15th International Conference Vietri sul Mare, Italy, September 8-11, 2009 Proceedings

2024-11-16T00:19:22Z

Author Foggia, Pasquale. editor. Sansone, Carlo. editor. Vento, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04146-4
Format: Electronic Resources
Availability Online Library~1

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

2024-11-16T00:19:22Z

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

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

2024-11-16T00:19:22Z

Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04167-9
Format: Electronic Resources
Availability Online Library~1

Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

2024-11-16T00:19:22Z

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

Transactions on Computational Systems Biology XI

2024-11-16T00:19:22Z

Author Priami, Corrado. editor. Back, Ralph-Johan. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04186-0
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

2024-11-16T00:19:22Z

Author Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04238-6
Format: Electronic Resources
Availability Online Library~1

Algorithms in Bioinformatics 9th International Workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009. Proceedings

2024-11-16T00:19:22Z

Author Salzberg, Steven L. editor. Warnow, Tandy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04241-6
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

2024-11-16T00:19:22Z

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

Personal Satellite Services International Conference, PSATS 2009, Rome, Italy, March 18-19, 2009, Revised Selected Papers

2024-11-16T00:19:22Z

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

Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings

2024-11-16T00:19:22Z

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

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

2024-11-16T00:19:22Z

Author Rettberg, Achim. editor. Zanella, Mauro C. editor. Amann, Michael. editor. Keckeisen, Michael. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04284-3
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings

2024-11-16T00:19:22Z

Author Buth, Bettina. editor. Rabe, Gerd. editor. Seyfarth, Till. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04468-7
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers

2024-11-16T00:19:22Z

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

Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures

2024-11-16T00:19:22Z

Author Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04652-0
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

2024-11-16T00:19:22Z

Author Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04694-0
Format: Electronic Resources
Availability Online Library~1

Comparative Genomics International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009. Proceedings

2024-11-16T00:19:22Z

Author Ciccarelli, Francesca D. editor. Miklós, István. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04744-2
Format: Electronic Resources
Availability Online Library~1

Enterprise Interoperability Second IFIP WG 5.8 International Workshop, IWEI 2009, Valencia, Spain, October 13-14, 2009. Proceedings

2024-11-16T00:19:22Z

Author Poler, Raúl. editor. Sinderen, Marten. editor. Sanchis, Raquel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04750-3
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings

2024-11-16T00:19:22Z

Author Liu, Zhiming. editor. Ravn, Anders P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04761-9
Format: Electronic Resources
Availability Online Library~1

Information Retrieval Technology 5th Asia Information Retrieval Symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009. Proceedings

2024-11-16T00:19:22Z

Author Lee, Gary Geunbae. editor. Song, Dawei. editor. Lin, Chin-Yew. editor. Aizawa, Akiko. editor. Kuriyama, Kazuko. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04769-5
Format: Electronic Resources
Availability Online Library~1

System Modeling and Optimization 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers

2024-11-16T00:19:22Z

Author Korytowski, Adam. editor. Malanowski, Kazimierz. editor. Mitkowski, Wojciech. editor. Szymkat, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04802-9
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings

2024-11-16T00:19:22Z

Author Laender, Alberto H. F. editor. Castano, Silvana. editor. Dayal, Umeshwar. editor. Casati, Fabio. editor. Oliveira, José Palazzo M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04840-1
Format: Electronic Resources
Availability Online Library~1

Advances in Information and Computer Security 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings

2024-11-16T00:19:22Z

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

Nano-Net 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009. Proceedings

2024-11-16T00:19:22Z

Author Schmid, Alexandre. editor. Goel, Sanjay. editor. Wang, Wei. editor. Beiu, Valeriu. editor. Carrara, Sandro. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04850-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency III

2024-11-16T00:19:22Z

Author Jensen, Kurt. editor. Billington, Jonathan. editor. Koutny, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04856-2
Format: Electronic Resources
Availability Online Library~1

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

Artificial Intelligence and Computational Intelligence International Conference, AICI 2009, Shanghai, China, November 7-8, 2009. Proceedings

2024-11-16T00:19:22Z

Author Deng, Hepu. editor. Wang, Lanzhou. editor. Wang, Fu Lee. editor. Lei, Jingsheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05253-8
Format: Electronic Resources
Availability Online Library~1

Ambient Intelligence European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009. Proceedings

2024-11-16T00:19:22Z

Author Tscheligi, Manfred. editor. Ruyter, Boris. editor. Markopoulus, Panos. editor. Wichert, Reiner. editor. Mirlacher, Thomas. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05408-2
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers

2024-11-16T00:19:22Z

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

Robust and Online Large-Scale Optimization Models and Techniques for Transportation Systems

2024-11-16T00:19:22Z

Author Ahuja, Ravindra K. editor. Möhring, Rolf H. editor. Zaroliagis, Christos D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05465-5
Format: Electronic Resources
Availability Online Library~1

Engineering Societies in the Agents World X 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings

2024-11-16T00:19:22Z

Author Aldewereld, Huib. editor. Dignum, Virginia. editor. Picard, Gauthier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10203-5
Format: Electronic Resources
Availability Online Library~1

Combinatorial Image Analysis 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009. Proceedings

2024-11-16T00:19:22Z

Author Wiederhold, Petra. editor. Barneva, Reneta P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10210-3
Format: Electronic Resources
Availability Online Library~1

Combinatorial Algorithms 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers

2024-11-16T00:19:22Z

Author Fiala, Jiří. editor. Kratochvíl, Jan. editor. Miller, Mirka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10217-2
Format: Electronic Resources
Availability Online Library~1

Information Theoretic Security Second International Conference, ICITS 2007, Madrid, Spain, May 25-29, 2007, Revised Selected Papers

2024-11-16T00:19:22Z

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

Advances in Communication and Networking Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

2024-11-16T00:19:22Z

Author Kim, Tai-hoon. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Chang, Alan Chin-Chen. editor. Vasilakos, Thanos. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10236-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Science and Engineering Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

2024-11-16T00:19:22Z

Author Kim, Tai-hoon. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Chang, Alan Chin-Chen. editor. Vasilakos, Thanos. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10238-7
Format: Electronic Resources
Availability Online Library~1

Advances in Security Technology International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

2024-11-16T00:19:22Z

Author Kim, Haeng-kon. editor. Kim, Tai-hoon. editor. Kiumi, Akingbehin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10240-0
Format: Electronic Resources
Availability Online Library~1

Architecting Dependable Systems VI

2024-11-16T00:19:22Z

Author Lemos, Rogério. editor. Fabre, Jean-Charles. editor. Gacek, Cristina. editor. Gadducci, Fabio. editor. Beek, Maurice. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10248-6
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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

Signal Processing, Image Processing and Pattern Recognition International Conference, SIP 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

2024-11-16T00:19:22Z

Author Ślęzak, Dominik. editor. Pal, Sankar K. editor. Kang, Byeong-Ho. editor. Gu, Junzhong. editor. Kuroda, Hideo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10546-3
Format: Electronic Resources
Availability Online Library~1

Grid and Distributed Computing International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings

2024-11-16T00:19:22Z

Author Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Yau, Stephen S. editor. Gervasi, Osvaldo. editor. Kang, Byeong-Ho. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10549-4
Format: Electronic Resources
Availability Online Library~1

Web and Wireless Geographical Information Systems 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009. Proceedings

2024-11-16T00:19:22Z

Author Carswell, James D. editor. Fotheringham, A. Stewart. editor. McArdle, Gavin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10601-9
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers

2024-11-16T00:19:22Z

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

Constructing Ambient Intelligence AmI 2008 Workshops, Nuremberg, Germany 19-22, 2008. Revised Papers

2024-11-16T00:19:22Z

Author Gerhäuser, Heinz. editor. Hupp, Jürgen. editor. Efstratiou, Christos. editor. Heppner, Janina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10607-1
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science - ASIAN 2009. Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings

2024-11-16T00:19:22Z

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

Quality of Service in Heterogeneous Networks 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23-25, 2009 Proceedings

2024-11-16T00:19:22Z

Author Bartolini, Novella. editor. Nikoletseas, Sotiris. editor. Sinha, Prasun. editor. Cardellini, Valeria. editor. Mahanti, Anirban. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10625-5
Format: Electronic Resources
Availability Online Library~1

Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings

2024-11-16T00:19:22Z

Author Dong, Yingfei. editor. Du, Ding-Zhu. editor. Ibarra, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10631-6
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 11th International Conference, ICICS 2009, Beijing, China, December 14-17, 2009. Proceedings

2024-11-16T00:19:22Z

Author Qing, Sihan. editor. Mitchell, Chris J. editor. Wang, Guilin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11145-7
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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers

2024-11-16T00:19:22Z

Author Chen, Jianer. editor. Fomin, Fedor V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11269-0
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

2024-11-16T00:19:22Z

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

Grundkurs Smalltalk — Objektorientierung von Anfang an Eine Einführung in die Programmierung

2024-11-16T00:19:22Z

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

The New PL/I … for PC, Workstation and Mainframe

2024-11-16T00:19:22Z

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

Grundkurs Programmieren mit Visual Basic Die Grundlagen der Programmierung – Einfach, verständlich und mit leicht nachvollziehbaren Beispielen

2024-11-16T00:19:22Z

Author Kämper, Sabine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9999-6
Format: Electronic Resources
Availability Online Library~1

Computability of Julia Sets

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

Geschäftsprozessmanagement

2024-11-16T00:19:22Z

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

Algorithmic Adventures From Knowledge to Magic

2024-11-16T00:19:22Z

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

Engineering Web Applications

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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

2024-11-16T00:19:22Z

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.

2024-11-16T00:19:22Z

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

Independent Component Analysis and Signal Separation 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings

2024-11-16T00:19:22Z

Author Adali, Tülay. editor. Jutten, Christian. editor. Romano, João Marcos Travassos. editor. Barros, Allan Kardec. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00599-2
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

2024-11-16T00:19:22Z

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