Search Results for software. - Narrowed by: 2008

Software Evolution

2025-12-11T08:49:47Z

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

Software-Qualität

2025-12-11T08:49:47Z

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

Software Architecture

2025-12-11T08:49:47Z

Author Qin, Zheng. author. Zheng, Xiang. author. Xing, Jiankuan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74343-9
Format: Electronic Resources
Availability Online Library~1

Agile Software Engineering

2025-12-11T08:49:47Z

Author Hazzan, Orit. author. Dubinsky, Yael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-198-5
Format: Electronic Resources
Availability Online Library~1

Manage software testing

2025-12-11T08:49:47Z

Author Farrell-Vinay, Peter., author.
Preferred Shelf Number QA76.76 .T48 F37 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software process dynamics

2025-12-11T08:49:47Z

Author Madachy, Raymond J. (Raymond Joseph)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361010
Format: Electronic Resources
Availability Online Library~1

Software for Algebraic Geometry

2025-12-11T08:49:47Z

Author Stillman, Michael. editor. Verschelde, Jan. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-78133-4
Format: Electronic Resources
Availability Online Library~1

Object-oriented software engineering

2025-12-11T08:49:47Z

Author Schach, Stephen R.
Preferred Shelf Number QA 76.758 S3 2008
Format: Books
Availability Beytepe Library~1

Rationale-Based Software Engineering

2025-12-11T08:49:47Z

Author Burge, Janet E. author. Carroll, John M. author. McCall, Raymond. author. Mistrik, Ivan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77583-6
Format: Electronic Resources
Availability Online Library~1

Building software : a practitioner's guide

2025-12-11T08:49:47Z

Author Krishnamurthy, Nikhilesh., author. Saran, Amitabh.
Preferred Shelf Number QA76.76 .D47 K734 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook of software engineering & knowledge engineering

2025-12-11T08:49:47Z

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

Elementary Logic For Software Development

2025-12-11T08:49:47Z

Author Lover, Robert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-082-7
Format: Electronic Resources
Availability Online Library~1

Networked RFID Systems, Software and Services

2025-12-11T08:49:47Z

Author Roussos, George. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-153-4
Format: Electronic Resources
Availability Online Library~1

Guide to Advanced Empirical Software Engineering

2025-12-11T08:49:47Z

Author Shull, Forrest. editor. Singer, Janice. editor. Sjøberg, Dag I. K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-044-5
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Software Engineering

2025-12-11T08:49:47Z

Author Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-302-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research, Management and Applications

2025-12-11T08:49:47Z

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

Running an agile software development project

2025-12-11T08:49:47Z

Author Holcombe, W. M. L. (William Michael Lloyd), 1944-
Preferred Shelf Number ONLINE
Electronic Access Click for information Click here to view book Image http://images.contentreserve.com/ImageType-100/0128-1/{89677831-D58E-45B6-BB85-1725E2782B73}Img100.jpg Books24x7 http://www.books24x7.com/marc.asp?bookid=29682 John Wiley http://dx.doi.org/10.1002/9780470385883
Format: Electronic Resources
Availability Online Library~1

Engineering analysis with ANSYS software

2025-12-11T08:49:47Z

Author Nakasone, Y. (Yuji) Yoshimoto, S. (Shigeka) Stolarski, T. A.
Preferred Shelf Number TA345.5.A57 N35 2006
Format: Books
Availability Beytepe Library~1

Software solutions for engineers and scientists

2025-12-11T08:49:47Z

Author Sanchez, Julio, 1938- author. Canton, Maria P.
Preferred Shelf Number TA345 .S31535 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software testing and continuous quality improvement

2025-12-11T08:49:47Z

Author Lewis, William E., author.
Preferred Shelf Number QA76.76 .T48 L495 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Knowledge Cartography Software Tools and Mapping Techniques

2025-12-11T08:49:47Z

Author Sherborne, Tony. editor. Buckingham Shum, Simon J. editor. Okada, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-149-7
Format: Electronic Resources
Availability Online Library~1

Baseband Analog Circuits for Software Defined Radio

2025-12-11T08:49:47Z

Author Giannini, Vito. author. Craninckx, Jan. author. Baschirotto, Andrea. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6538-5
Format: Electronic Resources
Availability Online Library~1

Symbolic data analysis and the SODAS software

2025-12-11T08:49:47Z

Author Diday, E. Noirhomme-Fraiture, Monique. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470723562 MyiLibrary, Table of contents http://www.myilibrary.com?id=130833&ref=toc
Format: Electronic Resources
Availability Online Library~1

Software maintenance management evaluation and continuous improvement

2025-12-11T08:49:47Z

Author April, Alain, 1958- Abran, Alain, 1949-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129685
Format: Electronic Resources
Availability Online Library~1

Software for Data Analysis Programming with R

2025-12-11T08:49:47Z

Author Chambers, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75936-4
Format: Electronic Resources
Availability Online Library~1

Software engineering foundations : a software science perspective

2025-12-11T08:49:47Z

Author Wang, Yingxu., author.
Preferred Shelf Number QA76.758 .W375 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Directory of library automation software, systems, and services.

2025-12-11T08:49:47Z

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

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

2025-12-11T08:49:47Z

Author Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68894-5
Format: Electronic Resources
Availability Online Library~1

Internet-Security aus Software-Sicht Ein Leitfaden zur Software-Erstellung für sicherheitskritische Bereiche

2025-12-11T08:49:47Z

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

Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

2025-12-11T08:49:47Z

Author Paech, Barbara. editor. Rolland, Colette. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69062-7
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

2025-12-11T08:49:47Z

Author Shankar, Natarajan. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87873-5
Format: Electronic Resources
Availability Online Library~1

Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings

2025-12-11T08:49:47Z

Author Morrison, Ron. editor. Balasubramaniam, Dharini. editor. Falkner, Katrina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88030-1
Format: Electronic Resources
Availability Online Library~1

Software Process and Product Measurement International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers

2025-12-11T08:49:47Z

Author Cuadrado-Gallego, Juan J. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Abran, Alain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85553-8
Format: Electronic Resources
Availability Online Library~1

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering

2025-12-11T08:49:47Z

Author Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8735-6
Format: Electronic Resources
Availability Online Library~1

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings

2025-12-11T08:49:47Z

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

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings

2025-12-11T08:49:47Z

Author Abrahamsson, Pekka. editor. Baskerville, Richard. editor. Conboy, Kieran. editor. Fitzgerald, Brian. editor. Morgan, Lorraine. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68255-4
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

