Search Results for software. - Narrowed by: 2005

Software paradigms

2025-12-13T16:02:53Z

Author Kaisler, Stephen H. (Stephen Hendrick)
Preferred Shelf Number ONLINE
Electronic Access Click for information Books24x7 http://www.books24x7.com/marc.asp?bookid=12366 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=227404 John Wiley http://dx.doi.org/10.1002/0471703567 John Wiley http://dx.doi.org/10.1002/9780471703563
Format: Electronic Resources
Availability Online Library~1

Software Process Modeling

2025-12-13T16:02:53Z

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

Software piracy exposed

2025-12-13T16:02:53Z

Author Craig, Paul. Honick, Ron. Burnett, Mark (Mark M.)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781932266986
Format: Electronic Resources
Availability Online Library~1

Software design methodology

2025-12-13T16:02:53Z

Author Zhu, Hong, 1961-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750660754
Format: Electronic Resources
Availability Online Library~1

Constructing Correct Software

2025-12-13T16:02:53Z

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

Model-Driven Software Development

2025-12-13T16:02:53Z

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

Categories for Software Engineering

2025-12-13T16:02:53Z

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

Trustworthy systems through quantitative software engineering

2025-12-13T16:02:53Z

Author Bernstein, Lawrence, 1940- Yuhas, C. M. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898
Format: Electronic Resources
Availability Online Library~1

Handbook of software engineering & knowledge engineering

2025-12-13T16:02:53Z

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

Developing Statistical Software in Fortran 95

2025-12-13T16:02:53Z

Author Lemmon, David R. author. Schafer, Joseph L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28123-1
Format: Electronic Resources
Availability Online Library~1

An Integrated Approach to Software Engineering

2025-12-13T16:02:53Z

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

Engineering and Managing Software Requirements

2025-12-13T16:02:53Z

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

Artificial Life Models in Software

2025-12-13T16:02:53Z

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

The Best Software Writing I

2025-12-13T16:02:53Z

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

Component-Based Software Testing with UML

2025-12-13T16:02:53Z

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

Free/open source software development

2025-12-13T16:02:53Z

Author Koch, Stefan.
Preferred Shelf Number QA76.76.S46 F74 2005
Format: Books
Availability Beytepe Library~1

Maximizing ROI on software development

2025-12-13T16:02:53Z

Author Sikka, Vijay., author.
Preferred Shelf Number QA76.76 .D47 S55 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software testing and continuous quality improvement

2025-12-13T16:02:53Z

Author Lewis, William E., author. Veerapillai, Gunasekaran.
Preferred Shelf Number QA76.76 .T48 L495 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software requirements : encapsulation, quality, and reuse

2025-12-13T16:02:53Z

Author Lutowski, Rick., author.
Preferred Shelf Number QA76.758 .L87 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Strategic software engineering : an interdisciplinary approach

2025-12-13T16:02:53Z

Author Deek, Fadi P. McHugh, James A., 1944- Eljabiri, Osama M.
Preferred Shelf Number QA76.758 .S765 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Reducing risk with software process improvement

2025-12-13T16:02:53Z

Author Poulin, Louis A., author.
Preferred Shelf Number QA76.76 .D47 P683 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software process quality : management and control

2025-12-13T16:02:53Z

Author Kenett, Ron. Baker, Emanuel R., 1934- CRC Press.
Preferred Shelf Number QA76.76 .Q35 K46 1999B
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429222061 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

The ROI from software quality

2025-12-13T16:02:53Z

Author El Emam, Khaled., author.
Preferred Shelf Number QA76.76 .D47 E424 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Computers, Software Engineering, and Digital Devices

2025-12-13T16:02:53Z

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

Hardware and computer organization the software perspective

2025-12-13T16:02:53Z

Author Berger, Arnold S.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750678865
Format: Electronic Resources
Availability Online Library~1

Perspectives on free and open source software

2025-12-13T16:02:53Z

Author Feller, Joseph, 1972-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267258
Format: Electronic Resources
Availability Online Library~1

Digital Synthesizers and Transmitters for Software Radio

2025-12-13T16:02:53Z

Author Vankka, Jouko. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3195-5
Format: Electronic Resources
Availability Online Library~1

Software Project Secrets Why Software Projects Fail

2025-12-13T16:02:53Z

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

Outsourcing software development offshore : making it work

2025-12-13T16:02:53Z

