Search Results for Software. - Narrowed by: English - 2007

Software engineering

2024-11-11T12:00:50Z

Author Sommerville, Ian, 1951-
Preferred Shelf Number QA76.6 S66 2007
Format: Books
Availability Beytepe Library~1

System Software Reliability

2024-11-11T12:00:50Z

Author Pham, Hoang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-295-0
Format: Electronic Resources
Availability Online Library~1

Global software development handbook

2024-11-11T12:00:50Z

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

Six Sigma software development

2024-11-11T12:00:50Z

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

Essentials of software engineering

2024-11-11T12:00:50Z

Author Tsui, Frank F. Karam, Orlando.
Preferred Shelf Number QA76.758 .T785 2007
Format: Books
Availability Beytepe Library~1

Handbook of software engineering & knowledge engineering

2024-11-11T12:00:50Z

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

Software deployment, updating, and patching

2024-11-11T12:00:50Z

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

Software Measurement Establish — Extract — Evaluate — Execute

2024-11-11T12:00:50Z

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

Software and Patents in Europe

2024-11-11T12:00:50Z

Author Leith, Philip.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Software Engineering Techniques: Design for Quality

2024-11-11T12:00:50Z

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

Effective prototyping for software makers

2024-11-11T12:00:50Z

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

Effective prototyping for software makers

2024-11-11T12:00:50Z

Software Engineering for Experimental Robotics

2024-11-11T12:00:50Z

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

Software defined radio the software communications architecture

2024-11-11T12:00:50Z

Author Bard, John. Kovarik, Vincent J. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=291020 John Wiley http://dx.doi.org/10.1002/9780470865200 Books24x7 http://www.books24x7.com/marc.asp?bookid=22762 HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/72871314.html
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development III

2024-11-11T12:00:50Z

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

Transactions on Aspect-Oriented Software Development IV

2024-11-11T12:00:50Z

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

Java software solutions : foundations of program design

2024-11-11T12:00:50Z

Author Lewis, John. Loftus, William, ort. yaz.
Preferred Shelf Number QA76.73.J38 .L49 2007
Format: Books
Availability Beytepe Library~2

Directory of library automation software, systems, and services.

2024-11-11T12:00:50Z

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

Linear mixed models a practical guide using statistical software

2024-11-11T12:00:50Z

Author West, Brady. Welch, Kathleen B. Galecki, Andrzej T.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Data Envelopment Analysis A Comprehensive Text with Models, Applications, References and DEA-Solver Software

2024-11-11T12:00:50Z

Author Cooper, William W. author. Seiford, Lawrence M. author. Tone, Kaoru. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-45283-8
Format: Electronic Resources
Availability Online Library~1

Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland

2024-11-11T12:00:50Z

Author Feller, Joseph. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Sillitti, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-72486-7
Format: Electronic Resources
Availability Online Library~1

Grid-Based Problem Solving Environments IFIP TC2/ WG 2.5 Working Conference on Grid-Based Problem Solving Environments: Implications for Development and Deployment of Numerical Software July 17–21, 2006, Prescott, Arizona, USA

2024-11-11T12:00:50Z

Author Gaffney, Patrick W. editor. Pool, James C. T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-73659-4
Format: Electronic Resources
Availability Online Library~1

A Software-Defined GPS and Galileo Receiver A Single-Frequency Approach

2024-11-11T12:00:50Z

Author Borre, Kai. author. Akos, Dennis M. author. Bertelsen, Nicolaj. author. Rinder, Peter. author. Jensen, Søren Holdt. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4540-3
Format: Electronic Resources
Availability Online Library~1

Managing Humans Biting and Humorous Tales of a Software Engineering Manager

2024-11-11T12:00:50Z

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

The Geospatial Web How Geobrowsers, Social Software and the Web 2.0 are Shaping the Network Society

2024-11-11T12:00:50Z

Author Scharl, Arno. editor. Tochtermann, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-827-2
Format: Electronic Resources
Availability Online Library~1

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

2024-11-11T12:00:50Z

Author Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69061-0
Format: Electronic Resources
Availability Online Library~1

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

2024-11-11T12:00:50Z

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

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

2024-11-11T12:00:50Z

Author Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70889-6
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-11-11T12:00:50Z

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

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

2024-11-11T12:00:50Z

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

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-11-11T12:00:50Z

Author Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71289-3
Format: Electronic Resources
Availability Online Library~1

Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers

2024-11-11T12:00:50Z

Author Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71301-2
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2024-11-11T12:00:50Z

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

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

2024-11-11T12:00:50Z

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

Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling

2024-11-11T12:00:50Z

Author Pastor, Oscar. author. Molina, Juan Carlos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71868-0
Format: Electronic Resources
Availability Online Library~1

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

2024-11-11T12:00:50Z

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

Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings

2024-11-11T12:00:50Z

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

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2024-11-11T12:00:50Z

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

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

2024-11-11T12:00:50Z

Author Sawyer, Pete. editor. Paech, Barbara. editor. Heymans, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73031-6
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

2024-11-11T12:00:50Z

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

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

2024-11-11T12:00:50Z

Author Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73551-9
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2024-11-11T12:00:50Z

