Search Results for software. - Narrowed by: 2006

Software testing

2025-12-14T21:44:21Z

Author Patton, Ron.
Preferred Shelf Number QA76.76.T48 P38 2006
Format: Books
Availability Beytepe Library~1

Software management

2025-12-14T21:44:21Z

Author Reifer, Donald J.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989379
Format: Electronic Resources
Availability Online Library~1

Essential Software Architecture

2025-12-14T21:44:21Z

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

Software Product Lines

2025-12-14T21:44:21Z

Author Käköla, Timo. editor. Duenas, Juan Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-33253-4
Format: Electronic Resources
Availability Online Library~1

Agile Software Construction

2025-12-14T21:44:21Z

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

Software specification methods

2025-12-14T21:44:21Z

Author Habrias, Henri. Frappier, Marc, 1965- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html John Wiley http://dx.doi.org/10.1002/9780470612514
Format: Electronic Resources
Availability Online Library~1

Embedded software the works

2025-12-14T21:44:21Z

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

Value-Based Software Engineering

2025-12-14T21:44:21Z

Author Biffl, Stefan. editor. Aurum, Aybüke. editor. Boehm, Barry. editor. Erdogmus, Hakan. editor. Grünbacher, Paul. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29263-2
Format: Electronic Resources
Availability Online Library~1

Software engineering quality practices

2025-12-14T21:44:21Z

Author Kandt, Ronald Kirk., author.
Preferred Shelf Number QA76.758 .K35 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Successful packaged software implementation

2025-12-14T21:44:21Z

Author Tayntor, Christine B., author.
Preferred Shelf Number QA76.76 .D47 T396 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook of software engineering & knowledge engineering

2025-12-14T21:44:21Z

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

2025-12-14T21:44:21Z

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

Engineering analysis with ANSYS software

2025-12-14T21:44:21Z

Author Nakasone, Y. (Yuji) Stolarski, T. A. Yoshimoto, S. (Shigeka)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750668750
Format: Electronic Resources
Availability Online Library~1

Software-Implemented Hardware Fault Tolerance

2025-12-14T21:44:21Z

Author Goloubeva, Olga. author. Rebaudengo, Maurizio. author. Reorda, Matteo Sonza. author. Violante, Massimo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-32937-4
Format: Electronic Resources
Availability Online Library~1

Optimierungssysteme Modelle, Verfahren, Software, Anwendungen

2025-12-14T21:44:21Z

Author Suhl, Leena. author. Mellouli, Taïeb. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29266-7
Format: Electronic Resources
Availability Online Library~1

Rationale Management in Software Engineering

2025-12-14T21:44:21Z

Author Dutoit, Allen H. editor. McCall, Raymond. editor. Mistrík, Ivan. editor. Paech, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-30998-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering 1 Abstraction and Modelling

2025-12-14T21:44:21Z

Author Bjørner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-31288-9
Format: Electronic Resources
Availability Online Library~1

Practical Software Factories in .NET

2025-12-14T21:44:21Z

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

Software Configuration Management Using Vesta

2025-12-14T21:44:21Z

Author Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-30852-4
Format: Electronic Resources
Availability Online Library~1

Interoperability of Enterprise Software and Applications

2025-12-14T21:44:21Z

Author Konstantas, Dimitri. editor. Bourrières, Jean-Paul. editor. Léonard, Michel. editor. Boudjlida, Nacer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-152-0
Format: Electronic Resources
Availability Online Library~1

Grid Computing: Software Environments and Tools

2025-12-14T21:44:21Z

Author Cunha, José C. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-339-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Approaches to Software Quality

2025-12-14T21:44:21Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-435-9
Format: Electronic Resources
Availability Online Library~1

Software engineering for Internet applications

2025-12-14T21:44:21Z

Author Andersson, Eve Astrid. Greenspun, Philip. Grumet, Andrew.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267210
Format: Electronic Resources
Availability Online Library~1

Process-based software project management

2025-12-14T21:44:21Z

Author Goodman, F. Alan., author.
Preferred Shelf Number QA76.76 .D47 G6534 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Defining and deploying software processes

2025-12-14T21:44:21Z

Author Goodman, F. Alan., author.
Preferred Shelf Number QA76.76 .D47 G653 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The art of software modeling

2025-12-14T21:44:21Z

Author Lieberman, Benjamin A., author.
Preferred Shelf Number QA76.76 .D47 L536 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software measurement and estimation a practical approach

2025-12-14T21:44:21Z

Author Laird, Linda M., 1952- Brennan, M. Carol, 1954- IEEE Computer Society. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988896
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development II

2025-12-14T21:44:21Z

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

Transactions on Aspect-Oriented Software Development I

2025-12-14T21:44:21Z

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

Ontologies for Software Engineering and Software Technology

2025-12-14T21:44:21Z

Author Calero, Coral. editor. Ruiz, Francisco. editor. Piattini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-34518-3
Format: Electronic Resources
Availability Online Library~1

Eric Sink on the Business of Software

2025-12-14T21:44:21Z

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

Ontologies for software engineering and software technology

2025-12-14T21:44:21Z

Author Calero, Coral. Ruiz, Francisco. Piattini, Mario.
Preferred Shelf Number QA76.9.D35 O57 2006
Format: Books
Availability Beytepe Library~1

Model-driven software development : technology, engineering, management

2025-12-14T21:44:21Z

Author Stahl, Thomas (Tom) Vèolter, Markus.
Preferred Shelf Number QA76.76.D47 S697 2006
Format: Books
Availability Beytepe Library~1

The economics of open source software development

2025-12-14T21:44:21Z

Author Bitzer, Jürgen, 1970- Schröder, Philipp J. H.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444527691
Format: Electronic Resources
Availability Online Library~1

Software evolution and feedback theory and practice

2025-12-14T21:44:21Z

Author Madhavji, Nazim H. Fernández Ramil, Juan Carlos. Perry, Dewayne E. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access Click for information John Wiley http://dx.doi.org/10.1002/0470871822 http://www3.interscience.wiley.com/cgi-bin/bookhome/112650855 Books24x7 http://www.books24x7.com/marc.asp?bookid=9542 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=274329
Format: Electronic Resources
Availability Online Library~1

Software specification and design : an engineering approach

2025-12-14T21:44:21Z

Author Munson, John C., author.
Preferred Shelf Number QA76.76 .D47 M853 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Memory management for synthesis of DSP software

2025-12-14T21:44:21Z

Author Murthy, Praveen K., 1969- author. Bhattacharyya, Shuvra S., 1968-
Preferred Shelf Number TK5102.9 .M87 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Classic Lego mindstorms project and software tools award-winning designs from master builders

2025-12-14T21:44:21Z

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

