Search Results for Software engineering - Narrowed by: 2006

Software engineering quality practices

2024-12-11T09:51:19Z

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

Value-Based Software Engineering

2024-12-11T09:51:19Z

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

Handbook of software engineering & knowledge engineering

2024-12-11T09:51:19Z

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

Engineering analysis with ANSYS software

2024-12-11T09:51:19Z

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

Rationale Management in Software Engineering

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

Engineering analysis with ANSYS software

2024-12-11T09:51:19Z

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 engineering for Internet applications

2024-12-11T09:51:19Z

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

Ontologies for Software Engineering and Software Technology

2024-12-11T09:51:19Z

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

Software specification and design an engineering approach

2024-12-11T09:51:19Z

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

Model-driven software development : technology, engineering, management

2024-12-11T09:51:19Z

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

Ontologies for software engineering and software technology

2024-12-11T09:51:19Z

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

The electrical engineering handbook. Third ed., Computers, software engineering, and digital devices

2024-12-11T09:51:19Z

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

The road map to software engineering a standards-based guide

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

Software Engineering 2 Specification of Systems and Languages

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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 Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

Agent Technology from a Formal Perspective

2024-12-11T09:51:19Z

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

Software measurement and estimation a practical approach

2024-12-11T09:51:19Z

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

AntiPatterns identification, refactoring, and management

2024-12-11T09:51:19Z

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

Accelerating process improvement using agile techniques

2024-12-11T09:51:19Z

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

Enterprise Service Oriented Architectures Concepts, Challenges, Recommendations

2024-12-11T09:51:19Z

Author McGovern, James. author. Sims, Oliver. author. Jain, Ashish. author. Little, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3705-8
Format: Electronic Resources
Availability Online Library~1

Pro Apache XML

2024-12-11T09:51:19Z

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

Pro Java EE 5 Performance Management and Optimization

2024-12-11T09:51:19Z

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

The Definitive Guide to Stellent Content Server Development

2024-12-11T09:51:19Z

Author Huff, Brian “Bex”. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0178-6
Format: Electronic Resources
Availability Online Library~1

Practical Software Factories in .NET

2024-12-11T09:51:19Z

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

Agile Software Construction

2024-12-11T09:51:19Z

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

Theoretical Introduction to Programming

2024-12-11T09:51:19Z

Author Mills, Bruce. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-263-2
Format: Electronic Resources
Availability Online Library~1

Developing Services for the Wireless Internet

2024-12-11T09:51:19Z

Author Morisio, Maurizio. editor. Torchiano, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-589-9
Format: Electronic Resources
Availability Online Library~1

Foundations of 3D Graphics Programming Using JOGL and Java3D

2024-12-11T09:51:19Z

Author Chen, Jim X. author. Wegman, Edward J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-597-6
Format: Electronic Resources
Availability Online Library~1

Developing Ambient Intelligence Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06)

2024-12-11T09:51:19Z

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

Field-Based Coordination for Pervasive Multiagent Systems

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

Agile Unternehmen durch Business Rules Der Business Rules Ansatz

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

Distributed Event-Based Systems

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

Transactions on Aspect-Oriented Software Development I

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

2024-12-11T09:51:19Z

Author Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11730637
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communications 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006. Proceedings

2024-12-11T09:51:19Z

Author Braun, Torsten. editor. Carle, Georg. editor. Fahmy, Sonia. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11750390
Format: Electronic Resources
Availability Online Library~1

Computer Music Modeling and Retrieval Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers

2024-12-11T09:51:19Z

Author Kronland-Martinet, Richard. editor. Voinier, Thierry. editor. Ystad, Sølvi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751069
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I

2024-12-11T09:51:19Z

Author Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751540
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II

2024-12-11T09:51:19Z

Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751588
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III

2024-12-11T09:51:19Z

Author Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751595
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV

2024-12-11T09:51:19Z

Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751632
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V

2024-12-11T09:51:19Z

Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11751649
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers

2024-12-11T09:51:19Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Meyer, Norbert. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11752578
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

2024-12-11T09:51:19Z

Author Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11752707
Format: Electronic Resources
Availability Online Library~1

Testing of Communicating Systems 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings

2024-12-11T09:51:19Z

Author Uyar, M. Ümit. editor. Duale, Ali Y. editor. Fecko, Mariusz A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11754008
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