Author Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

2024-11-11T12:00:50Z

Author Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73101-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications

2024-11-11T12:00:50Z

Author Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73131-3
Format: Electronic Resources
Availability Online Library~1

Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings

2024-11-11T12:00:50Z

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

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers

2024-11-11T12:00:50Z

Author Obermaisser, Roman. editor. Nah, Yunmook. editor. Puschner, Peter. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75664-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

2024-11-11T12:00:50Z

Author Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76650-6
Format: Electronic Resources
Availability Online Library~1

What every engineer should know about software engineering

2024-11-11T12:00:50Z

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

Effective software maintenance and evolution a reuse-based approach

2024-11-11T12:00:50Z

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

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

2024-11-11T12:00:50Z

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

Software Product Lines in Action The Best Industrial Practice in Product Line Engineering

2024-11-11T12:00:50Z

Author Linden, Frank. author. Schmid, Klaus. author. Rommes, Eelco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71437-8
Format: Electronic Resources
Availability Online Library~1

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings

2024-11-11T12:00:50Z

Author Lee, Yann-Hang. editor. Kim, Heung-Nam. editor. Kim, Jong. editor. Park, Yongwan. editor. Yang, Laurence T. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72685-2
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

2024-11-11T12:00:50Z

Author Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73370-6
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings

2024-11-11T12:00:50Z

Author Münch, Jürgen. editor. Abrahamsson, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73460-4
Format: Electronic Resources
Availability Online Library~1

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings

2024-11-11T12:00:50Z

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

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

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

Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers

2024-11-11T12:00:50Z

Author Overhage, Sven. editor. Szyperski, Clemens A. editor. Reussner, Ralf. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77619-2
Format: Electronic Resources
Availability Online Library~1

Designing with blends conceptual foundations of human-computer interaction and software engineering

2024-11-11T12:00:50Z

Author Imaz, Manuel. Benyon, David.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267285
Format: Electronic Resources
Availability Online Library~1

Multi-objective group decision making methods, software and applications with fuzzy set techniques

2024-11-11T12:00:50Z

Author Lu, Jie, 1957-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=203937
Format: Electronic Resources
Availability Online Library~1

Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems

2024-11-11T12:00:50Z

Author Arslan, Hüseyin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5542-3
Format: Electronic Resources
Availability Online Library~1

Advances and Innovations in Systems, Computing Sciences and Software Engineering

2024-11-11T12:00:50Z

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

Modelling in Mechanical Engineering and Mechatronics Towards Autonomous Intelligent Software Models

2024-11-11T12:00:50Z

Author Avgoustinov, Nikolay. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-909-5
Format: Electronic Resources
Availability Online Library~1

Applied software risk management a guide for software project managers

2024-11-11T12:00:50Z

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

Software VNA and microwave network design and characterisation

2024-11-11T12:00:50Z

Author Wu, Zhipeng.
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2007298044-b.html John Wiley http://dx.doi.org/10.1002/9780470513217
Format: Electronic Resources
Availability Online Library~1

Geospatial analysis : a comprehensive guide to principles, techniques and software tools

2024-11-11T12:00:50Z

Author De Smith, Michael John, 1951- Goodchild, Michael F. Longley, Paul.
Preferred Shelf Number G70.23 D47 2007
Format: Books
Availability Beytepe Library~1

Modelling in mechanical engineering and mechatronics : towards autonomous intelligent software models

2024-11-11T12:00:50Z

Author Avgoustinov, Nikolay.
Preferred Shelf Number TJ153 A88 2007
Format: Books
Availability Beytepe Library~1

Analog synthesizers understanding, performing, buying: from the legacy of Moog to software synthesis

2024-11-11T12:00:50Z

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

Making Beautiful Deep-Sky Images Astrophotography with Affordable Equipment and Software

2024-11-11T12:00:50Z

Author Parker, Greg. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-71353-3
Format: Electronic Resources
Availability Online Library~1

Software Verification and Validation An Engineering and Scientific Approach

2024-11-11T12:00:50Z

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

A software-defined GPS and Galileo receiver : a single-frequency approach

2024-11-11T12:00:50Z

Author Borre, Kai
Preferred Shelf Number TK5102.9 S64 2007
Format: Books
Availability Beytepe Library~1

Social software in libraries : building collaboration, communication, and community Online

2024-11-11T12:00:50Z

Author Farkas, Meredith G., 1977-
Electronic Access Table of contents only http://www.loc.gov/catdir/toc/ecip0711/2007004515.html
Format: Books
Availability ~0

Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software

2024-11-11T12:00:50Z

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

Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers

2024-11-11T12:00:50Z

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

Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings

2024-11-11T12:00:50Z

Author Abrahamsson, Pekka. editor. Baddoo, Nathan. editor. Margaria, Tiziana. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75381-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers

2024-11-11T12:00:50Z

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

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

2024-11-11T12:00:50Z

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

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

2024-11-11T12:00:50Z

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

How to cheat in Adobe Flash CS3 the art of design and animation

2024-11-11T12:00:50Z

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

Semantic Web: Concepts, Technologies and Applications

2024-11-11T12:00:50Z

