Search Results for -- ANSİKLOPEDİLER. - Narrowed by: SpringerLink (Online service) - 2005 - Software engineering.

Reverse Engineering of Object Oriented Code

2024-08-10T22:32:34Z

Author Tonella, Paolo. author. Potrich, Alessandra. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b102522
Format: Electronic Resources
Availability Online Library~1

Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France

2024-08-10T22:32:34Z

Author Gayraud, Thierry. editor. Mazzella, Michel. editor. Boavida, Fernando. editor. Monteiro, Edmundo. editor. Orvalho, João. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104225
Format: Electronic Resources
Availability Online Library~1

Software Process Modeling

2024-08-10T22:32:34Z

Author Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104986
Format: Electronic Resources
Availability Online Library~1

Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France

2024-08-10T22:32:34Z

Author Dissaux, Pierre. editor. Filali-Amine, Mamoun. editor. Michel, Pierre. editor. Vernadat, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106318
Format: Electronic Resources
Availability Online Library~1

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

2024-08-10T22:32:34Z

Author Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137514
Format: Electronic Resources
Availability Online Library~1

An Integrated Approach to Software Engineering

2024-08-10T22:32:34Z

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

Soft Real-Time Systems Predictability vs. Efficiency

2024-08-10T22:32:34Z

Author Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28147-9
Format: Electronic Resources
Availability Online Library~1

Adapting Proofs-as-Programs The Curry-Howard Protocol

2024-08-10T22:32:34Z

Author Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28183-5
Format: Electronic Resources
Availability Online Library~1

New Algorithms, Architectures and Applications for Reconfigurable Computing

2024-08-10T22:32:34Z

Author Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3128-9
Format: Electronic Resources
Availability Online Library~1

Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004

2024-08-10T22:32:34Z

Author Kowalik, Janusz S. editor. Gorski, Janusz. editor. Sachenko, Anatoly. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3381-8
Format: Electronic Resources
Availability Online Library~1

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

2024-08-10T22:32:34Z

Author Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3532-2
Format: Electronic Resources
Availability Online Library~1

Biometric Systems Technology, Design and Performance Evaluation

2024-08-10T22:32:34Z

Author Wayman, James. editor. Jain, Anil. editor. Maltoni, Davide. editor. Maio, Dario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138151
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering

2024-08-10T22:32:34Z

Author Hull, Elizabeth. author. Jackson, Kenneth. author. Dick, Jeremy. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138335
Format: Electronic Resources
Availability Online Library~1

Constructing Correct Software

2024-08-10T22:32:34Z

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

Creating Web-based Laboratories

2024-08-10T22:32:34Z

Author Ko, C.C. author. Chen, Ben M. author. Chen, Jianping. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138627
Format: Electronic Resources
Availability Online Library~1

Designing Virtual Reality Systems The Structured Approach

2024-08-10T22:32:34Z

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

Interconnect-Centric Design for Advanced SoC and NoC

2024-08-10T22:32:34Z

Author Nurmi, Jari. editor. Tenhunen, Hannu. editor. Isoaho, Jouni. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b117241
Format: Electronic Resources
Availability Online Library~1

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

2024-08-10T22:32:34Z

Author Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101185
Format: Electronic Resources
Availability Online Library~1

Pro PHP Security

2024-08-10T22:32:34Z

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

Pro Service-Oriented Smart Clients with .NET 2.0

2024-08-10T22:32:34Z

Author Hashimi, Sayed Y. author. Steffan, Scott J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0058-1
Format: Electronic Resources
Availability Online Library~1

Pro Eclipse JST Plug-ins for J2EE Development

2024-08-10T22:32:34Z

Author Judd, Christopher M. author. Shittu, Hakeem. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0059-8
Format: Electronic Resources
Availability Online Library~1

JDBC Recipes A Problem-Solution Approach

2024-08-10T22:32:34Z

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

Foundations of AOP for J2EE Development

2024-08-10T22:32:34Z

Author Pawlak, Renaud. author. Seinturier, Lionel. author. Retaillé, Jean-Philippe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0063-5
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

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

Secure Systems Development with UML

2024-08-10T22:32:34Z

Author Jürjens, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137706
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Testing with UML

2024-08-10T22:32:34Z

Author Gross, Hans-Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138012
Format: Electronic Resources
Availability Online Library~1

Best Practices in Software Measurement How to use metrics to improve project and process performance

2024-08-10T22:32:34Z

Author Ebert, Christof. author. Bundschuh, Manfred. author. Dumke, Reiner. author. Schmietendorf, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138013
Format: Electronic Resources
Availability Online Library~1

Agentenorientierte Softwareentwicklung Methoden und Tools

2024-08-10T22:32:34Z

Author Weiß, Gerhard. author. Jakob, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138124
Format: Electronic Resources
Availability Online Library~1

Das C++ Kompendium STL, Objektfabriken, Exceptions

2024-08-10T22:32:34Z

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

Linux- und Open-Source-Strategien

2024-08-10T22:32:34Z

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

Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring

2024-08-10T22:32:34Z

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

ABAP/4 Programmiertechniken Trainingsbuch

2024-08-10T22:32:34Z

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

A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components

2024-08-10T22:32:34Z