The road map to software engineering a standards-based guide

2025-12-14T21:44:21Z

Author Moore, James W., 1948-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989673
Format: Electronic Resources
Availability Online Library~1

Practical support for ISO 9001 software project documentation using IEEE software engineering standards

2025-12-14T21:44:21Z

Author Land, Susan K. Walz, John W. IEEE Computer Society.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989411
Format: Electronic Resources
Availability Online Library~1

Directory of library automation software, systems, and services.

2025-12-14T21:44:21Z

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

Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach

2025-12-14T21:44:21Z

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

Models of the Atomic Nucleus With Interactive Software

2025-12-14T21:44:21Z

Author Cook, Norman D. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28570-9
Format: Electronic Resources
Availability Online Library~1

MDA® Effektives Software-Engineering mit UML 2® und Eclipse™

2025-12-14T21:44:21Z

Author Gruhn, Volker. author. Pieper, Daniel. author. Röttgers, Carsten. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28746-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

2025-12-14T21:44:21Z

Author Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11757283
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

2025-12-14T21:44:21Z

Author Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11759744
Format: Electronic Resources
Availability Online Library~1

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings

2025-12-14T21:44:21Z

Author Morisio, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11763864
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings

2025-12-14T21:44:21Z

Author Pinho, Luís Miguel. editor. González Harbour, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767077
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006. Proceedings

2025-12-14T21:44:21Z

Author Münch, Jürgen. editor. Vierimaa, Matias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767718
Format: Electronic Resources
Availability Online Library~1

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

2025-12-14T21:44:21Z

Author Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11774129
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

2025-12-14T21:44:21Z

Author Gorton, Ian. editor. Heineman, George T. editor. Crnković, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11783565
Format: Electronic Resources
Availability Online Library~1

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

2025-12-14T21:44:21Z

Author Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11784180
Format: Electronic Resources
Availability Online Library~1

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

2025-12-14T21:44:21Z

Author Iglesias, Andrés. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11832225
Format: Electronic Resources
Availability Online Library~1

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

2025-12-14T21:44:21Z

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

Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

2025-12-14T21:44:21Z

Author Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11889229
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

2025-12-14T21:44:21Z

Author Liu, Zhiming. editor. He, Jifeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11901433
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement 13th European Conference, EuroSPI 2006, Joensuu, Finland, October 11-13, 2006. Proceedings

2025-12-14T21:44:21Z

Author Richardson, Ita. editor. Runeson, Per. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11908562
Format: Electronic Resources
Availability Online Library~1

Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers

2025-12-14T21:44:21Z

Author Hofmeister, Christine. editor. Crnkovic, Ivica. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11921998
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

2025-12-14T21:44:21Z

Author Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11944836
Format: Electronic Resources
Availability Online Library~1

Software Engineering Education in the Modern Age Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures

2025-12-14T21:44:21Z

Author Inverardi, Paola. editor. Jazayeri, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11949374
Format: Electronic Resources
Availability Online Library~1

Software Architecture Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers

2025-12-14T21:44:21Z

Author Gruhn, Volker. editor. Oquendo, Flavio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11966104
Format: Electronic Resources
Availability Online Library~1

Software-Entwurf mit UML 2 Objektorientierte Modellierung mit Beispielen in Java

2025-12-14T21:44:21Z

Author Seemann, Jochen. author. Gudenberg, Jürgen Wolff. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-30950-0
Format: Electronic Resources
Availability Online Library~1

Software-Architekturen für das E-Business Enterprise-Application-Integration mit verteilten Systemen

2025-12-14T21:44:21Z

Author Herden, Sebastian. author. Marx Gómez, Jorge. author. Rautenstrauch, Claus. author. Zwanziger, André. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-31300-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers

2025-12-14T21:44:21Z

Author Dosch, Walter. editor. Lee, Roger Y. editor. Wu, Chisu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11668855
Format: Electronic Resources
Availability Online Library~1

Unifying the Software Process Spectrum International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers

2025-12-14T21:44:21Z

Author Li, Mingshu. editor. Boehm, Barry. editor. Osterweil, Leon J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11608035
Format: Electronic Resources
Availability Online Library~1

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

2025-12-14T21:44:21Z

Author Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11678779
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

2025-12-14T21:44:21Z

Author Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11690634
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

2025-12-14T21:44:21Z

Author Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11688839
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2025-12-14T21:44:21Z

Author Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11691372
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2025-12-14T21:44:21Z

Author Baresi, Luciano. editor. Heckel, Reiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11693017
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2025-12-14T21:44:21Z

Author Sestoft, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11693024
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

2025-12-14T21:44:21Z

Author Valmari, Antti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11691617
Format: Electronic Resources
Availability Online Library~1

Software Engineering 2 Specification of Systems and Languages

2025-12-14T21:44:21Z

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

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

2025-12-14T21:44:21Z

Author Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11738817
Format: Electronic Resources
Availability Online Library~1

Software Engineering 3 Domains, Requirements, and Software Design

2025-12-14T21:44:21Z

Author Bjøner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-33653-2
Format: Electronic Resources
Availability Online Library~1

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers

2025-12-14T21:44:21Z

Author Guelfi, Nicolas. editor. Savidis, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751113
Format: Electronic Resources
Availability Online Library~1

Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers

2025-12-14T21:44:21Z

Author Müller, Jörg P. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11752660
Format: Electronic Resources
Availability Online Library~1

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings

2025-12-14T21:44:21Z

Author Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. Wernick, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11754305
Format: Electronic Resources
Availability Online Library~1

Fast Software Encryption 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers

2025-12-14T21:44:21Z

Author Robshaw, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11799313
Format: Electronic Resources
Availability Online Library~1

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program

2025-12-14T21:44:21Z

Author Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11808107
Format: Electronic Resources
Availability Online Library~1

Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

2025-12-14T21:44:21Z

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

Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

2025-12-14T21:44:21Z

Author Löwe, Welf. editor. Südholt, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11821946
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

2025-12-14T21:44:21Z

Author Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-39538-5
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

2025-12-14T21:44:21Z

Author Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11940197
Format: Electronic Resources
Availability Online Library~1

Grundkurs Software-Entwicklung mit C++ Praxisorientierte Einführung mit Beispielen und Aufgaben — Exzellente Didaktik und Übersicht

2025-12-14T21:44:21Z

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

Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen

2025-12-14T21:44:21Z

Author Schäuffele, Jörg. author. Zurawka, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9085-6
Format: Electronic Resources
Availability Online Library~1

Introduction to Data Envelopment Analysis and Its Uses With DEA-Solver Software and References

2025-12-14T21:44:21Z

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

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy

2025-12-14T21:44:21Z