Author Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-710-7
Format: Electronic Resources
Availability Online Library~1

Adaptive Bidding in Single-Sided Auctions Under Uncertainty An Agent-based Approach in Market Engineering

2024-11-11T12:00:50Z

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

The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems

2024-11-11T12:00:50Z

Author Cervenka, Radovan. author. Trencansky, Ivan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7643-8396-1
Format: Electronic Resources
Availability Online Library~1

Emerging Web Services Technology

2024-11-11T12:00:50Z

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

PowerBuilder : PowerScript reference, version 6.

2024-11-11T12:00:50Z

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

Validation and qualification in analytical laboratories

2024-11-11T12:00:50Z

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

The debugger's handbook

2024-11-11T12:00:50Z

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

Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra

2024-11-11T12:00:50Z

Author Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-35651-8
Format: Electronic Resources
Availability Online Library~1

A Graph-Theoretic Approach to Enterprise Network Dynamics

2024-11-11T12:00:50Z

Author Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-8176-4519-9
Format: Electronic Resources
Availability Online Library~1

Outlook 2007 Beyond the Manual

2024-11-11T12:00:50Z

Author Campbell, Tony. author. Hassell, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0388-9
Format: Electronic Resources
Availability Online Library~1

Excel 2007 Beyond the Manual

2024-11-11T12:00:50Z

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

Painless Project Management with FogBugz

2024-11-11T12:00:50Z

Author Gunderloy, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0487-9
Format: Electronic Resources
Availability Online Library~1

SharePoint 2007 User’s Guide Learning Microsoft’s Collaboration and Productivity Platform

2024-11-11T12:00:50Z

Author Bates, Seth. author. Smith, Tony. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0207-3
Format: Electronic Resources
Availability Online Library~1

Pro Access 2007

2024-11-11T12:00:50Z

Author Reid, Martin W P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0209-7
Format: Electronic Resources
Availability Online Library~1

Extreme NXT Extending the LEGO MINDSTORMS NXT to the Next Level

2024-11-11T12:00:50Z

Author Gasperi, Michael. author. Hurbain, Philippe Philo. author. Hurbain, Isabelle. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0211-0
Format: Electronic Resources
Availability Online Library~1

Smart and Gets Things Done Joel Spolsky’s Concise Guide to Finding the Best Technical Talent

2024-11-11T12:00:50Z

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

Pro BizTalk 2006

2024-11-11T12:00:50Z

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

The Definitive Guide to SOA: BEA AquaLogic® Service Bus

2024-11-11T12:00:50Z

Author Davies, Jeff. author. Krishna, Ashish. author. Schorow, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0263-9
Format: Electronic Resources
Availability Online Library~1

Word 2007 Beyond the Manual

2024-11-11T12:00:50Z

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

Pro Active Record Databases with Ruby and Rails

2024-11-11T12:00:50Z

Author Marshall, Kevin. author. Pytel, Chad. author. Yurek, Jon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0269-1
Format: Electronic Resources
Availability Online Library~1

Beginning Joomla! From Novice to Professional

2024-11-11T12:00:50Z

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

The Definitive Guide to the Microsoft Enterprise Library

2024-11-11T12:00:50Z

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

The Safety of Systems Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007

2024-11-11T12:00:50Z

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

Practical Distributed Processing

2024-11-11T12:00:50Z

Author Brooke, Phillip J. author. Paige, Richard F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-841-8
Format: Electronic Resources
Availability Online Library~1

Enterprise Interoperability II New Challenges and Approaches

2024-11-11T12:00:50Z

Author Gonçalves, Ricardo J. editor. Müller, Jörg P. editor. Mertins, Kai. editor. Zelm, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-858-6
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Programming and Java

2024-11-11T12:00:50Z

Author Poo, Danny. author. Kiong, Derek. author. Ashok, Swarnalatha. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-963-7
Format: Electronic Resources
Availability Online Library~1

Maple and Mathematica A Problem Solving Approach for Mathematics

2024-11-11T12:00:50Z

Author Shingareva, Inna. author. Lizàrraga-Celaya, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-211-73265-6
Format: Electronic Resources
Availability Online Library~1

Distributed Services with OpenAFS for Enterprise and Education

2024-11-11T12:00:50Z

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

Services Computing

2024-11-11T12:00:50Z

Author Zhang, Liang-Jie. author. Zhang, Jia. author. Cai, Hong. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-38284-3
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling of Information Systems

2024-11-11T12:00:50Z

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

LabVIEW based Advanced Instrumentation Systems

2024-11-11T12:00:50Z

Author Sumathi, S. author. Surekha, P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-48501-8
Format: Electronic Resources
Availability Online Library~1

Design Patterns for e-Science

2024-11-11T12:00:50Z

Author Gardner, Henry. author. Manduchi, Gabriele. author. Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-68090-X
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

2024-11-11T12:00:50Z

Author Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69507-3
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers

2024-11-11T12:00:50Z

Author Erlebach, Thomas. editor. Kaklamanis, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11970125
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

2024-11-11T12:00:50Z

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

Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings

2024-11-11T12:00:50Z

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

Complex Motion First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004. Revised Papers