Author Caromel, Denis. author. Henrio, Ludovic. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138812
Format: Electronic Resources
Availability Online Library~1

Optimieren von Requirements Management & Engineering Mit dem HOOD Capability Model

2024-08-10T22:32:34Z

Author Hood, Colin. author. Wiebel, Rupert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138908
Format: Electronic Resources
Availability Online Library~1

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors

2024-08-10T22:32:34Z

Author Kurki-Suonio, Reino. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138956
Format: Electronic Resources
Availability Online Library~1

Supply Chain Management on Demand Strategies, Technologies, Applications

2024-08-10T22:32:34Z

Author An, Chae. editor. Fromm, Hansjörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138951
Format: Electronic Resources
Availability Online Library~1

Learning Design A Handbook on Modelling and Delivering Networked Education and Training

2024-08-10T22:32:34Z

Author Koper, Rob. editor. Tattersall, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138966
Format: Electronic Resources
Availability Online Library~1

Embedded Systems - qualitätsorientierte Entwicklung

2024-08-10T22:32:34Z

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

Web Component Development with Zope 3

2024-08-10T22:32:34Z

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

Echtzeitsysteme Grundlagen, Funktionsweisen, Anwendungen

2024-08-10T22:32:34Z

Author Wörn, Heinz. author. Brinkschulte, Uwe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b139050
Format: Electronic Resources
Availability Online Library~1

Programmieren in Java 1.5 Ein kompaktes, interaktives Tutorial

2024-08-10T22:32:34Z

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

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

2024-08-10T22:32:34Z

Author Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105088
Format: Electronic Resources
Availability Online Library~1

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

2024-08-10T22:32:34Z

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

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

2024-08-10T22:32:34Z

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

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

2024-08-10T22:32:34Z

Author Franch, Xavier. editor. Port, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105900
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004. Proceedings

2024-08-10T22:32:34Z

Author Ghosh, R. K. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104418
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

2024-08-10T22:32:34Z

Author Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105205
Format: Electronic Resources
Availability Online Library~1

Switching and Learning in Feedback Systems European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers

2024-08-10T22:32:34Z

Author Murray-Smith, Roderick. editor. Shorten, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105497
Format: Electronic Resources
Availability Online Library~1

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004. Proceedings

2024-08-10T22:32:34Z

Author Das, Gautam. editor. Gulati, Ved Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104585
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings

2024-08-10T22:32:34Z

Author Cao, Jiannong. editor. Yang, Laurence T. editor. Guo, Minyi. editor. Lau, Francis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104574
Format: Electronic Resources
Availability Online Library~1

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

Author Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105030
Format: Electronic Resources
Availability Online Library~1

Quality of Service in Multiservice IP Networks Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2004, Catania, Italy, February 2-4, 2004. Proceedings

2024-08-10T22:32:34Z

Author Ajmone Marsan, Marco. editor. Bianchi, Giuseppe. editor. Listanti, Marco. editor. Meo, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105169
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

Author Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105317
Format: Electronic Resources
Availability Online Library~1

Socionics Scalability of Complex Social Systems

2024-08-10T22:32:34Z

Author Fischer, Klaus. editor. Florian, Michael. editor. Malsch, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11594116
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends

2024-08-10T22:32:34Z

Author Atkinson, Colin. editor. Bunse, Christian. editor. Gross, Hans-Gerhard. editor. Peper, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11591962
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings

2024-08-10T22:32:34Z

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

Product Focused Software Process Improvement 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings

2024-08-10T22:32:34Z

Author Bomarius, Frank. editor. Komi-Sirviö, Seija. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137178
Format: Electronic Resources
Availability Online Library~1

Architecting Dependable Systems III

2024-08-10T22:32:34Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

2024-08-10T22:32:34Z

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

Data Management in a Connected World Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday

2024-08-10T22:32:34Z

Author Härder, Theo. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137346
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings

2024-08-10T22:32:34Z

Author Vardanega, Tullio. editor. Wellings, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137344
Format: Electronic Resources
Availability Online Library~1

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

2024-08-10T22:32:34Z

Author Ramos, Félix F. editor. Larios Rosillo, Victor. editor. Unger, Herwig. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11533962
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

2024-08-10T22:32:34Z

Author Etessami, Kousha. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138445
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

2024-08-10T22:32:34Z

Author Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11523468
Format: Electronic Resources
Availability Online Library~1

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

2024-08-10T22:32:34Z

Author Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b27882
Format: Electronic Resources
Availability Online Library~1

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

2024-08-10T22:32:34Z

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

Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings

2024-08-10T22:32:34Z

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

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings

2024-08-10T22:32:34Z

Author Pěchouček, Michael. editor. Petta, Paolo. editor. Varga, László Zsolt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11559221
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

2024-08-10T22:32:34Z

Author Shen, Weiming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Li, Tangqiu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11568421
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

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

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

2024-08-10T22:32:34Z

Author Daydé, Michel. editor. Dongarra, Jack. editor. Hernández, Vicente. editor. Palma, José M. L. M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106965
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

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

Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

2024-08-10T22:32:34Z

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

Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

Author Guelfi, Nicolas. editor. Reggio, Gianna. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106620
Format: Electronic Resources
Availability Online Library~1

Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures

2024-08-10T22:32:34Z

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

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

2024-08-10T22:32:34Z

Author Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11548133
Format: Electronic Resources
Availability Online Library~1

Advanced Data Mining and Applications First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005. Proceedings

2024-08-10T22:32:34Z

Author Li, Xue. editor. Wang, Shuliang. editor. Dong, Zhao Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b11111
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis Foundations and Applications

2024-08-10T22:32:34Z

Author Ganter, Bernhard. editor. Stumme, Gerd. editor. Wille, Rudolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31881-1
Format: Electronic Resources
Availability Online Library~1

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

2024-08-10T22:32:34Z

Author Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106766
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

2024-08-10T22:32:34Z

Author Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107129
Format: Electronic Resources
Availability Online Library~1

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

Author Bastide, Rémi. editor. Palanque, Philippe. editor. Roth, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136790
Format: Electronic Resources
Availability Online Library~1

Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings

2024-08-10T22:32:34Z

Author Hutter, Dieter. editor. Ullmann, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135497
Format: Electronic Resources
Availability Online Library~1

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings

2024-08-10T22:32:34Z

Author Beigl, Michael. editor. Lukowicz, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106632
Format: Electronic Resources
Availability Online Library~1

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

2024-08-10T22:32:34Z

Author Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135596
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

2024-08-10T22:32:34Z

Author Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11562948
Format: Electronic Resources
Availability Online Library~1

Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers

2024-08-10T22:32:34Z

Author Herrero, Pilar. editor. Pérez, María S. editor. Robles, Víctor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136149
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Design The ARTIST Roadmap for Research and Development

2024-08-10T22:32:34Z

Author Bouyssounouse, Bruno. author. Sifakis, Joseph. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106761
Format: Electronic Resources
Availability Online Library~1

Self-star Properties in Complex Information Systems Conceptual and Practical Foundations

2024-08-10T22:32:34Z

Author Babaoglu, Ozalp. editor. Jelasity, Márk. editor. Montresor, Alberto. editor. Fetzer, Christof. editor. Leonardi, Stefano. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136551
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-08-10T22:32:34Z

Author Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107194
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-08-10T22:32:34Z

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

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-08-10T22:32:34Z

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

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-08-10T22:32:34Z

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

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-08-10T22:32:34Z

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

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

2024-08-10T22:32:34Z

Author Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136248
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

2024-08-10T22:32:34Z

Author Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11563228
Format: Electronic Resources
Availability Online Library~1

Software Product Lines 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings

2024-08-10T22:32:34Z

Author Obbink, Henk. editor. Pohl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11554844
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling – ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings

2024-08-10T22:32:34Z

Author Delcambre, Lois. editor. Kop, Christian. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. Pastor, Oscar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11568322
Format: Electronic Resources
Availability Online Library~1

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedings

2024-08-10T22:32:34Z

Author Hobbs, Michael. editor. Goscinski, Andrzej M. editor. Zhou, Wanlei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11564621
Format: Electronic Resources
Availability Online Library~1

Testing of Communicating Systems 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings

2024-08-10T22:32:34Z

Author Khendek, Ferhat. editor. Dssouli, Rachida. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136676
Format: Electronic Resources
Availability Online Library~1

High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings

2024-08-10T22:32:34Z

Author Yang, Laurence T. editor. Rana, Omer F. editor. Martino, Beniamino. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11557654
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

2024-08-10T22:32:34Z

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

Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings

2024-08-10T22:32:34Z

Author Yolum, pInar. editor. Güngör, Tunga. editor. Gürgen, Fikret. editor. Özturan, Can. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11569596
Format: Electronic Resources
Availability Online Library~1

Ad-Hoc, Mobile, and Wireless Networks 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005. Proceedings

2024-08-10T22:32:34Z

Author Syrotiuk, Violet R. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11561354
Format: Electronic Resources
Availability Online Library~1

Advances in Informatics 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings

2024-08-10T22:32:34Z

Author Bozanis, Panayiotis. editor. Houstis, Elias N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11573036
Format: Electronic Resources
Availability Online Library~1

Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

2024-08-10T22:32:34Z

Author Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11572329
Format: Electronic Resources
Availability Online Library~1

Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings

2024-08-10T22:32:34Z

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

Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings

2024-08-10T22:32:34Z

Author Pan, Yi. editor. Chen, Daoxu. editor. Guo, Minyi. editor. Cao, Jiannong. editor. Dongarra, Jack. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11576235
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communications Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005. Proceedings

2024-08-10T22:32:34Z

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

Metainformatics International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

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

Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings

2024-08-10T22:32:34Z

Author Cao, Jiannong. editor. Nejdl, Wolfgang. editor. Xu, Ming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11573937
Format: Electronic Resources
Availability Online Library~1

A Software Process Model Handbook for Incorporating People’s Capabilities

2024-08-10T22:32:34Z

Author Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106969
Format: Electronic Resources
Availability Online Library~1

UML for SOC Design

2024-08-10T22:32:34Z

Author Martin, Grant. editor. Müller, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135980
Format: Electronic Resources
Availability Online Library~1

Agent Intelligence Through Data Mining