Author Gold, Tandy., author.
Preferred Shelf Number QA76.76 .D47 G63 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software Agent-Based Applications, Platforms and Development Kits

2025-12-13T16:02:53Z

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

PIC microcontroller : an introduction to software and hardware interfacing

2025-12-13T16:02:53Z

Author Huang, Han-Way.
Preferred Shelf Number TJ223.P76 H835 2005
Format: Books
Availability Beytepe Library~1

Directory of library automation software, systems, and services.

2025-12-13T16:02:53Z

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

Competitive engineering a handbook for systems engineering, requirements engineering, and software engineering using Planguage

2025-12-13T16:02:53Z

Author Gilb, Tom. Brodie, Lindsey.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750665070
Format: Electronic Resources
Availability Online Library~1

Co-verification of hardware and software for ARM SoC design

2025-12-13T16:02:53Z

Author Andrews, Jason R.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750677301
Format: Electronic Resources
Availability Online Library~1

Fundamentals of global positioning system receivers a software approach

2025-12-13T16:02:53Z

Author Tsui, James Bao-yen. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0471712582 http://www3.interscience.wiley.com/cgi-bin/bookhome/109880516
Format: Electronic Resources
Availability Online Library~1

Software quality engineering Testing, quality assurance, and quantifiable improvement

2025-12-13T16:02:53Z

Author Tian, Jeff. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988897
Format: Electronic Resources
Availability Online Library~1

Practical support for CMMI-SW software project documentation using IEEE software engineering standards

2025-12-13T16:02:53Z

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

Robust communications software extreme availability, reliability and scalability for carrier-grade systems

2025-12-13T16:02:53Z

Author Utas, Greg. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0470011793
Format: Electronic Resources
Availability Online Library~1

Process-aware information systems bridging people and software through process technology

2025-12-13T16:02:53Z

Author Dumas, Marlon. Aalst, Wil van der. Ter Hofstede, Arthur, 1966- John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0621/2005001369-b.html John Wiley http://dx.doi.org/10.1002/0471741442
Format: Electronic Resources
Availability Online Library~1

Object-oriented construction handbook developing application-oriented software with the tools & materials approach

2025-12-13T16:02:53Z

Author Züllighoven, Heinz. Beeger, Robert F. Bäumer, Dirk.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781558606876
Format: Electronic Resources
Availability Online Library~1

Black Hat physical device security exploiting hardware and software

2025-12-13T16:02:53Z

Author Miller, Drew, 1978-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781932266818
Format: Electronic Resources
Availability Online Library~1

Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond

2025-12-13T16:02:53Z

Author Subirana, Brian. author. Bain, Malcolm. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101542
Format: Electronic Resources
Availability Online Library~1

A Software Process Model Handbook for Incorporating People’s Capabilities

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

Fast Software Encryption 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers

2025-12-13T16:02:53Z

Author Gilbert, Henri. editor. Handschuh, Helena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137506
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

2025-12-13T16:02:53Z

Author Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11590156
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T16:02:53Z

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

System-level Test and Validation of Hardware/Software Systems

2025-12-13T16:02:53Z

Author Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-145-8
Format: Electronic Resources
Availability Online Library~1

Software Product Line Engineering Foundations, Principles, and Techniques

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA

2025-12-13T16:02:53Z

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

Growing Modular Mass Customization of Complex Products, Services and Software

2025-12-13T16:02:53Z

Author Kratochvíl, Milan. author. Carson, Charles. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b139063
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings

2025-12-13T16:02:53Z

Author Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104325
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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

How to break software : a practical guide to testing : an example-rich explanation of how to effectively test software that anyone can understand and use immediately

2025-12-13T16:02:53Z

Author Whittaker, James A., 1965-
Preferred Shelf Number QA 76.76.T48 W47 2002
Format: Books
Availability Beytepe Library~2

Jeovar 3 : Jeoistatiksel variogram analizleri ve kriging teknikleri bilgisayar yazılımı = Geovar 3 : Computer software of geostatistical variogram analyses and kriging techniques

2025-12-13T16:02:53Z

Author Uyar, Hakan.
Preferred Shelf Number TEZ/7118 U97 2005
Format: Books
Availability Beytepe Library~2

Yüksek düzeyli mimari için bir yazılım izleme ve sınama aracı = A software monitoring and testing tool for the high level architecture