2024-11-11T12:00:50Z

Author Jähne, Bernd. editor. Mester, Rudolf. editor. Barth, Erhardt. editor. Scharr, Hanno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69866-1
Format: Electronic Resources
Availability Online Library~1

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-11-11T12:00:50Z

Author Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69868-5
Format: Electronic Resources
Availability Online Library~1

Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings

2024-11-11T12:00:50Z

Author Dubitzky, Werner. editor. Schuster, Assaf. editor. Sloot, Peter M. A. editor. Schroeder, Michael. editor. Romberg, Mathilde. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69968-2
Format: Electronic Resources
Availability Online Library~1

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

2024-11-11T12:00:50Z

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

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

2024-11-11T12:00:50Z

Author Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70901-5
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers

2024-11-11T12:00:50Z

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

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

2024-11-11T12:00:50Z

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

Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings

2024-11-11T12:00:50Z

Author Obayashi, Shigeru. editor. Deb, Kalyanmoy. editor. Poloni, Carlo. editor. Hiroyasu, Tomoyuki. editor. Murata, Tadahiko. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70928-2
Format: Electronic Resources
Availability Online Library~1

Information Security Applications 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

Author Lee, Jae Kwang. editor. Yi, Okyeon. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71093-6
Format: Electronic Resources
Availability Online Library~1

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

2024-11-11T12:00:50Z

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

Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings

2024-11-11T12:00:50Z

Author Lukowicz, Paul. editor. Thiele, Lothar. editor. Tröster, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71270-1
Format: Electronic Resources
Availability Online Library~1

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

2024-11-11T12:00:50Z

Author Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71322-7
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers

2024-11-11T12:00:50Z

Author Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71351-7
Format: Electronic Resources
Availability Online Library~1

Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

2024-11-11T12:00:50Z

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

Algorithmic Aspects of Bioinformatics

2024-11-11T12:00:50Z

Author Böckenhauer, Hans-Joachim. author. Bongartz, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71913-7
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2024-11-11T12:00:50Z

Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71956-4
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

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

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

2024-11-11T12:00:50Z

Author Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71999-1
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings

2024-11-11T12:00:50Z

Author LaMarca, Anthony. editor. Langheinrich, Marc. editor. Truong, Khai N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72037-9
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

Author Lehner, Wolfgang. editor. Meyer, Norbert. editor. Streit, Achim. editor. Stewart, Craig. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72337-0
Format: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings

2024-11-11T12:00:50Z

Author Cérin, Christophe. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72360-8
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I

2024-11-11T12:00:50Z

Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zeng-Guang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72383-7
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II

2024-11-11T12:00:50Z

Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zengguang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72393-6
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III

2024-11-11T12:00:50Z

Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zengguang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72395-0
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings

2024-11-11T12:00:50Z

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

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

2024-11-11T12:00:50Z

Author Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72504-6
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-11-11T12:00:50Z

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

Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

2024-11-11T12:00:50Z

Author Akehurst, David H. editor. Vogel, Régis. editor. Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72901-3
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings

2024-11-11T12:00:50Z

Author Jin, Hai. editor. Rana, Omer F. editor. Pan, Yi. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72905-1
Format: Electronic Resources
Availability Online Library~1

Test and Analysis of Web Services

2024-11-11T12:00:50Z

Author Baresi, Luciano. editor. Nitto, Elisabetta Di. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72912-9
Format: Electronic Resources
Availability Online Library~1

Fun with Algorithms 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007. Proceedings

2024-11-11T12:00:50Z

Author Crescenzi, Pierluigi. editor. Prencipe, Giuseppe. editor. Pucci, Geppino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72914-3
Format: Electronic Resources
Availability Online Library~1

Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings

2024-11-11T12:00:50Z

Author Bshouty, Nader H. editor. Gentile, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72927-3
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007. Proceedings

2024-11-11T12:00:50Z

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

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-11-11T12:00:50Z

Author Bonsangue, Marcello M. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72952-5
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

2024-11-11T12:00:50Z

Author Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72982-2
Format: Electronic Resources
Availability Online Library~1

Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings

2024-11-11T12:00:50Z

Author Mason, Lorne. editor. Drwiega, Tadeusz. editor. Yan, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72990-7
Format: Electronic Resources
Availability Online Library~1

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

2024-11-11T12:00:50Z

Author Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73001-9
Format: Electronic Resources
Availability Online Library~1

Computational and Ambient Intelligence 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007. Proceedings

2024-11-11T12:00:50Z

Author Sandoval, Francisco. editor. Prieto, Alberto. editor. Cabestany, Joan. editor. Graña, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73007-1
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

2024-11-11T12:00:50Z

Author Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73196-2
Format: Electronic Resources
Availability Online Library~1

Effective IT Service Management To ITIL and Beyond!

2024-11-11T12:00:50Z

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

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

2024-11-11T12:00:50Z

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

Business Process Management Concepts, Languages, Architectures

2024-11-11T12:00:50Z

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

Dependable and Adaptable Networks and Services 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings

2024-11-11T12:00:50Z

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

Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings

2024-11-11T12:00:50Z

Author Barker, Steve. editor. Ahn, Gail-Joon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73538-0
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007. Proceedings