2025-12-11T08:49:47Z

Author Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68524-1
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

2025-12-11T08:49:47Z

Author Kordon, Fabrice. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68624-8
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

2025-12-11T08:49:47Z

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

Innovative Lernsysteme Kompetenzentwicklung mit Blended Learning und Social Software

2025-12-11T08:49:47Z

Author Kuhlmann, Annette. author. Sauter, Werner. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77831-8
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2025-12-11T08:49:47Z

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

The Testing Network An Integral Approach to Test Activities in Large Software Projects

2025-12-11T08:49:47Z

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

Model-Based Software and Data Integration First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings

2025-12-11T08:49:47Z

Author Kutsche, Ralf-Detlef. editor. Milanovic, Nikola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78999-4
Format: Electronic Resources
Availability Online Library~1

Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

2025-12-11T08:49:47Z

Author Brinkschulte, Uwe. editor. Givargis, Tony. editor. Russo, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87785-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

2025-12-11T08:49:47Z

Author Liu, Shaoying. editor. Maibaum, Tom. editor. Araki, Keijiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88194-0
Format: Electronic Resources
Availability Online Library~1

Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

2025-12-11T08:49:47Z

Author Becker, Steffen. editor. Plasil, Frantisek. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87879-7
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

2025-12-11T08:49:47Z

Author Chaudron, Michel R. V. editor. Szyperski, Clemens. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87891-9
Format: Electronic Resources
Availability Online Library~1

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

2025-12-11T08:49:47Z

Author Lämmel, Ralf. editor. Visser, Joost. editor. Saraiva, João. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88643-3
Format: Electronic Resources
Availability Online Library~1

Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

2025-12-11T08:49:47Z

Author Börger, Egon. editor. Cisternino, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89762-0
Format: Electronic Resources
Availability Online Library~1

Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy

2025-12-11T08:49:47Z

Author Russo, Barbara. editor. Damiani, Ernesto. editor. Hissam, Scott. editor. Lundell, Björn. editor. Succi, Giancarlo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09684-1
Format: Electronic Resources
Availability Online Library~1

More Joel on Software Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or III Luck, Work with Them in Some Capacity

2025-12-11T08:49:47Z

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

Maturing Usability Quality in Software, Interaction and Value

2025-12-11T08:49:47Z

Author Law, Effie Lai-Chong. editor. Hvannberg, Ebba Thora. editor. Cockton, Gilbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-941-5
Format: Electronic Resources
Availability Online Library~1

Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

2025-12-11T08:49:47Z

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

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings

2025-12-11T08:49:47Z

Author Jedlitschka, Andreas. editor. Salo, Outi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69566-0
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2025-12-11T08:49:47Z

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

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

2025-12-11T08:49:47Z

Author Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79980-1
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

2025-12-11T08:49:47Z

Author Havelund, Klaus. editor. Majumdar, Rupak. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85114-1
Format: Electronic Resources
Availability Online Library~1

Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers

2025-12-11T08:49:47Z

Author Meyer, Bertrand. editor. Nawrocki, Jerzy R. editor. Walter, Bartosz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85279-7
Format: Electronic Resources
Availability Online Library~1

The Common Component Modeling Example Comparing Software Component Models

2025-12-11T08:49:47Z

Author Rausch, Andreas. editor. Reussner, Ralf. editor. Mirandola, Raffaela. editor. Plášil, František. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85289-6
Format: Electronic Resources
Availability Online Library~1

Farbe im Digitalen Publizieren Konzepte der digitalen Farbwiedergabe für Office, Design und Software

2025-12-11T08:49:47Z

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

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

2025-12-11T08:49:47Z

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

Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers

2025-12-11T08:49:47Z

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

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

2025-12-11T08:49:47Z

Author Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70930-5
Format: Electronic Resources
Availability Online Library~1

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers

2025-12-11T08:49:47Z

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

Supply Chain Management and Advanced Planning Concepts, Models, Software, and Case Studies

2025-12-11T08:49:47Z

Author Stadtler, Hartmut. editor. Kilger, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74512-9
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

2025-12-11T08:49:47Z

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

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2025-12-11T08:49:47Z

Author Fiadeiro, José Luiz. editor. Inverardi, Paola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78743-3
Format: Electronic Resources
Availability Online Library~1

Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings

2025-12-11T08:49:47Z

Author Pautasso, Cesare. editor. Tanter, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78789-1
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2025-12-11T08:49:47Z

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

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2025-12-11T08:49:47Z

Author Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78800-3
Format: Electronic Resources
Availability Online Library~1

The Making of Information Systems Software Engineering and Management in a Globalized World

2025-12-11T08:49:47Z

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

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

2025-12-11T08:49:47Z

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

Making Globally Distributed Software Development a Success Story International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings

2025-12-11T08:49:47Z

Author Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79588-9
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings

2025-12-11T08:49:47Z

Author O’Connor, Rory V. editor. Baddoo, Nathan. editor. Smolander, Kari. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85936-9
Format: Electronic Resources
Availability Online Library~1

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

2025-12-11T08:49:47Z

Author Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85992-5
Format: Electronic Resources
Availability Online Library~1

Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings

2025-12-11T08:49:47Z

Author Dumke, Reiner R. editor. Braungarten, René. editor. Büren, Günter. editor. Abran, Alain. editor. Cuadrado-Gallego, Juan J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89403-2
Format: Electronic Resources
Availability Online Library~1

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2025-12-11T08:49:47Z

Author Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89437-7
Format: Electronic Resources
Availability Online Library~1

Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE

2025-12-11T08:49:47Z

Author Fähnrich, Klaus-Peter. editor. Husen, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7908-1944-1
Format: Electronic Resources
Availability Online Library~1

Elektronik in der Fahrzeugtechnik Hardware, Software, Systeme und Projektmanagement

2025-12-11T08:49:47Z

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

Foundations of software testing : fundamental algorithms and techniques : an undergraduate and graduate text, a reference for the practicing software engineer

2025-12-11T08:49:47Z

Author Mathur, Aditya P.
Preferred Shelf Number QA76.76.T48 M38 2008
Format: Books
Availability Beytepe Library~1

Software development for embedded multi-core systems a practical guide using embedded Intel architecture

2025-12-11T08:49:47Z

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

Social Software Formen der Kooperation in computerbasierten Netzwerken

2025-12-11T08:49:47Z