2025-12-13T16:02:53Z

Author Sütbaş, Rukiye.
Preferred Shelf Number TEZ/7138 S7939 2005
Format: Books
Availability Beytepe Library~1

Yüksek düzeyli mimari için bir yazılım modelleme aracı = A software modeling tool for the high level architecture

2025-12-13T16:02:53Z

Author Çelik, Turgay.
Preferred Shelf Number TEZ/7221 E426 2005
Format: Books
Availability Beytepe Library~1

Yazılım geliştirmede, kalite yönetim sistemi yazılımı tasarımı ve gerçekleştirimi = Design and implementation of a quality management software for software development

2025-12-13T16:02:53Z

Author Erdem, Atilla.
Preferred Shelf Number TEZ/7206 E661 2005
Format: Books
Availability Beytepe Library~1

Eğitsel arayüz ajanı ile desteklenmiş eğitim yazılımının ve cinsiyetin başarı üzerindeki etkisi = The effect of instructional software supported with pedagogical agent and gender on students achievement

2025-12-13T16:02:53Z

Author Kızılkaya, Gonca.
Preferred Shelf Number TEZ/7245 K999 2005
Format: Books
Availability Beytepe Library~1

Robust communications software : extreme availability, reliability and scalability for carrier-grade systems

2025-12-13T16:02:53Z

Author Utas, Greg.
Preferred Shelf Number TK5105.9 U83 2005
Format: Books
Availability Beytepe Library~1

JMP start statistics : a guide to statistics and data analysis using JMP and JMP IN software

2025-12-13T16:02:53Z

Author Sall, John. Creighton, Lee. Lehman, Ann.
Preferred Shelf Number QA276.4 S162 2005
Format: Books
Availability Beytepe Library~1

Advanced manufacturing technology for medical applications reverse engineering, software conversion, and rapid prototyping

2025-12-13T16:02:53Z

Author Gibson, I. (Ian)
Preferred Shelf Number ONLINE
Electronic Access Click for information Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=255342 John Wiley http://dx.doi.org/10.1002/0470033983 John Wiley http://dx.doi.org/10.1002/9780470033982 http://www3.interscience.wiley.com/cgi-bin/homepage/?isbn=9780470033982
Format: Electronic Resources
Availability Online Library~1

Object-oriented software engineering : practical software development using UML and Java

2025-12-13T16:02:53Z

Author Lethbridge, Timothy Christian, 1963- Laganiere, Robert. King, Catriona.
Preferred Shelf Number QA76.64 .L647 2005
Format: Books
Availability Beytepe Library~1

Flexible Software Design : Systems Development for Changing Requirements.

2025-12-13T16:02:53Z

Author Johnson, Bruce (Bruce M.), author. Woolfolk, Walter W., author. Miller, Robert, author. Johnson, Cindy, author.
Preferred Shelf Number QA76.9 .S88
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429117053 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Fundamentals of global positioning system receivers a software approach

2025-12-13T16:02:53Z

Author Tsui, James Bao-yen.
Preferred Shelf Number ONLINE(318844.1)
Electronic Access 123Library.org http://www.123library.org/book_details/?id=47962 Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=221308 ebrary http://site.ebrary.com/id/10274726 EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=125320 John Wiley http://dx.doi.org/10.1002/0471712582
Format: Electronic Resources
Availability Online Library~1

Advanced manufacturing technology for medical applications reverse engineering, software conversion, and rapid prototyping

2025-12-13T16:02:53Z

Author Gibson, Ian, 1938-
Preferred Shelf Number ONLINE(318854.1)
Electronic Access Click for information Knovel http://app.knovel.com/web/toc.v/cid:kpAMTMARE2 Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=255342 ebrary http://site.ebrary.com/id/10301702 EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=152196
Format: Electronic Resources
Availability Online Library~1

Organizational Principles for Multi-Agent Architectures

2025-12-13T16:02:53Z

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

Constraint Satisfaction Techniques for Agent-Based Reasoning

2025-12-13T16:02:53Z

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

Ontologies for Agents: Theory and Experiences

2025-12-13T16:02:53Z

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

Applications of Agent Technology in Traffic and Transportation

2025-12-13T16:02:53Z

Author Klügl, Franziska. editor. Bazzan, Ana. editor. Ossowski, Sascha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-7643-7363-6
Format: Electronic Resources
Availability Online Library~1