Author Damiani, Ernesto. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Scotto, Marco. editor. Succi, Giancarlo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34226-5
Format: Electronic Resources
Availability Online Library~1

Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile

2025-12-14T21:44:21Z

Author Ochoa, Sergio F. editor. Roman, Gruia-Catalin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-34831-5
Format: Electronic Resources
Availability Online Library~1

Tek kullanımlık kimlik doğrulamalı anahtar değişimi yazılım uygulamasının geliştirilmesi = A Software development of one-time ID authenticated key exchange application

2025-12-14T21:44:21Z

Author Yüksel, Ali Umut.
Preferred Shelf Number TEZ/7778 .Y949 2006
Format: Books
Availability Beytepe Library~1

Eclipse platformu için yüksek düzeyli mimari yazılım modelleme aracı = The high level achitecture software modeling tool for eclipse platform

2025-12-14T21:44:21Z

Author Baktır, Oğuz.
Preferred Shelf Number TEZ/7874 .B169 2006
Format: Books
Availability Beytepe Library~1

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05

2025-12-14T21:44:21Z

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

Critical Success Factors of Offshore Software Develpment Project The Perspective of German-Speaking Companies

2025-12-14T21:44:21Z

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

Interoperability for enterprise software and applications proceedings of the workshops and the doctorial symposium of the second IFAC/IFIP I-ESA International Conference: EI2N, WSI, IS-TSPQ 2006

2025-12-14T21:44:21Z

Author IFAC/IFIP I-ESA International Conference: EI2N, WSI, IS-TSPQ 2nd : 2006. Panetto, Herve. Boudjlida, Nacer. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0714/2006018170-b.html John Wiley http://dx.doi.org/10.1002/9780470612200
Format: Electronic Resources
Availability Online Library~1

Writing Scientific Software A Guide to Good Style

2025-12-14T21:44:21Z

Author Oliveira, Suely. Stewart, David E..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Autonomous software-defined radio receivers for deep space applications

2025-12-14T21:44:21Z

Author Hamkins, Jon, 1968- Simon, Marvin Kenneth, 1939-
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information http://www3.interscience.wiley.com/cgi-bin/bookhome/112632603 MyiLibrary, Table of contents http://www.myilibrary.com?id=72165&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006046396-b.html HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/69680167.html
Format: Electronic Resources
Availability Online Library~1

IEEE Computer Society real-world software engineering problems a self-study guide for today's software professional

2025-12-14T21:44:21Z

Author Naveda, J. Fernando. Seidman, Stephen B.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989366 IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989366
Format: Electronic Resources
Availability Online Library~1

Jumpstart CMM/CMMI software process improvements Using IEEE software engineering standards

2025-12-14T21:44:21Z

Author Land, Susan K.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989567
Format: Electronic Resources
Availability Online Library~1

Yazılım kalite güvencesinde istatiksel süreç kontrolü = Statistical process control in software quality assurance

2025-12-14T21:44:21Z

Author Çivlik, Özden Gür.
Preferred Shelf Number TEZ/7600 .C5829 2006
Format: Books
Availability Beytepe Library~1

DSP software development techniques for embedded and real-time systems

2025-12-14T21:44:21Z

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

Software Sizing, Estimation, and Risk Management : When Performance Is Measured Performance Improves.

2025-12-14T21:44:21Z

Author Evans, Michael W., author. Galorath, Daniel D., author. Boehm, Barry, Foreword by. Reifer, Donald, Foreword by.
Preferred Shelf Number QA76.76 .D47 G347 2006
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429114762 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The cognitive dynamics of computer science cost-effective large scale software development

2025-12-14T21:44:21Z

Author De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429
Format: Electronic Resources
Availability Online Library~1

Modern industrial automation software design principles and real-world applications

2025-12-14T21:44:21Z

Author Wang, Lingfen. Tan, Kay Chen.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201934
Format: Electronic Resources
Availability Online Library~1

Modeling software with finite state machines : a practical approach

2025-12-14T21:44:21Z

Author Wagner, Ferdinand.
Preferred Shelf Number QA76.76 .D47 M625 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Agent-based Supply Network Event Management

2025-12-14T21:44:21Z

Author Zimmermann, Roland. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-7643-7487-X
Format: Electronic Resources
Availability Online Library~1

Agent Technology from a Formal Perspective

2025-12-14T21:44:21Z

Author Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-271-3
Format: Electronic Resources
Availability Online Library~1

PowerBuilder : PowerScript reference, version 6.

2025-12-14T21:44:21Z

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

Information security management handbook

2025-12-14T21:44:21Z

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

The Electrical Engineering Handbook - Six Volume Set

2025-12-14T21:44:21Z

Author Dorf, Richard C., editor. Taylor and Francis.
Preferred Shelf Number R857 .B54
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Circuits, Signals, and Speech and Image Processing

2025-12-14T21:44:21Z

Author Dorf, Richard C., author. Taylor and Francis.
Preferred Shelf Number TK5102.9
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Context-Aware Pervasive Systems : Architectures for a New Breed of Applications

2025-12-14T21:44:21Z

Author Loke, Seng, author. Taylor and Francis.
Preferred Shelf Number QA76.5915
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Teaching in the knowledge society new skills and instruments for teachers

2025-12-14T21:44:21Z

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

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies

2025-12-14T21:44:21Z

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

Access Control Systems Security, Identity Management and Trust Models

2025-12-14T21:44:21Z

Author Benantar, Messaoud. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-27716-1
Format: Electronic Resources
Availability Online Library~1

Coordination of Large-Scale Multiagent Systems

2025-12-14T21:44:21Z

Author Scerri, Paul. editor. Vincent, Régis. editor. Mailler, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-27972-5
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice III

2025-12-14T21:44:21Z

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

Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science

2025-12-14T21:44:21Z

Author Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-31262-5
Format: Electronic Resources
Availability Online Library~1

Embedded Security in Cars Securing Current and Future Automotive IT Applications

2025-12-14T21:44:21Z

Author Lemke, Kerstin. editor. Paar, Christof. editor. Wolf, Marko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28428-1
Format: Electronic Resources
Availability Online Library~1

Content Management mit Plone Gestaltung, Programmierung, Anwendung und Admisnistration

2025-12-14T21:44:21Z

Author Friedrich, Hans Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28765-5
Format: Electronic Resources
Availability Online Library~1

Computing in Algebraic Geometry A Quick Start using SINGULAR

2025-12-14T21:44:21Z

Author Decker, Wolfram. author. Lossen, Christoph. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28993-3
Format: Electronic Resources
Availability Online Library~1

Introduction to Reliable Distributed Programming

2025-12-14T21:44:21Z

