Search Results for Software. - Narrowed by: SpringerLink (Online service) - English - 2008
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dPUBDATE$002509Publication$002bDate$0025092008$0025092008$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-12T08:37:55Z
Software Architecture
ent://SD_ILS/0/SD_ILS:187130
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Qin, Zheng. author. Zheng, Xiang. author. Xing, Jiankuan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74343-9">http://dx.doi.org/10.1007/978-3-540-74343-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Evolution
ent://SD_ILS/0/SD_ILS:187615
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Mens, Tom. author. Demeyer, Serge. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76440-3">http://dx.doi.org/10.1007/978-3-540-76440-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Software Engineering
ent://SD_ILS/0/SD_ILS:175757
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Hazzan, Orit. author. Dubinsky, Yael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-198-5">http://dx.doi.org/10.1007/978-1-84800-198-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software for Algebraic Geometry
ent://SD_ILS/0/SD_ILS:167549
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Stillman, Michael. editor. Verschelde, Jan. editor. Takayama, Nobuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-78133-4">http://dx.doi.org/10.1007/978-0-387-78133-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rationale-Based Software Engineering
ent://SD_ILS/0/SD_ILS:187921
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Burge, Janet E. author. Carroll, John M. author. McCall, Raymond. author. Mistrik, Ivan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77583-6">http://dx.doi.org/10.1007/978-3-540-77583-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research, Management and Applications
ent://SD_ILS/0/SD_ILS:185989
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70561-1">http://dx.doi.org/10.1007/978-3-540-70561-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Advanced Empirical Software Engineering
ent://SD_ILS/0/SD_ILS:175684
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Shull, Forrest. editor. Singer, Janice. editor. Sjøberg, Dag I. K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-044-5">http://dx.doi.org/10.1007/978-1-84800-044-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Elementary Logic For Software Development
ent://SD_ILS/0/SD_ILS:175702
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Lover, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-082-7">http://dx.doi.org/10.1007/978-1-84800-082-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networked RFID Systems, Software and Services
ent://SD_ILS/0/SD_ILS:175735
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Roussos, George. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-153-4">http://dx.doi.org/10.1007/978-1-84800-153-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Software Engineering
ent://SD_ILS/0/SD_ILS:175804
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Jalote, Pankaj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-302-6">http://dx.doi.org/10.1007/978-1-84800-302-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software for Data Analysis Programming with R
ent://SD_ILS/0/SD_ILS:167311
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Chambers, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-75936-4">http://dx.doi.org/10.1007/978-0-387-75936-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Cartography Software Tools and Mapping Techniques
ent://SD_ILS/0/SD_ILS:175733
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Sherborne, Tony. editor. Buckingham Shum, Simon J. editor. Okada, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-149-7">http://dx.doi.org/10.1007/978-1-84800-149-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Baseband Analog Circuits for Software Defined Radio
ent://SD_ILS/0/SD_ILS:169848
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Giannini, Vito. author. Craninckx, Jan. author. Baschirotto, Andrea. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6538-5">http://dx.doi.org/10.1007/978-1-4020-6538-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy
ent://SD_ILS/0/SD_ILS:164749
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Russo, Barbara. editor. Damiani, Ernesto. editor. Hissam, Scott. editor. Lundell, Björn. editor. Succi, Giancarlo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09684-1">http://dx.doi.org/10.1007/978-0-387-09684-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185424
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Abrahamsson, Pekka. editor. Baskerville, Richard. editor. Conboy, Kieran. editor. Fitzgerald, Brian. editor. Morgan, Lorraine. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68255-4">http://dx.doi.org/10.1007/978-3-540-68255-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185700
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Paech, Barbara. editor. Rolland, Colette. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69062-7">http://dx.doi.org/10.1007/978-3-540-69062-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
ent://SD_ILS/0/SD_ILS:185723
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Meyer, Bertrand. 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-69149-5">http://dx.doi.org/10.1007/978-3-540-69149-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
ent://SD_ILS/0/SD_ILS:185988
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70560-4">http://dx.doi.org/10.1007/978-3-540-70560-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186012
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Filipe, Joaquim. editor. Shishkov, Boris. editor. Helfert, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70621-2">http://dx.doi.org/10.1007/978-3-540-70621-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186153
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Nyberg, Kaisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71039-4">http://dx.doi.org/10.1007/978-3-540-71039-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supply Chain Management and Advanced Planning Concepts, Models, Software, and Case Studies
ent://SD_ILS/0/SD_ILS:187183
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Stadtler, Hartmut. editor. Kilger, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74512-9">http://dx.doi.org/10.1007/978-3-540-74512-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188152
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Amadio, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78499-9">http://dx.doi.org/10.1007/978-3-540-78499-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Testing Network An Integral Approach to Test Activities in Large Software Projects
ent://SD_ILS/0/SD_ILS:188154
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Henry, Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78504-0">http://dx.doi.org/10.1007/978-3-540-78504-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Software and Data Integration First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188303
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kutsche, Ralf-Detlef. editor. Milanovic, Nikola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78999-4">http://dx.doi.org/10.1007/978-3-540-78999-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188226
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Drossopoulou, Sophia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Making of Information Systems Software Engineering and Management in a Globalized World
ent://SD_ILS/0/SD_ILS:188377
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kurbel, Karl E. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79261-1">http://dx.doi.org/10.1007/978-3-540-79261-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188913
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Brinkschulte, Uwe. editor. Givargis, Tony. editor. Russo, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87785-1">http://dx.doi.org/10.1007/978-3-540-87785-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188928
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Shankar, Natarajan. 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-87873-5">http://dx.doi.org/10.1007/978-3-540-87873-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188936
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Chaudron, Michel R. V. editor. Szyperski, Clemens. editor. Reussner, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87891-9">http://dx.doi.org/10.1007/978-3-540-87891-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188969
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Morrison, Ron. editor. Balasubramaniam, Dharini. editor. Falkner, Katrina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88030-1">http://dx.doi.org/10.1007/978-3-540-88030-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:189093
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Lämmel, Ralf. editor. Visser, Joost. editor. Saraiva, João. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88643-3">http://dx.doi.org/10.1007/978-3-540-88643-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process and Product Measurement International Conferences IWSM 2008, Metrikon 2008, and Mensura 2008 Munich, Germany, November 18-19, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189262
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Dumke, Reiner R. editor. Braungarten, René. editor. Büren, Günter. editor. Abran, Alain. editor. Cuadrado-Gallego, Juan J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89403-2">http://dx.doi.org/10.1007/978-3-540-89403-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software-Intensive Systems and New Computing Paradigms Challenges and Visions
ent://SD_ILS/0/SD_ILS:189267
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89437-7">http://dx.doi.org/10.1007/978-3-540-89437-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
More Joel on Software Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or III Luck, Work with Them in Some Capacity
ent://SD_ILS/0/SD_ILS:171120
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Spolsky, Joel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0988-1">http://dx.doi.org/10.1007/978-1-4302-0988-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Maturing Usability Quality in Software, Interaction and Value
ent://SD_ILS/0/SD_ILS:175638
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Law, Effie Lai-Chong. editor. Hvannberg, Ebba Thora. editor. Cockton, Gilbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-941-5">http://dx.doi.org/10.1007/978-1-84628-941-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185341
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Mei, Hong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68073-4">http://dx.doi.org/10.1007/978-3-540-68073-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185500
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68524-1">http://dx.doi.org/10.1007/978-3-540-68524-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185532
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kordon, Fabrice. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68624-8">http://dx.doi.org/10.1007/978-3-540-68624-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
ent://SD_ILS/0/SD_ILS:185637
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68894-5">http://dx.doi.org/10.1007/978-3-540-68894-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185702
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Giese, Holger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69073-3">http://dx.doi.org/10.1007/978-3-540-69073-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185864
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Jedlitschka, Andreas. editor. Salo, Outi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69566-0">http://dx.doi.org/10.1007/978-3-540-69566-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186104
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70930-5">http://dx.doi.org/10.1007/978-3-540-70930-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:188031
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Yorav, Karen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77966-7">http://dx.doi.org/10.1007/978-3-540-77966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188227
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Fiadeiro, José Luiz. editor. Inverardi, Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78743-3">http://dx.doi.org/10.1007/978-3-540-78743-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188242
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Pautasso, Cesare. editor. Tanter, Éric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78789-1">http://dx.doi.org/10.1007/978-3-540-78789-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188243
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Hendren, Laurie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78791-4">http://dx.doi.org/10.1007/978-3-540-78791-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188246
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188453
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Luck, Michael. editor. Padgham, Lin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79488-2">http://dx.doi.org/10.1007/978-3-540-79488-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Making Globally Distributed Software Development a Success Story International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188487
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
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-79588-9">http://dx.doi.org/10.1007/978-3-540-79588-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188548
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Meseguer, José. editor. Roşu, Grigore. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79980-1">http://dx.doi.org/10.1007/978-3-540-79980-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188598
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Havelund, Klaus. editor. Majumdar, Rupak. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85114-1">http://dx.doi.org/10.1007/978-3-540-85114-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188660
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Meyer, Bertrand. editor. Nawrocki, Jerzy R. editor. Walter, Bartosz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85279-7">http://dx.doi.org/10.1007/978-3-540-85279-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Common Component Modeling Example Comparing Software Component Models
ent://SD_ILS/0/SD_ILS:188664
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Rausch, Andreas. editor. Reussner, Ralf. editor. Mirandola, Raffaela. editor. Plášil, František. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85289-6">http://dx.doi.org/10.1007/978-3-540-85289-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process and Product Measurement International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:188722
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Cuadrado-Gallego, Juan J. editor. Braungarten, René. editor. Dumke, Reiner R. editor. Abran, Alain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85553-8">http://dx.doi.org/10.1007/978-3-540-85553-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188816
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author O’Connor, Rory V. editor. Baddoo, Nathan. editor. Smolander, Kari. 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-85936-9">http://dx.doi.org/10.1007/978-3-540-85936-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188827
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85992-5">http://dx.doi.org/10.1007/978-3-540-85992-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189005
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Liu, Shaoying. editor. Maibaum, Tom. editor. Araki, Keijiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88194-0">http://dx.doi.org/10.1007/978-3-540-88194-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality of Software Architectures. Models and Architectures 4th International Conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188931
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Becker, Steffen. editor. Plasil, Frantisek. editor. Reussner, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87879-7">http://dx.doi.org/10.1007/978-3-540-87879-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:189331
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Börger, Egon. editor. Cisternino, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89762-0">http://dx.doi.org/10.1007/978-3-540-89762-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
ent://SD_ILS/0/SD_ILS:170301
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
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-8735-6">http://dx.doi.org/10.1007/978-1-4020-8735-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Issues in Multi-Agent Systems The AgentCities.ES Experience
ent://SD_ILS/0/SD_ILS:198089
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Moreno, Antonio. editor. Pavón, Juan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8543-9">http://dx.doi.org/10.1007/978-3-7643-8543-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Health Care Benchmarking and Performance Evaluation An Assessment using Data Envelopment Analysis (DEA)
ent://SD_ILS/0/SD_ILS:167256
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Ozcan, Yasar A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-75448-2">http://dx.doi.org/10.1007/978-0-387-75448-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent Technology and e-Health
ent://SD_ILS/0/SD_ILS:198090
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Annicchiarico, Roberta. editor. Cortés, Ulises. editor. Urdiales, Cristina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8547-7">http://dx.doi.org/10.1007/978-3-7643-8547-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Autonomic Networking and Communication
ent://SD_ILS/0/SD_ILS:198097
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Calisti, Monique. editor. Meer, Sven. editor. Strassner, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8569-9">http://dx.doi.org/10.1007/978-3-7643-8569-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Defence Industry Applications of Autonomous Agents and Multi-Agent Systems
ent://SD_ILS/0/SD_ILS:198098
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Pěchouček, Michal. editor. Thompson, Simon G. editor. Voos, Holger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8571-2">http://dx.doi.org/10.1007/978-3-7643-8571-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CASCOM: Intelligent Service Coordination in the Semantic Web
ent://SD_ILS/0/SD_ILS:198100
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Schumacher, Michael. editor. Schuldt, Helko. editor. Helin, Helkki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8575-0">http://dx.doi.org/10.1007/978-3-7643-8575-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bidding Strategies in Agent-Based Continuous Double Auctions
ent://SD_ILS/0/SD_ILS:198134
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Ma, Huiye. author. Leung, Ho-fung. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8730-3">http://dx.doi.org/10.1007/978-3-7643-8730-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Web Services Technology, Volume II
ent://SD_ILS/0/SD_ILS:198164
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Gschwind, Thomas. editor. Pautasso, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7643-8864-5">http://dx.doi.org/10.1007/978-3-7643-8864-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovation in Manufacturing Networks Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008
ent://SD_ILS/0/SD_ILS:164664
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Azevedo, Américo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09492-2">http://dx.doi.org/10.1007/978-0-387-09492-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
ent://SD_ILS/0/SD_ILS:164756
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Cascini, Gaetano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09697-1">http://dx.doi.org/10.1007/978-0-387-09697-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Government Ict Professionalism and Competences Service Science
ent://SD_ILS/0/SD_ILS:164763
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Mazzeo, Antonino. editor. Bellini, Roberto. editor. Motta, Gianmario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09712-1">http://dx.doi.org/10.1007/978-0-387-09712-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hypercomputation Computing Beyond the Church-Turing Barrier
ent://SD_ILS/0/SD_ILS:166528
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Syropoulos, Apostolos. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49970-3">http://dx.doi.org/10.1007/978-0-387-49970-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parsing Techniques A Practical Guide
ent://SD_ILS/0/SD_ILS:166666
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Grune, Dick. author. Jacobs, Ceriel J. H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68954-8">http://dx.doi.org/10.1007/978-0-387-68954-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Do-All Computing in Distributed Systems Cooperation in the Presence of Adversity
ent://SD_ILS/0/SD_ILS:166685
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Georgiou, Chryssis. author. Shvartsman, Alexander A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-69045-2">http://dx.doi.org/10.1007/978-0-387-69045-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Moving Wearables into the Mainstream Taming the Borg
ent://SD_ILS/0/SD_ILS:166697
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Dvorak, Joseph L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-69142-8">http://dx.doi.org/10.1007/978-0-387-69142-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Modular Calculus for the Average Cost of Data Structuring
ent://SD_ILS/0/SD_ILS:167050
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Schellekens, Michel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-73384-5">http://dx.doi.org/10.1007/978-0-387-73384-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming Theory and Practice V
ent://SD_ILS/0/SD_ILS:167322
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-76308-8">http://dx.doi.org/10.1007/978-0-387-76308-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer And Computing Technologies In Agriculture, Volume I First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
ent://SD_ILS/0/SD_ILS:167447
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Li, Daoliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-77251-6">http://dx.doi.org/10.1007/978-0-387-77251-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer And Computing Technologies In Agriculture, Volume II First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
ent://SD_ILS/0/SD_ILS:167448
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Li, Daoliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-77253-0">http://dx.doi.org/10.1007/978-0-387-77253-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed and Parallel Systems In Focus: Desktop Grid Computing
ent://SD_ILS/0/SD_ILS:167680
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kacsuk, Péter. editor. Lovas, Róbert. editor. Németh, Zsolt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-79448-8">http://dx.doi.org/10.1007/978-0-387-79448-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Battery Management Systems Accurate State-of-Charge Indication for Battery-Powered Applications
ent://SD_ILS/0/SD_ILS:170009
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Pop, Valer. author. Bergveld, Henk Jan. author. Danilov, Dmitry. author. Regtien, Paul P. L. author. Notten, Peter H. L. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6945-1">http://dx.doi.org/10.1007/978-1-4020-6945-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ingredients for Successful System Level Design Methodology
ent://SD_ILS/0/SD_ILS:170185
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8472-0">http://dx.doi.org/10.1007/978-1-4020-8472-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008
ent://SD_ILS/0/SD_ILS:170364
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Mahr, Bernd. editor. Huanye, Sheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8889-6">http://dx.doi.org/10.1007/978-1-4020-8889-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Definitive Guide to Django Web Development Done Right
ent://SD_ILS/0/SD_ILS:170974
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Holovaty, Adrian. author. Kaplan-Moss, Jacob. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0331-5">http://dx.doi.org/10.1007/978-1-4302-0331-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185378
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68155-7">http://dx.doi.org/10.1007/978-3-540-68155-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology – AFRICACRYPT 2008 First International Conference on Cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185381
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Vaudenay, Serge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68164-9">http://dx.doi.org/10.1007/978-3-540-68164-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling Semantic Web Services The Web Service Modeling Language
ent://SD_ILS/0/SD_ILS:185384
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bruijn, Jos. author. Fensel, Dieter. author. Kerrigan, Mick. author. Keller, Uwe. author. Lausen, Holger. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68172-4">http://dx.doi.org/10.1007/978-3-540-68172-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The IT Measurement Compendium Estimating and Benchmarking Success with Functional Size Measurement
ent://SD_ILS/0/SD_ILS:185392
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bundschuh, Manfred. author. Dekkers, Carol. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68188-5">http://dx.doi.org/10.1007/978-3-540-68188-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Management The Interface Between Requirements Development and All Other Systems Engineering Processes
ent://SD_ILS/0/SD_ILS:185486
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Hood, Colin. author. Wiedemann, Simon. author. Fichtinger, Stefan. author. Pautz, Urte. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68476-3">http://dx.doi.org/10.1007/978-3-540-68476-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Persuasive Technology Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185496
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Oinas-Kukkonen, Harri. editor. Hasle, Per. editor. Harjumaa, Marja. editor. Segerståhl, Katarina. editor. Øhrstrøm, Peter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68504-3">http://dx.doi.org/10.1007/978-3-540-68504-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimental Algorithms 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185505
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author McGeoch, Catherine C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68552-4">http://dx.doi.org/10.1007/978-3-540-68552-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185429
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Lea, Doug. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68265-3">http://dx.doi.org/10.1007/978-3-540-68265-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multimodal Technologies for Perception of Humans International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185519
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Stiefelhagen, Rainer. editor. Bowers, Rachel. editor. Fiscus, Jonathan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68585-2">http://dx.doi.org/10.1007/978-3-540-68585-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:185554
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Degano, Pierpaolo. editor. Nicola, Rocco. editor. Meseguer, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68679-8">http://dx.doi.org/10.1007/978-3-540-68679-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185569
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68746-7">http://dx.doi.org/10.1007/978-3-540-68746-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trusted Computing - Challenges and Applications First International Conference on Trusted Computing and Trust in Information Technologies, Trust 2008 Villach, Austria, March 11-12, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185674
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Lipp, Peter. editor. Sadeghi, Ahmad-Reza. editor. Koch, Klaus-Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68979-9">http://dx.doi.org/10.1007/978-3-540-68979-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185675
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Al-Begain, Khalid. editor. Heindl, Armin. editor. Telek, Miklós. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68982-9">http://dx.doi.org/10.1007/978-3-540-68982-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Data Hiding and Multimedia Security III
ent://SD_ILS/0/SD_ILS:185689
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Shi, Yun Q. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69019-1">http://dx.doi.org/10.1007/978-3-540-69019-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185635
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Lodi, Andrea. editor. Panconesi, Alessandro. editor. Rinaldi, Giovanni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68891-4">http://dx.doi.org/10.1007/978-3-540-68891-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Architecture – Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185714
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Schieferdecker, Ina. editor. Hartman, Alan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69100-6">http://dx.doi.org/10.1007/978-3-540-69100-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomic and Trusted Computing 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185771
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Rong, Chunming. editor. Jaatun, Martin Gilje. editor. Sandnes, Frode Eika. editor. Yang, Laurence T. editor. Ma, Jianhua. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69295-9">http://dx.doi.org/10.1007/978-3-540-69295-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:185774
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Chapman, Barbara. editor. Zheng, Weiming. editor. Gao, Guang R. editor. Sato, Mitsuhisa. editor. Ayguadé, Eduard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69303-1">http://dx.doi.org/10.1007/978-3-540-69303-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings
ent://SD_ILS/0/SD_ILS:185779
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Preparata, Franco P. editor. Wu, Xiaodong. editor. Yin, Jianping. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69311-6">http://dx.doi.org/10.1007/978-3-540-69311-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition 30th DAGM Symposium Munich, Germany, June 10-13, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185784
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Rigoll, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69321-5">http://dx.doi.org/10.1007/978-3-540-69321-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structural Information and Communication Complexity 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185793
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Shvartsman, Alexander A. editor. Felber, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69355-0">http://dx.doi.org/10.1007/978-3-540-69355-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185729
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Alpuente, María. editor. Vidal, Germán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69166-2">http://dx.doi.org/10.1007/978-3-540-69166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185731
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Nikoletseas, Sotiris E. editor. Chlebus, Bogdan S. editor. Johnson, David B. editor. Krishnamachari, Bhaskar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69170-9">http://dx.doi.org/10.1007/978-3-540-69170-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Robotics Mobile Robot Design and Applications with Embedded Systems
ent://SD_ILS/0/SD_ILS:185977
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bräunl, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70534-5">http://dx.doi.org/10.1007/978-3-540-70534-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185982
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Gupta, Aarti. editor. Malik, Sharad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70545-1">http://dx.doi.org/10.1007/978-3-540-70545-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project
ent://SD_ILS/0/SD_ILS:185984
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Nagl, Manfred. editor. Marquardt, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70552-9">http://dx.doi.org/10.1007/978-3-540-70552-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data and Applications Security XXII 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185991
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Atluri, Vijay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70567-3">http://dx.doi.org/10.1007/978-3-540-70567-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
ent://SD_ILS/0/SD_ILS:185992
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70569-7">http://dx.doi.org/10.1007/978-3-540-70569-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185995
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70575-8">http://dx.doi.org/10.1007/978-3-540-70575-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185998
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70583-3">http://dx.doi.org/10.1007/978-3-540-70583-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186002
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author 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-70592-5">http://dx.doi.org/10.1007/978-3-540-70592-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:186003
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Audebaud, Philippe. editor. Paulin-Mohring, Christine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70594-9">http://dx.doi.org/10.1007/978-3-540-70594-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186004
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Eklund, Peter. editor. Haemmerlé, Ollivier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70596-3">http://dx.doi.org/10.1007/978-3-540-70596-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Guide to Finite Elements An Interactive Approach
ent://SD_ILS/0/SD_ILS:186022
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kattan, Peter I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70698-4">http://dx.doi.org/10.1007/978-3-540-70698-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:186068
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Ibarra, Oscar H. editor. Ravikumar, Bala. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70844-5">http://dx.doi.org/10.1007/978-3-540-70844-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:186166
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Mohamed, Otmane Ait. editor. Muñoz, César. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71067-7">http://dx.doi.org/10.1007/978-3-540-71067-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:186168
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71070-7">http://dx.doi.org/10.1007/978-3-540-71070-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Testing
ent://SD_ILS/0/SD_ILS:186585
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Baker, Paul. author. Dai, Zhen Ru. author. Grabowski, Jens. author. Haugen, Øystein. author. Schieferdecker, Ina. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72563-3">http://dx.doi.org/10.1007/978-3-540-72563-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Python Scripting for Computational Science
ent://SD_ILS/0/SD_ILS:187003
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Langtangen, Hans Petter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73916-6">http://dx.doi.org/10.1007/978-3-540-73916-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:187873
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Hudak, Paul. editor. Warren, David S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77442-6">http://dx.doi.org/10.1007/978-3-540-77442-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:187916
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Geffert, Viliam. editor. Karhumäki, Juhani. editor. Bertoni, Alberto. editor. Preneel, Bart. editor. Návrat, Pavol. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77566-9">http://dx.doi.org/10.1007/978-3-540-77566-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unfoldings A Partial-Order Approach to Model Checking
ent://SD_ILS/0/SD_ILS:187868
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77426-6">http://dx.doi.org/10.1007/978-3-540-77426-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Public Key Cryptography – PKC 2008 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188130
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Cramer, Ronald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78440-1">http://dx.doi.org/10.1007/978-3-540-78440-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188139
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Blockeel, Hendrik. editor. Ramon, Jan. editor. Shavlik, Jude. editor. Tadepalli, Prasad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78469-2">http://dx.doi.org/10.1007/978-3-540-78469-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188141
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bougé, Luc. editor. Forsell, Martti. editor. Träff, Jesper Larsson. editor. Streit, Achim. editor. Ziegler, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78474-6">http://dx.doi.org/10.1007/978-3-540-78474-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinformatics Problem Solving Paradigms
ent://SD_ILS/0/SD_ILS:188155
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Sperschneider, Volker. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78506-4">http://dx.doi.org/10.1007/978-3-540-78506-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Cryptography Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188159
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Canetti, Ran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78524-8">http://dx.doi.org/10.1007/978-3-540-78524-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Applications and Services in the Finance Industry 3rd International Workshop, FinanceCom 2007, Montreal, Canada, December 8, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:188165
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Veit, Daniel J. editor. Kundisch, Dennis. editor. Weitzel, Tim. editor. Weinhardt, Christof. editor. Rabhi, Fethi A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78550-7">http://dx.doi.org/10.1007/978-3-540-78550-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188275
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78913-0">http://dx.doi.org/10.1007/978-3-540-78913-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188277
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Hierons, Robert M. editor. Bowen, Jonathan P. editor. Harman, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78917-8">http://dx.doi.org/10.1007/978-3-540-78917-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188280
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78929-1">http://dx.doi.org/10.1007/978-3-540-78929-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems and e-Business Technologies 2nd International United Information Systems Conference UNISCON 2008 Klagenfurt, Austria, April 22–25, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188284
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kaschek, Roland. editor. Kop, Christian. editor. Steinberger, Claudia. editor. Fliedl, Günther. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78942-0">http://dx.doi.org/10.1007/978-3-540-78942-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology – EUROCRYPT 2008 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188292
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Smart, Nigel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78967-3">http://dx.doi.org/10.1007/978-3-540-78967-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188305
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Sichman, Jaime Simão. editor. Padget, Julian. editor. Ossowski, Sascha. editor. Noriega, Pablo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79003-7">http://dx.doi.org/10.1007/978-3-540-79003-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:188320
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79043-3">http://dx.doi.org/10.1007/978-3-540-79043-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 6th European Conference, EvoBIO 2008, Naples, Italy, March 26-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188229
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Marchiori, Elena. editor. Moore, Jason H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78757-0">http://dx.doi.org/10.1007/978-3-540-78757-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:188254
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78827-0">http://dx.doi.org/10.1007/978-3-540-78827-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research in Computational Molecular Biology 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188258
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Vingron, Martin. editor. Wong, Limsoon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78839-3">http://dx.doi.org/10.1007/978-3-540-78839-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science I
ent://SD_ILS/0/SD_ILS:188385
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79299-4">http://dx.doi.org/10.1007/978-3-540-79299-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188772
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85778-5">http://dx.doi.org/10.1007/978-3-540-85778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188773
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Ito, Masami. editor. Toyama, Masafumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85780-8">http://dx.doi.org/10.1007/978-3-540-85780-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188894
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Harrison, Michael D. editor. Sujan, Mark-Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87698-4">http://dx.doi.org/10.1007/978-3-540-87698-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
ent://SD_ILS/0/SD_ILS:188976
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Soós, Anna. editor. Zsók, Viktória. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88059-2">http://dx.doi.org/10.1007/978-3-540-88059-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiagent System Technologies 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188915
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bergmann, Ralph. editor. Lindemann, Gabriela. editor. Kirn, Stefan. editor. Pěchouček, Michal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87805-6">http://dx.doi.org/10.1007/978-3-540-87805-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188929
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Czarnecki, Krzysztof. editor. Ober, Ileana. editor. Bruel, Jean-Michel. editor. Uhl, Axel. editor. Völter, Markus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87875-9">http://dx.doi.org/10.1007/978-3-540-87875-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Metaheuristics 5th International Workshop, HM 2008, Málaga, Spain, October 8-9, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189055
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Blesa, María J. editor. Blum, Christian. editor. Cotta, Carlos. editor. Fernández, Antonio J. editor. Gallardo, José E. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88439-2">http://dx.doi.org/10.1007/978-3-540-88439-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188967
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
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-88011-0">http://dx.doi.org/10.1007/978-3-540-88011-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189076
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Heiner, Monika. editor. Uhrmacher, Adelinde M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88562-7">http://dx.doi.org/10.1007/978-3-540-88562-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189082
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Li, Yingshu. editor. Huynh, Dung T. editor. Das, Sajal K. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88582-5">http://dx.doi.org/10.1007/978-3-540-88582-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:189090
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Chen, Liqun. editor. Ryan, Mark D. 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-88625-9">http://dx.doi.org/10.1007/978-3-540-88625-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems and Virtualization Management. Standards and New Technologies Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:189107
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Boursas, Latifa. editor. Carlson, Mark. editor. Hommel, Wolfgang. editor. Sibilla, Michelle. editor. Wold, Kes. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88708-9">http://dx.doi.org/10.1007/978-3-540-88708-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189114
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Calvanese, Diego. editor. Lausen, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88737-9">http://dx.doi.org/10.1007/978-3-540-88737-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Systems Biology IX
ent://SD_ILS/0/SD_ILS:189120
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
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-88765-2">http://dx.doi.org/10.1007/978-3-540-88765-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189133
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88808-6">http://dx.doi.org/10.1007/978-3-540-88808-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems: OTM 2008 Workshops OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189153
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
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-88875-8">http://dx.doi.org/10.1007/978-3-540-88875-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Data Engineering and Automated Learning – IDEAL 2008 9th International Conference Daejeon, South Korea, November 2-5, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:189156
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Fyfe, Colin. editor. Kim, Dongsup. editor. Lee, Soo-Young. editor. Yin, Hujun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88906-9">http://dx.doi.org/10.1007/978-3-540-88906-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiobjective Optimization Interactive and Evolutionary Approaches
ent://SD_ILS/0/SD_ILS:189157
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Branke, Jürgen. editor. Deb, Kalyanmoy. editor. Miettinen, Kaisa. editor. Słowiński, Roman. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88908-3">http://dx.doi.org/10.1007/978-3-540-88908-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:189178
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Schürr, Andy. editor. Nagl, Manfred. editor. Zündorf, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89020-1">http://dx.doi.org/10.1007/978-3-540-89020-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Information Infrastructures Security Second International Workshop, CRITIS 2007, Málaga, Spain, October 3-5, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:189212
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Lopez, Javier. editor. Hämmerli, Bernhard M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89173-4">http://dx.doi.org/10.1007/978-3-540-89173-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
ent://SD_ILS/0/SD_ILS:189230
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89247-2">http://dx.doi.org/10.1007/978-3-540-89247-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cryptology - ASIACRYPT 2008 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189234
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Pieprzyk, Josef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89255-7">http://dx.doi.org/10.1007/978-3-540-89255-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-Sustaining Systems First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189236
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Hirschfeld, Robert. editor. Rose, Kim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89275-5">http://dx.doi.org/10.1007/978-3-540-89275-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189241
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kawano, Yasuhito. editor. Mosca, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89304-2">http://dx.doi.org/10.1007/978-3-540-89304-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189248
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Ramalingam, G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89330-1">http://dx.doi.org/10.1007/978-3-540-89330-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189250
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kulkarni, Sandeep. editor. Schiper, André. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-89335-6">http://dx.doi.org/10.1007/978-3-540-89335-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189268
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Cervesato, Iliano. editor. Veith, Helmut. 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-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-Organizing Systems Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189389
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Hummel, Karin Anna. editor. Sterbenz, James P. G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92157-8">http://dx.doi.org/10.1007/978-3-540-92157-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Computation 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:189396
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Hong, Seok-Hee. editor. Nagamochi, Hiroshi. editor. Fukunaga, Takuro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92182-0">http://dx.doi.org/10.1007/978-3-540-92182-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
ent://SD_ILS/0/SD_ILS:189398
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
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-92188-2">http://dx.doi.org/10.1007/978-3-540-92188-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bio-Inspired Computing and Communication First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189399
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Liò, Pietro. editor. Yoneki, Eiko. editor. Crowcroft, Jon. editor. Verma, Dinesh C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92191-2">http://dx.doi.org/10.1007/978-3-540-92191-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constraint Handling Rules Current Research Topics
ent://SD_ILS/0/SD_ILS:189416
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Schrijvers, Tom. editor. Frühwirth, Thom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92243-8">http://dx.doi.org/10.1007/978-3-540-92243-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications
ent://SD_ILS/0/SD_ILS:169692
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bobda, Christophe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6100-4">http://dx.doi.org/10.1007/978-1-4020-6100-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Problems in VLSI Physical Design Automation
ent://SD_ILS/0/SD_ILS:169876
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Lim, Sung Kyu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6627-6">http://dx.doi.org/10.1007/978-1-4020-6627-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Oracle Application Express
ent://SD_ILS/0/SD_ILS:170946
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Scott, John Edward. author. Spendolini, Scott. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0280-6">http://dx.doi.org/10.1007/978-1-4302-0280-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning PHP and MySQL E-Commerce From Novice to Professional
ent://SD_ILS/0/SD_ILS:170954
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Darie, Cristian. author. Balanescu, Emilian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0291-2">http://dx.doi.org/10.1007/978-1-4302-0291-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Android Essentials
ent://SD_ILS/0/SD_ILS:171147
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Haseman, Chris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1063-4">http://dx.doi.org/10.1007/978-1-4302-1063-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Founders at Work Stories of Startups’ Early Days
ent://SD_ILS/0/SD_ILS:171152
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Livingston, Jessica. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-1077-1">http://dx.doi.org/10.1007/978-1-4302-1077-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis and Design of Information Systems Third Edition
ent://SD_ILS/0/SD_ILS:175496
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Langer, Arthur M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-655-1">http://dx.doi.org/10.1007/978-1-84628-655-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of the Spin Model Checker
ent://SD_ILS/0/SD_ILS:175556
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-770-1">http://dx.doi.org/10.1007/978-1-84628-770-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network Performance Analysis Using the J Programming Language
ent://SD_ILS/0/SD_ILS:175583
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Holt, Alan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-823-4">http://dx.doi.org/10.1007/978-1-84628-823-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Methods for Inconsistent Knowledge Management
ent://SD_ILS/0/SD_ILS:175615
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Nguyen, Ngoc Thanh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-889-0">http://dx.doi.org/10.1007/978-1-84628-889-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities
ent://SD_ILS/0/SD_ILS:175672
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Simon, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-017-9">http://dx.doi.org/10.1007/978-1-84800-017-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Search by Constrained Agents Algorithms, Performance, Communication
ent://SD_ILS/0/SD_ILS:175683
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Meisels, Amnon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-040-7">http://dx.doi.org/10.1007/978-1-84800-040-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developing Ambient Intelligence Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d’07)
ent://SD_ILS/0/SD_ILS:176453
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Maña, Antonio. author. Rudolph, Carsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-2-287-78544-3">http://dx.doi.org/10.1007/978-2-287-78544-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Grid and Pervasive Computing Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185344
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Wu, Song. editor. Yang, Laurence T. editor. Xu, Tony Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68083-3">http://dx.doi.org/10.1007/978-3-540-68083-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185356
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68111-3">http://dx.doi.org/10.1007/978-3-540-68111-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service Availability 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185365
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Nanya, Takashi. editor. Maruyama, Fumihiro. editor. Pataricza, András. editor. Malek, Miroslaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68129-8">http://dx.doi.org/10.1007/978-3-540-68129-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web: Research and Applications 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185415
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bechhofer, Sean. editor. Hauswirth, Manfred. editor. Hoffmann, Jörg. editor. Koubarakis, Manolis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68234-9">http://dx.doi.org/10.1007/978-3-540-68234-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185416
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Cuellar, Jorge. editor. Maibaum, Tom. editor. Sere, Kaisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68237-0">http://dx.doi.org/10.1007/978-3-540-68237-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185507
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68555-5">http://dx.doi.org/10.1007/978-3-540-68555-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools for High Performance Computing Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
ent://SD_ILS/0/SD_ILS:185511
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Resch, Michael. editor. Keller, Rainer. editor. Himmler, Valentin. editor. Krammer, Bettina. editor. Schulz, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68564-7">http://dx.doi.org/10.1007/978-3-540-68564-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Temporal Logic and State Systems
ent://SD_ILS/0/SD_ILS:185537
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68635-4">http://dx.doi.org/10.1007/978-3-540-68635-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Retrieval Technology 4th Asia Infomation Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185538
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Li, Hang. editor. Liu, Ting. editor. Ma, Wei-Ying. editor. Sakai, Tetsuya. editor. Wong, Kam-Fai. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68636-1">http://dx.doi.org/10.1007/978-3-540-68636-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185539
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Meier, René. editor. Terzis, Sotirios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68642-2">http://dx.doi.org/10.1007/978-3-540-68642-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Enterprise Engineering I 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185540
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Dietz, Jan L. G. editor. Albani, Antonia. editor. Barjis, Joseph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68644-6">http://dx.doi.org/10.1007/978-3-540-68644-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wired/Wireless Internet Communications 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185594
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Harju, Jarmo. editor. Heijenk, Geert. editor. Langendörfer, Peter. editor. Siris, Vasilios A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68807-5">http://dx.doi.org/10.1007/978-3-540-68807-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
RoboCup 2007: Robot Soccer World Cup XI
ent://SD_ILS/0/SD_ILS:185612
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Visser, Ubbo. editor. Ribeiro, Fernando. editor. Ohashi, Takeshi. editor. Dellaert, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68847-1">http://dx.doi.org/10.1007/978-3-540-68847-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics and Computation, a Contemporary View The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006
ent://SD_ILS/0/SD_ILS:185613
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Munthe-Kaas, Hans. editor. Owren, Brynjulf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68850-1">http://dx.doi.org/10.1007/978-3-540-68850-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185615
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Suzuki, Kenji. editor. Higashino, Teruo. editor. Yasumoto, Keiichi. editor. El-Fakih, Khaled. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68855-6">http://dx.doi.org/10.1007/978-3-540-68855-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence: Research Frontiers IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, Plenary/Invited Lectures
ent://SD_ILS/0/SD_ILS:185618
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Zurada, Jacek M. editor. Yen, Gary G. editor. Wang, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68860-0">http://dx.doi.org/10.1007/978-3-540-68860-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185620
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Barthe, Gilles. editor. Boer, Frank S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68863-1">http://dx.doi.org/10.1007/978-3-540-68863-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects in Information and Management 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185628
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Fleischer, Rudolf. editor. Xu, Jinhui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68880-8">http://dx.doi.org/10.1007/978-3-540-68880-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependability Metrics Advanced Lectures
ent://SD_ILS/0/SD_ILS:185660
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Eusgeld, Irene. editor. Freiling, Felix C. editor. Reussner, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68947-8">http://dx.doi.org/10.1007/978-3-540-68947-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Applied Artificial Intelligence 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185697
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Nguyen, Ngoc Thanh. editor. Borzemski, Leszek. editor. Grzech, Adam. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69052-8">http://dx.doi.org/10.1007/978-3-540-69052-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Pattern Matching 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185701
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Ferragina, Paolo. editor. Landau, Gad M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69068-9">http://dx.doi.org/10.1007/978-3-540-69068-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:187055
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74105-3">http://dx.doi.org/10.1007/978-3-540-74105-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:187874
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Rao, Shrisha. editor. Chatterjee, Mainak. editor. Jayanti, Prasad. editor. Murthy, C. Siva Ram. editor. Saha, Sanjoy Kumar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77444-0">http://dx.doi.org/10.1007/978-3-540-77444-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189473
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Palma, José M. Laginha M. editor. Amestoy, Patrick R. editor. Daydé, Michel. editor. Mattoso, Marta. 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-92859-1">http://dx.doi.org/10.1007/978-3-540-92859-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects of Wireless Sensor Networks Fourth International Workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189474
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Fekete, Sándor P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92862-1">http://dx.doi.org/10.1007/978-3-540-92862-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph-Theoretic Concepts in Computer Science 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers
ent://SD_ILS/0/SD_ILS:189417
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Broersma, Hajo. editor. Erlebach, Thomas. editor. Friedetzky, Tom. editor. Paulusma, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92248-3">http://dx.doi.org/10.1007/978-3-540-92248-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Systems Biology X
ent://SD_ILS/0/SD_ILS:189422
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Priami, Corrado. editor. Dressler, Falko. editor. Akan, Ozgur B. editor. Ngom, Alioune. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92273-5">http://dx.doi.org/10.1007/978-3-540-92273-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complexity of Constraints An Overview of Current Research Themes
ent://SD_ILS/0/SD_ILS:189461
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Creignou, Nadia. editor. Kolaitis, Phokion G. editor. Vollmer, Heribert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92800-3">http://dx.doi.org/10.1007/978-3-540-92800-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Algorithm Design Manual
ent://SD_ILS/0/SD_ILS:175696
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Skiena, Steven S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-070-4">http://dx.doi.org/10.1007/978-1-84800-070-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Improvements in System Safety
ent://SD_ILS/0/SD_ILS:175711
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-100-8">http://dx.doi.org/10.1007/978-1-84800-100-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network Models and Optimization Multiobjective Genetic Algorithm Approach
ent://SD_ILS/0/SD_ILS:175748
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Gen, Mitsuo. author. Cheng, Runwei. author. Lin, Lin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-181-7">http://dx.doi.org/10.1007/978-1-84800-181-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Interoperability III New Challenges and Industrial Approaches
ent://SD_ILS/0/SD_ILS:175767
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Mertins, Kai. editor. Ruggaber, Rainer. editor. Popplewell, Keith. editor. Xu, Xiaofei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-221-0">http://dx.doi.org/10.1007/978-1-84800-221-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of 3D Graphics Programming Using JOGL and Java3D
ent://SD_ILS/0/SD_ILS:175796
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Chen, Jim X. author. Chen, Chunyang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-284-5">http://dx.doi.org/10.1007/978-1-84800-284-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185472
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Fisher, Jasmin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68413-8">http://dx.doi.org/10.1007/978-3-540-68413-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185805
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69384-0">http://dx.doi.org/10.1007/978-3-540-69384-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185806
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69387-1">http://dx.doi.org/10.1007/978-3-540-69387-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:185807
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69389-5">http://dx.doi.org/10.1007/978-3-540-69389-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computational Intelligence in Transport, Logistics, and Supply Chain Management
ent://SD_ILS/0/SD_ILS:185808
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Fink, Andreas. editor. Rothlauf, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69390-1">http://dx.doi.org/10.1007/978-3-540-69390-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185815
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Beckmann, Arnold. editor. Dimitracopoulos, Costas. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69407-6">http://dx.doi.org/10.1007/978-3-540-69407-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Time-Dependent Scheduling
ent://SD_ILS/0/SD_ILS:185828
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Gawiejnowicz, Stanisław. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69446-5">http://dx.doi.org/10.1007/978-3-540-69446-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Public Key Infrastructure 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185843
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Mjølsnes, Stig F. editor. Mauw, Sjouke. editor. Katsikas, Sokratis K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69485-4">http://dx.doi.org/10.1007/978-3-540-69485-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Arithmetic of Finite Fields 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185849
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Gathen, Joachim. editor. Imaña, José Luis. editor. Koç, Çetin Kaya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69499-1">http://dx.doi.org/10.1007/978-3-540-69499-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185850
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bourgeois, Anu G. editor. Zheng, S. Q. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69501-1">http://dx.doi.org/10.1007/978-3-540-69501-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing – ICAISC 2008 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185872
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Rutkowski, Leszek. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor. Zurada, Jacek M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69731-2">http://dx.doi.org/10.1007/978-3-540-69731-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Combinatorics 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185873
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Hu, Xiaodong. editor. Wang, Jie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69733-6">http://dx.doi.org/10.1007/978-3-540-69733-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Image Analysis and Recognition 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185892
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Campilho, Aurélio. editor. Kamel, Mohamed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69812-8">http://dx.doi.org/10.1007/978-3-540-69812-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185893
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kounev, Samuel. editor. Gorton, Ian. editor. Sachs, Kai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69814-2">http://dx.doi.org/10.1007/978-3-540-69814-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185897
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Paige, Richard F. 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-69824-1">http://dx.doi.org/10.1007/978-3-540-69824-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185905
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69839-5">http://dx.doi.org/10.1007/978-3-540-69839-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185908
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69848-7">http://dx.doi.org/10.1007/978-3-540-69848-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
25 Years of Model Checking History, Achievements, Perspectives
ent://SD_ILS/0/SD_ILS:185909
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Grumberg, Orna. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69850-0">http://dx.doi.org/10.1007/978-3-540-69850-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithm Theory – SWAT 2008 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185932
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Gudmundsson, Joachim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69903-3">http://dx.doi.org/10.1007/978-3-540-69903-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Image and Signal Processing 3rd International Conference, ICISP 2008. Cherbourg-Octeville, France, July 1 - 3, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185933
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Elmoataz, Abderrahim. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Mammass, Driss. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69905-7">http://dx.doi.org/10.1007/978-3-540-69905-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Homes and Health Telematics 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185938
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Helal, Sumi. editor. Mitra, Simanta. editor. Wong, Johnny. editor. Chang, Carl K. editor. Mokhtari, Mounir. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69916-3">http://dx.doi.org/10.1007/978-3-540-69916-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185946
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Hodges, Wilfrid. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69937-8">http://dx.doi.org/10.1007/978-3-540-69937-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security and Privacy 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:185962
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Mu, Yi. editor. Susilo, Willy. editor. Seberry, Jennifer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70500-0">http://dx.doi.org/10.1007/978-3-540-70500-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in Evolutionary Computation for Combinatorial Optimization
ent://SD_ILS/0/SD_ILS:186055
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Cotta, Carlos. editor. Hemert, Jano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70807-0">http://dx.doi.org/10.1007/978-3-540-70807-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dissemination of Information in Optical Networks From Technology to Algorithms In Cooperation with Ralf Klasing
ent://SD_ILS/0/SD_ILS:186673
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bandyopadhyay, Subir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72875-7">http://dx.doi.org/10.1007/978-3-540-72875-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Component Development with Zope 3
ent://SD_ILS/0/SD_ILS:187617
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Weitershausen, Philipp. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-76448-9">http://dx.doi.org/10.1007/978-3-540-76448-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rightshore! Successfully SAP(R) Projects Offshore
ent://SD_ILS/0/SD_ILS:187832
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Messner, Wolfgang. editor. Hendel, Anja. editor. Thun, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77288-0">http://dx.doi.org/10.1007/978-3-540-77288-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Drawing 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:187905
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Hong, Seok-Hee. editor. Nishizeki, Takao. editor. Quan, Wu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77537-9">http://dx.doi.org/10.1007/978-3-540-77537-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:187915
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77564-5">http://dx.doi.org/10.1007/978-3-540-77564-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Information Systems 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187920
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Manolopoulos, Yannis. editor. Filipe, Joaquim. editor. Constantopoulos, Panos. editor. Cordeiro, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77581-2">http://dx.doi.org/10.1007/978-3-540-77581-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ajax in Oracle JDeveloper
ent://SD_ILS/0/SD_ILS:187924
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
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-77596-6">http://dx.doi.org/10.1007/978-3-540-77596-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Sensor Networks 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:187949
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Verdone, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77690-1">http://dx.doi.org/10.1007/978-3-540-77690-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187955
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Labarta, Jesús. editor. Joe, Kazuki. editor. Sato, Toshinori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77704-5">http://dx.doi.org/10.1007/978-3-540-77704-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Planning Tasks Domain Complexity and Heuristic Decomposition
ent://SD_ILS/0/SD_ILS:187958
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Helmert, Malte. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77723-6">http://dx.doi.org/10.1007/978-3-540-77723-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects of Wireless Sensor Networks Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188002
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kutyłowski, Mirosław. editor. Cichoń, Jacek. editor. Kubiak, Przemysław. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77871-4">http://dx.doi.org/10.1007/978-3-540-77871-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
WALCOM: Algorithms and Computation Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188010
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Nakano, Shin-ichi. editor. Rahman, Md. Saidur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77891-2">http://dx.doi.org/10.1007/978-3-540-77891-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approximation and Online Algorithms 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:188019
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kaklamanis, Christos. editor. Skutella, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77918-6">http://dx.doi.org/10.1007/978-3-540-77918-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reflections on the Teaching of Programming Methods and Implementations
ent://SD_ILS/0/SD_ILS:188023
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Bennedsen, Jens. editor. Caspersen, Michael E. editor. Kölling, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77934-6">http://dx.doi.org/10.1007/978-3-540-77934-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188025
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Tuyls, Karl. editor. Nowe, Ann. editor. Guessoum, Zahia. editor. Kudenko, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77949-0">http://dx.doi.org/10.1007/978-3-540-77949-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188029
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Garzon, Max H. editor. Yan, Hao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77962-9">http://dx.doi.org/10.1007/978-3-540-77962-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Geometry Algorithms and Applications
ent://SD_ILS/0/SD_ILS:188034
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Berg, Mark. author. Cheong, Otfried. author. Kreveld, Marc. author. Overmars, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77974-2">http://dx.doi.org/10.1007/978-3-540-77974-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Data Structures The Basic Toolbox
ent://SD_ILS/0/SD_ILS:188035
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Mehlhorn, Kurt. author. Sanders, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77978-0">http://dx.doi.org/10.1007/978-3-540-77978-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
ent://SD_ILS/0/SD_ILS:188040
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Avron, Arnon. editor. Dershowitz, Nachum. editor. Rabinovich, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78127-1">http://dx.doi.org/10.1007/978-3-540-78127-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188042
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Medina, Raoul. editor. Obiedkov, Sergei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78137-0">http://dx.doi.org/10.1007/978-3-540-78137-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems – ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188044
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Brinkschulte, Uwe. editor. Ungerer, Theo. editor. Hochberger, Christian. editor. Spallek, Rainer G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78153-0">http://dx.doi.org/10.1007/978-3-540-78153-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188048
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Logozzo, Francesco. editor. Peled, Doron A. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78163-9">http://dx.doi.org/10.1007/978-3-540-78163-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports
ent://SD_ILS/0/SD_ILS:188052
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Cebulla, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78195-0">http://dx.doi.org/10.1007/978-3-540-78195-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial Image Analysis 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188072
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Brimkov, Valentin E. editor. Barneva, Reneta P. editor. Hauptman, Herbert A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78275-9">http://dx.doi.org/10.1007/978-3-540-78275-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Computation in Combinatorial Optimization 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188182
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Hemert, Jano. editor. Cotta, Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78604-7">http://dx.doi.org/10.1007/978-3-540-78604-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Service Provisioning
ent://SD_ILS/0/SD_ILS:188186
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kuropka, Dominik. editor. Staab, Steffen. editor. Tröger, Peter. editor. Weske, Mathias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78617-7">http://dx.doi.org/10.1007/978-3-540-78617-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Probabilistic Inductive Logic Programming Theory and Applications
ent://SD_ILS/0/SD_ILS:188200
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78652-8">http://dx.doi.org/10.1007/978-3-540-78652-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188204
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Barthe, Gilles. editor. Fournet, Cédric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78663-4">http://dx.doi.org/10.1007/978-3-540-78663-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188206
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author O’Neill, Michael. editor. Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Esparcia Alcázar, Anna Isabel. editor. Falco, Ivanoe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78671-9">http://dx.doi.org/10.1007/978-3-540-78671-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:188213
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
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-78699-3">http://dx.doi.org/10.1007/978-3-540-78699-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188237
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Laber, Eduardo Sany. editor. Bornstein, Claudson. editor. Nogueira, Loana Tito. editor. Faria, Luerbio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78773-0">http://dx.doi.org/10.1007/978-3-540-78773-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188342
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Beckert, Bernhard. editor. Hähnle, Reiner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79124-9">http://dx.doi.org/10.1007/978-3-540-79124-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Discrete Geometry for Computer Imagery 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188343
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Coeurjolly, David. editor. Sivignon, Isabelle. editor. Tougne, Laure. editor. Dupont, Florent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79126-3">http://dx.doi.org/10.1007/978-3-540-79126-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188367
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Agrawal, Manindra. editor. Du, Dingzhu. editor. Duan, Zhenhua. editor. Li, Angsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79228-4">http://dx.doi.org/10.1007/978-3-540-79228-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:188368
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Dumas, Marlon. editor. Heckel, Reiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79230-7">http://dx.doi.org/10.1007/978-3-540-79230-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Cryptology – CT-RSA 2008 The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188378
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Malkin, Tal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79263-5">http://dx.doi.org/10.1007/978-3-540-79263-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
TestGoal Result-Driven Testing
ent://SD_ILS/0/SD_ILS:188255
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author De Grood, Derk-Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78829-4">http://dx.doi.org/10.1007/978-3-540-78829-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Evolution 8th International Conference, Evolution Artificielle, EA 2007, Tours, France, October 29-31, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188388
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Monmarché, Nicolas. editor. Talbi, El-Ghazali. editor. Collet, Pierre. editor. Schoenauer, Marc. editor. Lutton, Evelyne. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79305-2">http://dx.doi.org/10.1007/978-3-540-79305-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Information Systems 11th International Conference, BIS 2008, Innsbruck, Austria, May 5-7, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188419
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Abramowicz, Witold. editor. Fensel, Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79396-0">http://dx.doi.org/10.1007/978-3-540-79396-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Active Knowledge Modeling of Enterprises
ent://SD_ILS/0/SD_ILS:188428
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Lillehagen, Frank. author. Krogstie, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79416-5">http://dx.doi.org/10.1007/978-3-540-79416-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Number Theory 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188439
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Poorten, Alfred J. editor. Stein, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79456-1">http://dx.doi.org/10.1007/978-3-540-79456-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security and Cryptology Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188456
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Pei, Dingyi. editor. Yung, Moti. editor. Lin, Dongdai. editor. Wu, Chuankun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79499-8">http://dx.doi.org/10.1007/978-3-540-79499-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188473
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Das, Amitabha. editor. Pung, Hung Keng. editor. Lee, Francis Bu Sung. editor. Wong, Lawrence Wai Choong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79549-0">http://dx.doi.org/10.1007/978-3-540-79549-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188479
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Eigenmann, Rudolf. editor. Supinski, Bronis R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79561-2">http://dx.doi.org/10.1007/978-3-540-79561-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing 6th International Conference, Pervasive 2008 Sydney, Australia, May 19-22, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188485
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Indulska, Jadwiga. editor. Patterson, Donald J. editor. Rodden, Tom. editor. Ott, Max. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79576-6">http://dx.doi.org/10.1007/978-3-540-79576-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ada 2005 Rationale The Language, The Standard Libraries
ent://SD_ILS/0/SD_ILS:188493
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Barnes, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79701-2">http://dx.doi.org/10.1007/978-3-540-79701-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188496
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Leue, Stefan. editor. Merino, Pedro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79707-4">http://dx.doi.org/10.1007/978-3-540-79707-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188497
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Hirsch, Edward A. editor. Razborov, Alexander A. editor. Semenov, Alexei. editor. Slissenko, Anatol. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79709-8">http://dx.doi.org/10.1007/978-3-540-79709-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188500
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79719-7">http://dx.doi.org/10.1007/978-3-540-79719-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parameterized and Exact Computation Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188502
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Grohe, Martin. editor. Niedermeier, Rolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79723-4">http://dx.doi.org/10.1007/978-3-540-79723-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Puzzle of Granular Computing
ent://SD_ILS/0/SD_ILS:188527
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Apolloni, Bruno. author. Pedrycz, Witold. author. Bassis, Simone. author. Malchiodi, Dario. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79864-4">http://dx.doi.org/10.1007/978-3-540-79864-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188550
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Umeo, Hiroshi. editor. Morishita, Shin. editor. Nishinari, Katsuhiro. editor. Komatsuzaki, Toshihiko. editor. Bandini, Stefania. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79992-4">http://dx.doi.org/10.1007/978-3-540-79992-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
GeoSensor Networks Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:188552
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Nittel, Silvia. editor. Labrinidis, Alexandros. editor. Stefanidis, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79996-2">http://dx.doi.org/10.1007/978-3-540-79996-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Environment-Mediated Multi-Agent Systems International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:188560
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Weyns, Danny. editor. Brueckner, Sven A. editor. Demazeau, Yves. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85029-8">http://dx.doi.org/10.1007/978-3-540-85029-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:188563
2024-09-12T08:37:55Z
2024-09-12T08:37:55Z
Author Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85035-9">http://dx.doi.org/10.1007/978-3-540-85035-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>