Search Results for Software. - Narrowed by: 2008

Software-Qualität

2024-12-29T16:41:01Z

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

Software Evolution

2024-12-29T16:41:01Z

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

Software Architecture

2024-12-29T16:41:01Z

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

Manage software testing

2024-12-29T16:41:01Z

Author Farrell-Vinay, Peter.
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

Agile Software Engineering

2024-12-29T16:41:01Z

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

Software process dynamics

2024-12-29T16:41:01Z

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

Architecting secure software systems

2024-12-29T16:41:01Z

Author Talukder, Asoke K. Chaitanya, Manish.
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

Object-oriented software engineering

2024-12-29T16:41:01Z

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

Software for Algebraic Geometry

2024-12-29T16:41:01Z

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

Rationale-Based Software Engineering

2024-12-29T16:41:01Z

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

Building software a practitioner's guide

2024-12-29T16:41:01Z

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

Handbook of software engineering & knowledge engineering

2024-12-29T16:41:01Z

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

Engineering analysis with ANSYS software

2024-12-29T16:41:01Z

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

Running an agile software development project

2024-12-29T16:41:01Z

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

Software testing and continuous quality improvement

2024-12-29T16:41:01Z

Author Lewis, William E.
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

Guide to Advanced Empirical Software Engineering

2024-12-29T16:41:01Z

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

Elementary Logic For Software Development

2024-12-29T16:41:01Z

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

Networked RFID Systems, Software and Services

2024-12-29T16:41:01Z

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

A Concise Introduction to Software Engineering

2024-12-29T16:41:01Z

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

Software Engineering Research, Management and Applications

2024-12-29T16:41:01Z

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

Software solutions for engineers and scientists

2024-12-29T16:41:01Z

Author Sanchez, Julio, 1938- Canton, Maria P.
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

Symbolic data analysis and the SODAS software

2024-12-29T16:41:01Z

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

Software for Data Analysis Programming with R

2024-12-29T16:41:01Z

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

Baseband Analog Circuits for Software Defined Radio

2024-12-29T16:41:01Z

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

Knowledge Cartography Software Tools and Mapping Techniques

2024-12-29T16:41:01Z

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

Software maintenance management evaluation and continuous improvement

2024-12-29T16:41:01Z

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

Software engineering foundations a software science perspective

2024-12-29T16:41:01Z

Author Wang, Yingxu.
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

Directory of library automation software, systems, and services.

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Electronic structure modeling connections between theory and software

2024-12-29T16:41:01Z

Author Trindle, Carl. Shillady, Donald.
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 development rhythms harmonizing agile practices for synergy

2024-12-29T16:41:01Z

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

Software testing and quality assurance theory and practice

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Using aspect-oriented programming for trustworthy software development

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Emerging methods, technologies, and process management in software engineering

2024-12-29T16:41:01Z

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

Computer modeling in bioengineering theoretical background, examples and software

2024-12-29T16:41:01Z

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

Security software development assessing and managing security risks

2024-12-29T16:41:01Z

Author Ashbaugh, Douglas 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

Innovative Lernsysteme Kompetenzentwicklung mit Blended Learning und Social Software

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Elektronik in der Fahrzeugtechnik Hardware, Software, Systeme und Projektmanagement

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Maturing Usability Quality in Software, Interaction and Value

2024-12-29T16:41:01Z

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

Social Software Formen der Kooperation in computerbasierten Netzwerken

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Tutorial on hardware and software reliability, maintainability, and availability

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

The Common Component Modeling Example Comparing Software Component Models

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Offene Innovationsprozesse Die kommerzielle Entwicklung von Open-Source-Software

2024-12-29T16:41:01Z

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

Patterns for performance and operability building and testing enterprise software

2024-12-29T16:41:01Z