Author Guerraoui, Rachid. author. Rodrigues, Luís. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28846-5
Format: Electronic Resources
Availability Online Library~1

Betriebssysteme Eine kompakte Einführung mit Linux

2025-12-14T21:44:21Z

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

Logischer Entwurf digitaler Systeme

2025-12-14T21:44:21Z

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

Complex Scheduling

2025-12-14T21:44:21Z

Author Brucker, Peter. author. Knust, Sigrid. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29546-1
Format: Electronic Resources
Availability Online Library~1

Web Engineering

2025-12-14T21:44:21Z

Author Mendes, Emilia. editor. Mosley, Nile. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28218-1
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

2025-12-14T21:44:21Z

Author Emerson, E. Allen. editor. Namjoshi, Kedar S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11609773
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. Revised Papers

2025-12-14T21:44:21Z

Author Healy, Patrick. editor. Nikolov, Nikola S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11618058
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings

2025-12-14T21:44:21Z

Author Hentenryck, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11603023
Format: Electronic Resources
Availability Online Library~1

PRINCE 2 Das Projektmanagement-Framework

2025-12-14T21:44:21Z

Author Köhler, Peter T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-31704-X
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006. Proceedings

2025-12-14T21:44:21Z

Author Römer, Kay. editor. Karl, Holger. editor. Mattern, Friedemann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11669463
Format: Electronic Resources
Availability Online Library~1

Model Driven Architecture and Ontology Development

2025-12-14T21:44:21Z

Author Gašević, Dragan. author. Djurić, Dragan. author. Devedžić, Vladan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32182-9
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings

2025-12-14T21:44:21Z

Author Missaoui, Rokia. editor. Schmidt, Jürg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11671404
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Papers

2025-12-14T21:44:21Z

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

Efficient Approximation and Online Algorithms Recent Progress on Classical Combinatorial Optimization Problems and New Applications

2025-12-14T21:44:21Z

Author Bampis, Evripidis. editor. Jansen, Klaus. editor. Kenyon, Claire. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11671541
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2006: Theory and Practice of Computer Science 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings

2025-12-14T21:44:21Z

Author Wiedermann, Jiří. editor. Tel, Gerard. editor. Pokorný, Jaroslav. editor. Bieliková, Mária. editor. Štuller, Július. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11611257
Format: Electronic Resources
Availability Online Library~1

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

2025-12-14T21:44:21Z

Author Durand, Bruno. editor. Thomas, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11672142
Format: Electronic Resources
Availability Online Library~1

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

2025-12-14T21:44:21Z

Author Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11741060
Format: Electronic Resources
Availability Online Library~1

Persuasive Technology First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedings

2025-12-14T21:44:21Z

Author IJsselsteijn, Wijnand A. editor. Kort, Yvonne A. W. editor. Midden, Cees. editor. Eggen, Berry. editor. Hoven, Elise. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11755494
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings

2025-12-14T21:44:21Z

Author Beck, J. Christopher. editor. Smith, Barbara M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11757375
Format: Electronic Resources
Availability Online Library~1

Embedded Robotics Mobile Robot Design and Applications with Embedded Systems

2025-12-14T21:44:21Z

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

Algorithms and Complexity 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings

2025-12-14T21:44:21Z

Author Calamoneri, Tiziana. editor. Finocchi, Irene. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11758471
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I

2025-12-14T21:44:21Z

Author Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11758501
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II

2025-12-14T21:44:21Z

Author Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11758525
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III

2025-12-14T21:44:21Z

Author Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11758532
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV

2025-12-14T21:44:21Z

Author Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11758549
Format: Electronic Resources
Availability Online Library~1

Next Generation Teletraffic and Wired/Wireless Advanced Networking 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings

2025-12-14T21:44:21Z

Author Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Iversen, Villy B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11759355
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II

2025-12-14T21:44:21Z

Author Wang, Jun. editor. Yi, Zhang. editor. Zurada, Jacek M. editor. Lu, Bao-Liang. editor. Yin, Hujun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11760023
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks - ISNN 2006 Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I

2025-12-14T21:44:21Z

Author Wang, Jun. editor. Yi, Zhang. editor. Zurada, Jacek M. editor. Lu, Bao-Liang. editor. Yin, Hujun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11759966
Format: Electronic Resources
Availability Online Library~1

Engineering Societies in the Agents World VI 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers

2025-12-14T21:44:21Z

Author Dikenelli, Oğuz. editor. Gleizes, Marie-Pierre. editor. Ricci, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11759683
Format: Electronic Resources
Availability Online Library~1

The Semantic Web: Research and Applications 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 Proceedings

2025-12-14T21:44:21Z

Author Sure, York. editor. Domingue, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11762256
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2006 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, St. Petersburg, Russia, May 28 - June 1, 2006. Proceedings

2025-12-14T21:44:21Z

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

High Availability and Disaster Recovery Concepts, Design, Implementation

2025-12-14T21:44:21Z

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

Experimental Algorithms 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006. Proceedings

2025-12-14T21:44:21Z

Author Àlvarez, Carme. editor. Serna, María. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11764298
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2025-12-14T21:44:21Z

Author Ciancarini, Paolo. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767954
Format: Electronic Resources
Availability Online Library~1

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

2025-12-14T21:44:21Z

Author Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767589
Format: Electronic Resources
Availability Online Library~1

Graphics Recognition. Ten Years Review and Future Perspectives 6th Internation Workshop, GREC 2005, Hong Kong, China, August 25-26, 2005, Revised Selected Papers

2025-12-14T21:44:21Z

Author Liu, Wenyin. editor. Lladós, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767978
Format: Electronic Resources
Availability Online Library~1

Self-Managed Networks, Systems, and Services Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings

2025-12-14T21:44:21Z

Author Keller, Alexander. editor. Martin-Flatin, Jean-Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11767886
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

2025-12-14T21:44:21Z

Author Dunne, Steve. editor. Stoddart, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11768173
Format: Electronic Resources
Availability Online Library~1

Vorlesungen über Informatik Band 2: Objektorientiertes Programmieren und Algorithmen

2025-12-14T21:44:21Z

Author Goos, Gerhard. author. Zimmermann, Wolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-34778-X
Format: Electronic Resources
Availability Online Library~1

Funktionale Programmierung Sprachdesign und Programmiertechnik

2025-12-14T21:44:21Z

Author Pepper, Peter. author. Hofstedt, Petra. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-34796-8
Format: Electronic Resources
Availability Online Library~1

Erfolgsfaktor Unternehmenssteuerung Kennzahlen, Instrumente, Praxistipps

2025-12-14T21:44:21Z

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

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2025-12-14T21:44:21Z

Author Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11768869
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

2025-12-14T21:44:21Z