PowerBuilder : PowerScript reference, version 6.

2025-12-13T16:02:53Z

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

Information security management handbook

2025-12-13T16:02:53Z

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

Mobile agents basic concepts, mobility models, and the Tracy toolkit

2025-12-13T16:02:53Z

Author Braun, Peter, Dr. Rossak, Wilhelm.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781558608177
Format: Electronic Resources
Availability Online Library~1

Advanced systems design with Java, UML, and MDA

2025-12-13T16:02:53Z

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

Nessus, Snort, & Ethereal power tools customizing open source security applications

2025-12-13T16:02:53Z

Author Archibald, Neil. Ramirez, Gilbert, 1972- Rathaus, Noam. Syngress Media, Inc.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597490207
Format: Electronic Resources
Availability Online Library~1

A student guide to object-oriented development

2025-12-13T16:02:53Z

Author Britton, Carol, 1947- Doake, Jill, 1946-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750661232
Format: Electronic Resources
Availability Online Library~1

Component-oriented programming

2025-12-13T16:02:53Z

Author Wang, Andy Ju An. Qian, Kai.
Preferred Shelf Number ONLINE
Electronic Access Click for information Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=228466 John Wiley http://dx.doi.org/10.1002/0471713708 http://swb.eblib.com/patron/FullRecord.aspx?p=228466 HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/55955200.html
Format: Electronic Resources
Availability Online Library~1

Offshoring Information Technology Sourcing and Outsourcing to a Global Workforce

2025-12-13T16:02:53Z

Author Carmel, Erran. Tjia, Paul.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Ruling distributed dynamic worlds

2025-12-13T16:02:53Z

Author Sapaty, Peter. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0617/2004025909-b.html John Wiley http://dx.doi.org/10.1002/0471656356
Format: Electronic Resources
Availability Online Library~1

Verification and validation for quality of UML 2.0 models

2025-12-13T16:02:53Z

Author Unhelkar, Bhuvan. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Click for information Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0619/2004065931-b.html John Wiley http://dx.doi.org/10.1002/0471734322 http://swb.eblib.com/patron/FullRecord.aspx?p=238767
Format: Electronic Resources
Availability Online Library~1

IT Project Proposals Writing to Win

2025-12-13T16:02:53Z

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

IPv6 network programming

2025-12-13T16:02:53Z

Author Hagino, Jun-ichiro itojun.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781555583187
Format: Electronic Resources
Availability Online Library~1

Managing Microsoft's remote installation services a practical guide

2025-12-13T16:02:53Z

Author Rasmussen, Søren, 1971- Iversen, Michael.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781555583378
Format: Electronic Resources
Availability Online Library~1

Innovation happens elsewhere open source as business strategy

2025-12-13T16:02:53Z

Author Goldman, Ron, 1952- Gabriel, Richard P.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781558608894
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice II

2025-12-13T16:02:53Z

Author O’Reilly, Una-May. editor. Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101112
Format: Electronic Resources
Availability Online Library~1

Reverse Engineering of Object Oriented Code

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France

2025-12-13T16:02:53Z

Author Ng, Michael K. editor. Doncescu, Andrei. editor. Yang, Laurence T. editor. Leng, Tau. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104300
Format: Electronic Resources
Availability Online Library~1

UML for SOC Design

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

System Level Design of Reconfigurable Systems-on-Chip

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Information Processing and Security Systems

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

2025-12-13T16:02:53Z

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

Super-Recursive Algorithms

2025-12-13T16:02:53Z

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

Multimedia Introduction to Programming Using Java

2025-12-13T16:02:53Z

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

Introduction to Assembly Language Programming For Pentium and RISC Processors

2025-12-13T16:02:53Z

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

Guide to RISC Processors for Programmers and Engineers

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Soft Real-Time Systems Predictability vs. Efficiency

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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 Horizons of Parallel and Distributed Computing

2025-12-13T16:02:53Z

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

Artificial Intelligence Applications and Innovations IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7–9, 2005, Beijing, China

2025-12-13T16:02:53Z

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

Virtual, Distributed and Flexible Organisations Studies in Organisational Semiotics

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Understanding your users a practical guide to user requirements methods, tools, and techniques

2025-12-13T16:02:53Z

Author Courage, Catherine. Baxter, Kathy.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=117164
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

2025-12-13T16:02:53Z

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