2024-08-10T22:32:34Z

Author Symeonidis, Andreas L. author. Mitkas, Pericles A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136000
Format: Electronic Resources
Availability Online Library~1

Security in E-Learning

2024-08-10T22:32:34Z

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

Multimedia Introduction to Programming Using Java

2024-08-10T22:32:34Z

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

System Level Design of Reconfigurable Systems-on-Chip

2024-08-10T22:32:34Z

Author Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136832
Format: Electronic Resources
Availability Online Library~1

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

2024-08-10T22:32:34Z

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

Guide to Assembly Language Programming in Linux

2024-08-10T22:32:34Z

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

Introduction to Assembly Language Programming For Pentium and RISC Processors

2024-08-10T22:32:34Z

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

Information Processing and Security Systems

2024-08-10T22:32:34Z

Author Saeed, Khalid. editor. Pejaś, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137371
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Programming Languages, Platforms and Applications

2024-08-10T22:32:34Z

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

Guide to RISC Processors for Programmers and Engineers

2024-08-10T22:32:34Z

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

XML for Bioinformatics

2024-08-10T22:32:34Z

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

From Specification to Embedded Systems Application

2024-08-10T22:32:34Z

Author Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11523277
Format: Electronic Resources
Availability Online Library~1

New Horizons of Parallel and Distributed Computing

2024-08-10T22:32:34Z

Author Guo, Minyi. editor. Yang, Laurence Tianruo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28967-4
Format: Electronic Resources
Availability Online Library~1

Virtual, Distributed and Flexible Organisations Studies in Organisational Semiotics

2024-08-10T22:32:34Z

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

Enterprise Information Systems V

2024-08-10T22:32:34Z

Author Camp, Olivier. editor. Filipe, Joaquim B. L. editor. Hammoudi, Slimane. editor. Piattini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-2673-0
Format: Electronic Resources
Availability Online Library~1

Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle

2024-08-10T22:32:34Z

Author Seffah, Ahmed. editor. Gulliksen, Jan. editor. Desmarais, Michel C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4113-6
Format: Electronic Resources
Availability Online Library~1

Pro Spring

2024-08-10T22:32:34Z

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

Painless Project Management with FogBugz

2024-08-10T22:32:34Z

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

Practical Common Lisp

2024-08-10T22:32:34Z

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

Beginning Databases with PostgreSQL From Novice to Professional

2024-08-10T22:32:34Z

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

Expert Oracle

2024-08-10T22:32:34Z

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

Beginning J2ME: From Novice to Professional

2024-08-10T22:32:34Z

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

Shell Scripting Recipes A Problem-Solution Approach

2024-08-10T22:32:34Z

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

A Programmer’s Introduction to C# 2.0

2024-08-10T22:32:34Z

Author Gunnerson, Eric. editor. Wienholt, Nick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0035-2
Format: Electronic Resources
Availability Online Library~1

Beginning Java Objects From Concepts to Code

2024-08-10T22:32:34Z

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

The Best Software Writing I

2024-08-10T22:32:34Z

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

SharePoint 2003 User’s Guide

2024-08-10T22:32:34Z

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

Pro Hibernate 3

2024-08-10T22:32:34Z

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

Pro J2ME Polish Open Source Wireless Java Tools Suite

2024-08-10T22:32:34Z

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

Open Source Messaging Application Development Building and Extending Gaim

2024-08-10T22:32:34Z

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

Pro Apache Beehive

2024-08-10T22:32:34Z

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

AutoCAD 2006 VBA A Programmer’s Reference

2024-08-10T22:32:34Z

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

Pro JSP 2

2024-08-10T22:32:34Z

Author Brown, Simon. author. Dalton, Sam. author. Jepp, Daniel. author. Johnson, David. author. Li, Sing. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0111-3
Format: Electronic Resources
Availability Online Library~1

Artificial Life Models in Software

2024-08-10T22:32:34Z

Author Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-214-4
Format: Electronic Resources
Availability Online Library~1

Validated Designs for Object-oriented Systems

2024-08-10T22:32:34Z

Author Fitzgerald, John. author. Larsen, Peter Gorm. author. Mukherjee, Paul. author. Plat, Nico. author. Verhoef, Marcel. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138800
Format: Electronic Resources
Availability Online Library~1

Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005

2024-08-10T22:32:34Z

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

Informatik Aufgaben und Lösungen, Begleitbuch zu Blieberger et al.: Informatik

2024-08-10T22:32:34Z

Author Kastner, Wolfgang. editor. Schildt, Gerhard-Helge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138718
Format: Electronic Resources
Availability Online Library~1

Einführung in die Technische Informatik

2024-08-10T22:32:34Z

Author Schildt, Gerhard H. author. Kahn, Daniela. author. Kruegel, Christopher. author. Moerz, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138950
Format: Electronic Resources
Availability Online Library~1

Prozessübergreifendes Projektmanagement Grundlagen erfolgreicher Projekte

2024-08-10T22:32:34Z

Author Versteegen, Gerhard. editor. Meier, Erich. editor. Hindel, Bernd. editor. Vlasan, Adriana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137555
Format: Electronic Resources
Availability Online Library~1

Domain Decomposition Methods — Algorithms and Theory