2024-11-11T12:00:50Z

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

Autonomic and Trusted Computing 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings

2024-11-11T12:00:50Z

Author Xiao, Bin. editor. Yang, Laurence T. editor. Ma, Jianhua. editor. Muller-Schloer, Christian. editor. Hua, Yu. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73547-2
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Proceedings

2024-11-11T12:00:50Z

Author Akl, Selim G. editor. Calude, Cristian S. editor. Dinneen, Michael J. editor. Rozenberg, Grzegorz. editor. Wareham, H. Todd. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73554-0
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications First International Conference, COCOA 2007, Xi’an, China, August 14-16, 2007. Proceedings

2024-11-11T12:00:50Z

Author Dress, Andreas. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73556-4
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing for Quality of Life Enhancement 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007. Proceedings

2024-11-11T12:00:50Z

Author Okadome, Takeshi. editor. Yamazaki, Tatsuya. editor. Makhtari, Mounir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73035-4
Format: Electronic Resources
Availability Online Library~1

Bio-inspired Modeling of Cognitive Tasks Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I

2024-11-11T12:00:50Z

Author Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73053-8
Format: Electronic Resources
Availability Online Library~1

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part II

2024-11-11T12:00:50Z

Author Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73055-2
Format: Electronic Resources
Availability Online Library~1

Systems Biology and Computational Proteomics Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

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

Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings

2024-11-11T12:00:50Z

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

Distributed Computing in Sensor Systems Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings

2024-11-11T12:00:50Z

Author Aspnes, James. editor. Scheideler, Christian. editor. Arora, Anish. editor. Madden, Samuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73090-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Data Hiding and Multimedia Security II

2024-11-11T12:00:50Z

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

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

2024-11-11T12:00:50Z

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

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

2024-11-11T12:00:50Z

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

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-11-11T12:00:50Z

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

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

2024-11-11T12:00:50Z

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

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

2024-11-11T12:00:50Z

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

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

2024-11-11T12:00:50Z

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

Statistical Network Analysis: Models, Issues, and New Directions ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

Author Airoldi, Edoardo. editor. Blei, David M. editor. Fienberg, Stephen E. editor. Goldenberg, Anna. editor. Xing, Eric P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73133-7
Format: Electronic Resources
Availability Online Library~1

Ruby on Rails for PHP and Java Developers

2024-11-11T12:00:50Z

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

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

2024-11-11T12:00:50Z

Author Comon-Lundh, Hubert. editor. Kirchner, Claude. editor. Kirchner, Hélène. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73147-4
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings

2024-11-11T12:00:50Z

Author Priss, Uta. editor. Polovina, Simon. editor. Hill, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73681-3
Format: Electronic Resources
Availability Online Library~1

Aggregation Functions: A Guide for Practitioners

2024-11-11T12:00:50Z

Author Beliakov, Gleb. author. Pradera, Ana. author. Calvo, Tomasa. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73721-6
Format: Electronic Resources
Availability Online Library~1

Advances in Bioinformatics and Computational Biology Second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007. Proceedings

2024-11-11T12:00:50Z

Author Sagot, Marie-France. editor. Walter, Maria Emilia M. T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73731-5
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

2024-11-11T12:00:50Z

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

Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings

2024-11-11T12:00:50Z

Author Huang, De-Shuang. editor. Heutte, Laurent. editor. Loog, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74171-8
Format: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings

2024-11-11T12:00:50Z

Author Yuille, Alan L. editor. Zhu, Song-Chun. editor. Cremers, Daniel. editor. Wang, Yongtian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74198-5
Format: Electronic Resources
Availability Online Library~1

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007. Proceedings

2024-11-11T12:00:50Z

Author Charikar, Moses. editor. Jansen, Klaus. editor. Reingold, Omer. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74208-1
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

2024-11-11T12:00:50Z

Author Csuhaj-Varjú, Erzsébet. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74240-1
Format: Electronic Resources
Availability Online Library~1

Algorithmic Methods for Railway Optimization International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers

2024-11-11T12:00:50Z

Author Geraets, Frank. editor. Kroon, Leo. editor. Schoebel, Anita. editor. Wagner, Dorothea. editor. Zaroliagis, Christos D. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74247-0
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007. Proceedings

2024-11-11T12:00:50Z

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

Anticipatory Behavior in Adaptive Learning Systems From Brains to Individual and Social Behavior

2024-11-11T12:00:50Z

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

Computer Analysis of Images and Patterns 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007. Proceedings

2024-11-11T12:00:50Z

Author Kropatsch, Walter G. editor. Kampel, Martin. editor. Hanbury, Allan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74272-2
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Security International Conference, CIS 2006. Guangzhou, China, November 3-6, 2006. Revised Selected Papers

2024-11-11T12:00:50Z

Author Wang, Yuping. editor. Cheung, Yiu-ming. editor. Liu, Hailin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74377-4
Format: Electronic Resources
Availability Online Library~1

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings

2024-11-11T12:00:50Z

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

Combinatorics, Algorithms, Probabilistic and Experimental Methodologies First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers

2024-11-11T12:00:50Z