Author Eliassen, Frank. editor. Montresor, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11773887
Format: Electronic Resources
Availability Online Library~1

Public Key Infrastructure Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006. Proceedings

2025-12-14T21:44:21Z

Author Atzeni, Andrea S. editor. Lioy, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11774716
Format: Electronic Resources
Availability Online Library~1

Combinatorial Image Analysis 11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006. Proceedings

2025-12-14T21:44:21Z

Author Reulke, Ralf. editor. Eckardt, Ulrich. editor. Flach, Boris. editor. Knauer, Uwe. editor. Polthier, Konrad. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11774938
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects in Information and Management Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006. Proceedings

2025-12-14T21:44:21Z

Author Cheng, Siu-Wing. editor. Poon, Chung Keung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11775096
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers

2025-12-14T21:44:21Z

Author Boissier, Olivier. editor. Padget, Julian. editor. Dignum, Virginia. editor. Lindemann, Gabriela. editor. Matson, Eric. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11775331
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings

2025-12-14T21:44:21Z

Author Gibbons, Phillip B. editor. Abdelzaher, Tarek. editor. Aspnes, James. editor. Rao, Ramesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11776178
Format: Electronic Resources
Availability Online Library~1

Learning Theory 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedings

2025-12-14T21:44:21Z

Author Lugosi, Gábor. editor. Simon, Hans Ulrich. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11776420
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

2025-12-14T21:44:21Z

Author Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11777830
Format: Electronic Resources
Availability Online Library~1

RoboCup 2005: Robot Soccer World Cup IX

2025-12-14T21:44:21Z

Author Bredenfeld, Ansgar. editor. Jacoff, Adam. editor. Noda, Itsuki. editor. Takahashi, Yasutake. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780519
Format: Electronic Resources
Availability Online Library~1

Numerical Optimization Theoretical and Practical Aspects

2025-12-14T21:44:21Z

Author Bonnans, J. Frédéric. author. Gilbert, J. Charles. author. Lemaréchal, Claude. author. Sagastizábal, Claudia A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-35447-5
Format: Electronic Resources
Availability Online Library~1

Advances in Applied Artificial Intelligence 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006. Proceedings

2025-12-14T21:44:21Z

Author Ali, Moonis. editor. Dapoigny, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11779568
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006. Proceedings

2025-12-14T21:44:21Z

Author Batten, Lynn Margaret. editor. Safavi-Naini, Reihaneh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780656
Format: Electronic Resources
Availability Online Library~1

Combinatorial Pattern Matching 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006. Proceedings

2025-12-14T21:44:21Z

Author Lewenstein, Moshe. editor. Valiente, Gabriel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780441
Format: Electronic Resources
Availability Online Library~1

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings

2025-12-14T21:44:21Z

Author Beckmann, Arnold. editor. Berger, Ulrich. editor. Löwe, Benedikt. editor. Tucker, John V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780342
Format: Electronic Resources
Availability Online Library~1

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers

2025-12-14T21:44:21Z

Author Yli-Jyrä, Anssi. editor. Karttunen, Lauri. editor. Karhumäki, Juhani. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780885
Format: Electronic Resources
Availability Online Library~1

Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings

2025-12-14T21:44:21Z

Author Etzion, Opher. editor. Kuflik, Tsvi. editor. Motro, Amihai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780991
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006. Proceedings

2025-12-14T21:44:21Z

Author Flocchini, Paola. editor. Gąsieniec, Leszek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11780823
Format: Electronic Resources
Availability Online Library~1

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

2025-12-14T21:44:21Z

Author Uustalu, Tarmo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11783596
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Graphics 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006. Proceedings

2025-12-14T21:44:21Z

Author Nishita, Tomoyuki. editor. Peng, Qunsheng. editor. Seidel, Hans-Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11784203
Format: Electronic Resources
Availability Online Library~1

Embedded and Ubiquitous Computing International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006. Proceedings

2025-12-14T21:44:21Z

Author Sha, Edwin. editor. Han, Sung-Kook. editor. Xu, Cheng-Zhong. editor. Kim, Moon-Hae. editor. Yang, Laurence T. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11802167
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2025-12-14T21:44:21Z

Author Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814771
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings

2025-12-14T21:44:21Z

Author Cheng, Xiuzhen. editor. Li, Wei. editor. Znati, Taieb. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814856
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2025-12-14T21:44:21Z

Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814948
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings

2025-12-14T21:44:21Z

Author Ibarra, Oscar H. editor. Yen, Hsu-Chun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11812128
Format: Electronic Resources
Availability Online Library~1

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

2025-12-14T21:44:21Z

Author Misra, Jayadev. editor. Nipkow, Tobias. editor. Sekerinski, Emil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11813040
Format: Electronic Resources
Availability Online Library~1

Ad-Hoc, Mobile, and Wireless Networks 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedings

2025-12-14T21:44:21Z

Author Kunz, Thomas. editor. Ravi, S. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11814764
Format: Electronic Resources
Availability Online Library~1

Intelligent Computing International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part I

2025-12-14T21:44:21Z

Author Huang, De-Shuang. editor. Li, Kang. editor. Irwin, George William. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11816157
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Bioinformatics International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part III

2025-12-14T21:44:21Z

Author Huang, De-Shuang. editor. Li, Kang. editor. Irwin, George William. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11816102
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2025-12-14T21:44:21Z

Author Ball, Thomas. editor. Jones, Robert B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11817963
Format: Electronic Resources
Availability Online Library~1

Advanced Topics in Exception Handling Techniques

2025-12-14T21:44:21Z

Author Dony, Christophe. editor. Knudsen, Jørgen Lindskov. editor. Romanovsky, Alexander. editor. Tripathi, Anand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11818502
Format: Electronic Resources
Availability Online Library~1

Advances in Machine Vision, Image Processing, and Pattern Analysis International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006 Xi’an, China, August 26-27, 2006 Proceedings

2025-12-14T21:44:21Z

Author Zheng, Nanning. editor. Jiang, Xiaoyi. editor. Lan, Xuguang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11821045
Format: Electronic Resources
Availability Online Library~1

Discovering Mathematics with Magma Reducing the Abstract to the Concrete

2025-12-14T21:44:21Z

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

Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

2025-12-14T21:44:21Z

Author Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11841197
Format: Electronic Resources
Availability Online Library~1

Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

2025-12-14T21:44:21Z

Author Corradini, Andrea. editor. Ehrig, Hartmut. editor. Montanari, Ugo. editor. Ribeiro, Leila. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11841883
Format: Electronic Resources
Availability Online Library~1

Algorithms – ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings

2025-12-14T21:44:21Z

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

Database and XML Technologies 4th International XML Database Symposium, XSym 2006 Seoul, Korea, September 10-11, 2006 Proceedings