Harmonic Analysis, Signal Processing, and Complexity Festschrift in Honor of the 60th Birthday of Carlos A. Berenstein

2025-12-13T16:02:53Z

Author Sabadini, Irene. editor. Struppa, Daniele C. editor. Walnut, David F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-8176-4416-4
Format: Electronic Resources
Availability Online Library~1

Computer Algebra Recipes for Mathematical Physics

2025-12-13T16:02:53Z

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

New Algorithms, Architectures and Applications for Reconfigurable Computing

2025-12-13T16:02:53Z

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

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

2025-12-13T16:02:53Z

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

Computeralgebra

2025-12-13T16:02:53Z

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

Architecting Dependable Systems III

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Distributed Computing in Sensor Systems First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30 – July 1, 2005. Proceedings

2025-12-13T16:02:53Z

Author Prasanna, Viktor K. editor. Iyengar, Sitharama S. editor. Spirakis, Paul G. editor. Welsh, Matt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137498
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2025-12-13T16:02:53Z

Author Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137280
Format: Electronic Resources
Availability Online Library~1

Financial Cryptography and Data Security 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 – March 3, 2005. Revised Papers

2025-12-13T16:02:53Z

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

Information Security and Privacy 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005. Proceedings

2025-12-13T16:02:53Z

Author Boyd, Colin. editor. González Nieto, Juan Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137750
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005. Proceedings

2025-12-13T16:02:53Z

Author Gama, João. editor. Camacho, Rui. editor. Brazdil, Pavel B. editor. Jorge, Alípio Mário. editor. Torgo, Luís. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11564096
Format: Electronic Resources
Availability Online Library~1

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005. Proceedings

2025-12-13T16:02:53Z

Author Gallagher, Marcus. editor. Hogan, James P. editor. Maire, Frederic. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137888
Format: Electronic Resources
Availability Online Library~1

Algorithmic Learning Theory 16th International Conference, ALT 2005, Singapore, October 8-11, 2005. Proceedings

2025-12-13T16:02:53Z

Author Jain, Sanjay. editor. Simon, Hans Ulrich. editor. Tomita, Etsuji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11564089
Format: Electronic Resources
Availability Online Library~1

Algorithms and Data Structures 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005. Proceedings

2025-12-13T16:02:53Z

Author Dehne, Frank. editor. López-Ortiz, Alejandro. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11534273
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T16:02:53Z

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

Natural Language Processing – IJCNLP 2005 Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005. Proceedings

2025-12-13T16:02:53Z

Author Dale, Robert. editor. Wong, Kam-Fai. editor. Su, Jian. editor. Kwong, Oi Yee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11562214
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Digital Watermarking Third International Workshop, IWDW 2004, Seoul, South Korea, October 30 - November 1, 2004, Revised Selected Papers

2025-12-13T16:02:53Z

Author Cox, Ingemar J. editor. Kalker, Ton. editor. Lee, Heung-Kyu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106346
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-29, 2005. Proceedings

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Algorithms in Bioinformatics 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005. Proceedings

2025-12-13T16:02:53Z

Author Casadio, Rita. editor. Myers, Gene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11557067
Format: Electronic Resources
Availability Online Library~1

Comparative Genomics RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005. Proceedings

2025-12-13T16:02:53Z

Author McLysaght, Aoife. editor. Huson, Daniel H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11554714
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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Advances in Intelligent Computing International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II

2025-12-13T16:02:53Z

Author Huang, De-Shuang. editor. Zhang, Xiao-Ping. editor. Huang, Guang-Bin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11538356
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

Prozessübergreifendes Projektmanagement Grundlagen erfolgreicher Projekte

2025-12-13T16:02:53Z

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

Secure Systems Development with UML

2025-12-13T16:02:53Z

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

Domain Decomposition Methods — Algorithms and Theory

2025-12-13T16:02:53Z

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

Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance

2025-12-13T16:02:53Z

Author Hromkovič, Juraj. author. Klasing, Ralf. author. Pelc, Andrzej. author. Ružička†, Peter. author. Unger, Walter. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137871
Format: Electronic Resources
Availability Online Library~1

Agentenorientierte Softwareentwicklung Methoden und Tools

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Einführung in die Informatik Objektorientiert mit Java

2025-12-13T16:02:53Z

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

ABAP/4 Programmiertechniken Trainingsbuch

2025-12-13T16:02:53Z

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