Author Chen, Bo. editor. Paterson, Mike. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74450-4
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings

2024-11-11T12:00:50Z

Author Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74456-6
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

2024-11-11T12:00:50Z

Author Noriega, Pablo. editor. Vázquez-Salceda, Javier. editor. Boella, Guido. editor. Boissier, Olivier. editor. Dignum, Virginia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74459-7
Format: Electronic Resources
Availability Online Library~1

Selected Areas in Cryptography 13th International Workshop, SAC 2006, Montreal, Canada, August 17-18, 2006 Revised Selected Papers

2024-11-11T12:00:50Z

Author Biham, Eli. editor. Youssef, Amr M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74462-7
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings

2024-11-11T12:00:50Z

Author Kermarrec, Anne-Marie. editor. Bougé, Luc. editor. Priol, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74466-5
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I

2024-11-11T12:00:50Z

Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74472-6
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing – ICSOC 2007 Fifth International Conference, Vienna, Austria, September 17-20, 2007. Proceedings

2024-11-11T12:00:50Z

Author Krämer, Bernd J. editor. Lin, Kwei-Jay. editor. Narasimhan, Priya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74974-5
Format: Electronic Resources
Availability Online Library~1

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

2024-11-11T12:00:50Z

Author Gaudin, Emmanuel. editor. Najm, Elie. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74984-4
Format: Electronic Resources
Availability Online Library~1

Algorithms for Sensor and Ad Hoc Networks Advanced Lectures

2024-11-11T12:00:50Z

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

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

2024-11-11T12:00:50Z

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

Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings

2024-11-11T12:00:50Z

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

Distributed Computing 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings

2024-11-11T12:00:50Z

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

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings

2024-11-11T12:00:50Z

Author Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75187-8
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers

2024-11-11T12:00:50Z

Author Holub, Jan. editor. Žďárek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76336-9
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II

2024-11-11T12:00:50Z

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

Computer Vision – ACCV 2007 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II

2024-11-11T12:00:50Z

Author Yagi, Yasushi. editor. Kang, Sing Bing. editor. Kweon, In So. editor. Zha, Hongbin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76390-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2007 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007. Proceedings

2024-11-11T12:00:50Z

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

Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

2024-11-11T12:00:50Z

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

Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

2024-11-11T12:00:50Z

Author Masuzawa, Toshimitsu. editor. Tixeuil, Sébastien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76627-8
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 6th International Conference, CANS 2007, Singapore, December 8-10, 2007. Proceedings

2024-11-11T12:00:50Z

Author Bao, Feng. editor. Ling, San. editor. Okamoto, Tatsuaki. editor. Wang, Huaxiong. editor. Xing, Chaoping. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76969-9
Format: Electronic Resources
Availability Online Library~1

Testing code security

2024-11-11T12:00:50Z

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

Handbook of bioequivalence testing

2024-11-11T12:00:50Z

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

Automated data analysis using Excel

2024-11-11T12:00:50Z

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

Context-aware pervasive systems architectures for a new breed of applications

2024-11-11T12:00:50Z

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

An Introduction to Network Programming with Java

2024-11-11T12:00:50Z

Author Graba, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-630-8
Format: Electronic Resources
Availability Online Library~1

Simulation-based Algorithms for Markov Decision Processes

2024-11-11T12:00:50Z

Author Chang, Hyeong Soo. author. Hu, Jiaqiao. author. Fu, Michael C. author. Marcus, Steven I. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-690-2
Format: Electronic Resources
Availability Online Library~1

Formal Models of Operating System Kernels

2024-11-11T12:00:50Z

Author Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-718-3
Format: Electronic Resources
Availability Online Library~1

Forensic Computing

2024-11-11T12:00:50Z

Author Sammes, Tony. author. Jenkinson, Brian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-732-9
Format: Electronic Resources
Availability Online Library~1

Java Methods for Financial Engineering Applications in Finance and Investment

2024-11-11T12:00:50Z

Author Barker, Philip. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-741-1
Format: Electronic Resources
Availability Online Library~1

Workflows for e-Science Scientific Workflows for Grids

2024-11-11T12:00:50Z

Author Taylor, Ian J. editor. Deelman, Ewa. editor. Gannon, Dennis B. editor. Shields, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-757-2
Format: Electronic Resources
Availability Online Library~1

Entropy, Search, Complexity

2024-11-11T12:00:50Z

Author Csiszár, Imre. editor. Katona, Gyula O. H. editor. Tardos, Gábor. editor. Wiener, Gábor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-32777-6
Format: Electronic Resources
Availability Online Library~1

Web Component Development with Zope 3

2024-11-11T12:00:50Z

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

Enabling Semantic Web Services The Web Service Modeling Ontology

2024-11-11T12:00:50Z

Author Fensel, Dieter. author. Lausen, Holger. author. Bruijn, Jos. author. Stollberg, Michael. author. Roman, Dumitru. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-34520-6
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Local Search

2024-11-11T12:00:50Z

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

Finite Model Theory and Its Applications

2024-11-11T12:00:50Z

Author Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-68804-8
Format: Electronic Resources
Availability Online Library~1