2024-08-10T22:32:34Z

Author Toselli, Andrea. author. Widlund, Olof B. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137868
Format: Electronic Resources
Availability Online Library~1

Categories for Software Engineering

2024-08-10T22:32:34Z

Author Fiadeiro, José Luiz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138249
Format: Electronic Resources
Availability Online Library~1

Form-Oriented Analysis A New Methodology to Model Form-Based Applications

2024-08-10T22:32:34Z

Author Draheim, Dirk. author. Weber, Gerald. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138252
Format: Electronic Resources
Availability Online Library~1

Einführung in die Informatik Objektorientiert mit Java

2024-08-10T22:32:34Z

Author Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138253
Format: Electronic Resources
Availability Online Library~1

Kompendium der Informationstechnologie Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken

2024-08-10T22:32:34Z

Author Brause, Rüdiger. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138377
Format: Electronic Resources
Availability Online Library~1

Testing Commercial-off-the-Shelf Components and Systems

2024-08-10T22:32:34Z

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

Spiele effektiv programmieren mit VB.net und DirectX

2024-08-10T22:32:34Z

Author Kettermann, Uwe. author. Rohde, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138630
Format: Electronic Resources
Availability Online Library~1

Linux-Systemadministration Grundlagen, Konzepte, Anwendung

2024-08-10T22:32:34Z

Author Wolfinger, Christine. author. Gulbins, Jürgen. author. Hammer, Carsten. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138658
Format: Electronic Resources
Availability Online Library~1

ITIL Das IT-Servicemanagement Framework

2024-08-10T22:32:34Z

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

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA

2024-08-10T22:32:34Z

Author Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138692
Format: Electronic Resources
Availability Online Library~1

Implementing Distributed Systems with Java and CORBA

2024-08-10T22:32:34Z

Author Aleksy, Markus. author. Korthaus, Axel. author. Schader, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28047-2
Format: Electronic Resources
Availability Online Library~1

Engineering and Managing Software Requirements

2024-08-10T22:32:34Z

Author Aurum, Aybüke. editor. Wohlin, Claes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28244-0
Format: Electronic Resources
Availability Online Library~1

Moderne C-Programmierung Kompendium und Referenz

2024-08-10T22:32:34Z

Author Schellong, Helmut O.B. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28545-8
Format: Electronic Resources
Availability Online Library~1

Model-Driven Software Development

2024-08-10T22:32:34Z

Author Beydeda, Sami. editor. Book, Matthias. editor. Gruhn, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28554-7
Format: Electronic Resources
Availability Online Library~1

Debian GNU/Linux Grundlagen, Installation, Administration und Anwendung

2024-08-10T22:32:34Z

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

Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings

2024-08-10T22:32:34Z

Author Eymann, Torsten. editor. Klügl, Franziska. editor. Lamersdorf, Winfried. editor. Klusch, Matthias. editor. Huhns, Michael N. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11550648
Format: Electronic Resources
Availability Online Library~1

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers

2024-08-10T22:32:34Z

Author Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11550679
Format: Electronic Resources
Availability Online Library~1

SAP für Java-Entwickler Konzepte, Schnittstellen, Technologien

2024-08-10T22:32:34Z

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

Software Product Line Engineering Foundations, Principles, and Techniques

2024-08-10T22:32:34Z

Author Pohl, Klaus. author. Böckle, Günter. author. Linden, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28901-1
Format: Electronic Resources
Availability Online Library~1

Service Availability First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

Author Malek, Miroslaw. editor. Reitenspieß, Manfred. editor. Kaiser, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105309
Format: Electronic Resources
Availability Online Library~1

Inconsistency Tolerance

2024-08-10T22:32:34Z

Author Bertossi, Leopoldo. editor. Hunter, Anthony. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104925
Format: Electronic Resources
Availability Online Library~1

Software Agent-Based Applications, Platforms and Development Kits

2024-08-10T22:32:34Z

Author Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137512
Format: Electronic Resources
Availability Online Library~1

Ontologies for Agents: Theory and Experiences

2024-08-10T22:32:34Z

Author Tamma, Valentina. editor. Cranefield, Stephen. editor. Finin, Timothy W. editor. Willmott, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-7643-7361-X
Format: Electronic Resources
Availability Online Library~1

Mambo Installation, Administration, Anwendung und Entwicklung

2024-08-10T22:32:34Z

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

Enterprise Architecture at Work Modelling, Communication, and Analysis

2024-08-10T22:32:34Z

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

Softwareentwicklung eingebetteter Systeme Grundlagen, Modellierung, Qualitätssicherung

2024-08-10T22:32:34Z

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

JDF Process Integration, Technology, Product Description

2024-08-10T22:32:34Z

Author Kühn, Wolfgang. author. Grell, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-27528-2
Format: Electronic Resources
Availability Online Library~1

E-Business @ Print Internet-Based Services and Processes

2024-08-10T22:32:34Z

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

Speech Application SDK mit ASP.NET Design und Implementierung sprachgestützter Web-Applikationen

2024-08-10T22:32:34Z

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

Automotive Embedded Systeme Effizientes Framework — Vom Design zur Implementierung

2024-08-10T22:32:34Z

