Search Results for software. - Narrowed by: 2005

Software paradigms

2025-12-10T22:25:41Z

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-10T22:25:41Z

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

Constructing Correct Software

2025-12-10T22:25:41Z

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

Software piracy exposed

2025-12-10T22:25:41Z

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-10T22:25:41Z

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

Model-Driven Software Development

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

Free/open source software development

2025-12-10T22:25:41Z

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

Component-Based Software Testing with UML

2025-12-10T22:25:41Z

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

Engineering and Managing Software Requirements

2025-12-10T22:25:41Z

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

Developing Statistical Software in Fortran 95

2025-12-10T22:25:41Z

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-10T22:25:41Z

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

Artificial Life Models in Software

2025-12-10T22:25:41Z

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-10T22:25:41Z

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

Computers, Software Engineering, and Digital Devices

2025-12-10T22:25:41Z

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

Reducing risk with software process improvement

2025-12-10T22:25:41Z

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

Maximizing ROI on software development

2025-12-10T22:25:41Z

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

Strategic software engineering : an interdisciplinary approach

2025-12-10T22:25:41Z

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

Software process quality : management and control

2025-12-10T22:25:41Z

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

Software testing and continuous quality improvement

2025-12-10T22:25:41Z

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

The ROI from software quality

2025-12-10T22:25:41Z

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

Software requirements : encapsulation, quality, and reuse

2025-12-10T22:25:41Z

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

Digital Synthesizers and Transmitters for Software Radio

2025-12-10T22:25:41Z

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

Perspectives on free and open source software

2025-12-10T22:25:41Z

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

Hardware and computer organization the software perspective

2025-12-10T22:25:41Z

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

Software Project Secrets Why Software Projects Fail

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

System-level Test and Validation of Hardware/Software Systems

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Growing Modular Mass Customization of Complex Products, Services and Software

2025-12-10T22:25:41Z

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

Software Product Line Engineering Foundations, Principles, and Techniques

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Fundamentals of global positioning system receivers a software approach

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Software quality engineering Testing, quality assurance, and quantifiable improvement

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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-10T22:25:41Z

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-10T22:25:41Z

Author Sütbaş, Rukiye.
Preferred Shelf Number TEZ/7138 S7939 2005
Format: Books
Availability Beytepe 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-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Co-verification of hardware and software for ARM SoC design

2025-12-10T22:25:41Z

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

Black Hat physical device security exploiting hardware and software

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

A Software Process Model Handbook for Incorporating People’s Capabilities

2025-12-10T22:25:41Z

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-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Fundamentals of global positioning system receivers a software approach

2025-12-10T22:25:41Z

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

Flexible Software Design : Systems Development for Changing Requirements.

2025-12-10T22:25:41Z

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

Organizational Principles for Multi-Agent Architectures

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

Information security management handbook

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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-10T22:25:41Z

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

Pro Spring

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

Pro Hibernate 3

2025-12-10T22:25:41Z

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

Requirements Engineering

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

Das C++ Kompendium STL, Objektfabriken, Exceptions

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Einführung in die Informatik Objektorientiert mit Java

2025-12-10T22:25:41Z

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-10T22:25:41Z

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

Linux-Systemadministration Grundlagen, Konzepte, Anwendung

2025-12-10T22:25:41Z

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

ITIL Das IT-Servicemanagement Framework

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time

2025-12-10T22:25:41Z

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

Modular Algorithms in Symbolic Summation and Symbolic Integration

2025-12-10T22:25:41Z

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

List Decoding of Error-Correcting Codes Winning Thesis of the 2002 ACM Doctoral Dissertation Competition

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Natural Language Processing – IJCNLP 2004 First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers

2025-12-10T22:25:41Z

Author Su, Keh-Yih. editor. Tsujii, Jun’ichi. editor. Lee, Jong-Hyeok. editor. Kwong, Oi Yee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105612
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Security in Ad-hoc and Sensor Networks First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised Selected Papers

2025-12-10T22:25:41Z

Author Castelluccia, Claude. editor. Hartenstein, Hannes. editor. Paar, Christof. editor. Westhoff, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105219
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

Implementation and Application of Automata 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers

2025-12-10T22:25:41Z

Author Domaratzki, Michael. editor. Okhotin, Alexander. editor. Salomaa, Kai. editor. Yu, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105090
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Combinatorial Image Analysis 10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004. Proceedings

2025-12-10T22:25:41Z

Author Klette, Reinhard. editor. Žunić, Joviša. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b103936
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

Combinatorial Geometry and Graph Theory Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers

2025-12-10T22:25:41Z

Author Akiyama, Jin. editor. Baskoro, Edy Tri. editor. Kano, Mikio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105263
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