Discrete Geometry, Combinatorics and Graph Theory 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, Xi’an, China, November 22-24, 2005, Revised Selected Papers

2024-11-11T12:00:50Z

Author Akiyama, Jin. editor. Chen, William Y. C. editor. Kano, Mikio. editor. Li, Xueliang. editor. Yu, Qinglin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70666-3
Format: Electronic Resources
Availability Online Library~1

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

2024-11-11T12:00:50Z

Author Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70816-2
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007. Proceedings

2024-11-11T12:00:50Z

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

Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

2024-11-11T12:00:50Z

Author Boyanov, Todor. editor. Dimova, Stefka. editor. Georgiev, Krassimir. editor. Nikolov, Geno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70942-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

Author Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70952-7
Format: Electronic Resources
Availability Online Library~1

Universal Access in Ambient Intelligence Environments 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers

2024-11-11T12:00:50Z

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

Pixelization Paradigm First Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

Author Lévy, Pierre P. editor. Grand, Bénédicte. editor. Poulet, François. editor. Soto, Michel. editor. Darago, Laszlo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71027-1
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

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

Computer Vision/Computer Graphics Collaboration Techniques Third International Conference, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007. Proceedings

2024-11-11T12:00:50Z

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

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

2024-11-11T12:00:50Z

Author Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Electronic Resources
Availability Online Library~1

Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers

2024-11-11T12:00:50Z

Author Minden, Gary J. editor. Calvert, Kenneth L. editor. Solarski, Marcin. editor. Yamamoto, Miki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71500-9
Format: Electronic Resources
Availability Online Library~1

Swarm Robotics Second International Workshop, SAB 2006, Rome, Italy, September 30-October 1, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

Author Şahin, Erol. editor. Spears, William M. editor. Winfield, Alan F. T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71541-2
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings

2024-11-11T12:00:50Z

Author Ebner, Marc. editor. O’Neill, Michael. editor. Ekárt, Anikó. editor. Vanneschi, Leonardo. editor. Esparcia-Alcázar, Anna Isabel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71605-1
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings

2024-11-11T12:00:50Z

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

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I

2024-11-11T12:00:50Z

Author Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71618-1
Format: Electronic Resources
Availability Online Library~1

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II

2024-11-11T12:00:50Z

Author Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71629-7
Format: Electronic Resources
Availability Online Library~1

Databases, Information Systems, and Peer-to-Peer Computing International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

Author Moro, Gianluca. editor. Bergamaschi, Sonia. editor. Joseph, Sam. editor. Morin, Jean-Henry. editor. Ouksel, Aris M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71661-7
Format: Electronic Resources
Availability Online Library~1

Public Key Cryptography – PKC 2007 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing, China, April 16-20, 2007. Proceedings

2024-11-11T12:00:50Z

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

Research in Computational Molecular Biology 11th Annual International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007. Proceedings

2024-11-11T12:00:50Z

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

Anti-Spam Measures Analysis and Design

2024-11-11T12:00:50Z

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

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

2024-11-11T12:00:50Z

Author Südholt, Mario. editor. Consel, Charles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71774-4
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007. Proceedings

2024-11-11T12:00:50Z

Author Marchiori, Elena. editor. Moore, Jason H. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71783-6
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Convergence Technology First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

Author Stajano, Frank. editor. Kim, Hyoung Joong. editor. Chae, Jong-Suk. editor. Kim, Seong-Dong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71789-8
Format: Electronic Resources
Availability Online Library~1

Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

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

Advances in Cryptology - EUROCRYPT 2007 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007. Proceedings

2024-11-11T12:00:50Z

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

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I

2024-11-11T12:00:50Z

Author Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72584-8
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II

2024-11-11T12:00:50Z

Author Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72586-2
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III

2024-11-11T12:00:50Z

Author Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72588-6
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV

2024-11-11T12:00:50Z

Author Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72590-9
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007. Proceedings

2024-11-11T12:00:50Z

Author Akyildiz, Ian F. editor. Sivakumar, Raghupathy. editor. Ekici, Eylem. editor. Oliveira, Jaudelice Cavalcante de. editor. McNair, Janise. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72606-7
Format: Electronic Resources
Availability Online Library~1

The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings

2024-11-11T12:00:50Z

Author Franconi, Enrico. editor. Kifer, Michael. editor. May, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72667-8
Format: Electronic Resources
Availability Online Library~1

Conceptual Modelling in Information Systems Engineering

2024-11-11T12:00:50Z

Author Krogstie, John. editor. Opdahl, Andreas Lothe. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72677-7
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communications 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007. Proceedings

2024-11-11T12:00:50Z

Author Boavida, Fernando. editor. Monteiro, Edmundo. editor. Mascolo, Saverio. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72697-5
Format: Electronic Resources
Availability Online Library~1

Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings

2024-11-11T12:00:50Z

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

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments

2024-11-11T12:00:50Z

Author Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72727-9
Format: Electronic Resources
Availability Online Library~1

Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings

2024-11-11T12:00:50Z

Author Tomkos, Ioannis. editor. Neri, Fabio. editor. Solé Pareta, Josep. editor. Masip Bruin, Xavier. editor. Sánchez Lopez, Sergi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72731-6
Format: Electronic Resources
Availability Online Library~1