Author Wietzke, Joachim. author. Tran, Manh Tien. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28305-6
Format: Electronic Resources
Availability Online Library~1

Echtzeitaspekte bei der Koordinierung Autonomer Systeme Fachtagung der GI-Fachgruppe Echtzeitsysteme und PEARL (EP) Boppard, 1./2. Dezember 2005

2024-08-10T22:32:34Z

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

Information Networking. Convergence in Broadband and Mobile Networking International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings

2024-08-10T22:32:34Z

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

High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings

2024-08-10T22:32:34Z

Author Bougé, Luc. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104576
Format: Electronic Resources
Availability Online Library~1

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings

2024-08-10T22:32:34Z

Author Zhang, Jun. editor. He, Ji-Huan. editor. Fu, Yuxi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104566
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings

2024-08-10T22:32:34Z

Author Liew, Kim-Meow. editor. Shen, Hong. editor. See, Simon. editor. Cai, Wentong. editor. Fan, Pingzhi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b103538
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

2024-08-10T22:32:34Z

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

Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings

2024-08-10T22:32:34Z

Author Sen, Arunabha. editor. Das, Nabanita. editor. Das, Sajal K. editor. Sinha, Bhabani P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104419
Format: Electronic Resources
Availability Online Library~1

Peer-to-Peer Systems III Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

Author Voelker, Geoffrey M. editor. Shenker, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104020
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Mobile Information and Collaboration Systems Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

Author Baresi, Luciano. editor. Dustdar, Schahram. editor. Gall, Harald C. editor. Matera, Maristella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104023
Format: Electronic Resources
Availability Online Library~1

Advances in Biometric Person Authentication 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004. Proceedings

2024-08-10T22:32:34Z

Author Li, Stan Z. editor. Lai, Jianhuang. editor. Tan, Tieniu. editor. Feng, Guocan. editor. Wang, Yunhong. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104239
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports

2024-08-10T22:32:34Z

Author Malenfant, Jacques. editor. Østvold, Bjarte M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104146
Format: Electronic Resources
Availability Online Library~1

Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

2024-08-10T22:32:34Z

Author Nicola, Rocco. editor. Sangiorgi, Davide. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11580850
Format: Electronic Resources
Availability Online Library~1

Web Engineering 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings

2024-08-10T22:32:34Z

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

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

2024-08-10T22:32:34Z

Author Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137278
Format: Electronic Resources
Availability Online Library~1

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings

2024-08-10T22:32:34Z

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

The Semantic Web: Research and Applications Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29–June 1, 2005. Proceedings

2024-08-10T22:32:34Z

Author Gómez-Pérez, Asunción. editor. Euzenat, Jérôme. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136731
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-08-10T22:32:34Z

Author Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136996
Format: Electronic Resources
Availability Online Library~1

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

2024-08-10T22:32:34Z

Author Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136988
Format: Electronic Resources
Availability Online Library~1

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

2024-08-10T22:32:34Z

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

UML Modeling Languages and Applications < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

Author Jardim Nunes, Nuno. editor. Selic, Bran. editor. Rodrigues da Silva, Alberto. editor. Toval Alvarez, Ambrosio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106725
Format: Electronic Resources
Availability Online Library~1

Computer Music Modeling and Retrieval Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers

2024-08-10T22:32:34Z

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

Ubiquitous Computing Systems Second International Symposium, UCS 2004, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

Author Murakami, Hitomi. editor. Nakashima, Hideyuki. editor. Tokuda, Hideyuki. editor. Yasumura, Michiaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11526858
Format: Electronic Resources
Availability Online Library~1

Information Security Applications 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

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

Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers

2024-08-10T22:32:34Z

Author Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11538097
Format: Electronic Resources
Availability Online Library~1

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

2024-08-10T22:32:34Z

Author Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11541868
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

2024-08-10T22:32:34Z

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

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

Author Wu, Zhaohui. editor. Chen, Chun. editor. Guo, Minyi. editor. Bu, Jiajun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11535409
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings

2024-08-10T22:32:34Z

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

Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

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

Databases, Information Systems, and Peer-to-Peer Computing Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

Author Ng, Wee Siong. editor. Ooi, Beng-Chin. editor. Ouksel, Aris M. editor. Sartori, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106971
Format: Electronic Resources
Availability Online Library~1

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

2024-08-10T22:32:34Z

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

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

2024-08-10T22:32:34Z

Author Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106347
Format: Electronic Resources
Availability Online Library~1

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

2024-08-10T22:32:34Z

Author Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106390
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

Author Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106767
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings

2024-08-10T22:32:34Z

Author Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137217
Format: Electronic Resources
Availability Online Library~1

Nonlinear Speech Modeling and Applications Advanced Lectures and Revised Selected Papers

2024-08-10T22:32:34Z

Author Chollet, Gérard. editor. Esposito, Anna. editor. Faundez-Zanuy, Marcos. editor. Marinaro, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138975
Format: Electronic Resources
Availability Online Library~1

Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers

2024-08-10T22:32:34Z

Author Gleizes, Marie-Pierre. editor. Omicini, Andrea. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136158
Format: Electronic Resources
Availability Online Library~1

Innovations in Applied Artificial Intelligence 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005. Proceedings