2025-12-14T21:44:21Z

Author Amer-Yahia, Sihem. editor. Bellahsène, Zohra. editor. Hunt, Ela. editor. Unland, Rainer. editor. Yu, Jeffrey Xu. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11841920
Format: Electronic Resources
Availability Online Library~1

Parallel Problem Solving from Nature - PPSN IX 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings

2025-12-14T21:44:21Z

Author Runarsson, Thomas Philip. editor. Beyer, Hans-Georg. editor. Burke, Edmund. editor. Merelo-Guervós, Juan J. editor. Whitley, L. Darrell. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11844297
Format: Electronic Resources
Availability Online Library~1

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006. Proceedings

2025-12-14T21:44:21Z

Author Díaz, Josep. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. Zwick, Uri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11830924
Format: Electronic Resources
Availability Online Library~1

Security and Cryptography for Networks 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. Proceedings

2025-12-14T21:44:21Z

Author Prisco, Roberto. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11832072
Format: Electronic Resources
Availability Online Library~1

Unix-Netzwerkprogramminerung mit Threads, Sockets und SSL

2025-12-14T21:44:21Z

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

Information Security 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings

2025-12-14T21:44:21Z

Author Katsikas, Sokratis K. editor. López, Javier. editor. Backes, Michael. editor. Gritzalis, Stefanos. editor. Preneel, Bart. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11836810
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation 5th International Conference, UC 2006, York, UK, September 4-8, 2006. Proceedings

2025-12-14T21:44:21Z

Author Calude, Cristian S. editor. Dinneen, Michael J. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Stepney, Susan. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11839132
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings

2025-12-14T21:44:21Z

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

Transactions on Computational Systems Biology VI

2025-12-14T21:44:21Z

Author Priami, Corrado. editor. Plotkin, Gordon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11880646
Format: Electronic Resources
Availability Online Library~1

Information Retrieval Technology Third Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006. Proceedings

2025-12-14T21:44:21Z

Author Ng, Hwee Tou. editor. Leong, Mun-Kew. editor. Kan, Min-Yen. editor. Ji, Donghong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11880592
Format: Electronic Resources
Availability Online Library~1

General Theory of Information Transfer and Combinatorics

2025-12-14T21:44:21Z

Author Ahlswede, Rudolf. editor. Bäumer, Lars. editor. Cai, Ning. editor. Aydinian, Harout. editor. Blinovsky, Vladimir. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11889342
Format: Electronic Resources
Availability Online Library~1

Resource Allocation in Wireless Networks Theory and Algorithms

2025-12-14T21:44:21Z

Author Stańczak, Sławomir. author. Wiczanowski, Marcin. author. Boche, Holger. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11818762
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 10th International Conference, FC 2006 Anguilla, British West Indies, February 27-March 2, 2006 Revised Selected Papers

2025-12-14T21:44:21Z

Author Crescenzo, Giovanni. editor. Rubin, Avi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11889663
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Computing Systems Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006. Proceedings

2025-12-14T21:44:21Z

Author Youn, Hee Yong. editor. Kim, Minkoo. editor. Morikawa, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11890348
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics Third International Workshop, HM 2006 Gran Canaria, Spain, October 13-14, 2006 Proceedings

2025-12-14T21:44:21Z

Author Almeida, Francisco. editor. Blesa Aguilera, María J. editor. Blum, Christian. editor. Moreno Vega, José Marcos. editor. Pérez Pérez, Melquíades. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11890584
Format: Electronic Resources
Availability Online Library~1

Discrete Geometry for Computer Imagery 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006. Proceedings

2025-12-14T21:44:21Z

Author Kuba, Attila. editor. Nyúl, László G. editor. Palágyi, Kálmán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11907350
Format: Electronic Resources
Availability Online Library~1

Advances in Information and Computer Security First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006. Proceedings

2025-12-14T21:44:21Z

Author Yoshiura, Hiroshi. editor. Sakurai, Kouichi. editor. Rannenberg, Kai. editor. Murayama, Yuko. editor. Kawamura, Shinichi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11908739
Format: Electronic Resources
Availability Online Library~1

Communications and Multimedia Security 10th IFIP TC-6 TC-11 International Conference, CMS 2006, Heraklion, Crete, Greece, October 19-21, 2006. Proceedings

2025-12-14T21:44:21Z

Author Leitold, Herbert. editor. Markatos, Evangelos P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11909033
Format: Electronic Resources
Availability Online Library~1

Smart Sensing and Context First European Conference, EuroSSC 2006 Enschede, Netherlands, October 25-27, 2006 Proceedings

2025-12-14T21:44:21Z

Author Havinga, Paul. editor. Lijding, Maria. editor. Meratnia, Nirvana. editor. Wegdam, Maarten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11907503
Format: Electronic Resources
Availability Online Library~1

Rigorous Development of Complex Fault-Tolerant Systems

2025-12-14T21:44:21Z

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

On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I

2025-12-14T21:44:21Z

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

On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II

2025-12-14T21:44:21Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

2025-12-14T21:44:21Z

Author Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11916277
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006 Revised Papers

2025-12-14T21:44:21Z

Author Fomin, Fedor V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11917496
Format: Electronic Resources
Availability Online Library~1

Systems Biology and Regulatory Genomics Joint Annual RECOMB 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics, San Diego, CA, USA; December 2-4, 2005, Revised Selected Papers

2025-12-14T21:44:21Z

Author Eskin, Eleazar. editor. Ideker, Trey. editor. Raphael, Ben. editor. Workman, Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-48540-7
Format: Electronic Resources
Availability Online Library~1

Information Networking. Advances in Data Communications and Wireless Networks International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers

2025-12-14T21:44:21Z

Author Chong, Ilyoung. editor. Kawahara, Kenji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11919568
Format: Electronic Resources
Availability Online Library~1

Advances in Visual Computing Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006. Proceedings, Part II

2025-12-14T21:44:21Z

Author Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Remagnino, Paolo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11919629
Format: Electronic Resources
Availability Online Library~1

Advances in Visual Computing Second International Symposium, ISVC 2006 Lake Tahoe, NV, USA, November 6-8, 2006 Proceedings, Part I

2025-12-14T21:44:21Z

Author Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Remagnino, Paolo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11919476
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings

2025-12-14T21:44:21Z

Author Barkaoui, Kamel. editor. Cavalcanti, Ana. editor. Cerone, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11921240
Format: Electronic Resources
Availability Online Library~1

Combinatorial and Algorithmic Aspects of Networking Third Workshop, CAAN 2006, Chester, UK, July 2, 2006. Revised Papers

2025-12-14T21:44:21Z

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