2024-12-11T09:51:19Z

Author Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11753810
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

2024-12-11T09:51:19Z

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

Erfolgsfaktor Unternehmenssteuerung Kennzahlen, Instrumente, Praxistipps

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

2024-12-11T09:51:19Z

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

Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

2024-12-11T09:51:19Z

Author Reussner, Ralf H. editor. Stafford, Judith A. editor. Szyperski, Clemens A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11786160
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

2024-12-11T09:51:19Z

Author Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11786986
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

2024-12-11T09:51:19Z

Author Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11787006
Format: Electronic Resources
Availability Online Library~1

Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings

2024-12-11T09:51:19Z

Author Rensink, Arend. editor. Warmer, Jos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11787044
Format: Electronic Resources
Availability Online Library~1

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

2024-12-11T09:51:19Z

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

Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

2024-12-11T09:51:19Z

Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11804192
Format: Electronic Resources
Availability Online Library~1

Security@Work Pragmatische Konzeption und Implementierung von IT-Sicherheit mit Löungsbeispielen auf Open-Source-Basis

2024-12-11T09:51:19Z

Author Eschweiler, Jög. author. Atencio Psille, Daniel E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-36226-6
Format: Electronic Resources
Availability Online Library~1

Data and Applications Security XX 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings

2024-12-11T09:51:19Z

Author Damiani, Ernesto. editor. Liu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11805588
Format: Electronic Resources
Availability Online Library~1

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

2024-12-11T09:51:19Z

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

Emerging Directions in Embedded and Ubiquitous Computing EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings

2024-12-11T09:51:19Z

Author Zhou, Xiaobo. editor. Sokolsky, Oleg. editor. Yan, Lu. editor. Jung, Eun-Sun. editor. Shao, Zili. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11807964
Format: Electronic Resources
Availability Online Library~1

Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings

2024-12-11T09:51:19Z

Author Shi, Zhong-Zhi. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11802372
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings

2024-12-11T09:51:19Z

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

Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

2024-12-11T09:51:19Z

Author Asarin, Eugene. editor. Bouyer, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11867340
Format: Electronic Resources
Availability Online Library~1

Personal Wireless Communications IFIP TC6 11th International Conference, PWC 2006, Albacete, Spain, September 20-22, 2006. Proceedings

2024-12-11T09:51:19Z

Author Cuenca, Pedro. editor. Orozco-Barbosa, Luiz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11872153
Format: Electronic Resources
Availability Online Library~1

Variations on Constants Flow Analysis of Sequential and Parallel Programs

2024-12-11T09:51:19Z

Author Müller-Olm, Markus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11871743
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings

2024-12-11T09:51:19Z

Author Górski, Janusz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11875567
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

2024-12-11T09:51:19Z

Author Nierstrasz, Oscar. editor. Whittle, Jon. editor. Harel, David. editor. Reggio, Gianna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11880240
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings

2024-12-11T09:51:19Z

Author Embley, David W. editor. Olivé, Antoni. editor. Ram, Sudha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11901181
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

2024-12-11T09:51:19Z

Author Graf, Susanne. editor. Zhang, Wenhui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11901914
Format: Electronic Resources
Availability Online Library~1

Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings

2024-12-11T09:51:19Z

Author Levi, Albert. editor. Savaş, Erkay. editor. Yenigün, Hüsnü. editor. Balcısoy, Selim. editor. Saygın, Yücel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11902140
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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

Software management

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

Project E-Society: Building Bricks 6TH IFIP International Conference on e-Commerce, e-Business, and e-Government (13E 2006), October 11–13, 2006, Turku, Finland

2024-12-11T09:51:19Z

Author Suomi, Reima. editor. Cabral, Regis. editor. Hampe, J. Felix. editor. Heikkilä, Arto. editor. Järveläinen, Jonna. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-39229-5
Format: Electronic Resources
Availability Online Library~1

Avatars at Work and Play Collaboration and Interaction in Shared Virtual Environments

2024-12-11T09:51:19Z

Author Schroeder, Ralph. editor. Axelsson, Ann-Sofie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3898-4
Format: Electronic Resources
Availability Online Library~1

Human Interaction with Machines Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15–16, 2005

2024-12-11T09:51:19Z

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

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

2024-12-11T09:51:19Z

Author Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4826-2
Format: Electronic Resources
Availability Online Library~1