Author Stegbauer, Christian. editor. Jäckel, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-531-90802-1
Format: Electronic Resources
Availability Online Library~1

Offene Innovationsprozesse Die kommerzielle Entwicklung von Open-Source-Software

2025-12-11T08:49:47Z

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

Software development rhythms harmonizing agile practices for synergy

2025-12-11T08:49:47Z

Author Lui, Kim Man. Chan, Keith C. C.
Preferred Shelf Number ONLINE
Electronic Access Books24x7 http://www.books24x7.com/marc.asp?bookid=26059 John Wiley http://dx.doi.org/10.1002/9780470192672 MyiLibrary, Table of contents http://www.myilibrary.com?id=137390&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007019073-b.html
Format: Electronic Resources
Availability Online Library~1

Emerging methods, technologies, and process management in software engineering

2025-12-11T08:49:47Z

Author De Lucia, Andrea. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007032135-b.html John Wiley http://dx.doi.org/10.1002/9780470238103
Format: Electronic Resources
Availability Online Library~1

Modeling and verification of real-time systems formalisms and software tools

2025-12-11T08:49:47Z

Author Merz, Stephan. Navet, Nicolas.
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643 John Wiley http://dx.doi.org/10.1002/9780470611012 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Format: Electronic Resources
Availability Online Library~1

Using aspect-oriented programming for trustworthy software development

2025-12-11T08:49:47Z

Author Safonov, V. O. (Vladimir Olegovich)
Preferred Shelf Number ONLINE
Electronic Access Books24x7 http://www.books24x7.com/marc.asp?bookid=26061 John Wiley http://dx.doi.org/10.1002/9780470283110 MyiLibrary, Table of contents http://www.myilibrary.com?id=138149&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0829/2007041615-b.html
Format: Electronic Resources
Availability Online Library~1

Software testing and quality assurance theory and practice

2025-12-11T08:49:47Z

Author Naik, Kshirasagar, 1959- Tripathy, Priyadarshi, 1958- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470382844
Format: Electronic Resources
Availability Online Library~1

Modelling 1H NMR spectra of organic compounds theory, applications and NMR prediction software

2025-12-11T08:49:47Z

Author Abraham, R. J. (Raymond John), 1933- Mobli, Mehdi.
Preferred Shelf Number ONLINE
Electronic Access Formulario de incidencias Acceso al recurso electr�nico (s�lo UBU) John Wiley http://dx.doi.org/10.1002/9780470721803 MyiLibrary, Table of contents http://www.myilibrary.com?id=234276&ref=toc http://site.ebrary.com/lib/alltitles/Doc?id=10270652
Format: Electronic Resources
Availability Online Library~1

Computer modeling in bioengineering theoretical background, examples and software

2025-12-11T08:49:47Z

Author Kojic, Milos, 1941- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=366796 John Wiley http://dx.doi.org/10.1002/9780470751763 MyiLibrary, Table of contents http://www.myilibrary.com?id=184085&ref=toc
Format: Electronic Resources
Availability Online Library~1

Practical support for lean six sigma software process definition using IEEE software engineering standards

2025-12-11T08:49:47Z

Author Land, Susan K. Smith, Douglas Burr, 1943- Walz, John W.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129687
Format: Electronic Resources
Availability Online Library~1

Tutorial on hardware and software reliability, maintainability, and availability

2025-12-11T08:49:47Z

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

Digital signage software, networks, advertising, and displays : a primer for understanding the business

2025-12-11T08:49:47Z

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

The IT/digital legal companion a comprehensive business guide to software, Internet, and IP law : includes contracts and web forms

2025-12-11T08:49:47Z

Author Landy, Gene K. Mastrobattista, Amy J.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597492560
Format: Electronic Resources
Availability Online Library~1

Electronic structure modeling : connections between theory and software

2025-12-11T08:49:47Z

Author Trindle, Carl., author. Shillady, Donald.
Preferred Shelf Number QC176.8 .E4 T75 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Patterns for performance and operability : building and testing enterprise software

2025-12-11T08:49:47Z

Author Ford, Chris (Christopher B.)
Preferred Shelf Number QA76.76 .D47 P3768 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Microstructural characterization of materials

2025-12-11T08:49:47Z

Author Brandon, D. G. Kaplan, Wayne D. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Online text http://onlinelibrary.wiley.com/book/10.1002/9780470727133 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=470287 John Wiley http://dx.doi.org/10.1002/9780470727133 MyiLibrary, Table of contents http://www.myilibrary.com?id=234294&ref=toc
Format: Electronic Resources
Availability Online Library~1

An essential introduction to Maya character rigging with DVD

2025-12-11T08:49:47Z

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

Issues in Multi-Agent Systems The AgentCities.ES Experience

2025-12-11T08:49:47Z

Author Moreno, Antonio. editor. Pavón, Juan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8543-9
Format: Electronic Resources
Availability Online Library~1

Health Care Benchmarking and Performance Evaluation An Assessment using Data Envelopment Analysis (DEA)

2025-12-11T08:49:47Z

Author Ozcan, Yasar A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75448-2
Format: Electronic Resources
Availability Online Library~1

Agent Technology and e-Health

2025-12-11T08:49:47Z

Author Annicchiarico, Roberta. editor. Cortés, Ulises. editor. Urdiales, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8547-7
Format: Electronic Resources
Availability Online Library~1

Advanced Autonomic Networking and Communication

2025-12-11T08:49:47Z

Author Calisti, Monique. editor. Meer, Sven. editor. Strassner, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8569-9
Format: Electronic Resources
Availability Online Library~1

Defence Industry Applications of Autonomous Agents and Multi-Agent Systems

2025-12-11T08:49:47Z

Author Pěchouček, Michal. editor. Thompson, Simon G. editor. Voos, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8571-2
Format: Electronic Resources
Availability Online Library~1

CASCOM: Intelligent Service Coordination in the Semantic Web

2025-12-11T08:49:47Z

Author Schumacher, Michael. editor. Schuldt, Helko. editor. Helin, Helkki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8575-0
Format: Electronic Resources
Availability Online Library~1

Bidding Strategies in Agent-Based Continuous Double Auctions

2025-12-11T08:49:47Z

Author Ma, Huiye. author. Leung, Ho-fung. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8730-3
Format: Electronic Resources
Availability Online Library~1

Emerging Web Services Technology, Volume II

2025-12-11T08:49:47Z