Digital Watermarking 5th International Workshop, IWDW 2006, Jeju Island, Korea, November 8-10, 2006. Proceedings

2025-12-14T21:44:21Z

Author Shi, Yun Qing. editor. Jeon, Byeungwoo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11922841
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Systems Biology VII

2025-12-14T21:44:21Z

Author Priami, Corrado. editor. Ingólfsdóttir, Anna. editor. Mishra, Bud. editor. Riis Nielson, Hanne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11905455
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-9, 2005. Revised Papers

2025-12-14T21:44:21Z

Author Herik, H. Jaap. editor. Hsu, Shun-Chin. editor. Hsu, Tsan-sheng. editor. Donkers, H. H. L. M. (Jeroen). editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11922155
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers

2025-12-14T21:44:21Z

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

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

2025-12-14T21:44:21Z

Author Kobayashi, Naoki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11924661
Format: Electronic Resources
Availability Online Library~1

Technologies for Advanced Heterogeneous Networks II Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings

2025-12-14T21:44:21Z

Author Cho, Kenjiro. editor. Jacquet, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11930181
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2006 12th International Conference on the Theory and Application of Cryptology and Information Security, Shanghai, China, December 3-7, 2006. Proceedings

2025-12-14T21:44:21Z

Author Lai, Xuejia. editor. Chen, Kefei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11935230
Format: Electronic Resources
Availability Online Library~1

Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006. Proceedings

2025-12-14T21:44:21Z

Author Ning, Peng. editor. Qing, Sihan. editor. Li, Ninghui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11935308
Format: Electronic Resources
Availability Online Library~1

Chinese Spoken Language Processing 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006. Proceedings

2025-12-14T21:44:21Z

Author Huo, Qiang. editor. Ma, Bin. editor. Chng, Eng-Siong. editor. Li, Haizhou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11939993
Format: Electronic Resources
Availability Online Library~1

Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006. Proceedings

2025-12-14T21:44:21Z

Author Matsumoto, Yuji. editor. Sproat, Richard W. editor. Wong, Kam-Fai. editor. Zhang, Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11940098
Format: Electronic Resources
Availability Online Library~1

High Performance Computing - HiPC 2006 13th International Conference, Bangalore, India, December 18-21, 2006. Proceedings

2025-12-14T21:44:21Z

Author Robert, Yves. editor. Parashar, Manish. editor. Badrinath, Ramamurthy. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11945918
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Processing and Applications 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings

2025-12-14T21:44:21Z

Author Guo, Minyi. editor. Yang, Laurence T. editor. Martino, Beniamino. editor. Zima, Hans P. editor. Dongarra, Jack. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11946441
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006. Proceedings

2025-12-14T21:44:21Z

Author Chaudhuri, Soma. editor. Das, Samir R. editor. Paul, Himadri S. editor. Tirthapura, Srikanta. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11947950
Format: Electronic Resources
Availability Online Library~1

Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers

2025-12-14T21:44:21Z

Author Dignum, Frank P. M. editor. Eijk, Rogier M. editor. Flores, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68143-4
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing – ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006. Proceedings

2025-12-14T21:44:21Z

Author Dan, Asit. editor. Lamersdorf, Winfried. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11948148
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings

2025-12-14T21:44:21Z

Author Datta, Ajoy K. editor. Gradinariu, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-49823-0
Format: Electronic Resources
Availability Online Library~1

Echtzeitsysteme im Alltag Fachtagung der GI-Fachgruppe Echtzeitsysteme (RT) Boppard, 30. November/1. Dezember 2006

2025-12-14T21:44:21Z

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

Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006. Proceedings

2025-12-14T21:44:21Z

Author Steen, Maarten. editor. Henning, Michi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11925071
Format: Electronic Resources
Availability Online Library~1

Computer Vision, Graphics and Image Processing 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006. Proceedings

2025-12-14T21:44:21Z

Author Kalra, Prem K. editor. Peleg, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11949619
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

2025-12-14T21:44:21Z

Author Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11951148
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006. Proceedings

2025-12-14T21:44:21Z

Author Madria, Sanjay K. editor. Claypool, Kajal T. editor. Kannan, Rajgopal. editor. Uppuluri, Prem. editor. Gore, Manoj Madhava. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11951957
Format: Electronic Resources
Availability Online Library~1

DNA Computing 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers

2025-12-14T21:44:21Z

Author Mao, Chengde. editor. Yokomori, Takashi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11925903
Format: Electronic Resources
Availability Online Library~1

Service Availability Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers

2025-12-14T21:44:21Z

Author Penkler, Dave. editor. Reitenspiess, Manfred. editor. Tam, Francis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11955498
Format: Electronic Resources
Availability Online Library~1

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings

2025-12-14T21:44:21Z

Author Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11955757
Format: Electronic Resources
Availability Online Library~1

Toward Category-Level Object Recognition

2025-12-14T21:44:21Z

Author Ponce, Jean. editor. Hebert, Martial. editor. Schmid, Cordelia. editor. Zisserman, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11957959
Format: Electronic Resources
Availability Online Library~1

Progress in Cryptology - VIETCRYPT 2006 First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006. Revised Selected Papers

2025-12-14T21:44:21Z

Author Nguyen, Phong Q. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11958239
Format: Electronic Resources
Availability Online Library~1

Critical Information Infrastructures Security First International Workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006. Revised Papers

2025-12-14T21:44:21Z

Author Lopez, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11962977
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects of Wireless Sensor Networks Second International Workshop, ALGOSENSORS 2006, Venice, Italy, July 15, 2006, Revised Selected Papers

2025-12-14T21:44:21Z

Author Nikoletseas, Sotiris E. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11963271
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Ad-Hoc and Sensor Networks Third European Workshop, ESAS 2006, Hamburg, Germany, September 20-21, 2006, Revised Selected Papers

2025-12-14T21:44:21Z

Author Buttyán, Levente. editor. Gligor, Virgil D. editor. Westhoff, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11964254
Format: Electronic Resources
Availability Online Library~1

Innovative Concepts for Autonomic and Agent-Based Systems Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers

2025-12-14T21:44:21Z

Author Hinchey, Michael G. editor. Rago, Patricia. editor. Rash, James L. editor. Rouff, Christopher A. editor. Sterritt, Roy. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11964995
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2007 The Cryptographers’ Track at the RSA Conference 2007, San Francisco, CA, USA, February 5-9, 2007. Proceedings

2025-12-14T21:44:21Z

Author Abe, Masayuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11967668
Format: Electronic Resources
Availability Online Library~1

Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1

2025-12-14T21:44:21Z