Embedded Systems – Modeling, Technology, and Applications

2024-12-11T09:51:19Z

Author Hommel, Günter. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4933-1
Format: Electronic Resources
Availability Online Library~1

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

2024-12-11T09:51:19Z

Author Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5138-7
Format: Electronic Resources
Availability Online Library~1

End User Development

2024-12-11T09:51:19Z

Author Lieberman, Henry. editor. Paternò, Fabio. editor. Wulf, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5386-X
Format: Electronic Resources
Availability Online Library~1

Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performance

2024-12-11T09:51:19Z

Author Dyke, Julian. author. Shaw, Steve. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0214-1
Format: Electronic Resources
Availability Online Library~1

The Definitive Guide to GCC

2024-12-11T09:51:19Z

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

Beginning Google Maps Applications with PHP and Ajax From Novice to Professional

2024-12-11T09:51:19Z

Author Purvis, Michael. author. Sambells, Jeffrey. author. Turner, Cameron. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0224-0
Format: Electronic Resources
Availability Online Library~1

Introduction to Programming with Fortran

2024-12-11T09:51:19Z

Author Chivers, Ian D. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137984
Format: Electronic Resources
Availability Online Library~1

Interoperability of Enterprise Software and Applications

2024-12-11T09:51:19Z

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

Virtual Machines

2024-12-11T09:51:19Z

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

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

2024-12-11T09:51:19Z

Author Besnard, Denis. editor. Gacek, Cristina. editor. Jones, Cliff B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138838
Format: Electronic Resources
Availability Online Library~1

Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business

2024-12-11T09:51:19Z

Author Roussos, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-321-3
Format: Electronic Resources
Availability Online Library~1

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

2024-12-11T09:51:19Z

Author Bowman, Howard. author. Gomez, Rodolfo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-336-1
Format: Electronic Resources
Availability Online Library~1

Grid Computing: Software Environments and Tools

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006

2024-12-11T09:51:19Z

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

Body Sensor Networks

2024-12-11T09:51:19Z

Author Yang, Guang-Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-484-8
Format: Electronic Resources
Availability Online Library~1

Essential Software Architecture

2024-12-11T09:51:19Z

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

Content Management mit Plone Gestaltung, Programmierung, Anwendung und Admisnistration

2024-12-11T09:51:19Z

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

Mobile Information Systems Infrastructure and Design for Adaptivity and Flexibility

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

Multiagent Engineering Theory and Applications in Enterprises

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings

2024-12-11T09:51:19Z

Author Chung, Yeh-Ching. editor. Moreira, José E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11745693
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings

2024-12-11T09:51:19Z

Author Fishkin, Kenneth P. editor. Schiele, Bernt. editor. Nixon, Paddy. editor. Quigley, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11748625
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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

Embedded Robotics Mobile Robot Design and Applications with Embedded Systems

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

High Availability and Disaster Recovery Concepts, Design, Implementation

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

Advanced Data Mining and Applications Second International Conference, ADMA 2006, Xi’an, China, August 14-16, 2006 Proceedings

2024-12-11T09:51:19Z

Author Li, Xue. editor. Zaïane, Osmar R. editor. Li, Zhan-huai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11811305
Format: Electronic Resources
Availability Online Library~1

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

Unix-Netzwerkprogramminerung mit Threads, Sockets und SSL

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

Autonomic and Trusted Computing Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings

2024-12-11T09:51:19Z

Author Yang, Laurence T. editor. Jin, Hai. editor. Ma, Jianhua. editor. Ungerer, Theo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11839569
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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings

2024-12-11T09:51:19Z

Author Gerndt, Michael. editor. Kranzlmüller, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11847366
Format: Electronic Resources
Availability Online Library~1

Moderne C++ Programmierung Klassen, Templates, Design Patterns

2024-12-11T09:51:19Z

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

Multiagent System Technologies 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedings

2024-12-11T09:51:19Z

Author Fischer, Klaus. editor. Timm, Ingo J. editor. André, Elisabeth. editor. Zhong, Ning. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11872283
Format: Electronic Resources
Availability Online Library~1

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

2024-12-11T09:51:19Z

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

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

2024-12-11T09:51:19Z

Author Najm, Elie. editor. Pradat-Peyre, Jean-François. editor. Donzeau-Gouge, Véronique Viguié. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11888116
Format: Electronic Resources
Availability Online Library~1