Author Gschwind, Thomas. editor. Pautasso, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8864-5
Format: Electronic Resources
Availability Online Library~1

PowerBuilder : PowerScript reference, version 6.

2025-12-11T08:49:47Z

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

Information security management handbook

2025-12-11T08:49:47Z

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

Information security management handbook

2025-12-11T08:49:47Z

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

Human-computer interaction. Development process

2025-12-11T08:49:47Z

Author Sears, Andrew. Jacko, Julie A.
Preferred Shelf Number QA76.9 .H85 H85653 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Wired/Wireless Internet Communications 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings

2025-12-11T08:49:47Z

Author Harju, Jarmo. editor. Heijenk, Geert. editor. Langendörfer, Peter. editor. Siris, Vasilios A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68807-5
Format: Electronic Resources
Availability Online Library~1

RoboCup 2007: Robot Soccer World Cup XI

2025-12-11T08:49:47Z

Author Visser, Ubbo. editor. Ribeiro, Fernando. editor. Ohashi, Takeshi. editor. Dellaert, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68847-1
Format: Electronic Resources
Availability Online Library~1

Mathematics and Computation, a Contemporary View The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006

2025-12-11T08:49:47Z

Author Munthe-Kaas, Hans. editor. Owren, Brynjulf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68850-1
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

2025-12-11T08:49:47Z

Author Suzuki, Kenji. editor. Higashino, Teruo. editor. Yasumoto, Keiichi. editor. El-Fakih, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68855-6
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence: Research Frontiers IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures

2025-12-11T08:49:47Z

Author Zurada, Jacek M. editor. Yen, Gary G. editor. Wang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68860-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

2025-12-11T08:49:47Z

Author Barthe, Gilles. editor. Boer, Frank S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68863-1
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects in Information and Management 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings

2025-12-11T08:49:47Z

Author Fleischer, Rudolf. editor. Xu, Jinhui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68880-8
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings

2025-12-11T08:49:47Z

Author Lodi, Andrea. editor. Panconesi, Alessandro. editor. Rinaldi, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68891-4
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Applied Artificial Intelligence 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings

2025-12-11T08:49:47Z

Author Nguyen, Ngoc Thanh. editor. Borzemski, Leszek. editor. Grzech, Adam. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69052-8
Format: Electronic Resources
Availability Online Library~1

Requirements Management The Interface Between Requirements Development and All Other Systems Engineering Processes

2025-12-11T08:49:47Z

Author Hood, Colin. author. Wiedemann, Simon. author. Fichtinger, Stefan. author. Pautz, Urte. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68476-3
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

2025-12-11T08:49:47Z

Author Harrison, Michael D. editor. Sujan, Mark-Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87698-4
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature – PPSN X 10th International Conference Dortmund, Germany, September 13-17, 2008 Proceedings

2025-12-11T08:49:47Z

Author Rudolph, Günter. editor. Jansen, Thomas. editor. Lucas, Simon. editor. Poloni, Carlo. editor. Beume, Nicola. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87700-4
Format: Electronic Resources
Availability Online Library~1

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings

2025-12-11T08:49:47Z

Author Halperin, Dan. editor. Mehlhorn, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87744-8
Format: Electronic Resources
Availability Online Library~1

Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

2025-12-11T08:49:47Z

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

Multiagent System Technologies 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

2025-12-11T08:49:47Z

Author Bergmann, Ralph. editor. Lindemann, Gabriela. editor. Kirn, Stefan. editor. Pěchouček, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87805-6
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings

2025-12-11T08:49:47Z

Author Zaverucha, Gerson. editor. Costa, Augusto Loureiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88190-2
Format: Electronic Resources
Availability Online Library~1

Comparative Genomics International Workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008. Proceedings

2025-12-11T08:49:47Z

Author Nelson, Craig E. editor. Vialette, Stéphane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87989-3
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings

2025-12-11T08:49:47Z

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

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

2025-12-11T08:49:47Z

Author Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Soós, Anna. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88059-2
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligence Systems Third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008. Proceedings

2025-12-11T08:49:47Z

Author Corchado, Emilio. editor. Abraham, Ajith. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87656-4
Format: Electronic Resources
Availability Online Library~1

Pairing-Based Cryptography – Pairing 2008 Second International Conference, Egham, UK, September 1-3, 2008. Proceedings

2025-12-11T08:49:47Z

Author Galbraith, Steven D. editor. Paterson, Kenneth G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85538-5
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

2025-12-11T08:49:47Z

Author Fitzgerald, John S. editor. Haxthausen, Anne E. editor. Yenigun, Husnu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85762-4
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2025-12-11T08:49:47Z

Author Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85778-5
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings

2025-12-11T08:49:47Z

Author Ito, Masami. editor. Toyama, Masafumi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85780-8
Format: Electronic Resources
Availability Online Library~1

Using OpenMP portable shared memory parallel programming

2025-12-11T08:49:47Z

Author Chapman, Barbara, 1954- Jost, Gabriele. Pas, Ruud van der.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267237
Format: Electronic Resources
Availability Online Library~1

Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity

2025-12-11T08:49:47Z

Author Georgiou, Chryssis. author. Shvartsman, Alexander A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-69045-2
Format: Electronic Resources
Availability Online Library~1

A Modular Calculus for the Average Cost of Data Structuring

2025-12-11T08:49:47Z

Author Schellekens, Michel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-73384-5
Format: Electronic Resources
Availability Online Library~1

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications

2025-12-11T08:49:47Z

Author Bobda, Christophe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6100-4
Format: Electronic Resources
Availability Online Library~1

Fine- and Coarse-Grain Reconfigurable Computing

2025-12-11T08:49:47Z

Author Vassiliadis, Stamatis. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6505-7
Format: Electronic Resources
Availability Online Library~1

Practical Problems in VLSI Physical Design Automation

2025-12-11T08:49:47Z

Author Lim, Sung Kyu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6627-6
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Specification and Design Languages Selected contributions from FDL’07

2025-12-11T08:49:47Z

Author Villar, Eugenio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8297-9
Format: Electronic Resources
Availability Online Library~1

Ingredients for Successful System Level Design Methodology

2025-12-11T08:49:47Z

Author Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: Electronic Resources
Availability Online Library~1

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms

2025-12-11T08:49:47Z

Author Wieferink, Andreas. author. Meyr, Heinrich. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8652-6
Format: Electronic Resources
Availability Online Library~1

Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics

2025-12-11T08:49:47Z