Author Taft, S. Tucker. author. Duff, Robert A. author. Brukardt, Randall L. author. Ploedereder, Erhard. author. Leroy, Pascal. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69336-9
Format: Electronic Resources
Availability Online Library~1

Vorlesungen über Informatik Grundlagen und funktionales Programmieren

2025-12-14T21:44:21Z

Author Goos, Gerhard. author. Zimmermann, Wolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29272-1
Format: Electronic Resources
Availability Online Library~1

Informatik kompakt Eine grundlegende Einführung mit Java

2025-12-14T21:44:21Z

Author Morik, Katharina. author. Klingspor, Volker. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29275-6
Format: Electronic Resources
Availability Online Library~1

Softwaresysteme und ihre Modellierung Grundlagen, Methoden und Techniken

2025-12-14T21:44:21Z

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

Computeralgebra Eine algorithmisch orientierte Einführung

2025-12-14T21:44:21Z

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

Cluster Computing Praktische Einführung in das Hochleistungsrechnen auf Linux-Clustern

2025-12-14T21:44:21Z

Author Bauke, Heiko. author. Mertens, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29928-9
Format: Electronic Resources
Availability Online Library~1

Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion

2025-12-14T21:44:21Z

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

Parameterized Complexity Theory

2025-12-14T21:44:21Z

Author Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-29953-X
Format: Electronic Resources
Availability Online Library~1

Debian GNU/Linux in der Praxis Anwendungen, Konzepte, Werkzeuge

2025-12-14T21:44:21Z

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

Model-Driven Design Using Business Patterns

2025-12-14T21:44:21Z

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

Mobile Information Systems Infrastructure and Design for Adaptivity and Flexibility

2025-12-14T21:44:21Z

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

Python Scripting for Computational Science

2025-12-14T21:44:21Z

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

Mac OS X

2025-12-14T21:44:21Z

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

Sicheres Netzwerkmanagement Konzepte, Protokolle, Tools

2025-12-14T21:44:21Z

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

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006. Proceedings

2025-12-14T21:44:21Z

Author Fossorier, Marc P. C. editor. Imai, Hideki. editor. Lin, Shu. editor. Poli, Alain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11617983
Format: Electronic Resources
Availability Online Library~1

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers

2025-12-14T21:44:21Z

Author Bruel, Jean-Michel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11663430
Format: Electronic Resources
Availability Online Library~1

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

2025-12-14T21:44:21Z

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

Multiagent Engineering Theory and Applications in Enterprises

2025-12-14T21:44:21Z

Author Kirn, Stefan. editor. Herzog, Otthein. editor. Lockemann, Peter. editor. Spaniol, Otto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32062-8
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part II

2025-12-14T21:44:21Z

Author Narayanan, P. J. editor. Nayar, Shree K. editor. Shum, Heung-Yeung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11612704
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2006 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part I

2025-12-14T21:44:21Z

Author Narayanan, P. J. editor. Nayar, Shree K. editor. Shum, Heung-Yeung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11612032
Format: Electronic Resources
Availability Online Library~1

Biologically Inspired Approaches to Advanced Information Technology Second International Workshop, BioADIT 2006, Osaka, Japan, January 26-27, 2006

2025-12-14T21:44:21Z

Author Ijspeert, Auke Jan. editor. Masuzawa, Toshimitsu. editor. Kusumoto, Shinji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11613022
Format: Electronic Resources
Availability Online Library~1

Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers

2025-12-14T21:44:21Z

Author Herik, H. Jaap. editor. Björnsson, Yngvi. editor. Netanyahu, Nathan S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11674399
Format: Electronic Resources
Availability Online Library~1

Agile Unternehmen durch Business Rules Der Business Rules Ansatz

2025-12-14T21:44:21Z

Author Schacher, Markus. author. Grässle, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32505-0
Format: Electronic Resources
Availability Online Library~1

Spatial Coherence for Visual Motion Analysis First International Workshop, SCVMA 2004, Prague, Czech Republic, May 15, 2004. Revised Papers

2025-12-14T21:44:21Z

Author MacLean, W. James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11676959
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

2025-12-14T21:44:21Z

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

Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings

2025-12-14T21:44:21Z

Author Rosca, Justinian. editor. Erdogmus, Deniz. editor. Príncipe, José C. editor. Haykin, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11679363
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2006 The Cryptographers’ Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2005. Proceedings

2025-12-14T21:44:21Z

Author Pointcheval, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11605805
Format: Electronic Resources
Availability Online Library~1

Distributed Event-Based Systems

2025-12-14T21:44:21Z

Author Mühl, Gero. author. Fiege, Ludger. author. Pietzuch, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-32653-7
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings

2025-12-14T21:44:21Z

Author Halevi, Shai. editor. Rabin, Tal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11681878
Format: Electronic Resources
Availability Online Library~1

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

2025-12-14T21:44:21Z

Author Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11682462
Format: Electronic Resources
Availability Online Library~1

VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search

2025-12-14T21:44:21Z

Author Frintrop, Simone. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11682110
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings

2025-12-14T21:44:21Z

Author Grass, Werner. editor. Sick, Bernhard. editor. Waldschmidt, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11682127
Format: Electronic Resources
Availability Online Library~1

Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers

2025-12-14T21:44:21Z

Author Thompson, Simon G. editor. Ghanea-Hercock, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11683704
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science Essays in Memory of Shimon Even

2025-12-14T21:44:21Z

Author Goldreich, Oded. editor. Rosenberg, Arnold L. editor. Selman, Alan L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11685654
Format: Electronic Resources
Availability Online Library~1

The Seventeen Provers of the World Foreword by Dana S. Scott

2025-12-14T21:44:21Z

Author Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11542384
Format: Electronic Resources
Availability Online Library~1

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

2025-12-14T21:44:21Z

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

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

2025-12-14T21:44:21Z

Author Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11686699
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers

2025-12-14T21:44:21Z

Author Farré, Jacques. editor. Litovsky, Igor. editor. Schmitz, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11605157
Format: Electronic Resources
Availability Online Library~1

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

2025-12-14T21:44:21Z

Author Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11691792
Format: Electronic Resources
Availability Online Library~1

Selected Areas in Cryptography 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers

2025-12-14T21:44:21Z

Author Preneel, Bart. editor. Tavares, Stafford. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11693383
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings

2025-12-14T21:44:21Z

Author Collet, Pierre. editor. Tomassini, Marco. editor. Ebner, Marc. editor. Gustafson, Steven. editor. Ekárt, Anikó. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11729976
Format: Electronic Resources
Availability Online Library~1

Information Security Applications 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers

2025-12-14T21:44:21Z

Author Song, Joo-Seok. editor. Kwon, Taekyoung. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11604938
Format: Electronic Resources
Availability Online Library~1