Resource Allocation in Wireless Networks Theory and Algorithms

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings

2024-12-11T09:51:19Z

Author Goubin, Louis. editor. Matsui, Mitsuru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11894063
Format: Electronic Resources
Availability Online Library~1

Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures

2024-12-11T09:51:19Z

Author Horváth, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11894100
Format: Electronic Resources
Availability Online Library~1

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

2024-12-11T09:51:19Z

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

Rigorous Development of Complex Fault-Tolerant Systems

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

Writing Scientific Software A Guide to Good Style

2024-12-11T09:51:19Z

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

Web Engineering

2024-12-11T09:51:19Z

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

Embedded Security in Cars Securing Current and Future Automotive IT Applications

2024-12-11T09:51:19Z

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

Vorlesungen über Informatik Grundlagen und funktionales Programmieren

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

Betriebssysteme Eine kompakte Einführung mit Linux

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

Python Scripting for Computational Science

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

Software Product Lines

2024-12-11T09:51:19Z

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

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

2024-12-11T09:51:19Z

Author MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734673
Format: Electronic Resources
Availability Online Library~1

Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers

2024-12-11T09:51:19Z

Author Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734697
Format: Electronic Resources
Availability Online Library~1

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings

2024-12-11T09:51:19Z

Author Clark, John A. editor. Paige, Richard F. editor. Polack, Fiona A. C. editor. Brooke, Phillip J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11734666
Format: Electronic Resources
Availability Online Library~1

Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers

2024-12-11T09:51:19Z

Author Dongarra, Jack. editor. Madsen, Kaj. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11558958
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers

2024-12-11T09:51:19Z

Author Anderson, James H. editor. Prencipe, Giuseppe. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11795490
Format: Electronic Resources
Availability Online Library~1

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

2024-12-11T09:51:19Z

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

Self-Organizing Systems First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings

2024-12-11T09:51:19Z

Author Meer, Hermann. editor. Sterbenz, James P. G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11822035
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

2024-12-11T09:51:19Z

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

Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings

2024-12-11T09:51:19Z

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

Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings

2024-12-11T09:51:19Z

Author Nagel, Wolfgang E. editor. Walter, Wolfgang V. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11823285
Format: Electronic Resources
Availability Online Library~1

Ambient Intelligence in Everyday Life Foreword by Emile Aarts

2024-12-11T09:51:19Z

Author Cai, Yang. editor. Abascal, Julio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11825890
Format: Electronic Resources
Availability Online Library~1

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings

2024-12-11T09:51:19Z

Author Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11828563
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

2024-12-11T09:51:19Z

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

Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

2024-12-11T09:51:19Z

Author Alferes, Jóse Júlio. editor. Bailey, James. editor. May, Wolfgang. editor. Schwertel, Uta. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11853107
Format: Electronic Resources
Availability Online Library~1

UbiComp 2006: Ubiquitous Computing 8th International Conference, UbiComp 2006 Orange County, CA, USA, September 17-21, 2006 Proceedings

2024-12-11T09:51:19Z

Author Dourish, Paul. editor. Friday, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11853565
Format: Electronic Resources
Availability Online Library~1

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings

2024-12-11T09:51:19Z

Author Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11860990
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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

Transactions on Aspect-Oriented Software Development II

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedings

2024-12-11T09:51:19Z

Author Min, Geyong. editor. Martino, Beniamino. editor. Yang, Laurence T. editor. Guo, Minyi. editor. Rünger, Gudula. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11942634
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings

2024-12-11T09:51:19Z

Author Shvartsman, Mariam Momenzadeh Alexander A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11945529
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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

2024-12-11T09:51:19Z

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

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

2024-12-11T09:51:19Z

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

Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

2024-12-11T09:51:19Z

Author Baldoni, Matteo. editor. Endriss, Ulle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11961536
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

2024-12-11T09:51:19Z

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

TSP : coaching development teams

2024-12-11T09:51:19Z

Author Humphrey, Watts S., 1927-
Preferred Shelf Number QA76.758 H86 2006
Format: Books
Availability Beytepe Library~1

FPGA Implementations of Neural Networks

2024-12-11T09:51:19Z

Author Omondi, Amos R. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28487-7
Format: Electronic Resources
Availability Online Library~1

Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions

2024-12-11T09:51:19Z

Author Nguyen, Duc Thai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-30851-2
Format: Electronic Resources
Availability Online Library~1

Software Configuration Management Using Vesta

2024-12-11T09:51:19Z

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

Quality of Protection Security Measurements and Metrics

2024-12-11T09:51:19Z

Author Gollmann, Dieter. editor. Massacci, Fabio. editor. Yautsiukhin, Artsiom. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-36584-8
Format: Electronic Resources
Availability Online Library~1

Pro OpenSSH

2024-12-11T09:51:19Z

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

Dynamics AX A Guide to Microsoft Axapta

2024-12-11T09:51:19Z

Author Mourão, Luis X. B. author. Weiner, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0078-9
Format: Electronic Resources
Availability Online Library~1

Beginning Java EE 5 From Novice to Professional

2024-12-11T09:51:19Z

Author Mukhar, Kevin. author. Zelenak, Chris. author. Weaver, James L. author. Crume, Jim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0084-0
Format: Electronic Resources
Availability Online Library~1

The Definitive Guide to Building Java Robots

2024-12-11T09:51:19Z

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

Pro Apache Ant

2024-12-11T09:51:19Z

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

Beginning Excel What-If Data Analysis Tools Getting Started with Goal Seek, Data Tables, Scenarios, and Solver

2024-12-11T09:51:19Z

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

Microsoft SharePoint Building Office 2003 Solutions

2024-12-11T09:51:19Z

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

Building Online Communities with Drupal, phpBB, and WordPress

2024-12-11T09:51:19Z

Author Douglass, Robert T. author. Little, Mike. author. Smith, Jared W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0106-9
Format: Electronic Resources
Availability Online Library~1

The Definitive Guide to ImageMagick

2024-12-11T09:51:19Z

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

Micro-ISV From Vision to Reality

2024-12-11T09:51:19Z

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

A Tester’s Guide to .NET Programming

2024-12-11T09:51:19Z

Author Root, Randal. author. Sweeney, Mary Romero. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0116-8
Format: Electronic Resources
Availability Online Library~1

The Career Programmer Guerilla Tactics for an Imperfect World

2024-12-11T09:51:19Z

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

Beginning Apache Struts From Novice to Professional

2024-12-11T09:51:19Z

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

AdvancED ActionScript Components Mastering the Flash Component Architecture

2024-12-11T09:51:19Z

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

Expert Spring MVC and Web Flow

2024-12-11T09:51:19Z

Author Ladd, Seth. author. Davison, Darren. author. Devijver, Steven. author. Yates, Colin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0133-5
Format: Electronic Resources
Availability Online Library~1

Beginning GIMP From Novice to Professional

2024-12-11T09:51:19Z

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

Beginning Ubuntu Linux From Novice to Professional

2024-12-11T09:51:19Z

Author Thomas, Keir. author. Gilmore, Jason. editor. Anglin, Steve. editor. Appleman, Dan. editor. Buckingham, Ewan. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0137-3
Format: Electronic Resources
Availability Online Library~1

Foundations of Java for ABAP Programmers

2024-12-11T09:51:19Z

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

Excel Pivot Tables Recipe Book A Problem-Solution Approach

2024-12-11T09:51:19Z

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

Beginning POJOs From Novice to Professional

2024-12-11T09:51:19Z

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

Practical .NET for Financial Markets

2024-12-11T09:51:19Z

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

Creating Client Extranets with SharePoint 2003

2024-12-11T09:51:19Z

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

COBIT kompakt und verständlich Der Standard zur IT Governance — So gewinnen Sie Kontrolle über Ihre IT — So steuern Sie Ihre IT und erreichen Ihr Ziele

2024-12-11T09:51:19Z

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

User Interfaceorientierte Softwarearchitektur Bauentwurfslehre für interaktive Softwareoberflächen — Kompass für die Entwicklung dialogintensiver Anwendungen — Leitfaden für erlebbare User Interfaces

2024-12-11T09:51:19Z

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

Profikurs Eclipse 3 Mit Eclipse 3.2 und Plugins professionell Java-Anwendungen entwickeln — Von UML bis JUnit

2024-12-11T09:51:19Z

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

Programmieren spielend gelernt mit dem Java-Hamster-Modell

2024-12-11T09:51:19Z

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