Author Sobh, Tarek. editor. Elleithy, Khaled. editor. Mahmood, Ausif. editor. Karim, Mohammad A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8737-0
Format: Electronic Resources
Availability Online Library~1

Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education

2025-12-11T08:49:47Z

Author Iskander, Magued. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8739-4
Format: Electronic Resources
Availability Online Library~1

Advances in Computer and Information Sciences and Engineering

2025-12-11T08:49:47Z

Author Sobh, Tarek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8741-7
Format: Electronic Resources
Availability Online Library~1

Pro Oracle Application Express

2025-12-11T08:49:47Z

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

Beginning PHP and MySQL E-Commerce From Novice to Professional

2025-12-11T08:49:47Z

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

Advanced Methods for Inconsistent Knowledge Management

2025-12-11T08:49:47Z

Author Nguyen, Ngoc Thanh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-889-0
Format: Electronic Resources
Availability Online Library~1

The Algorithm Design Manual

2025-12-11T08:49:47Z

Author Skiena, Steven S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-070-4
Format: Electronic Resources
Availability Online Library~1

Improvements in System Safety

2025-12-11T08:49:47Z

Author Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-100-8
Format: Electronic Resources
Availability Online Library~1

Network Models and Optimization Multiobjective Genetic Algorithm Approach

2025-12-11T08:49:47Z

Author Gen, Mitsuo. author. Cheng, Runwei. author. Lin, Lin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-181-7
Format: Electronic Resources
Availability Online Library~1

Enterprise Interoperability III New Challenges and Industrial Approaches

2025-12-11T08:49:47Z

Author Mertins, Kai. editor. Ruggaber, Rainer. editor. Popplewell, Keith. editor. Xu, Xiaofei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-221-0
Format: Electronic Resources
Availability Online Library~1

Das V-Modell XT Grundlagen, Methodik und Anwendungen

2025-12-11T08:49:47Z

Author Höhn, Reinhard. author. Höppner, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-30250-6
Format: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings

2025-12-11T08:49:47Z

Author Wu, Song. editor. Yang, Laurence T. editor. Xu, Tony Li. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68083-3
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers

2025-12-11T08:49:47Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68111-3
Format: Electronic Resources
Availability Online Library~1

Service Availability 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings

2025-12-11T08:49:47Z

Author Nanya, Takashi. editor. Maruyama, Fumihiro. editor. Pataricza, András. editor. Malek, Miroslaw. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68129-8
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

2025-12-11T08:49:47Z

Author Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68155-7
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology – AFRICACRYPT 2008 First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings

2025-12-11T08:49:47Z

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

Modeling Semantic Web Services The Web Service Modeling Language

2025-12-11T08:49:47Z

Author Bruijn, Jos. author. Fensel, Dieter. author. Kerrigan, Mick. author. Keller, Uwe. author. Lausen, Holger. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68172-4
Format: Electronic Resources
Availability Online Library~1

The IT Measurement Compendium Estimating and Benchmarking Success with Functional Size Measurement

2025-12-11T08:49:47Z

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

The Semantic Web: Research and Applications 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings

2025-12-11T08:49:47Z

Author Bechhofer, Sean. editor. Hauswirth, Manfred. editor. Hoffmann, Jörg. editor. Koubarakis, Manolis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68234-9
Format: Electronic Resources
Availability Online Library~1

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

2025-12-11T08:49:47Z

Author Cuellar, Jorge. editor. Maibaum, Tom. editor. Sere, Kaisa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68237-0
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2025-12-11T08:49:47Z

Author Lea, Doug. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68265-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

2025-12-11T08:49:47Z

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

Persuasive Technology Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings

2025-12-11T08:49:47Z

Author Oinas-Kukkonen, Harri. editor. Hasle, Per. editor. Harjumaa, Marja. editor. Segerståhl, Katarina. editor. Øhrstrøm, Peter. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68504-3
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings

2025-12-11T08:49:47Z

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

OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

2025-12-11T08:49:47Z

Author Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68555-5
Format: Electronic Resources
Availability Online Library~1

Tools for High Performance Computing Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart

2025-12-11T08:49:47Z

Author Resch, Michael. editor. Keller, Rainer. editor. Himmler, Valentin. editor. Krammer, Bettina. editor. Schulz, Alexander. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68564-7
Format: Electronic Resources
Availability Online Library~1

Multimodal Technologies for Perception of Humans International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers

2025-12-11T08:49:47Z

Author Stiefelhagen, Rainer. editor. Bowers, Rachel. editor. Fiscus, Jonathan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68585-2
Format: Electronic Resources
Availability Online Library~1

Temporal Logic and State Systems

2025-12-11T08:49:47Z

Author Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68635-4
Format: Electronic Resources
Availability Online Library~1

Information Retrieval Technology 4th Asia Infomation Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008 Revised Selected Papers

2025-12-11T08:49:47Z

Author Li, Hang. editor. Liu, Ting. editor. Ma, Wei-Ying. editor. Sakai, Tetsuya. editor. Wong, Kam-Fai. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68636-1
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings

2025-12-11T08:49:47Z

Author Meier, René. editor. Terzis, Sotirios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68642-2
Format: Electronic Resources
Availability Online Library~1

Advances in Enterprise Engineering I 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings

2025-12-11T08:49:47Z

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

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

2025-12-11T08:49:47Z

Author Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68679-8
Format: Electronic Resources
Availability Online Library~1

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

2025-12-11T08:49:47Z

Author Alpuente, María. editor. Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69166-2
Format: Electronic Resources
Availability Online Library~1

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

2025-12-11T08:49:47Z

Author Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68746-7
Format: Electronic Resources
Availability Online Library~1

Echtzeitsysteme Grundlagen der Planung

2025-12-11T08:49:47Z

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

Algorithmic Mechanism Design Eine Einführung

2025-12-11T08:49:47Z

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

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

2025-12-11T08:49:47Z

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

Graph Drawing 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers

2025-12-11T08:49:47Z

Author Hong, Seok-Hee. editor. Nishizeki, Takao. editor. Quan, Wu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77537-9
Format: Electronic Resources
Availability Online Library~1

Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

2025-12-11T08:49:47Z

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-77564-5
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings

2025-12-11T08:49:47Z

Author Geffert, Viliam. editor. Karhumäki, Juhani. editor. Bertoni, Alberto. editor. Preneel, Bart. editor. Návrat, Pavol. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77566-9
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers

2025-12-11T08:49:47Z

Author Manolopoulos, Yannis. editor. Filipe, Joaquim. editor. Constantopoulos, Panos. editor. Cordeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77581-2
Format: Electronic Resources
Availability Online Library~1

Ajax in Oracle JDeveloper

2025-12-11T08:49:47Z

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

Wireless Sensor Networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings

2025-12-11T08:49:47Z

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

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

2025-12-11T08:49:47Z

Author Labarta, Jesús. editor. Joe, Kazuki. editor. Sato, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77704-5
Format: Electronic Resources
Availability Online Library~1

Understanding Planning Tasks Domain Complexity and Heuristic Decomposition

2025-12-11T08:49:47Z

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

Algorithmic Aspects of Wireless Sensor Networks Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers

2025-12-11T08:49:47Z

Author Kutyłowski, Mirosław. editor. Cichoń, Jacek. editor. Kubiak, Przemysław. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77871-4
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

2025-12-11T08:49:47Z

Author Hudak, Paul. editor. Warren, David S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77442-6
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings

2025-12-11T08:49:47Z

Author Rao, Shrisha. editor. Chatterjee, Mainak. editor. Jayanti, Prasad. editor. Murthy, C. Siva Ram. editor. Saha, Sanjoy Kumar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77444-0
Format: Electronic Resources
Availability Online Library~1

Reflections on the Teaching of Programming Methods and Implementations

2025-12-11T08:49:47Z

Author Bennedsen, Jens. editor. Caspersen, Michael E. editor. Kölling, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77934-6
Format: Electronic Resources
Availability Online Library~1

Public Key Cryptography – PKC 2008 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008. Proceedings

2025-12-11T08:49:47Z

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

Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

2025-12-11T08:49:47Z

Author Blockeel, Hendrik. editor. Ramon, Jan. editor. Shavlik, Jude. editor. Tadepalli, Prasad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78469-2
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers

2025-12-11T08:49:47Z

Author Bougé, Luc. editor. Forsell, Martti. editor. Träff, Jesper Larsson. editor. Streit, Achim. editor. Ziegler, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78474-6
Format: Electronic Resources
Availability Online Library~1

Bioinformatics Problem Solving Paradigms

2025-12-11T08:49:47Z

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

Theory of Cryptography Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings

2025-12-11T08:49:47Z

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

Enterprise Applications and Services in the Finance Industry 3rd International Workshop, FinanceCom 2007, Montreal, Canada, December 8, 2007. Revised Papers

2025-12-11T08:49:47Z

Author Veit, Daniel J. editor. Kundisch, Dennis. editor. Weitzel, Tim. editor. Weinhardt, Christof. editor. Rabhi, Fethi A. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78550-7
Format: Electronic Resources
Availability Online Library~1

Probabilistic Inductive Logic Programming Theory and Applications

2025-12-11T08:49:47Z

Author Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78652-8
Format: Electronic Resources
Availability Online Library~1

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

2025-12-11T08:49:47Z

Author Barthe, Gilles. editor. Fournet, Cédric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78663-4
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings

2025-12-11T08:49:47Z

Author O’Neill, Michael. editor. Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Esparcia Alcázar, Anna Isabel. editor. Falco, Ivanoe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78671-9
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

2025-12-11T08:49:47Z

Author Sichman, Jaime Simão. editor. Padget, Julian. editor. Ossowski, Sascha. editor. Noriega, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79003-7
Format: Electronic Resources
Availability Online Library~1

Advanced Data Mining and Applications 4th International Conference, ADMA 2008, Chengdu, China, October 8-10, 2008. Proceedings

2025-12-11T08:49:47Z

Author Tang, Changjie. editor. Ling, Charles X. editor. Zhou, Xiaofang. editor. Cercone, Nick J. editor. Li, Xue. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88192-6
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

2025-12-11T08:49:47Z

Author Czarnecki, Krzysztof. editor. Ober, Ileana. editor. Bruel, Jean-Michel. editor. Uhl, Axel. editor. Völter, Markus. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87875-9
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings

2025-12-11T08:49:47Z

Author Li, Qing. editor. Spaccapietra, Stefano. editor. Yu, Eric. editor. Olivé, Antoni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87877-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings

2025-12-11T08:49:47Z

Author Darzentas, John. editor. Vouros, George A. editor. Vosinakis, Spyros. editor. Arnellos, Argyris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87881-0
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

2025-12-11T08:49:47Z

Author Cha, Sungdeok (Steve). editor. Choi, Jin-Young. editor. Kim, Moonzoo. editor. Lee, Insup. editor. Viswanathan, Mahesh. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88387-6
Format: Electronic Resources
Availability Online Library~1

Post-Quantum Cryptography Second International Workshop, PQCrypto 2008 Cincinnati, OH, USA, October 17-19, 2008 Proceedings

2025-12-11T08:49:47Z

Author Buchmann, Johannes. editor. Ding, Jintai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88403-3
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings

2025-12-11T08:49:47Z

Author Heiner, Monika. editor. Uhrmacher, Adelinde M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88562-7
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings

2025-12-11T08:49:47Z

Author Li, Yingshu. editor. Huynh, Dung T. editor. Das, Sajal K. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88582-5
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008 Proceedings

2025-12-11T08:49:47Z

Author Chen, Liqun. editor. Ryan, Mark D. editor. Wang, Guilin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88625-9
Format: Electronic Resources
Availability Online Library~1

Systems and Virtualization Management. Standards and New Technologies Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings

2025-12-11T08:49:47Z

Author Boursas, Latifa. editor. Carlson, Mark. editor. Hommel, Wolfgang. editor. Sibilla, Michelle. editor. Wold, Kes. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88708-9
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

2025-12-11T08:49:47Z

Author Calvanese, Diego. editor. Lausen, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88737-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology IX

2025-12-11T08:49:47Z

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

Critical Information Infrastructures Security Second International Workshop, CRITIS 2007, Málaga, Spain, October 3-5, 2007. Revised Papers

2025-12-11T08:49:47Z

Author Lopez, Javier. editor. Hämmerli, Bernhard M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89173-4
Format: Electronic Resources
Availability Online Library~1

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

2025-12-11T08:49:47Z

Author Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88808-6
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2008 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings

2025-12-11T08:49:47Z

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

On the Move to Meaningful Internet Systems: OTM 2008 Workshops OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings

2025-12-11T08:49:47Z