Algorithms and Computation 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004. Proceedings

2025-12-10T22:25:41Z

Author Fleischer, Rudolf. editor. Trippen, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104582
Format: Electronic Resources
Availability Online Library~1

Swarm Robotics SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers

2025-12-10T22:25:41Z

Author Şahin, Erol. editor. Spears, William M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105069
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Progress in Cryptology - INDOCRYPT 2004 5th International Conference on Cryptology in India, Chennai, India, December 20-22, 2004. Proceedings

2025-12-10T22:25:41Z

Author Canteaut, Anne. editor. Viswanathan, Kapaleeswaran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104579
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers

2025-12-10T22:25:41Z

Author Hromkovič, Juraj. editor. Nagl, Manfred. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b104584
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Selected Areas in Cryptography 11th International Workshop, SAC 2004, Waterloo, Canada, August 9-10, 2004, Revised Selected Papers

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Topics in Cryptology – CT-RSA 2005 The Cryptographers’ Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005. Proceedings

2025-12-10T22:25:41Z

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

Theory of Cryptography Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005. Proceedings

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Public Key Cryptography - PKC 2005 8th International Workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005. Proceedings

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Inconsistency Tolerance

2025-12-10T22:25:41Z

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

Security in Communication Networks 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers

2025-12-10T22:25:41Z

Author Blundo, Carlo. editor. Cimato, Stelvio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105083
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers

2025-12-10T22:25:41Z

Author Feitelson, Dror G. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107134
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

Approximation and Online Algorithms Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers

2025-12-10T22:25:41Z

Author Persiano, Giuseppe. editor. Solis-Oba, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106130
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-10T22:25:41Z

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

Security Protocols 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers

2025-12-10T22:25:41Z

Author Christianson, Bruce. editor. Crispo, Bruno. editor. Malcolm, James A. editor. Roe, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11542322
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

2025-12-10T22:25:41Z

Author Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11549345
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

Information Retrieval Technology Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers

2025-12-10T22:25:41Z

Author Myaeng, Sung Hyon. editor. Zhou, Ming. editor. Wong, Kam-Fai. editor. Zhang, Hong-Jiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106653
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings

2025-12-10T22:25:41Z

Author Liśkiewicz, Maciej. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11537311
Format: Electronic Resources
Availability Online Library~1

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005 and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005. Proceedings

2025-12-10T22:25:41Z

Author Chekuri, Chandra. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11538462
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005. Proceedings

2025-12-10T22:25:41Z

Author Jacob, Christian. editor. Pilat, Marcin L. editor. Bentley, Peter J. editor. Timmis, Jonathan I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11536444
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005. Proceedings

2025-12-10T22:25:41Z

Author Coello Coello, Carlos A. editor. Hernández Aguirre, Arturo. editor. Zitzler, Eckart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106458
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis Foundations and Applications

2025-12-10T22:25:41Z

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

Conceptual Structures: Common Semantics for Sharing Knowledge 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings

2025-12-10T22:25:41Z

Author Dau, Frithjof. editor. Mugnier, Marie-Laure. editor. Stumme, Gerd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-31885-9
Format: Electronic Resources
Availability Online Library~1

Nonlinear Speech Modeling and Applications Advanced Lectures and Revised Selected Papers

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Learning Theory 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Local Pattern Detection International Seminar, Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers

2025-12-10T22:25:41Z

Author Morik, Katharina. editor. Boulicaut, Jean-François. editor. Siebes, Arno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137601
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-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Engineering Self-Organising Systems Methodologies and Applications

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Information Security 8th International Conference, ISC 2005, Singapore, September 20-23, 2005. Proceedings

2025-12-10T22:25:41Z

Author Zhou, Jianying. editor. Lopez, Javier. editor. Deng, Robert H. editor. Bao, Feng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11556992
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Pattern Recognition 27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005. Proceedings

2025-12-10T22:25:41Z

Author Kropatsch, Walter G. editor. Sablatnig, Robert. editor. Hanbury, Allan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11550518
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005. Proceedings

2025-12-10T22:25:41Z

Author Miyano, Satoru. editor. Mesirov, Jill. editor. Kasif, Simon. editor. Istrail, Sorin. editor. Pevzner, Pavel A. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135594
Format: Electronic Resources
Availability Online Library~1

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005. Proceedings

2025-12-10T22:25:41Z

Author Brodal, Gerth Stølting. editor. Leonardi, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11561071
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

Network Analysis Methodological Foundations

2025-12-10T22:25:41Z

Author Brandes, Ulrik. editor. Erlebach, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106453
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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Genetic Programming 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings

2025-12-10T22:25:41Z