2024-08-10T22:32:34Z

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

Biomimetic Neural Learning for Intelligent Robots Intelligent Systems, Cognitive Robotics, and Neuroscience

2024-08-10T22:32:34Z

Author Wermter, Stefan. editor. Palm, Günther. editor. Elshaw, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b139051
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

2024-08-10T22:32:34Z

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

Engineering Self-Organising Systems Methodologies and Applications

2024-08-10T22:32:34Z

Author Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Karageorgos, Anthony. editor. Nagpal, Radhika. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136984
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

2024-08-10T22:32:34Z

Author Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11549970
Format: Electronic Resources
Availability Online Library~1

Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers

2024-08-10T22:32:34Z

Author Castro, Miguel. editor. Renesse, Robbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11558989
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings

2024-08-10T22:32:34Z

Author Cunha, José C. editor. Medeiros, Pedro D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11549468
Format: Electronic Resources
Availability Online Library~1

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

Author Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136890
Format: Electronic Resources
Availability Online Library~1

Data and Applications Security XIX 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings

2024-08-10T22:32:34Z

Author Jajodia, Sushil. editor. Wijesekera, Duminda. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11535706
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

2024-08-10T22:32:34Z

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

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

2024-08-10T22:32:34Z

Author Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11545262
Format: Electronic Resources
Availability Online Library~1

UbiComp 2005: Ubiquitous Computing 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005. Proceedings

2024-08-10T22:32:34Z

Author Beigl, Michael. editor. Intille, Stephen. editor. Rekimoto, Jun. editor. Tokuda, Hideyuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11551201
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings

2024-08-10T22:32:34Z

Author Jacquet, Jean-Marie. editor. Picco, Gian Pietro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135676
Format: Electronic Resources
Availability Online Library~1

Database and XML Technologies Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005. Proceedings

2024-08-10T22:32:34Z

Author Bressan, Stéphane. editor. Ceri, Stefano. editor. Hunt, Ela. editor. Ives, Zachary G. editor. Bellahsène, Zohra. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11547273
Format: Electronic Resources
Availability Online Library~1

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

2024-08-10T22:32:34Z

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

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

2024-08-10T22:32:34Z

Author Hankin, Chris. editor. Siveroni, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11547662
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers

2024-08-10T22:32:34Z

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

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

2024-08-10T22:32:34Z

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

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

2024-08-10T22:32:34Z

Author Glück, Robert. editor. Lowry, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11561347
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings

2024-08-10T22:32:34Z

Author Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136094
Format: Electronic Resources
Availability Online Library~1

Service Availability Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005, Revised Selected Papers

2024-08-10T22:32:34Z

Author Malek, Miroslaw. editor. Nett, Edgar. editor. Suri, Neeraj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560333
Format: Electronic Resources
Availability Online Library~1

Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings

2024-08-10T22:32:34Z

Author Cin, Mario. editor. Kaâniche, Mohamed. editor. Pataricza, András. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107276
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2024-08-10T22:32:34Z

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

Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings

2024-08-10T22:32:34Z

Author Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11552222
Format: Electronic Resources
Availability Online Library~1

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

2024-08-10T22:32:34Z

Author Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560548
Format: Electronic Resources
Availability Online Library~1

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

2024-08-10T22:32:34Z

Author Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137052
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005. Proceedings

2024-08-10T22:32:34Z

Author Gellersen, Hans -W. editor. Want, Roy. editor. Schmidt, Albrecht. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136550
Format: Electronic Resources
Availability Online Library~1

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers

2024-08-10T22:32:34Z

Author Sloot, Peter M. A. editor. Hoekstra, Alfons G. editor. Priol, Thierry. editor. Reinefeld, Alexander. editor. Bubak, Marian. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137919
Format: Electronic Resources
Availability Online Library~1

Model-Based Testing of Reactive Systems Advanced Lectures

2024-08-10T22:32:34Z

Author Broy, Manfred. editor. Jonsson, Bengt. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. Pretschner, Alexander. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137241
Format: Electronic Resources
Availability Online Library~1

Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

2024-08-10T22:32:34Z

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

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I

2024-08-10T22:32:34Z

Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136266
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II

2024-08-10T22:32:34Z

Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136269
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III

2024-08-10T22:32:34Z

Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136271
Format: Electronic Resources
Availability Online Library~1

Peer-to-Peer Systems and Applications

2024-08-10T22:32:34Z

Author Steinmetz, Ralf. editor. Wehrle, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11530657
Format: Electronic Resources
Availability Online Library~1

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings

2024-08-10T22:32:34Z

Author Reussner, Ralf. editor. Mayer, Johannes. editor. Stafford, Judith A. editor. Overhage, Sven. editor. Becker, Steffen. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11558569
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings

2024-08-10T22:32:34Z

Author Briand, Lionel. editor. Williams, Clay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11557432
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I

2024-08-10T22:32:34Z

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

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II

2024-08-10T22:32:34Z

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

Parallel and Distributed Processing and Applications - ISPA 2005 Workshops ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005. Proceedings

2024-08-10T22:32:34Z

Author Chen, Guihai. editor. Pan, Yi. editor. Guo, Minyi. editor. Lu, Jian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11576259
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III