Author Meersman, Robert. editor. Tari, Zahir. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88875-8
Format: Electronic Resources
Availability Online Library~1

Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers

2025-12-11T08:49:47Z

Author Kawano, Yasuhito. editor. Mosca, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89304-2
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

2025-12-11T08:49:47Z

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

Stabilization, Safety, and Security of Distributed Systems 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

2025-12-11T08:49:47Z

Author Kulkarni, Sandeep. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89335-6
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology - INDOCRYPT 2008 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008. Proceedings

2025-12-11T08:49:47Z

Author Chowdhury, Dipanwita Roy. editor. Rijmen, Vincent. editor. Das, Abhijit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89754-5
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

2025-12-11T08:49:47Z

Author Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89812-2
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

2025-12-11T08:49:47Z

Author Shen, Weiming. editor. Yong, Jianming. editor. Yang, Yun. editor. Barthès, Jean-Paul A. editor. Luo, Junzhou. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92719-8
Format: Electronic Resources
Availability Online Library~1

Complexity of Constraints An Overview of Current Research Themes

2025-12-11T08:49:47Z

Author Creignou, Nadia. editor. Kolaitis, Phokion G. editor. Vollmer, Heribert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92800-3
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers

2025-12-11T08:49:47Z

Author Palma, José M. Laginha M. editor. Amestoy, Patrick R. editor. Daydé, Michel. editor. Mattoso, Marta. editor. Lopes, João Correia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92859-1
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects of Wireless Sensor Networks Fourth International Workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. Revised Selected Papers

2025-12-11T08:49:47Z

Author Fekete, Sándor P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92862-1
Format: Electronic Resources
Availability Online Library~1

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

2025-12-11T08:49:47Z

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

E-Government Ict Professionalism and Competences Service Science

2025-12-11T08:49:47Z

Author Mazzeo, Antonino. editor. Bellini, Roberto. editor. Motta, Gianmario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09712-1
Format: Electronic Resources
Availability Online Library~1

Moving Wearables into the Mainstream Taming the Borg

2025-12-11T08:49:47Z

Author Dvorak, Joseph L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-69142-8
Format: Electronic Resources
Availability Online Library~1

Computer And Computing Technologies In Agriculture, Volume I First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

2025-12-11T08:49:47Z

Author Li, Daoliang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-77251-6
Format: Electronic Resources
Availability Online Library~1

Computer And Computing Technologies In Agriculture, Volume II First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007

2025-12-11T08:49:47Z

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

Automatic Program Development A Tribute to Robert Paige

2025-12-11T08:49:47Z

Author Danvy, Olivier. editor. Henglein, Fritz. editor. Mairson, Harry. editor. Pettorossi, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6585-9
Format: Electronic Resources
Availability Online Library~1

Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008

2025-12-11T08:49:47Z

Author Mahr, Bernd. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8889-6
Format: Electronic Resources
Availability Online Library~1

The Definitive Guide to Django Web Development Done Right

2025-12-11T08:49:47Z

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-0331-5
Format: Electronic Resources
Availability Online Library~1

Office and SharePoint 2007 User’s Guide Integrating SharePoint with Excel, Outlook, Access, and Word

2025-12-11T08:49:47Z

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

Practical Django Projects

2025-12-11T08:49:47Z

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

Android Essentials

2025-12-11T08:49:47Z

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

Founders at Work Stories of Startups’ Early Days

2025-12-11T08:49:47Z

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

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities

2025-12-11T08:49:47Z

Author Simon, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-017-9
Format: Electronic Resources
Availability Online Library~1

Distributed Search by Constrained Agents Algorithms, Performance, Communication

2025-12-11T08:49:47Z

Author Meisels, Amnon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-040-7
Format: Electronic Resources
Availability Online Library~1

Foundations of 3D Graphics Programming Using JOGL and Java3D

2025-12-11T08:49:47Z

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

Developing Ambient Intelligence Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d’07)

2025-12-11T08:49:47Z

Author Maña, Antonio. author. Rudolph, Carsten. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-2-287-78544-3
Format: Electronic Resources
Availability Online Library~1

Auf der Fährte von C# Einführung und Referenz

2025-12-11T08:49:47Z

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

Combinatorial Pattern Matching 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings

2025-12-11T08:49:47Z

Author Ferragina, Paolo. editor. Landau, Gad M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69068-9
Format: Electronic Resources
Availability Online Library~1

Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

2025-12-11T08:49:47Z

Author Schieferdecker, Ina. editor. Hartman, Alan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69100-6
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings

2025-12-11T08:49:47Z

Author Nikoletseas, Sotiris E. editor. Chlebus, Bogdan S. editor. Johnson, David B. editor. Krishnamachari, Bhaskar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69170-9
Format: Electronic Resources
Availability Online Library~1

Trusted Computing - Challenges and Applications First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings

2025-12-11T08:49:47Z

Author Lipp, Peter. editor. Sadeghi, Ahmad-Reza. editor. Koch, Klaus-Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68979-9
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

2025-12-11T08:49:47Z

Author Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68982-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Data Hiding and Multimedia Security III

2025-12-11T08:49:47Z

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

Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I

2025-12-11T08:49:47Z

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

Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II

2025-12-11T08:49:47Z

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

Time-Dependent Scheduling

2025-12-11T08:49:47Z

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

Public Key Infrastructure 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008 Proceedings

2025-12-11T08:49:47Z

Author Mjølsnes, Stig F. editor. Mauw, Sjouke. editor. Katsikas, Sokratis K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69485-4
Format: Electronic Resources
Availability Online Library~1

Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings

2025-12-11T08:49:47Z

Author Gathen, Joachim. editor. Imaña, José Luis. editor. Koç, Çetin Kaya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69499-1
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing – ICAISC 2008 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings

2025-12-11T08:49:47Z

Author Rutkowski, Leszek. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor. Zurada, Jacek M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69731-2
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings

2025-12-11T08:49:47Z

Author Hu, Xiaodong. editor. Wang, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69733-6
Format: Electronic Resources
Availability Online Library~1

C++ mit dem Borland C++Builder 2007 Einführung in den C++-Standard und die objektorientierte Windows-Programmierung

2025-12-11T08:49:47Z

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

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

2025-12-11T08:49:47Z

Author Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70569-7
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

2025-12-11T08:49:47Z

Author Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70575-8
Format: Electronic Resources
Availability Online Library~1

Der Weg zur professionellen IT Eine praktische Anleitung für das Management von Veränderungen mit CMMI, ITIL oder SPICE