Echtzeitsysteme Grundlagen, Funktionsweisen, Anwendungen

2025-12-13T16:02:53Z

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

Complexity Theory Exploring the Limits of Efficient Algorithms

2025-12-13T16:02:53Z

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

Mambo Installation, Administration, Anwendung und Entwicklung

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Programmieren in Java 1.5 Ein kompaktes, interaktives Tutorial

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time

2025-12-13T16:02:53Z

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

Differential Evolution A Practical Approach to Global Optimization

2025-12-13T16:02:53Z

Author Price, Kenneth V. author. Storn, Rainer M. author. Lampinen, Jouni A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-31306-0
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Mechanisms, Symbols, and Models Underlying Cognition First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I

2025-12-13T16:02:53Z

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

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II

2025-12-13T16:02:53Z

Author Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137296
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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

Fuzzy Systems and Knowledge Discovery Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II

2025-12-13T16:02:53Z

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

Fuzzy Systems and Knowledge Discovery Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I

2025-12-13T16:02:53Z

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

Active Mining Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003. Revised Selected Papers

2025-12-13T16:02:53Z

Author Tsumoto, Shusaku. editor. Yamaguchi, Takahira. editor. Numao, Masayuki. editor. Motoda, Hiroshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136140
Format: Electronic Resources
Availability Online Library~1

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

2025-12-13T16:02:53Z

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

Image Analysis and Recognition Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005. Proceedings

2025-12-13T16:02:53Z

Author Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11559573
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

2025-12-13T16:02:53Z

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

Advanced Encryption Standard – AES 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers

2025-12-13T16:02:53Z

Author Dobbertin, Hans. editor. Rijmen, Vincent. editor. Sowa, Aleksandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137765
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 12th International Symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, Revised Selected Papers

2025-12-13T16:02:53Z

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

DNA Computing 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers

2025-12-13T16:02:53Z

Author Ferretti, Claudio. editor. Mauri, Giancarlo. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136914
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

2025-12-13T16:02:53Z

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

Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings

2025-12-13T16:02:53Z

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

Numerical Analysis and Its Applications Third International Conference, NAA 2004, Rousse, Bulgaria, June 29-July 3, 2004, Revised Selected Papers

2025-12-13T16:02:53Z

Author Li, Zhilin. editor. Vulkov, Lubin. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106395
Format: Electronic Resources
Availability Online Library~1

Advances in Natural Computation First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I

2025-12-13T16:02:53Z

Author Wang, Lipo. editor. Chen, Ke. editor. Ong, Yew Soon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11539087
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

2025-12-13T16:02:53Z

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

Advances in Natural Computation First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II

2025-12-13T16:02:53Z

Author Wang, Lipo. editor. Chen, Ke. editor. Ong, Yew Soon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11539117
Format: Electronic Resources
Availability Online Library~1

Combinatorial and Algorithmic Aspects of Networking First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers

2025-12-13T16:02:53Z

Author López-Ortiz, Alejandro. editor. Hamel, Angèle M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527954
Format: Electronic Resources
Availability Online Library~1

Advances in Bioinformatics and Computational Biology Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005. Proceedings

2025-12-13T16:02:53Z

Author Setubal, João Carlos. editor. Verjovski-Almeida, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11532323
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

2025-12-13T16:02:53Z

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

Advances in Natural Computation First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III

2025-12-13T16:02:53Z

Author Wang, Lipo. editor. Chen, Ke. editor. Ong, Yew Soon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11539902
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T16:02:53Z

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

Image Analysis and Processing – ICIAP 2005 13th International Conference, Cagliari, Italy, September 6-8, 2005. Proceedings

2025-12-13T16:02:53Z

Author Roli, Fabio. editor. Vitulano, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11553595
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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Discrete Geometry for Computer Imagery 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005. Proceedings

2025-12-13T16:02:53Z

Author Andres, Eric. editor. Damiand, Guillaume. editor. Lienhardt, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135490
Format: Electronic Resources
Availability Online Library~1

Engineering Self-Organising Systems Methodologies and Applications

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

Embedded Systems Design The ARTIST Roadmap for Research and Development

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

String Processing and Information Retrieval 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005. Proceedings

2025-12-13T16:02:53Z

Author Consens, Mariano. editor. Navarro, Gonzalo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11575832
Format: Electronic Resources
Availability Online Library~1

