Search Results for Software. - Narrowed by: Electronic Library - 2007
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092007$0025092007$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list
2024-10-22T07:17:54Z
System Software Reliability
ent://SD_ILS/0/SD_ILS:175367
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Pham, Hoang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-295-0">http://dx.doi.org/10.1007/1-84628-295-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global software development handbook
ent://SD_ILS/0/SD_ILS:286567
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Sangwan, Raghvinder.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420013856">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Six Sigma software development
ent://SD_ILS/0/SD_ILS:290544
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Tayntor, Christine B.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420044287">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Effective prototyping for software makers
ent://SD_ILS/0/SD_ILS:306465
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Arnowitz, Jonathan. Arent, Michael. Berger, Nevin.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120885688">http://www.sciencedirect.com/science/book/9780120885688</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Patents in Europe
ent://SD_ILS/0/SD_ILS:235932
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Leith, Philip.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511495267">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Effective prototyping for software makers
ent://SD_ILS/0/SD_ILS:146582
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Arnowitz, Jonathan. Arent, Michael. Berger, Nevin.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120885688">http://www.sciencedirect.com/science/book/9780120885688</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Experimental Robotics
ent://SD_ILS/0/SD_ILS:185661
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Brugali, Davide. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68951-5">http://dx.doi.org/10.1007/978-3-540-68951-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOA? Serviceorientierung in Business und Software
ent://SD_ILS/0/SD_ILS:186383
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Masak, Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71872-7">http://dx.doi.org/10.1007/978-3-540-71872-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Techniques: Design for Quality
ent://SD_ILS/0/SD_ILS:166267
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Sacha, Krzysztof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-39388-9">http://dx.doi.org/10.1007/978-0-387-39388-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Measurement Establish — Extract — Evaluate — Execute
ent://SD_ILS/0/SD_ILS:186335
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Ebert, Christof. author. Dumke, Reiner. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71649-5">http://dx.doi.org/10.1007/978-3-540-71649-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software deployment, updating, and patching
ent://SD_ILS/0/SD_ILS:289409
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Stackpole, Bill. Hanrion, Patrick.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420013290">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software defined radio the software communications architecture
ent://SD_ILS/0/SD_ILS:302894
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Bard, John. Kovarik, Vincent J. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=291020">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=291020</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470865200">http://dx.doi.org/10.1002/9780470865200</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=22762">http://www.books24x7.com/marc.asp?bookid=22762</a>
HathiTrust Digital Library, Limited view (search only) <a href="http://catalog.hathitrust.org/api/volumes/oclc/72871314.html">http://catalog.hathitrust.org/api/volumes/oclc/72871314.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development IV
ent://SD_ILS/0/SD_ILS:187770
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77042-8">http://dx.doi.org/10.1007/978-3-540-77042-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digitale Hardware/Software-Systeme Synthese und Optimierung
ent://SD_ILS/0/SD_ILS:184984
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-46824-0">http://dx.doi.org/10.1007/978-3-540-46824-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development III
ent://SD_ILS/0/SD_ILS:187349
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75162-5">http://dx.doi.org/10.1007/978-3-540-75162-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software testing testing across the entire software development life cycle
ent://SD_ILS/0/SD_ILS:249509
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Everett, Gerald D., 1943- McLeod, Raymond. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5201507">http://ieeexplore.ieee.org/servlet/opac?bknumber=5201507</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated defect prevention best practices in software management
ent://SD_ILS/0/SD_ILS:249514
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Huizinga, Dorota. Kolawa, Adam. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5201515">http://ieeexplore.ieee.org/servlet/opac?bknumber=5201515</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software engineering Barry W. Boehm's lifetime contributions to software development, management, and research
ent://SD_ILS/0/SD_ILS:249835
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Selby, Richard W.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989528">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989528</a>
IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5989528">http://ieeexplore.ieee.org/servlet/opac?bknumber=5989528</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187849
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Lumpe, Markus. editor. Vanderperren, Wim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77351-1">http://dx.doi.org/10.1007/978-3-540-77351-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computergrafik und Bildverarbeitung Alles für Studium und Praxis — Bildverarbeitungswerkzeuge, Beispiel-Software und interaktive Vorlesungen online verfügbar
ent://SD_ILS/0/SD_ILS:199333
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Nischwitz, Alfred. author. Fischer, Max. author. Haberäcker, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9190-7">http://dx.doi.org/10.1007/978-3-8348-9190-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing with blends conceptual foundations of human-computer interaction and software engineering
ent://SD_ILS/0/SD_ILS:219998
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Imaz, Manuel. Benyon, David.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267285">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267285</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-objective group decision making methods, software and applications with fuzzy set techniques
ent://SD_ILS/0/SD_ILS:144273
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Lu, Jie, 1957-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=203937">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=203937</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Making Beautiful Deep-Sky Images Astrophotography with Affordable Equipment and Software
ent://SD_ILS/0/SD_ILS:152064
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Parker, Greg. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-71353-3">http://dx.doi.org/10.1007/978-0-387-71353-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Verification and Validation An Engineering and Scientific Approach
ent://SD_ILS/0/SD_ILS:166391
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Fisher, Marcus S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-47939-2">http://dx.doi.org/10.1007/978-0-387-47939-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grid-Based Problem Solving Environments IFIP TC2/ WG 2.5 Working Conference on Grid-Based Problem Solving Environments: Implications for Development and Deployment of Numerical Software July 17–21, 2006, Prescott, Arizona, USA
ent://SD_ILS/0/SD_ILS:167074
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Gaffney, Patrick W. editor. Pool, James C. T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-73659-4">http://dx.doi.org/10.1007/978-0-387-73659-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances and Innovations in Systems, Computing Sciences and Software Engineering
ent://SD_ILS/0/SD_ILS:169736
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Elleithy, Khaled. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6264-3">http://dx.doi.org/10.1007/978-1-4020-6264-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling
ent://SD_ILS/0/SD_ILS:186381
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Pastor, Oscar. author. Molina, Juan Carlos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71868-0">http://dx.doi.org/10.1007/978-3-540-71868-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186385
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Guelfi, Nicolas. editor. Buchs, Didier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71876-5">http://dx.doi.org/10.1007/978-3-540-71876-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186537
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72426-1">http://dx.doi.org/10.1007/978-3-540-72426-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
ent://SD_ILS/0/SD_ILS:186566
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72522-0">http://dx.doi.org/10.1007/978-3-540-72522-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186892
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73551-9">http://dx.doi.org/10.1007/978-3-540-73551-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications
ent://SD_ILS/0/SD_ILS:186753
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73131-3">http://dx.doi.org/10.1007/978-3-540-73131-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187397
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Abrahamsson, Pekka. editor. Baddoo, Nathan. editor. Margaria, Tiziana. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75381-0">http://dx.doi.org/10.1007/978-3-540-75381-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187645
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76650-6">http://dx.doi.org/10.1007/978-3-540-76650-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems
ent://SD_ILS/0/SD_ILS:169514
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Arslan, Hüseyin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5542-3">http://dx.doi.org/10.1007/978-1-4020-5542-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Screen- und Interfacedesign Gestaltung und Usability für Hard- und Software
ent://SD_ILS/0/SD_ILS:183565
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Stapelkamp, Torsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-32950-3">http://dx.doi.org/10.1007/978-3-540-32950-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software
ent://SD_ILS/0/SD_ILS:184960
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Diehl, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-46505-8">http://dx.doi.org/10.1007/978-3-540-46505-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
ent://SD_ILS/0/SD_ILS:185699
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69061-0">http://dx.doi.org/10.1007/978-3-540-69061-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185845
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Kühne, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69489-2">http://dx.doi.org/10.1007/978-3-540-69489-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186213
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71209-1">http://dx.doi.org/10.1007/978-3-540-71209-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186219
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71229-9">http://dx.doi.org/10.1007/978-3-540-71229-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186237
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71289-3">http://dx.doi.org/10.1007/978-3-540-71289-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:186242
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71301-2">http://dx.doi.org/10.1007/978-3-540-71301-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186244
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Nicola, Rocco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71316-6">http://dx.doi.org/10.1007/978-3-540-71316-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186267
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Seidl, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71389-0">http://dx.doi.org/10.1007/978-3-540-71389-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186619
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Lee, Yann-Hang. editor. Kim, Heung-Nam. editor. Kim, Jong. editor. Park, Yongwan. editor. Yang, Laurence T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72685-2">http://dx.doi.org/10.1007/978-3-540-72685-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186860
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Münch, Jürgen. editor. Abrahamsson, Pekka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73460-4">http://dx.doi.org/10.1007/978-3-540-73460-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:187442
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Meyer, Bertrand. editor. Joseph, Mathai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75542-5">http://dx.doi.org/10.1007/978-3-540-75542-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187774
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77050-3">http://dx.doi.org/10.1007/978-3-540-77050-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analog synthesizers understanding, performing, buying: from the legacy of Moog to software synthesis
ent://SD_ILS/0/SD_ILS:145166
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Jenkins, Mark.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240520728">http://www.sciencedirect.com/science/book/9780240520728</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Development, Adoption and Innovation IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland
ent://SD_ILS/0/SD_ILS:166948
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Feller, Joseph. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Sillitti, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-72486-7">http://dx.doi.org/10.1007/978-0-387-72486-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Software-Defined GPS and Galileo Receiver A Single-Frequency Approach
ent://SD_ILS/0/SD_ILS:168185
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Borre, Kai. author. Akos, Dennis M. author. Bertelsen, Nicolaj. author. Rinder, Peter. author. Jensen, Søren Holdt. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4540-3">http://dx.doi.org/10.1007/978-0-8176-4540-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing Humans Biting and Humorous Tales of a Software Engineering Manager
ent://SD_ILS/0/SD_ILS:170938
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Lopp, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0271-4">http://dx.doi.org/10.1007/978-1-4302-0271-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Geospatial Web How Geobrowsers, Social Software and the Web 2.0 are Shaping the Network Society
ent://SD_ILS/0/SD_ILS:175585
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Scharl, Arno. editor. Tochtermann, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-827-2">http://dx.doi.org/10.1007/978-1-84628-827-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling in Mechanical Engineering and Mechatronics Towards Autonomous Intelligent Software Models
ent://SD_ILS/0/SD_ILS:175624
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Avgoustinov, Nikolay. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-909-5">http://dx.doi.org/10.1007/978-1-84628-909-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186088
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70889-6">http://dx.doi.org/10.1007/978-3-540-70889-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:186111
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70945-9">http://dx.doi.org/10.1007/978-3-540-70945-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Product Lines in Action The Best Industrial Practice in Product Line Engineering
ent://SD_ILS/0/SD_ILS:186280
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Linden, Frank. author. Schmid, Klaus. author. Rommes, Eelco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71437-8">http://dx.doi.org/10.1007/978-3-540-71437-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186723
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Sawyer, Pete. editor. Paech, Barbara. editor. Heymans, Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73031-6">http://dx.doi.org/10.1007/978-3-540-73031-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186733
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73066-8">http://dx.doi.org/10.1007/978-3-540-73066-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186742
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73101-6">http://dx.doi.org/10.1007/978-3-540-73101-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186783
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Abdennadher, Nabil. editor. Kordon, Fabrice. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73230-3">http://dx.doi.org/10.1007/978-3-540-73230-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186828
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73370-6">http://dx.doi.org/10.1007/978-3-540-73370-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187216
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Biryukov, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74619-5">http://dx.doi.org/10.1007/978-3-540-74619-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187339
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Oquendo, Flavio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75132-8">http://dx.doi.org/10.1007/978-3-540-75132-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:187470
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Obermaisser, Roman. editor. Nah, Yunmook. editor. Puschner, Peter. editor. Rammig, Franz J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75664-4">http://dx.doi.org/10.1007/978-3-540-75664-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187479
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75698-9">http://dx.doi.org/10.1007/978-3-540-75698-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187896
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77505-8">http://dx.doi.org/10.1007/978-3-540-77505-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187931
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Overhage, Sven. editor. Szyperski, Clemens A. editor. Reussner, Ralf. editor. Stafford, Judith A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77619-2">http://dx.doi.org/10.1007/978-3-540-77619-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
What every engineer should know about software engineering
ent://SD_ILS/0/SD_ILS:285747
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Laplante, Phillip A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420006742">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linear mixed models a practical guide using statistical software
ent://SD_ILS/0/SD_ILS:287587
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author West, Brady. Welch, Kathleen B. Galecki, Andrzej T.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420010435">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied software risk management a guide for software project managers
ent://SD_ILS/0/SD_ILS:289303
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Pandian, C. Ravindranath.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9780849305313">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Effective software maintenance and evolution a reuse-based approach
ent://SD_ILS/0/SD_ILS:289429
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Jarzabek, Stan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420013115">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software VNA and microwave network design and characterisation
ent://SD_ILS/0/SD_ILS:297493
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Wu, Zhipeng.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0741/2007298044-b.html">http://catdir.loc.gov/catdir/enhancements/fy0741/2007298044-b.html</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470513217">http://dx.doi.org/10.1002/9780470513217</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Envelopment Analysis A Comprehensive Text with Models, Applications, References and DEA-Solver Software
ent://SD_ILS/0/SD_ILS:166309
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Cooper, William W. author. Seiford, Lawrence M. author. Tone, Kaoru. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-45283-8">http://dx.doi.org/10.1007/978-0-387-45283-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
How to cheat in Adobe Flash CS3 the art of design and animation
ent://SD_ILS/0/SD_ILS:145614
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Georgenes, Chris.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240520582">http://www.sciencedirect.com/science/book/9780240520582</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Web: Concepts, Technologies and Applications
ent://SD_ILS/0/SD_ILS:175521
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-710-7">http://dx.doi.org/10.1007/978-1-84628-710-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive Bidding in Single-Sided Auctions Under Uncertainty An Agent-based Approach in Market Engineering
ent://SD_ILS/0/SD_ILS:198017
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Dinther, Clemens. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8113-4">http://dx.doi.org/10.1007/978-3-7643-8113-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Web Services Technology
ent://SD_ILS/0/SD_ILS:198069
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Pautasso, Cesare. editor. Bussler, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8448-7">http://dx.doi.org/10.1007/978-3-7643-8448-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Agent Modeling Language - AML A Comprehensive Approach to Modeling Multi-Agent Systems
ent://SD_ILS/0/SD_ILS:198053
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Cervenka, Radovan. author. Trencansky, Ivan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8396-1">http://dx.doi.org/10.1007/978-3-7643-8396-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metasploit toolkit for penetration testing, exploit development, and vulnerability research
ent://SD_ILS/0/SD_ILS:306469
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Maynor, David. Mookhey, K. K.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781597490740">http://www.sciencedirect.com/science/book/9781597490740</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187419
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Perrott, Ronald. editor. Chapman, Barbara M. editor. Subhlok, Jaspal. editor. Mello, Rodrigo Fernandes. editor. Yang, Laurence T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75444-2">http://dx.doi.org/10.1007/978-3-540-75444-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187420
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75454-1">http://dx.doi.org/10.1007/978-3-540-75454-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings
ent://SD_ILS/0/SD_ILS:187428
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Georgakopoulos, Dimitrios. editor. Ritter, Norbert. editor. Benatallah, Boualem. editor. Zirpins, Christian. editor. Feuerlicht, George. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75492-3">http://dx.doi.org/10.1007/978-3-540-75492-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187429
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Garay, Juan A. editor. Lenstra, Arjen K. editor. Mambo, Masahiro. editor. Peralta, René. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75496-1">http://dx.doi.org/10.1007/978-3-540-75496-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Metaheuristics 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187434
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Bartz-Beielstein, Thomas. editor. Blesa Aguilera, María José. editor. Blum, Christian. editor. Naujoks, Boris. editor. Roli, Andrea. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75514-2">http://dx.doi.org/10.1007/978-3-540-75514-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:187269
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74800-7">http://dx.doi.org/10.1007/978-3-540-74800-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security Protocols 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187809
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Christianson, Bruce. editor. Crispo, Bruno. editor. Malcolm, James A. editor. Roe, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77156-2">http://dx.doi.org/10.1007/978-3-540-77156-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology – INDOCRYPT 2007 8th International Conference on Cryptology in India, Chennai, India, December 9-13, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187767
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Srinathan, K. editor. Rangan, C. Pandu. editor. Yung, Moti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77026-8">http://dx.doi.org/10.1007/978-3-540-77026-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187769
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Cavazza, Marc. editor. Donikian, Stéphane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77039-8">http://dx.doi.org/10.1007/978-3-540-77039-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187846
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Burke, Edmund K. editor. Rudová, Hana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77345-0">http://dx.doi.org/10.1007/978-3-540-77345-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Selected Areas in Cryptography 14th International Workshop, SAC 2007, Ottawa, Canada, August 16-17, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187851
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Adams, Carlisle. editor. Miri, Ali. editor. Wiener, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77360-3">http://dx.doi.org/10.1007/978-3-540-77360-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Financial Cryptography and Data Security 11th International Conference, FC 2007, and 1st International Workshop on Usable Security, USEC 2007, Scarborough, Trinidad and Tobago, February 12-16, 2007. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187854
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Dietrich, Sven. editor. Dhamija, Rachna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77366-5">http://dx.doi.org/10.1007/978-3-540-77366-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187859
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Sokolsky, Oleg. editor. Taşıran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77395-5">http://dx.doi.org/10.1007/978-3-540-77395-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187866
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Kordon, Fabrice. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77419-8">http://dx.doi.org/10.1007/978-3-540-77419-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Java als erste Programmiersprache Vom Einsteiger zum Profi
ent://SD_ILS/0/SD_ILS:203791
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Heinisch, Cornelia. author. Müller-Hofmann, Frank. author. Goll, Joachim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8351-9101-3">http://dx.doi.org/10.1007/978-3-8351-9101-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aritmetica: un approccio computazionale
ent://SD_ILS/0/SD_ILS:204211
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Barozzi, Giulio Cesare. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-88-470-0582-2">http://dx.doi.org/10.1007/978-88-470-0582-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Masterkurs Client/Server- Programmierung mit Java Anwendungen entwickeln mit JDBC, Sockets, XML-RPC, RMI und JMS - Kompakt und praxisnah - Zahlreiche Programmbeispiele und Aufgaben
ent://SD_ILS/0/SD_ILS:199324
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Abts, Dietmar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9180-8">http://dx.doi.org/10.1007/978-3-8348-9180-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Profikurs ABAP® Konkrete, praxisorientierte Lösungen - Tipps, Tricks und jede Menge Erfahrung
ent://SD_ILS/0/SD_ILS:199348
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Theobald, Patrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9207-2">http://dx.doi.org/10.1007/978-3-8348-9207-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Effiziente Softwareentwicklung mit Referenzmodellen
ent://SD_ILS/0/SD_ILS:198369
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Becker, Jörg. editor. Delfmann, Patrick. editor. Rieke, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7908-1994-6">http://dx.doi.org/10.1007/978-3-7908-1994-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous bidding agents strategies and lessons from the trading agent competition
ent://SD_ILS/0/SD_ILS:220009
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Wellman, Michael P. Greenwald, Amy. Stone, Peter, 1971-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267448">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267448</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Acoustic and MIDI orchestration for the contemporary composer
ent://SD_ILS/0/SD_ILS:145995
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Pejrolo, Andrea. DeRosa, Rich.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240520216">http://www.sciencedirect.com/science/book/9780240520216</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Outlook E12
ent://SD_ILS/0/SD_ILS:146406
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781555583460">http://www.sciencedirect.com/science/book/9781555583460</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
How to cheat at configuring Open Source security tools
ent://SD_ILS/0/SD_ILS:145578
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Alder, Raven.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781597491709">http://www.sciencedirect.com/science/book/9781597491709</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
UML 2 certification guide fundamental and intermediate exams
ent://SD_ILS/0/SD_ILS:146796
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Weilkiens, Tim. Oestereich, Bernd.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123735850">http://www.sciencedirect.com/science/book/9780123735850</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web application vulnerabilities detect, exploit, prevent
ent://SD_ILS/0/SD_ILS:146908
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Cross, Michael, 1965-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781597492096">http://www.sciencedirect.com/science/book/9781597492096</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metasploit Toolkit for Penetration Testing, Exploit Development, And Vulnerabiity Research
ent://SD_ILS/0/SD_ILS:147051
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781597490740">http://www.sciencedirect.com/science/book/9781597490740</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developing quality metadata building innovative tools and workflow solutions
ent://SD_ILS/0/SD_ILS:147472
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Wootton, Cliff.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780240808697">http://www.sciencedirect.com/science/book/9780240808697</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptography for developers
ent://SD_ILS/0/SD_ILS:147686
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author St. Denis, Tom. Johnson, Simon.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781597491044">http://www.sciencedirect.com/science/book/9781597491044</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sarbanes-Oxley IT compliance using open source tools, 2E
ent://SD_ILS/0/SD_ILS:149031
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Lahti, Christian. Peterson, Roderick.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781597492164">http://www.sciencedirect.com/science/book/9781597492164</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
More Math Into Latex 4th Edition
ent://SD_ILS/0/SD_ILS:166643
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Grätzer, George. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68852-7">http://dx.doi.org/10.1007/978-0-387-68852-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Graph-Theoretic Approach to Enterprise Network Dynamics
ent://SD_ILS/0/SD_ILS:168175
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-8176-4519-9">http://dx.doi.org/10.1007/978-0-8176-4519-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Embedded Processors A Low Power Perspective
ent://SD_ILS/0/SD_ILS:169621
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Henkel, Jörg. editor. Parameswaran, Sri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5869-1">http://dx.doi.org/10.1007/978-1-4020-5869-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Memory Optimization Techniques for Low-Power Embedded Processors
ent://SD_ILS/0/SD_ILS:169629
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Verma, Manish. author. Marwedel, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5897-4">http://dx.doi.org/10.1007/978-1-4020-5897-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
ent://SD_ILS/0/SD_ILS:169706
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6153-0">http://dx.doi.org/10.1007/978-1-4020-6153-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
ent://SD_ILS/0/SD_ILS:169733
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6254-4">http://dx.doi.org/10.1007/978-1-4020-6254-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Techniques virales avancées
ent://SD_ILS/0/SD_ILS:176382
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Filiol, Éric. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-2-287-33888-5">http://dx.doi.org/10.1007/978-2-287-33888-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
IPv6 in Practice A Unixer’s Guide to the Next Generation Internet
ent://SD_ILS/0/SD_ILS:185049
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Stockebrand, Benedikt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-48001-3">http://dx.doi.org/10.1007/978-3-540-48001-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intrusion Detection effektiv! Modellierung und Analyse von Angriffsmustern
ent://SD_ILS/0/SD_ILS:185059
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Meier, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-48258-1">http://dx.doi.org/10.1007/978-3-540-48258-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186092
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70901-5">http://dx.doi.org/10.1007/978-3-540-70901-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Drawing 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:186094
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Kaufmann, Michael. editor. Wagner, Dorothea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70904-6">http://dx.doi.org/10.1007/978-3-540-70904-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186099
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Thomas, Wolfgang. editor. Weil, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70918-3">http://dx.doi.org/10.1007/978-3-540-70918-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186103
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Obayashi, Shigeru. editor. Deb, Kalyanmoy. editor. Poloni, Carlo. editor. Hiroyasu, Tomoyuki. editor. Murata, Tadahiko. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70928-2">http://dx.doi.org/10.1007/978-3-540-70928-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Cryptography 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186107
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Vadhan, Salil P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70936-7">http://dx.doi.org/10.1007/978-3-540-70936-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:186110
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Boyanov, Todor. editor. Dimova, Stefka. editor. Georgiev, Krassimir. editor. Nikolov, Geno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70942-8">http://dx.doi.org/10.1007/978-3-540-70942-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186114
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70952-7">http://dx.doi.org/10.1007/978-3-540-70952-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Universal Access in Ambient Intelligence Environments 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:186147
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Stephanidis, Constantine. editor. Pieper, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71025-7">http://dx.doi.org/10.1007/978-3-540-71025-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pixelization Paradigm First Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186148
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Lévy, Pierre P. editor. Grand, Bénédicte. editor. Poulet, François. editor. Soto, Michel. editor. Darago, Laszlo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71027-1">http://dx.doi.org/10.1007/978-3-540-71027-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186151
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71035-6">http://dx.doi.org/10.1007/978-3-540-71035-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
ent://SD_ILS/0/SD_ILS:186386
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Liblit, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71878-9">http://dx.doi.org/10.1007/978-3-540-71878-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects of Bioinformatics
ent://SD_ILS/0/SD_ILS:186396
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Böckenhauer, Hans-Joachim. author. Bongartz, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71913-7">http://dx.doi.org/10.1007/978-3-540-71913-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:186411
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71956-4">http://dx.doi.org/10.1007/978-3-540-71956-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186428
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71998-4">http://dx.doi.org/10.1007/978-3-540-71998-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic
ent://SD_ILS/0/SD_ILS:186429
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71999-1">http://dx.doi.org/10.1007/978-3-540-71999-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186437
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author LaMarca, Anthony. editor. Langheinrich, Marc. editor. Truong, Khai N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72037-9">http://dx.doi.org/10.1007/978-3-540-72037-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186508
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Lehner, Wolfgang. editor. Meyer, Norbert. editor. Streit, Achim. editor. Stewart, Craig. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72337-0">http://dx.doi.org/10.1007/978-3-540-72337-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186516
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Cérin, Christophe. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72360-8">http://dx.doi.org/10.1007/978-3-540-72360-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:186522
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zeng-Guang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72383-7">http://dx.doi.org/10.1007/978-3-540-72383-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:186527
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zengguang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72393-6">http://dx.doi.org/10.1007/978-3-540-72393-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:186528
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zengguang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72395-0">http://dx.doi.org/10.1007/978-3-540-72395-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186529
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72397-4">http://dx.doi.org/10.1007/978-3-540-72397-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186557
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72504-6">http://dx.doi.org/10.1007/978-3-540-72504-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management Concepts, Languages, Architectures
ent://SD_ILS/0/SD_ILS:186879
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73522-9">http://dx.doi.org/10.1007/978-3-540-73522-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable and Adaptable Networks and Services 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186883
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Pras, Aiko. editor. Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73530-4">http://dx.doi.org/10.1007/978-3-540-73530-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186886
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Barker, Steve. editor. Ahn, Gail-Joon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73538-0">http://dx.doi.org/10.1007/978-3-540-73538-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186889
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Lin, Guohui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73545-8">http://dx.doi.org/10.1007/978-3-540-73545-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomic and Trusted Computing 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186890
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Xiao, Bin. editor. Yang, Laurence T. editor. Ma, Jianhua. editor. Muller-Schloer, Christian. editor. Hua, Yu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73547-2">http://dx.doi.org/10.1007/978-3-540-73547-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unconventional Computation 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186893
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Akl, Selim G. editor. Calude, Cristian S. editor. Dinneen, Michael J. editor. Rozenberg, Grzegorz. editor. Wareham, H. Todd. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73554-0">http://dx.doi.org/10.1007/978-3-540-73554-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Optimization and Applications First International Conference, COCOA 2007, Xi’an, China, August 14-16, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186894
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Dress, Andreas. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73556-4">http://dx.doi.org/10.1007/978-3-540-73556-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186903
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Ernst, Erik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73589-2">http://dx.doi.org/10.1007/978-3-540-73589-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:186906
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73595-3">http://dx.doi.org/10.1007/978-3-540-73595-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186977
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Preparata, Franco P. editor. Fang, Qizhi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73814-5">http://dx.doi.org/10.1007/978-3-540-73814-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:186979
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73817-6">http://dx.doi.org/10.1007/978-3-540-73817-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186987
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Muggleton, Stephen. editor. Otero, Ramon. editor. Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73847-3">http://dx.doi.org/10.1007/978-3-540-73847-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186991
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73859-6">http://dx.doi.org/10.1007/978-3-540-73859-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Data Mining and Applications Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:186993
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Alhajj, Reda. editor. Gao, Hong. editor. Li, Xue. editor. Li, Jianzhong. editor. Zaïane, Osmar R. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73871-8">http://dx.doi.org/10.1007/978-3-540-73871-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Immune Systems 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187005
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Castro, Leandro Nunes. editor. Zuben, Fernando José. editor. Knidel, Helder. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73922-7">http://dx.doi.org/10.1007/978-3-540-73922-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Distributed Systems
ent://SD_ILS/0/SD_ILS:187012
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Fokkink, Wan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73938-8">http://dx.doi.org/10.1007/978-3-540-73938-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187013
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73940-1">http://dx.doi.org/10.1007/978-3-540-73940-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Data Structures 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187016
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Dehne, Frank. editor. Sack, Jörg-Rüdiger. editor. Zeh, Norbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73951-7">http://dx.doi.org/10.1007/978-3-540-73951-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:187172
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74477-1">http://dx.doi.org/10.1007/978-3-540-74477-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Independent Component Analysis and Signal Separation 7th International Conference, ICA 2007, London, UK, September 9-12, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187178
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Davies, Mike E. editor. James, Christopher J. editor. Abdallah, Samer A. editor. Plumbley, Mark D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74494-8">http://dx.doi.org/10.1007/978-3-540-74494-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187182
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Diekert, Volker. editor. Volkov, Mikhail V. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74510-5">http://dx.doi.org/10.1007/978-3-540-74510-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187207
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Schneider, Klaus. editor. Brandt, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74591-4">http://dx.doi.org/10.1007/978-3-540-74591-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Database and XMLTechnologies 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187387
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Barbosa, Denilson. editor. Bonifati, Angela. editor. Bellahsène, Zohra. editor. Hunt, Ela. editor. Unland, Rainer. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75288-2">http://dx.doi.org/10.1007/978-3-540-75288-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187388
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75292-9">http://dx.doi.org/10.1007/978-3-540-75292-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad-Hoc, Mobile, and Wireless Networks 6th International Conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007, Proceeedings
ent://SD_ILS/0/SD_ILS:187277
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Kranakis, Evangelos. editor. Opatrny, Jaroslav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74823-6">http://dx.doi.org/10.1007/978-3-540-74823-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Next Generation Teletraffic and Wired/Wireless Advanced Networking 7th International Conference, NEW2AN 2007 St. Petersburg, Russia, September 10-14, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187282
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Sayenko, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74833-5">http://dx.doi.org/10.1007/978-3-540-74833-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:187285
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Brandstädt, Andreas. editor. Kratsch, Dieter. editor. Müller, Haiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74839-7">http://dx.doi.org/10.1007/978-3-540-74839-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
UbiComp 2007: Ubiquitous Computing 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187289
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Krumm, John. editor. Abowd, Gregory D. editor. Seneviratne, Aruna. editor. Strang, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74853-3">http://dx.doi.org/10.1007/978-3-540-74853-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:187411
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75414-5">http://dx.doi.org/10.1007/978-3-540-75414-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence and Security International Conference, CIS 2006. Guangzhou, China, November 3-6, 2006. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187139
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Wang, Yuping. editor. Cheung, Yiu-ming. editor. Liu, Hailin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74377-4">http://dx.doi.org/10.1007/978-3-540-74377-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187335
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Saglietti, Francesca. editor. Oster, Norbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75101-4">http://dx.doi.org/10.1007/978-3-540-75101-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187162
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74456-6">http://dx.doi.org/10.1007/978-3-540-74456-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Selected Areas in Cryptography 13th International Workshop, SAC 2006, Montreal, Canada, August 17-18, 2006 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187165
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Biham, Eli. editor. Youssef, Amr M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74462-7">http://dx.doi.org/10.1007/978-3-540-74462-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187167
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Kermarrec, Anne-Marie. editor. Bougé, Luc. editor. Priol, Thierry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74466-5">http://dx.doi.org/10.1007/978-3-540-74466-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:187170
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74472-6">http://dx.doi.org/10.1007/978-3-540-74472-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187637
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Masuzawa, Toshimitsu. editor. Tixeuil, Sébastien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76627-8">http://dx.doi.org/10.1007/978-3-540-76627-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187640
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76637-7">http://dx.doi.org/10.1007/978-3-540-76637-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Systems Biology VIII
ent://SD_ILS/0/SD_ILS:187641
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Priami, Corrado. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76639-1">http://dx.doi.org/10.1007/978-3-540-76639-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187697
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Xu, Ming. editor. Zhan, Yinwei. editor. Cao, Jiannong. editor. Liu, Yijun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76837-1">http://dx.doi.org/10.1007/978-3-540-76837-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187795
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Tovar, Eduardo. editor. Tsigas, Philippas. editor. Fouchal, Hacène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77096-1">http://dx.doi.org/10.1007/978-3-540-77096-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Visual Computing Third International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:187704
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Paragios, Nikos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76856-2">http://dx.doi.org/10.1007/978-3-540-76856-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings
ent://SD_ILS/0/SD_ILS:187800
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77115-9">http://dx.doi.org/10.1007/978-3-540-77115-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:187717
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Meersman, Robert. editor. Tari, Zahir. editor. Herrero, Pilar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76888-3">http://dx.doi.org/10.1007/978-3-540-76888-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:187718
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Meersman, Robert. editor. Tari, Zahir. editor. Herrero, Pilar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76890-6">http://dx.doi.org/10.1007/978-3-540-76890-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology – ASIACRYPT 2007 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187720
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Kurosawa, Kaoru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76900-2">http://dx.doi.org/10.1007/978-3-540-76900-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187727
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Cervesato, Iliano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76929-3">http://dx.doi.org/10.1007/978-3-540-76929-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing – HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187817
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Aluru, Srinivas. editor. Parashar, Manish. editor. Badrinath, Ramamurthy. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77220-0">http://dx.doi.org/10.1007/978-3-540-77220-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187819
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Boztaş, Serdar. editor. Lu, Hsiao-Feng (Francis). editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77224-8">http://dx.doi.org/10.1007/978-3-540-77224-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Data Engineering and Automated Learning - IDEAL 2007 8th International Conference, Birmingham, UK, December 16-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187820
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Yin, Hujun. editor. Tino, Peter. editor. Corchado, Emilio. editor. Byrne, Will. editor. Yao, Xin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77226-2">http://dx.doi.org/10.1007/978-3-540-77226-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial and Algorithmic Aspects of Networking 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:187834
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Janssen, Jeannette. editor. Prałat, Paweł. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77294-1">http://dx.doi.org/10.1007/978-3-540-77294-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence
ent://SD_ILS/0/SD_ILS:187835
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Lungarella, Max. editor. Iida, Fumiya. editor. Bongard, Josh. editor. Pfeifer, Rolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77296-5">http://dx.doi.org/10.1007/978-3-540-77296-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design for Manufacturability and Yield for Nano-Scale CMOS
ent://SD_ILS/0/SD_ILS:169402
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5188-3">http://dx.doi.org/10.1007/978-1-4020-5188-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Processor Design System-on-Chip Computing for ASICs and FPGAs
ent://SD_ILS/0/SD_ILS:169510
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Nurmi, Jari. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5530-0">http://dx.doi.org/10.1007/978-1-4020-5530-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimized ASIP Synthesis from Architecture Description Language Models
ent://SD_ILS/0/SD_ILS:169564
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Schliebusch, Oliver. author. Meyr, Heinrich. author. Leupers, Rainer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5686-4">http://dx.doi.org/10.1007/978-1-4020-5686-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer-Aided Design of User Interfaces V
ent://SD_ILS/0/SD_ILS:169607
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Calvary, Gaëlle. editor. Pribeanu, Costin. editor. Santucci, Giuseppe. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5820-2">http://dx.doi.org/10.1007/978-1-4020-5820-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time Object Uniform Design Methodology with UML
ent://SD_ILS/0/SD_ILS:169647
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Duc, Bui Minh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5977-3">http://dx.doi.org/10.1007/978-1-4020-5977-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
ent://SD_ILS/0/SD_ILS:169705
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Huss, Sorin A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6149-3">http://dx.doi.org/10.1007/978-1-4020-6149-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolving Connectionist Systems The Knowledge Engineering Approach
ent://SD_ILS/0/SD_ILS:175393
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Kasabov, Nikola. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-347-5">http://dx.doi.org/10.1007/978-1-84628-347-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation-based Algorithms for Markov Decision Processes
ent://SD_ILS/0/SD_ILS:175513
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Chang, Hyeong Soo. author. Hu, Jiaqiao. author. Fu, Michael C. author. Marcus, Steven I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-690-2">http://dx.doi.org/10.1007/978-1-84628-690-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guerrilla Capacity Planning A Tactical Approach to Planning for Highly Scalable Applications and Services
ent://SD_ILS/0/SD_ILS:182503
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Gunther, Neil J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-31010-5">http://dx.doi.org/10.1007/978-3-540-31010-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynaxity Management von Dynamik und Komplexität im Softwarebau
ent://SD_ILS/0/SD_ILS:182867
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Hamilton, Patrick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-31744-9">http://dx.doi.org/10.1007/978-3-540-31744-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Entropy, Search, Complexity
ent://SD_ILS/0/SD_ILS:183501
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Csiszár, Imre. editor. Katona, Gyula O. H. editor. Tardos, Gábor. editor. Wiener, Gábor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-32777-6">http://dx.doi.org/10.1007/978-3-540-32777-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enabling Semantic Web Services The Web Service Modeling Ontology
ent://SD_ILS/0/SD_ILS:184092
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Fensel, Dieter. author. Lausen, Holger. author. Bruijn, Jos. author. Stollberg, Michael. author. Roman, Dumitru. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-34520-6">http://dx.doi.org/10.1007/978-3-540-34520-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performancemanagement für serviceorientierte JAVA-Anwendungen Werkzeug- und Methodenunterstützung im Spannungsfeld von Entwicklung und Betrieb
ent://SD_ILS/0/SD_ILS:184396
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Schmalenbach, Christof. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-36632-4">http://dx.doi.org/10.1007/978-3-540-36632-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Services with OpenAFS for Enterprise and Education
ent://SD_ILS/0/SD_ILS:184397
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Milicchio, Franco. author. Gehrke, Wolfgang A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-36634-8">http://dx.doi.org/10.1007/978-3-540-36634-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ITIL Das IT-Servicemanagement Framework
ent://SD_ILS/0/SD_ILS:184653
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Köhler, Peter T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-37973-7">http://dx.doi.org/10.1007/978-3-540-37973-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling of Information Systems
ent://SD_ILS/0/SD_ILS:184725
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Olivé, Antoni. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-39390-0">http://dx.doi.org/10.1007/978-3-540-39390-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relationale und postrelationale Datenbanken
ent://SD_ILS/0/SD_ILS:184970
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Meier, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-46555-3">http://dx.doi.org/10.1007/978-3-540-46555-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Einführung in die Constraint-Programmierung Grundlagen, Methoden, Sprachen, Anwendungen
ent://SD_ILS/0/SD_ILS:185395
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Hofstedt, Petra. author. Wolf, Armin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68194-6">http://dx.doi.org/10.1007/978-3-540-68194-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grid Computing Experiment Management, Tool Integration, and Scientific Workflows
ent://SD_ILS/0/SD_ILS:185754
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69262-1">http://dx.doi.org/10.1007/978-3-540-69262-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:185852
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69507-3">http://dx.doi.org/10.1007/978-3-540-69507-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approximation and Online Algorithms 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:185855
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Erlebach, Thomas. editor. Kaklamanis, Christos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11970125">http://dx.doi.org/10.1007/11970125</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:185860
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69554-7">http://dx.doi.org/10.1007/978-3-540-69554-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multimodal Technologies for Perception of Humans First International Evaluation Workshop on Classification of Events, Activities and Relationships, CLEAR 2006, Southampton, UK, April 6-7, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185865
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Stiefelhagen, Rainer. editor. Garofolo, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69568-4">http://dx.doi.org/10.1007/978-3-540-69568-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:185868
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Hanus, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69611-7">http://dx.doi.org/10.1007/978-3-540-69611-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:186085
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70881-0">http://dx.doi.org/10.1007/978-3-540-70881-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete Geometry, Combinatorics and Graph Theory 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, Xi’an, China, November 22-24, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186020
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Akiyama, Jin. editor. Chen, William Y. C. editor. Kano, Mikio. editor. Li, Xueliang. editor. Yu, Qinglin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70666-3">http://dx.doi.org/10.1007/978-3-540-70666-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complex Motion First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004. Revised Papers
ent://SD_ILS/0/SD_ILS:185917
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Jähne, Bernd. editor. Mester, Rudolf. editor. Barth, Erhardt. editor. Scharr, Hanno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69866-1">http://dx.doi.org/10.1007/978-3-540-69866-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:185918
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69868-5">http://dx.doi.org/10.1007/978-3-540-69868-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:185957
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Dubitzky, Werner. editor. Schuster, Assaf. editor. Sloot, Peter M. A. editor. Schroeder, Michael. editor. Romberg, Mathilde. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69968-2">http://dx.doi.org/10.1007/978-3-540-69968-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security Applications 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186175
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Lee, Jae Kwang. editor. Yi, Okyeon. editor. Yung, Moti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71093-6">http://dx.doi.org/10.1007/978-3-540-71093-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186197
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71156-8">http://dx.doi.org/10.1007/978-3-540-71156-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186230
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Lukowicz, Paul. editor. Thiele, Lothar. editor. Tröster, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71270-1">http://dx.doi.org/10.1007/978-3-540-71270-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:186247
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71322-7">http://dx.doi.org/10.1007/978-3-540-71322-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:186259
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71351-7">http://dx.doi.org/10.1007/978-3-540-71351-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Anti-Spam Measures Analysis and Design
ent://SD_ILS/0/SD_ILS:186358
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Schryen, Guido. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71750-8">http://dx.doi.org/10.1007/978-3-540-71750-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports
ent://SD_ILS/0/SD_ILS:186360
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Südholt, Mario. editor. Consel, Charles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71774-4">http://dx.doi.org/10.1007/978-3-540-71774-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186361
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Marchiori, Elena. editor. Moore, Jason H. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71783-6">http://dx.doi.org/10.1007/978-3-540-71783-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Convergence Technology First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186362
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Stajano, Frank. editor. Kim, Hyoung Joong. editor. Chae, Jong-Suk. editor. Kim, Seong-Dong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71789-8">http://dx.doi.org/10.1007/978-3-540-71789-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186369
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Meuter, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71836-9">http://dx.doi.org/10.1007/978-3-540-71836-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modelling in Information Systems Engineering
ent://SD_ILS/0/SD_ILS:186616
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Krogstie, John. editor. Opdahl, Andreas Lothe. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72677-7">http://dx.doi.org/10.1007/978-3-540-72677-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wired/Wireless Internet Communications 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186625
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Boavida, Fernando. editor. Monteiro, Edmundo. editor. Mascolo, Saverio. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72697-5">http://dx.doi.org/10.1007/978-3-540-72697-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186631
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Chahed, Tijani. editor. Tuffin, Bruno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72709-5">http://dx.doi.org/10.1007/978-3-540-72709-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments
ent://SD_ILS/0/SD_ILS:186636
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72727-9">http://dx.doi.org/10.1007/978-3-540-72727-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186637
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Tomkos, Ioannis. editor. Neri, Fabio. editor. Solé Pareta, Josep. editor. Masip Bruin, Xavier. editor. Sánchez Lopez, Sergi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72731-6">http://dx.doi.org/10.1007/978-3-540-72731-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service Availability 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186639
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Malek, Miroslaw. editor. Reitenspieß, Manfred. editor. Moorsel, Aad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72736-1">http://dx.doi.org/10.1007/978-3-540-72736-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186652
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186654
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Fischetti, Matteo. editor. Williamson, David P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72792-7">http://dx.doi.org/10.1007/978-3-540-72792-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186655
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Murphy, Amy L. editor. Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72794-1">http://dx.doi.org/10.1007/978-3-540-72794-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186660
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Sgallari, Fiorella. editor. Murli, Almerico. editor. Paragios, Nikos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72823-8">http://dx.doi.org/10.1007/978-3-540-72823-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimental Algorithms 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186665
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Demetrescu, Camil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72845-0">http://dx.doi.org/10.1007/978-3-540-72845-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186668
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72863-4">http://dx.doi.org/10.1007/978-3-540-72863-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects in Information and Management Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186670
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Kao, Ming-Yang. editor. Li, Xiang-Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72870-2">http://dx.doi.org/10.1007/978-3-540-72870-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Engineering 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:186907
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Baresi, Luciano. editor. Fraternali, Piero. editor. Houben, Geert-Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73597-7">http://dx.doi.org/10.1007/978-3-540-73597-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Statistical Network Analysis: Models, Issues, and New Directions ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186754
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Airoldi, Edoardo. editor. Blei, David M. editor. Fienberg, Stephen E. editor. Goldenberg, Anna. editor. Xing, Eric P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73133-7">http://dx.doi.org/10.1007/978-3-540-73133-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Der Computer - Mein Lebenswerk
ent://SD_ILS/0/SD_ILS:186756
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Zuse, Konrad. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73139-9">http://dx.doi.org/10.1007/978-3-540-73139-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ruby on Rails for PHP and Java Developers
ent://SD_ILS/0/SD_ILS:186758
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Vohra, Deepak. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73145-0">http://dx.doi.org/10.1007/978-3-540-73145-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:186759
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Comon-Lundh, Hubert. editor. Kirchner, Claude. editor. Kirchner, Hélène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73147-4">http://dx.doi.org/10.1007/978-3-540-73147-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186933
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Priss, Uta. editor. Polovina, Simon. editor. Hill, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73681-3">http://dx.doi.org/10.1007/978-3-540-73681-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aggregation Functions: A Guide for Practitioners
ent://SD_ILS/0/SD_ILS:186941
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Beliakov, Gleb. author. Pradera, Ana. author. Calvo, Tomasa. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73721-6">http://dx.doi.org/10.1007/978-3-540-73721-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Bioinformatics and Computational Biology Second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186946
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Sagot, Marie-France. editor. Walter, Maria Emilia M. T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73731-5">http://dx.doi.org/10.1007/978-3-540-73731-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:186960
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Gurevich, Yuri. editor. Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73770-4">http://dx.doi.org/10.1007/978-3-540-73770-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security and Privacy 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186859
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Pieprzyk, Josef. editor. Ghodosi, Hossein. editor. Dawson, Ed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73458-1">http://dx.doi.org/10.1007/978-3-540-73458-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MuPAD Eine Einführung
ent://SD_ILS/0/SD_ILS:186863
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Rapin, Gerd. author. Wassong, Thomas. author. Wiedmann, Stefan. author. Koospal, Stefan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73476-5">http://dx.doi.org/10.1007/978-3-540-73476-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Genetic Algorithms 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186865
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Stephens, Christopher R. editor. Toussaint, Marc. editor. Whitley, Darrell. editor. Stadler, Peter F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73482-6">http://dx.doi.org/10.1007/978-3-540-73482-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pairing-Based Cryptography – Pairing 2007 First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186868
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Takagi, Tsuyoshi. editor. Okamoto, Tatsuaki. editor. Okamoto, Eiji. editor. Okamoto, Takeshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73489-5">http://dx.doi.org/10.1007/978-3-540-73489-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187062
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Giancarlo, Raffaele. editor. Hannenhalli, Sridhar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74126-8">http://dx.doi.org/10.1007/978-3-540-74126-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:187063
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Edelkamp, Stefan. editor. Lomuscio, Alessio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74128-2">http://dx.doi.org/10.1007/978-3-540-74128-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187075
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Huang, De-Shuang. editor. Heutte, Laurent. editor. Loog, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74171-8">http://dx.doi.org/10.1007/978-3-540-74171-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Energy Minimization Methods in Computer Vision and Pattern Recognition 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187081
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Yuille, Alan L. editor. Zhu, Song-Chun. editor. Cremers, Daniel. editor. Wang, Yongtian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74198-5">http://dx.doi.org/10.1007/978-3-540-74198-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187085
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Charikar, Moses. editor. Jansen, Klaus. editor. Reingold, Omer. editor. Rolim, José D. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74208-1">http://dx.doi.org/10.1007/978-3-540-74208-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III
ent://SD_ILS/0/SD_ILS:187175
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74484-9">http://dx.doi.org/10.1007/978-3-540-74484-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187389
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Bondavalli, Andrea. editor. Brasileiro, Francisco. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75294-3">http://dx.doi.org/10.1007/978-3-540-75294-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187392
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Montanari, Ugo. editor. Sannella, Donald. editor. Bruni, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75336-0">http://dx.doi.org/10.1007/978-3-540-75336-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187246
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Paillier, Pascal. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74735-2">http://dx.doi.org/10.1007/978-3-540-74735-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187249
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Stojmenovic, Ivan. editor. Thulasiram, Ruppa K. editor. Yang, Laurence T. editor. Jia, Weijia. editor. Guo, Minyi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74742-0">http://dx.doi.org/10.1007/978-3-540-74742-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of High Performance Computing and Networking ISPA 2007 Workshops ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187254
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Thulasiraman, Parimala. editor. He, Xubin. editor. Xu, Tony Li. editor. Denko, Mieso K. editor. Thulasiram, Ruppa K. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74767-3">http://dx.doi.org/10.1007/978-3-540-74767-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bio-Inspired Computational Intelligence and Applications International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187255
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Li, Kang. editor. Fei, Minrui. editor. Irwin, George William. editor. Ma, Shiwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74769-7">http://dx.doi.org/10.1007/978-3-540-74769-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Life System Modeling and Simulation International Conference, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187256
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Li, Kang. editor. Li, Xin. editor. Irwin, George William. editor. He, Gusen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74771-0">http://dx.doi.org/10.1007/978-3-540-74771-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187260
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74780-2">http://dx.doi.org/10.1007/978-3-540-74780-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187262
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Li, Keqiu. editor. Jesshope, Chris. editor. Jin, Hai. editor. Gaudiot, Jean-Luc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74784-0">http://dx.doi.org/10.1007/978-3-540-74784-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
ent://SD_ILS/0/SD_ILS:187265
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74792-5">http://dx.doi.org/10.1007/978-3-540-74792-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:187267
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74796-3">http://dx.doi.org/10.1007/978-3-540-74796-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms – ESA 2007 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187437
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Arge, Lars. editor. Hoffmann, Michael. editor. Welzl, Emo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75520-3">http://dx.doi.org/10.1007/978-3-540-75520-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:187438
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author O’Hare, Gregory M. P. editor. Ricci, Alessandro. editor. O’Grady, Michael J. editor. Dikenelli, Oğuz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75524-1">http://dx.doi.org/10.1007/978-3-540-75524-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
String Processing and Information Retrieval 14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187440
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Ziviani, Nivio. editor. Baeza-Yates, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75530-2">http://dx.doi.org/10.1007/978-3-540-75530-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computers and Games 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers
ent://SD_ILS/0/SD_ILS:187441
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Herik, H. Jaap. editor. Ciancarini, Paolo. editor. Donkers, H. H. L. M. (Jeroen). editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75538-8">http://dx.doi.org/10.1007/978-3-540-75538-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Brain, Vision, and Artificial Intelligence Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187448
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Mele, Francesco. editor. Ramella, Giuliana. editor. Santillo, Silvia. editor. Ventriglia, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75555-5">http://dx.doi.org/10.1007/978-3-540-75555-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187449
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187451
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Parent, Christine. editor. Schewe, Klaus-Dieter. editor. Storey, Veda C. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75563-0">http://dx.doi.org/10.1007/978-3-540-75563-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187457
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75596-8">http://dx.doi.org/10.1007/978-3-540-75596-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187580
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Holub, Jan. editor. Žďárek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76336-9">http://dx.doi.org/10.1007/978-3-540-76336-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
ent://SD_ILS/0/SD_ILS:187680
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Backhouse, Roland. editor. Gibbons, Jeremy. editor. Hinze, Ralf. editor. Jeuring, Johan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76786-2">http://dx.doi.org/10.1007/978-3-540-76786-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision – ACCV 2007 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:187599
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Yagi, Yasushi. editor. Kang, Sing Bing. editor. Kweon, In So. editor. Zha, Hongbin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76386-4">http://dx.doi.org/10.1007/978-3-540-76386-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision – ACCV 2007 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:187600
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Yagi, Yasushi. editor. Kang, Sing Bing. editor. Kweon, In So. editor. Zha, Hongbin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76390-1">http://dx.doi.org/10.1007/978-3-540-76390-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communications Security 9th International Conference, ICICS 2007, Zhengzhou, China, December 12-15, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187773
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Qing, Sihan. editor. Imai, Hideki. editor. Wang, Guilin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77048-0">http://dx.doi.org/10.1007/978-3-540-77048-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Directions in Embedded and Ubiquitous Computing EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187792
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Denko, Mieso K. editor. Shih, Chi-sheng. editor. Li, Kuan-Ching. editor. Tsao, Shiao-Li. editor. Zeng, Qing-An. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77090-9">http://dx.doi.org/10.1007/978-3-540-77090-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded and Ubiquitous Computing International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187793
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Kuo, Tei-Wei. editor. Sha, Edwin. editor. Guo, Minyi. editor. Yang, Laurence T. editor. Shao, Zili. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77092-3">http://dx.doi.org/10.1007/978-3-540-77092-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Visual Computing Third International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:187705
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Bebis, George. editor. Boyle, Richard. editor. Parvin, Bahram. editor. Koracin, Darko. editor. Paragios, Nikos. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76858-6">http://dx.doi.org/10.1007/978-3-540-76858-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Computation 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187801
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Tokuyama, Takeshi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77120-3">http://dx.doi.org/10.1007/978-3-540-77120-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187534
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Draheim, Dirk. editor. Weber, Gerald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75912-6">http://dx.doi.org/10.1007/978-3-540-75912-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptology and Network Security 6th International Conference, CANS 2007, Singapore, December 8-10, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187744
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Bao, Feng. editor. Ling, San. editor. Okamoto, Tatsuaki. editor. Wang, Huaxiong. editor. Xing, Chaoping. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76969-9">http://dx.doi.org/10.1007/978-3-540-76969-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security Applications 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187904
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Kim, Sehun. editor. Yung, Moti. editor. Lee, Hyung-Woo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77535-5">http://dx.doi.org/10.1007/978-3-540-77535-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra
ent://SD_ILS/0/SD_ILS:166115
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Cox, David. author. Little, John. author. O’Shea, Donal. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-35651-8">http://dx.doi.org/10.1007/978-0-387-35651-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automatic Quantum Computer Programming A Genetic Programming Approach
ent://SD_ILS/0/SD_ILS:166173
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Spector, Lee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36791-0">http://dx.doi.org/10.1007/978-0-387-36791-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition
ent://SD_ILS/0/SD_ILS:166176
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36797-2">http://dx.doi.org/10.1007/978-0-387-36797-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra Recipes An Advanced Guide to Scientific Modeling
ent://SD_ILS/0/SD_ILS:166466
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49333-6">http://dx.doi.org/10.1007/978-0-387-49333-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Essentials of Mathematica With Applications to Mathematics and Physics
ent://SD_ILS/0/SD_ILS:166484
2024-10-22T07:17:54Z
2024-10-22T07:17:54Z
Author Boccara, Nino. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49514-9">http://dx.doi.org/10.1007/978-0-387-49514-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>