Author Ford, Chris (Christopher 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

Microstructural characterization of materials

2024-12-29T16:41:01Z

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

An essential introduction to Maya character rigging with DVD

2024-12-29T16:41:01Z

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

Issues in Multi-Agent Systems The AgentCities.ES Experience

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Agent Technology and e-Health

2024-12-29T16:41:01Z

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

Advanced Autonomic Networking and Communication

2024-12-29T16:41:01Z

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

Defence Industry Applications of Autonomous Agents and Multi-Agent Systems

2024-12-29T16:41:01Z

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

CASCOM: Intelligent Service Coordination in the Semantic Web

2024-12-29T16:41:01Z

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

Bidding Strategies in Agent-Based Continuous Double Auctions

2024-12-29T16:41:01Z

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

Emerging Web Services Technology, Volume II

2024-12-29T16:41:01Z

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

PowerBuilder : PowerScript reference, version 6.

2024-12-29T16:41:01Z

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

Visual Studio 2008 all-in-one desk reference for dummies

2024-12-29T16:41:01Z

Author Leinecker, Richard C. Williams, Vanessa L.
Preferred Shelf Number TK5105.8885.M57 L45 2008
Format: Books
Availability Beytepe Library~1

Mobil programlama

2024-12-29T16:41:01Z

Author Çamoğlu, Kadir. Davulcu, Çağdaş.
Preferred Shelf Number QA76.76.M52 C36 2008
Format: Books
Availability Beytepe Library~1

Grid application systems design

2024-12-29T16:41:01Z

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

Classical and adaptive clinical trial designs using ExpDesign Studio [trademark symbol]

2024-12-29T16:41:01Z

Author Chang, Mark. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470368718
Format: Electronic Resources
Availability Online Library~1

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

2024-12-29T16:41:01Z

Author Yoeli, Michael, 1917- Kol, Rakefet.
Preferred Shelf Number ONLINE
Electronic Access Available by subscription from Safari Books Online Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0809/2007033487-b.html John Wiley http://dx.doi.org/10.1002/9780470253410 Volltext http://proquest.tech.safaribooksonline.de/9780471704492
Format: Electronic Resources
Availability Online Library~1

Handbook of applied algorithms solving scientific, engineering and practical problems

2024-12-29T16:41:01Z

Author Nayak, Amiya. Stojmenović, Ivan.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201533
Format: Electronic Resources
Availability Online Library~1

Application integration EAI, B2B, BPM and SOA

2024-12-29T16:41:01Z

Author Manouvrier, Bernard. Ménard, Laurent. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470611739 MyiLibrary, Table of contents http://www.myilibrary.com?id=216543&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0901/2008014999-b.html http://site.ebrary.com/lib/alltitles/Doc?id=10361305
Format: Electronic Resources
Availability Online Library~1

Cyber forensics a field manual for collecting, examining, and preserving evidence of computer crimes

2024-12-29T16:41:01Z

Author Marcella, Albert J. Menendez, Doug.
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

A primer on wavelets and their scientific applications

2024-12-29T16:41:01Z

Author Walker, James S.
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

Managing global development risk

2024-12-29T16:41:01Z

Author Hussey, James M. Hall, Steven E.
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

Interpreting the CMMI a process improvement approach

2024-12-29T16:41:01Z

Author Kulpa, Margaret K. Johnson, Kent 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

Domain-specific modeling enabling full code generation

2024-12-29T16:41:01Z

Author Kelly, Steven. Tolvanen, Juha-Pekka.
Preferred Shelf Number ONLINE
Electronic Access Click for information Click here to view book Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007032132-b.html John Wiley http://dx.doi.org/10.1002/9780470249260 http://swb.eblib.com/patron/FullRecord.aspx?p=331608
Format: Electronic Resources
Availability Online Library~1

Nanocomputers and swarm intelligence

2024-12-29T16:41:01Z

Author Waldner, Jean-Baptiste.
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=588835 John Wiley http://dx.doi.org/10.1002/9780470610978 http://onlinelibrary.wiley.com/book/10.1002/9780470610978 Knovel http://app.knovel.com/web/toc.v/cid:kpNSI00001 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045065-b.html
Format: Electronic Resources
Availability Online Library~1

International Mining Forum 2008 economic evaluation and risk analysis of mineral projects

2024-12-29T16:41:01Z

Author International Mining Forum (2008) Sobczyk, Eugeniusz J. Kicki, Jerzy.
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

Cognitive radio networks

2024-12-29T16:41:01Z

Author Xiao, Yang, 1966- Hu, Fei, 1972-
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

Probability and statistical inference

2024-12-29T16:41:01Z

Author Bartoszyński, Robert. Niewiadomska-Bugaj, Magdalena.
Preferred Shelf Number ONLINE(318903.1)
Electronic Access ebrary http://site.ebrary.com/id/10225361 EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=219782 MyiLibrary http://www.myilibrary.com?id=120382 John Wiley http://dx.doi.org/10.1002/9780470191590
Format: Electronic Resources
Availability Online Library~1

Yazılım kalitesi ve yazılım geliştirme araçları sempozyumu-YKGS 2008 : bildiriler kitabı 9-10 Ekim 2008

2024-12-29T16:41:01Z

Author Yazılım kalitesi ve yazılım geliştirme araçları sempozyumu-YKGS (2008 : İstanbul) Karakaş, Ümit. Yılmaz, Güray. Şahingöz, Özgür Koray. Pehlivanlı, Ayça Çakmak.
Preferred Shelf Number QA76.76.D47 Y39 2008
Format: Books
Availability Beytepe Library~1

Bluetooth application programming with the Java APIs

2024-12-29T16:41:01Z

Author Thompson, Timothy J. (Timothy Joseph), 1976- Kline, Paul J. Kumar, C. Bala. Kumar, C. Bala. Bluetooth application programming with the Java APIs.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123743428
Format: Electronic Resources
Availability Online Library~1

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications

2024-12-29T16:41:01Z

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

Practical Problems in VLSI Physical Design Automation

2024-12-29T16:41:01Z

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

Battery Management Systems Accurate State-of-Charge Indication for Battery-Powered Applications

2024-12-29T16:41:01Z

Author Pop, Valer. author. Bergveld, Henk Jan. author. Danilov, Dmitry. author. Regtien, Paul P. L. author. Notten, Peter H. L. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6945-1
Format: Electronic Resources
Availability Online Library~1

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

The Definitive Guide to Django Web Development Done Right

2024-12-29T16:41:01Z

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

Beginning PHP and MySQL E-Commerce From Novice to Professional

2024-12-29T16:41:01Z

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

Android Essentials

2024-12-29T16:41:01Z

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

Founders at Work Stories of Startups’ Early Days

2024-12-29T16:41:01Z

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

Analysis and Design of Information Systems Third Edition

2024-12-29T16:41:01Z

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

Principles of the Spin Model Checker

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Distributed Search by Constrained Agents Algorithms, Performance, Communication

2024-12-29T16:41:01Z

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

Network Models and Optimization Multiobjective Genetic Algorithm Approach

2024-12-29T16:41:01Z

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

Enterprise Interoperability III New Challenges and Industrial Approaches

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Das V-Modell XT Grundlagen, Methodik und Anwendungen

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Understanding Planning Tasks Domain Complexity and Heuristic Decomposition

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

WALCOM: Algorithms and Computation Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings

2024-12-29T16:41:01Z

Author Nakano, Shin-ichi. editor. Rahman, Md. Saidur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77891-2
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers

2024-12-29T16:41:01Z

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

Reflections on the Teaching of Programming Methods and Implementations

2024-12-29T16:41:01Z

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

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers

2024-12-29T16:41:01Z

Author Tuyls, Karl. editor. Nowe, Ann. editor. Guessoum, Zahia. editor. Kudenko, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77949-0
Format: Electronic Resources
Availability Online Library~1

DNA Computing 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers

2024-12-29T16:41:01Z

Author Garzon, Max H. editor. Yan, Hao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77962-9
Format: Electronic Resources
Availability Online Library~1

Computational Geometry Algorithms and Applications

2024-12-29T16:41:01Z

Author Berg, Mark. author. Cheong, Otfried. author. Kreveld, Marc. author. Overmars, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77974-2
Format: Electronic Resources
Availability Online Library~1

Algorithms and Data Structures The Basic Toolbox

2024-12-29T16:41:01Z

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

Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

2024-12-29T16:41:01Z

Author Avron, Arnon. editor. Dershowitz, Nachum. editor. Rabinovich, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78127-1
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Audio sampling a practical guide

2024-12-29T16:41:01Z

Author McGuire, Sam. Pritts, Roy.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780240520735
Format: Electronic Resources
Availability Online Library~1

Parsing Techniques A Practical Guide

2024-12-29T16:41:01Z

Author Grune, Dick. author. Jacobs, Ceriel J. H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68954-8
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice V

2024-12-29T16:41:01Z

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

Distributed and Parallel Systems In Focus: Desktop Grid Computing

2024-12-29T16:41:01Z

Author Kacsuk, Péter. editor. Lovas, Róbert. editor. Németh, Zsolt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-79448-8
Format: Electronic Resources
Availability Online Library~1

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Fine- and Coarse-Grain Reconfigurable Computing

2024-12-29T16:41:01Z

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

Automatic Program Development A Tribute to Robert Paige

2024-12-29T16:41:01Z

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

Ingredients for Successful System Level Design Methodology

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Advances in Computer and Information Sciences and Engineering

2024-12-29T16:41:01Z

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

Pro Oracle Application Express

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Practical Django Projects

2024-12-29T16:41:01Z

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

Innovation in Manufacturing Networks Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008

2024-12-29T16:41:01Z

Author Azevedo, Américo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09492-2
Format: Electronic Resources
Availability Online Library~1

Hypercomputation Computing Beyond the Church-Turing Barrier

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Moving Wearables into the Mainstream Taming the Borg

2024-12-29T16:41:01Z

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

Network Performance Analysis Using the J Programming Language

2024-12-29T16:41:01Z

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

Advanced Methods for Inconsistent Knowledge Management

2024-12-29T16:41:01Z

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

The Algorithm Design Manual

2024-12-29T16:41:01Z

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

Improvements in System Safety

2024-12-29T16:41:01Z

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

Foundations of 3D Graphics Programming Using JOGL and Java3D

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Temporal Logic and State Systems

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

RoboCup 2007: Robot Soccer World Cup XI

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Transactions on Data Hiding and Multimedia Security III

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I

2024-12-29T16:41:01Z

Author Bubak, Marian. 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-69384-0
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II

2024-12-29T16:41:01Z

Author Bubak, Marian. 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-69387-1
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III

2024-12-29T16:41:01Z

Author Bubak, Marian. 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-69389-5
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence in Transport, Logistics, and Supply Chain Management

2024-12-29T16:41:01Z

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

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

2024-12-29T16:41:01Z

Author Beckmann, Arnold. editor. Dimitracopoulos, Costas. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69407-6
Format: Electronic Resources
Availability Online Library~1

Time-Dependent Scheduling

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings

2024-12-29T16:41:01Z

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

Embedded Robotics Mobile Robot Design and Applications with Embedded Systems

2024-12-29T16:41:01Z

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

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

2024-12-29T16:41:01Z

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

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project

2024-12-29T16:41:01Z

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

Data and Applications Security XXII 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

2024-12-29T16:41:01Z

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

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

2024-12-29T16:41:01Z

Author Audebaud, Philippe. editor. Paulin-Mohring, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70594-9
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

2024-12-29T16:41:01Z

Author Eklund, Peter. editor. Haemmerlé, Ollivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70596-3
Format: Electronic Resources
Availability Online Library~1

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

2024-12-29T16:41:01Z

Author Ibarra, Oscar H. editor. Ravikumar, Bala. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70844-5
Format: Electronic Resources
Availability Online Library~1

Die Softwareindustrie Ökonomische Prinzipien, Strategien, Perspektiven

2024-12-29T16:41:01Z

Author Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71830-7
Format: Electronic Resources
Availability Online Library~1

Theoretische Informatik Eine umfassende Einführung

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Modeling Semantic Web Services The Web Service Modeling Language

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Dependability Metrics Advanced Lectures

2024-12-29T16:41:01Z

Author Eusgeld, Irene. editor. Freiling, Felix C. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68947-8
Format: Electronic Resources
Availability Online Library~1

A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

2024-12-29T16:41:01Z

Author Chapman, Barbara. editor. Zheng, Weiming. editor. Gao, Guang R. editor. Sato, Mitsuhisa. editor. Ayguadé, Eduard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69303-1
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings

2024-12-29T16:41:01Z

Author Preparata, Franco P. editor. Wu, Xiaodong. editor. Yin, Jianping. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69311-6
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition 30th DAGM Symposium Munich, Germany, June 10-13, 2008 Proceedings

2024-12-29T16:41:01Z

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

Ajax in der Praxis Grundlagen, Konzepte, Lösungen

2024-12-29T16:41:01Z

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

Structural Information and Communication Complexity 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings

2024-12-29T16:41:01Z

Author Shvartsman, Alexander A. editor. Felber, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69355-0
Format: Electronic Resources
Availability Online Library~1

Autonomic and Trusted Computing 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings

2024-12-29T16:41:01Z

Author Rong, Chunming. editor. Jaatun, Martin Gilje. editor. Sandnes, Frode Eika. editor. Yang, Laurence T. editor. Ma, Jianhua. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69295-9
Format: Electronic Resources
Availability Online Library~1

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Image Analysis and Recognition 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008. Proceedings

2024-12-29T16:41:01Z

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

Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings

2024-12-29T16:41:01Z

Author Kounev, Samuel. editor. Gorton, Ian. editor. Sachs, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69814-2
Format: Electronic Resources
Availability Online Library~1

Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

25 Years of Model Checking History, Achievements, Perspectives

2024-12-29T16:41:01Z

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

Algorithm Theory – SWAT 2008 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings

2024-12-29T16:41:01Z

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

Image and Signal Processing 3rd International Conference, ICISP 2008. Cherbourg-Octeville, France, July 1 - 3, 2008. Proceedings

2024-12-29T16:41:01Z

Author Elmoataz, Abderrahim. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Mammass, Driss. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69905-7
Format: Electronic Resources
Availability Online Library~1

Smart Homes and Health Telematics 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings

2024-12-29T16:41:01Z

Author Helal, Sumi. editor. Mitra, Simanta. editor. Wong, Johnny. editor. Chang, Carl K. editor. Mokhtari, Mounir. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69916-3
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

2024-12-29T16:41:01Z

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

Information Security and Privacy 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings

2024-12-29T16:41:01Z

Author Mu, Yi. editor. Susilo, Willy. editor. Seberry, Jennifer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70500-0
Format: Electronic Resources
Availability Online Library~1

MATLAB Guide to Finite Elements An Interactive Approach

2024-12-29T16:41:01Z

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

Recent Advances in Evolutionary Computation for Combinatorial Optimization

2024-12-29T16:41:01Z

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

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

2024-12-29T16:41:01Z

Author Mohamed, Otmane Ait. editor. Muñoz, César. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71067-7
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

2024-12-29T16:41:01Z

Author Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71070-7
Format: Electronic Resources
Availability Online Library~1

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

AJAX Geschichte, Technologie, Zukunft

2024-12-29T16:41:01Z

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

Web 2.0

2024-12-29T16:41:01Z

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

Open Source Approaches in Spatial Data Handling

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Petri-Netze

2024-12-29T16:41:01Z

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

Taschenbuch der Algorithmen

2024-12-29T16:41:01Z

Author Vöcking, Berthold. editor. Alt, Helmut. editor. Dietzfelbinger, Martin. editor. Reischuk, Rüdiger. editor. Scheideler, Christian. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76394-9
Format: Electronic Resources
Availability Online Library~1

Echtzeitsysteme Grundlagen der Planung

2024-12-29T16:41:01Z

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

Algorithmic Mechanism Design Eine Einführung

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Web Component Development with Zope 3

2024-12-29T16:41:01Z

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

Informatikforschung in Deutschland

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

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

2024-12-29T16:41:01Z

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

Ajax in Oracle JDeveloper

2024-12-29T16:41:01Z

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

Rightshore! Successfully SAP(R) Projects Offshore

2024-12-29T16:41:01Z

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

Combinatorial Image Analysis 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings

2024-12-29T16:41:01Z

Author Brimkov, Valentin E. editor. Barneva, Reneta P. editor. Hauptman, Herbert A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78275-9
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings

2024-12-29T16:41:01Z

Author Brinkschulte, Uwe. editor. Ungerer, Theo. editor. Hochberger, Christian. editor. Spallek, Rainer G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78153-0
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

2024-12-29T16:41:01Z

Author Logozzo, Francesco. editor. Peled, Doron A. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78163-9
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports

2024-12-29T16:41:01Z

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

Evolutionary Computation in Combinatorial Optimization 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings

2024-12-29T16:41:01Z

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