Stochastic Algorithms: Foundations and Applications Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedings

2025-12-13T16:02:53Z

Author Lupanov, Oleg B. editor. Kasim-Zade, Oktay M. editor. Chaskin, Alexander V. editor. Steinhöfel, Kathleen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11571155
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

2025-12-13T16:02:53Z

Author Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106890
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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings

2025-12-13T16:02:53Z

Author Cooper, S. Barry. editor. Löwe, Benedikt. editor. Torenvliet, Leen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136981
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - ASIACRYPT 2005 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005. Proceedings

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

Regulatory Genomics RECOMB 2004 International Workshop, RRG 2004, San Diego, Ca, USA, March 26-27, 2004, Revised Selected Papers

2025-12-13T16:02:53Z

Author Eskin, Eleazar. editor. Workman, Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105490
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

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

2025-12-13T16:02:53Z

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

Cryptology and Network Security 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005. Proceedings

2025-12-13T16:02:53Z

Author Desmedt, Yvo G. editor. Wang, Huaxiong. editor. Mu, Yi. editor. Li, Yongqing. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11599371
Format: Electronic Resources
Availability Online Library~1

Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers

2025-12-13T16:02:53Z

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

Information Security and Cryptology First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005. Proceedings

2025-12-13T16:02:53Z

Author Feng, Dengguo. editor. Lin, Dongdai. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11599548
Format: Electronic Resources
Availability Online Library~1

Algorithms and Computation 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings

2025-12-13T16:02:53Z

Author Deng, Xiaotie. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11602613
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005. Proceedings

2025-12-13T16:02:53Z

Author Megiddo, Nimrod. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137095
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

2025-12-13T16:02:53Z

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

Interconnect-Centric Design for Advanced SoC and NoC

2025-12-13T16:02:53Z

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

Biometric Systems Technology, Design and Performance Evaluation

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

Creating Web-based Laboratories

2025-12-13T16:02:53Z

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

Validated Designs for Object-oriented Systems

2025-12-13T16:02:53Z

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

Information Processing with Evolutionary Algorithms From Industrial Applications to Academic Speculations

2025-12-13T16:02:53Z

Author Wu, Xindong. editor. Jain, Lakhmi. editor. Graña, Manuel. editor. Duro, Richard J. editor. d’Anjou, Alicia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138854
Format: Electronic Resources
Availability Online Library~1

Probabilistic Modeling in Bioinformatics and Medical Informatics

2025-12-13T16:02:53Z

Author Husmeier, Dirk. editor. Dybowski, Richard. editor. Roberts, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138794
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

2025-12-13T16:02:53Z

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

Multiobjective Evolutionary Algorithms and Applications

2025-12-13T16:02:53Z

Author Tan, K.C. author. Khor, E.F. author. Lee, T.H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-132-6
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multiobjective Optimization Theoretical Advances and Applications

2025-12-13T16:02:53Z

Author Abraham, Ajith. editor. Jain, Lakhmi. editor. Goldberg, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-137-7
Format: Electronic Resources
Availability Online Library~1

Advanced Techniques in Knowledge Discovery and Data Mining

2025-12-13T16:02:53Z

Author Pal, Nikhil R. editor. Jain, Lakhmi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-183-0
Format: Electronic Resources
Availability Online Library~1

Designing Virtual Reality Systems The Structured Approach

2025-12-13T16:02:53Z

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

Cognitive Engineering A Distributed Approach to Machine Intelligence

2025-12-13T16:02:53Z

Author Konar, Amit. author. Jain, Lakhmi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-234-9
Format: Electronic Resources
Availability Online Library~1

Advanced Methods for Knowledge Discovery from Complex Data

2025-12-13T16:02:53Z

Author Bandyopadhyay, Sanghamitra. author. Maulik, Ujjwal. author. Holder, Lawrence B. author. Cook, Diane J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-284-5
Format: Electronic Resources
Availability Online Library~1

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

2025-12-13T16:02:53Z

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

MATLAB 7 Eine Einführung

2025-12-13T16:02:53Z

Author Überhuber, Christoph. author. Katzenbeisser, Stefan. author. Praetorius, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138723
Format: Electronic Resources
Availability Online Library~1

Einführung in die Technische Informatik

2025-12-13T16:02:53Z

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

Pro Spring

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

SharePoint 2003 User’s Guide

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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

2025-12-13T16:02:53Z

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