2025-12-11T08:49:47Z

Author Foegen, Malte. author. Solbach, Mareike. author. Raak, Claudia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72472-8
Format: Electronic Resources
Availability Online Library~1

Model-Driven Testing

2025-12-11T08:49:47Z

Author Baker, Paul. author. Dai, Zhen Ru. author. Grabowski, Jens. author. Haugen, Øystein. author. Schieferdecker, Ina. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72563-3
Format: Electronic Resources
Availability Online Library~1

Wege aus der Softwarekrise Verbesserungen bei der Softwareentwicklung

2025-12-11T08:49:47Z

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

Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing

2025-12-11T08:49:47Z

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

Python Scripting for Computational Science

2025-12-11T08:49:47Z

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

Decision Procedures An Algorithmic Point of View

2025-12-11T08:49:47Z

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

Logics of Specification Languages

2025-12-11T08:49:47Z

Author Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74107-7
Format: Electronic Resources
Availability Online Library~1

Design by Evolution Advances in Evolutionary Design

2025-12-11T08:49:47Z

Author Hingston, Philip F. editor. Barone, Luigi C. editor. Michalewicz, Zbigniew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74111-4
Format: Electronic Resources
Availability Online Library~1

Open Source Approaches in Spatial Data Handling

2025-12-11T08:49:47Z

Author Hall, G. Brent. editor. Leahy, Michael G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74831-1
Format: Electronic Resources
Availability Online Library~1

Mobilität und Echtzeit Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time) Boppard, 6./7. Dezember 2007

2025-12-11T08:49:47Z

Author Holleczek, Peter. editor. Vogel-Heuser, Birgit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74837-3
Format: Electronic Resources
Availability Online Library~1

Web Component Development with Zope 3

2025-12-11T08:49:47Z

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

Informatikforschung in Deutschland

2025-12-11T08:49:47Z

Author Reuse, Bernd. editor. Vollmar, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76550-9
Format: Electronic Resources
Availability Online Library~1

Theoretische Informatik Eine umfassende Einführung

2025-12-11T08:49:47Z

Author Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76320-8
Format: Electronic Resources
Availability Online Library~1

Rightshore! Successfully SAP(R) Projects Offshore

2025-12-11T08:49:47Z

Author Messner, Wolfgang. editor. Hendel, Anja. editor. Thun, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77288-0
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – EUROCRYPT 2008 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedings

2025-12-11T08:49:47Z

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

Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers

2025-12-11T08:49:47Z

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

Semantic Service Provisioning

2025-12-11T08:49:47Z

Author Kuropka, Dominik. editor. Staab, Steffen. editor. Tröger, Peter. editor. Weske, Mathias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78617-7
Format: Electronic Resources
Availability Online Library~1

Einstieg in Java und OOP

2025-12-11T08:49:47Z

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

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

2025-12-11T08:49:47Z

Author Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79043-3
Format: Electronic Resources
Availability Online Library~1

Discrete Geometry for Computer Imagery 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings

2025-12-11T08:49:47Z

Author Coeurjolly, David. editor. Sivignon, Isabelle. editor. Tougne, Laure. editor. Dupont, Florent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79126-3
Format: Electronic Resources
Availability Online Library~1

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

2025-12-11T08:49:47Z

Author Dumas, Marlon. editor. Heckel, Reiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79230-7
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2008 The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings

2025-12-11T08:49:47Z

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

Transactions on Computational Science I

2025-12-11T08:49:47Z

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

Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings

2025-12-11T08:49:47Z

Author Poorten, Alfred J. editor. Stein, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79456-1
Format: Electronic Resources
Availability Online Library~1

Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

2025-12-11T08:49:47Z

Author Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78827-0
Format: Electronic Resources
Availability Online Library~1

TestGoal Result-Driven Testing

2025-12-11T08:49:47Z

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

Research in Computational Molecular Biology 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. Proceedings

2025-12-11T08:49:47Z

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

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings

2025-12-11T08:49:47Z

Author Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78913-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers

2025-12-11T08:49:47Z

Author Hierons, Robert M. editor. Bowen, Jonathan P. editor. Harman, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78917-8
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

2025-12-11T08:49:47Z

Author Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78929-1
Format: Electronic Resources
Availability Online Library~1

Ada 2005 Rationale The Language, The Standard Libraries

2025-12-11T08:49:47Z

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

Information Systems and e-Business Technologies 2nd International United Information Systems Conference UNISCON 2008 Klagenfurt, Austria, April 22–25, 2008 Proceedings

2025-12-11T08:49:47Z

Author Kaschek, Roland. editor. Kop, Christian. editor. Steinberger, Claudia. editor. Fliedl, Günther. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78942-0
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings

2025-12-11T08:49:47Z

Author Hirsch, Edward A. editor. Razborov, Alexander A. editor. Semenov, Alexei. editor. Slissenko, Anatol. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79709-8
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2025-12-11T08:49:47Z

Author Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings

2025-12-11T08:49:47Z

Author Das, Amitabha. editor. Pung, Hung Keng. editor. Lee, Francis Bu Sung. editor. Wong, Lawrence Wai Choong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79549-0
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing 6th International Conference, Pervasive 2008 Sydney, Australia, May 19-22, 2008 Proceedings

2025-12-11T08:49:47Z

Author Indulska, Jadwiga. editor. Patterson, Donald J. editor. Rodden, Tom. editor. Ott, Max. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79576-6
Format: Electronic Resources
Availability Online Library~1

Cellular Automata 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings

2025-12-11T08:49:47Z

Author Umeo, Hiroshi. editor. Morishita, Shin. editor. Nishinari, Katsuhiro. editor. Komatsuzaki, Toshihiko. editor. Bandini, Stefania. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79992-4
Format: Electronic Resources
Availability Online Library~1

GeoSensor Networks Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers

2025-12-11T08:49:47Z

Author Nittel, Silvia. editor. Labrinidis, Alexandros. editor. Stefanidis, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79996-2
Format: Electronic Resources
Availability Online Library~1

Engineering Environment-Mediated Multi-Agent Systems International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers

2025-12-11T08:49:47Z

Author Weyns, Danny. editor. Brueckner, Sven A. editor. Demazeau, Yves. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85029-8
Format: Electronic Resources
Availability Online Library~1

Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers

2025-12-11T08:49:47Z

Author Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85035-9
Format: Electronic Resources
Availability Online Library~1