2024-08-10T22:32:34Z

Author Sunderam, Vaidy S. 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/b136575
Format: Electronic Resources
Availability Online Library~1

Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings

2024-08-10T22:32:34Z

Author Tixeuil, Sébastien. editor. Herman, Ted. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11577327
Format: Electronic Resources
Availability Online Library~1

Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

2024-08-10T22:32:34Z

Author Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107183
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops OTM Confederated Internationl Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005. Proceedings

2024-08-10T22:32:34Z

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

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

2024-08-10T22:32:34Z

Author Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11589976
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings

2024-08-10T22:32:34Z

Author Jin, Hai. editor. Reed, Daniel. editor. Jiang, Wenbin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11577188
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

2024-08-10T22:32:34Z

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

Advances in Biometric Person Authentication International Wokshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22-23, 2005. Proceedings

2024-08-10T22:32:34Z

Author Li, Stan Z. editor. Sun, Zhenan. editor. Tan, Tieniu. editor. Pankanti, Sharath. editor. Chollet, Gérard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11569947
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

2024-08-10T22:32:34Z

Author Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11576280
Format: Electronic Resources
Availability Online Library~1

Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers

2024-08-10T22:32:34Z

Author Konagaya, Akihiko. editor. Satou, Kenji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106923
Format: Electronic Resources
Availability Online Library~1

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2024-08-10T22:32:34Z

Author Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106663
Format: Electronic Resources
Availability Online Library~1

RoboCup 2004: Robot Soccer World Cup VIII

2024-08-10T22:32:34Z

Author Nardi, Daniele. editor. Riedmiller, Martin. editor. Sammut, Claude. editor. Santos-Victor, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106671
Format: Electronic Resources
Availability Online Library~1

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

2024-08-10T22:32:34Z

Author Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106468
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

2024-08-10T22:32:34Z

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

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings

2024-08-10T22:32:34Z

Author Ganter, Bernhard. editor. Godin, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105806
Format: Electronic Resources
Availability Online Library~1

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

2024-08-10T22:32:34Z

Author Abdallah, Ali E. editor. Jones, Cliff B. editor. Sanders, Jeff W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136154
Format: Electronic Resources
Availability Online Library~1

Software Architecture 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings

2024-08-10T22:32:34Z

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

Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings

2024-08-10T22:32:34Z

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

Software Process Improvement 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings

2024-08-10T22:32:34Z

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

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning

2024-08-10T22:32:34Z

Author Kudenko, Daniel. editor. Kazakov, Dimitar. editor. Alonso, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106974
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

2024-08-10T22:32:34Z

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

Grid and Cooperative Computing - GCC 2005 4th International Conference, Beijing, China, November 30 - December 3, 2005. Proceedings

2024-08-10T22:32:34Z

Author Zhuge, Hai. editor. Fox, Geoffrey C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590354
Format: Electronic Resources
Availability Online Library~1

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings

2024-08-10T22:32:34Z

Author Dearle, Alan. editor. Eisenbach, Susan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590712
Format: Electronic Resources
Availability Online Library~1

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling Third International Conference, ICVS 2005, Strasbourg, France, November 30 - December 2, 2005. Proceedings

2024-08-10T22:32:34Z

Author Subsol, Gérard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590361
Format: Electronic Resources
Availability Online Library~1

Technologies for Advanced Heterogeneous Networks First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings

2024-08-10T22:32:34Z

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

Service-Oriented Computing - ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005. Proceedings

2024-08-10T22:32:34Z

Author Benatallah, Boualem. editor. Casati, Fabio. editor. Traverso, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11596141
Format: Electronic Resources
Availability Online Library~1

Embedded and Ubiquitous Computing – EUC 2005 International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005. Proceedings

2024-08-10T22:32:34Z

Author Yang, Laurence T. editor. Amamiya, Makoto. editor. Liu, Zhen. editor. Guo, Minyi. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11596356
Format: Electronic Resources
Availability Online Library~1

Embedded and Ubiquitous Computing – EUC 2005 Workshops EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005. Proceedings

2024-08-10T22:32:34Z

Author Enokido, Tomoya. editor. Yan, Lu. editor. Xiao, Bin. editor. Kim, Daeyoung. editor. Dai, Yuanshun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11596042
Format: Electronic Resources
Availability Online Library~1

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings

2024-08-10T22:32:34Z

Author Yang, Laurence T. editor. Zhou, Xingshe. editor. Zhao, Wei. editor. Wu, Zhaohui. editor. Zhu, Yian. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11599555
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV

2024-08-10T22:32:34Z

Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganá, Antonio. editor. Lee, Heow Pueh. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136278
Format: Electronic Resources
Availability Online Library~1

High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedings

2024-08-10T22:32:34Z

Author Bader, David A. editor. Parashar, Manish. editor. Sridhar, Varadarajan. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11602569
Format: Electronic Resources
Availability Online Library~1

Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings

2024-08-10T22:32:34Z

Author Pal, Ajit. editor. Kshemkalyani, Ajay D. editor. Kumar, Rajeev. editor. Gupta, Arobinda. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11603771
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005. Proceedings

2024-08-10T22:32:34Z

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