Author Keijzer, Maarten. editor. Tettamanzi, Andrea. editor. Collet, Pierre. editor. Hemert, Jano. editor. Tomassini, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107383
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005. Proceedings

2025-12-10T22:25:41Z

Author Raidl, Günther R. editor. Gottlieb, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107115
Format: Electronic Resources
Availability Online Library~1

Computer Network Security Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005. Proceedings

2025-12-10T22:25:41Z

Author Gorodetsky, Vladimir. editor. Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560326
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

Information Retrieval Technology Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005. Proceedings

2025-12-10T22:25:41Z

Author Lee, Gary Geunbae. editor. Yamada, Akio. editor. Meng, Helen. editor. Myaeng, Sung Hyon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11562382
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Computer Analysis of Images and Patterns 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005. Proceedings

2025-12-10T22:25:41Z

Author Gagalowicz, André. editor. Philips, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11556121
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedings

2025-12-10T22:25:41Z

Author Calude, Cristian S. editor. Dinneen, Michael J. editor. Păun, Gheorghe. editor. Pérez-Jímenez, Mario J. editor. Rozenberg, Grzegorz. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560319
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings

2025-12-10T22:25:41Z

Author Coppo, Mario. editor. Lodi, Elena. editor. Pinna, G. Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560586
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

Reverse Engineering of Object Oriented Code

2025-12-10T22:25:41Z

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

Guide to Assembly Language Programming in Linux

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

New Algorithms, Architectures and Applications for Reconfigurable Computing

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Biometric Systems Technology, Design and Performance Evaluation

2025-12-10T22:25:41Z

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

Creating Web-based Laboratories

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

Agentenorientierte Softwareentwicklung Methoden und Tools

2025-12-10T22:25:41Z

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

Computeralgebra

2025-12-10T22:25:41Z

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

Domain Decomposition Methods — Algorithms and Theory

2025-12-10T22:25:41Z

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-10T22:25:41Z

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

Spiele effektiv programmieren mit VB.net und DirectX

2025-12-10T22:25:41Z

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

Complexity Theory Exploring the Limits of Efficient Algorithms

2025-12-10T22:25:41Z

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-10T22:25:41Z

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

E-Business @ Print Internet-Based Services and Processes

2025-12-10T22:25:41Z

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-10T22:25:41Z

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

Design and Analysis of Randomized Algorithms Introduction to Design Paradigms

2025-12-10T22:25:41Z

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

Implementing Distributed Systems with Java and CORBA

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Automotive Embedded Systeme Effizientes Framework — Vom Design zur Implementierung

2025-12-10T22:25:41Z

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

Complexity Theory and Cryptology An Introduction to Cryptocomplexity

2025-12-10T22:25:41Z

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

Moderne C-Programmierung Kompendium und Referenz

2025-12-10T22:25:41Z

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

Debian GNU/Linux Grundlagen, Installation, Administration und Anwendung

2025-12-10T22:25:41Z

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

Getting Started with MuPAD

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Differential Evolution A Practical Approach to Global Optimization

2025-12-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Combinatorial Pattern Matching 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005. Proceedings

2025-12-10T22:25:41Z

Author Apostolico, Alberto. editor. Crochemore, Maxime. editor. Park, Kunsoo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137128
Format: Electronic Resources
Availability Online Library~1

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2025-12-10T22:25:41Z

Author Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11527695
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

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

2025-12-10T22:25:41Z

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

Public Key Infrastructure Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30 - July 1, 2005, Revised Selected Papers

2025-12-10T22:25:41Z

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

Computational Intelligence and Security International Conference, CIS 2005, Xi’an, China, December 15-19, 2005, Proceedings, Part II

2025-12-10T22:25:41Z

Author Hao, Yue. editor. Liu, Jiming. editor. Wang, Yu-Ping. editor. Cheung, Yiu-ming. editor. Yin, Hujun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11596981
Format: Electronic Resources
Availability Online Library~1

Socionics Scalability of Complex Social Systems

2025-12-10T22:25:41Z

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

Security and Privacy in Ad-hoc and Sensor Networks Second European Workshop, ESAS 2005, Visegrad, Hungary, July 13-14, 2005. Revised Selected Papers

2025-12-10T22:25:41Z

Author Molva, Refik. editor. Tsudik, Gene. editor. Westhoff, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11601494
Format: Electronic Resources
Availability Online Library~1

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

2025-12-10T22:25:41Z

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

Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

2025-12-10T22:25:41Z

Author Feitelson, Dror. editor. Frachtenberg, Eitan. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11605300
Format: Electronic Resources
Availability Online Library~1

Architecting Dependable Systems III

2025-12-10T22:25:41Z

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-10T22:25:41Z

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