Service Availability 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings

2024-11-11T12:00:50Z

Author Malek, Miroslaw. editor. Reitenspieß, Manfred. editor. Moorsel, Aad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72736-1
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2024-11-11T12:00:50Z

Author Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings

2024-11-11T12:00:50Z

Author Fischetti, Matteo. editor. Williamson, David P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72792-7
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2024-11-11T12:00:50Z

Author Murphy, Amy L. editor. Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72794-1
Format: Electronic Resources
Availability Online Library~1

Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings

2024-11-11T12:00:50Z

Author Sgallari, Fiorella. editor. Murli, Almerico. editor. Paragios, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72823-8
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007. Proceedings

2024-11-11T12:00:50Z

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

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

Author Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72863-4
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects in Information and Management Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007. Proceedings

2024-11-11T12:00:50Z

Author Kao, Ming-Yang. editor. Li, Xiang-Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72870-2
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Ad-hoc and Sensor Networks 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007. Proceedings

2024-11-11T12:00:50Z

Author Stajano, Frank. editor. Meadows, Catherine. editor. Capkun, Srdjan. editor. Moore, Tyler. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73275-4
Format: Electronic Resources
Availability Online Library~1

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2024-11-11T12:00:50Z

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

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

2024-11-11T12:00:50Z

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

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

2024-11-11T12:00:50Z

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

New Trends in Applied Artificial Intelligence 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings

2024-11-11T12:00:50Z

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

Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2024-11-11T12:00:50Z

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

Virtual Reality Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2024-11-11T12:00:50Z

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

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

2024-11-11T12:00:50Z

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

Public Key Infrastructure 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007. Proceedings

2024-11-11T12:00:50Z

Author Lopez, Javier. editor. Samarati, Pierangela. editor. Ferrer, Josep L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73408-6
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

2024-11-11T12:00:50Z

Author Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73420-8
Format: Electronic Resources
Availability Online Library~1

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings

2024-11-11T12:00:50Z

Author Anai, Hirokazu. editor. Horimoto, Katsuhisa. editor. Kutsia, Temur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73433-8
Format: Electronic Resources
Availability Online Library~1

Combinatorial Pattern Matching 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007. Proceedings

2024-11-11T12:00:50Z

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

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

2024-11-11T12:00:50Z

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

Information Security and Privacy 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007. Proceedings

2024-11-11T12:00:50Z

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

Foundations of Genetic Algorithms 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers

2024-11-11T12:00:50Z

Author Stephens, Christopher R. editor. Toussaint, Marc. editor. Whitley, Darrell. editor. Stadler, Peter F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73482-6
Format: Electronic Resources
Availability Online Library~1

Pairing-Based Cryptography – Pairing 2007 First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings

2024-11-11T12:00:50Z

Author Takagi, Tsuyoshi. editor. Okamoto, Tatsuaki. editor. Okamoto, Eiji. editor. Okamoto, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73489-5
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings

2024-11-11T12:00:50Z

Author Preparata, Franco P. editor. Fang, Qizhi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73814-5
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

2024-11-11T12:00:50Z

Author Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

2024-11-11T12:00:50Z

Author Muggleton, Stephen. editor. Otero, Ramon. editor. Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73847-3
Format: Electronic Resources
Availability Online Library~1

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

2024-11-11T12:00:50Z

Author Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73859-6
Format: Electronic Resources
Availability Online Library~1

Advanced Data Mining and Applications Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007 Proceedings

2024-11-11T12:00:50Z

Author Alhajj, Reda. editor. Gao, Hong. editor. Li, Xue. editor. Li, Jianzhong. editor. Zaïane, Osmar R. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73871-8
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007. Proceedings

2024-11-11T12:00:50Z

Author Castro, Leandro Nunes. editor. Zuben, Fernando José. editor. Knidel, Helder. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73922-7
Format: Electronic Resources
Availability Online Library~1

Modelling Distributed Systems

2024-11-11T12:00:50Z

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

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings

2024-11-11T12:00:50Z

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

Algorithms and Data Structures 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007. Proceedings

2024-11-11T12:00:50Z

Author Dehne, Frank. editor. Sack, Jörg-Rüdiger. editor. Zeh, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73951-7
Format: Electronic Resources
Availability Online Library~1

RoboCup 2006: Robot Soccer World Cup X

2024-11-11T12:00:50Z

Author Lakemeyer, Gerhard. editor. Sklar, Elizabeth. editor. Sorrenti, Domenico G. editor. Takahashi, Tomoichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74024-7
Format: Electronic Resources
Availability Online Library~1

Architecting Dependable Systems IV

2024-11-11T12:00:50Z

Author Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74035-3
Format: Electronic Resources
Availability Online Library~1

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

2024-11-11T12:00:50Z

Author Nielson, Hanne Riis. editor. Filé, Gilberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74061-2
Format: Electronic Resources
Availability Online Library~1

The Calculus of Computation Decision Procedures with Applications to Verification

2024-11-11T12:00:50Z

Author Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74113-8
Format: Electronic Resources
Availability Online Library~1