Search Results for Computer science - Narrowed by: 2007

Computer science illuminated

2025-03-20T02:53:33Z

Author Dale, Nell B. Lewis, John, 1963-
Preferred Shelf Number QA76 .D285 2007
Format: Books
Availability Beytepe Library~1

SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

2025-03-20T02:53:33Z

Author Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69507-3
Format: Electronic Resources
Availability Online Library~1

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

2025-03-20T02:53:33Z

Author Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73859-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings

2025-03-20T02:53:33Z

Author Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74456-6
Format: Electronic Resources
Availability Online Library~1

Graph-Theoretic Concepts in Computer Science 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers

2025-03-20T02:53:33Z

Author Brandstädt, Andreas. editor. Kratsch, Dieter. editor. Müller, Haiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74839-7
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

2025-03-20T02:53:33Z

Author Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74915-8
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science – ASIAN 2007. Computer and Network Security 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007. Proceedings

2025-03-20T02:53:33Z

Author Cervesato, Iliano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76929-3
Format: Electronic Resources
Availability Online Library~1

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

2025-03-20T02:53:33Z

Author Thomas, Wolfgang. editor. Weil, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70918-3
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

2025-03-20T02:53:33Z

Author Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72734-7
Format: Electronic Resources
Availability Online Library~1

Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

2025-03-20T02:53:33Z

Author Diekert, Volker. editor. Volkov, Mikhail V. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74510-5
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77505-8
Format: Electronic Resources
Availability Online Library~1

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

2025-03-20T02:53:33Z

Author Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77050-3
Format: Electronic Resources
Availability Online Library~1

Geometric algebra for computer science an object-oriented approach to geometry

2025-03-20T02:53:33Z

Author Dorst, Leo, 1958- Fontijne, Daniel. Mann, Stephen, 1963-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123749420
Format: Electronic Resources
Availability Online Library~1

Geometric algebra for computer science an object-oriented approach to geometry

2025-03-20T02:53:33Z

Author Dorst, Leo, 1958- Fontijne, Daniel. Mann, Stephen, 1963-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123694652
Format: Electronic Resources
Availability Online Library~1

Geometric algebra for computer science : an object-oriented approach to geometry

2025-03-20T02:53:33Z

Author Dorst, Leo, 1958- Fontijne, Daniel. Mann, Stephen.
Preferred Shelf Number QA564 .D67 2007
Format: Books
Availability Beytepe Library~1

Computer science reconsidered the invocation model of process expression / Karl M. Fant.

2025-03-20T02:53:33Z

Author Fant, Karl M. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006052821-b.html John Wiley http://dx.doi.org/10.1002/9780470125779
Format: Electronic Resources
Availability Online Library~1

Ethical and Social Issues in the Information Age

2025-03-20T02:53:33Z

Author Kizza, Joseph Migga. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-659-9
Format: Electronic Resources
Availability Online Library~1

Fundamentals of the New Artificial Intelligence Neural, Evolutionary, Fuzzy and More

2025-03-20T02:53:33Z

Author Munakata, Toshinori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-839-5
Format: Electronic Resources
Availability Online Library~1

Software engineering

2025-03-20T02:53:33Z

Author Sommerville, Ian, 1951-
Preferred Shelf Number QA76.6 S66 2007
Format: Books
Availability Beytepe Library~1

Practical Distributed Processing

2025-03-20T02:53:33Z

Author Brooke, Phillip J. author. Paige, Richard F. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-841-8
Format: Electronic Resources
Availability Online Library~1

Introduction to Operating System Design and Implementation The OSP 2 Approach

2025-03-20T02:53:33Z

Author Kifer, Michael. author. Smolka, Scott A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-843-6
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Programming Languages: Interpretation

2025-03-20T02:53:33Z

Author Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-774-9
Format: Electronic Resources
Availability Online Library~1

High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings

2025-03-20T02:53:33Z

Author Bosschere, Koen. editor. Kaeli, David. editor. Stenström, Per. editor. Whalley, David. editor. Ungerer, Theo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69338-3
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings

2025-03-20T02:53:33Z

Author Langendoen, Koen. editor. Voigt, Thiemo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69830-2
Format: Electronic Resources
Availability Online Library~1

Complex Motion First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004. Revised Papers

2025-03-20T02:53:33Z

Author Jähne, Bernd. editor. Mester, Rudolf. editor. Barth, Erhardt. editor. Scharr, Hanno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69866-1
Format: Electronic Resources
Availability Online Library~1

Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2025-03-20T02:53:33Z

Author Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69868-5
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Artificial Intelligence JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Washio, Takashi. editor. Satoh, Ken. editor. Takeda, Hideaki. editor. Inokuchi, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69902-6
Format: Electronic Resources
Availability Online Library~1

KI 2006: Advances in Artificial Intelligence 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings

2025-03-20T02:53:33Z

Author Freksa, Christian. editor. Kohlhase, Michael. editor. Schill, Kerstin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69912-5
Format: Electronic Resources
Availability Online Library~1

Distributed, High-Performance and Grid Computing in Computational Biology International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings

2025-03-20T02:53:33Z

Author Dubitzky, Werner. editor. Schuster, Assaf. editor. Sloot, Peter M. A. editor. Schroeder, Michael. editor. Romberg, Mathilde. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69968-2
Format: Electronic Resources
Availability Online Library~1

Journal on Data Semantics VIII

2025-03-20T02:53:33Z

Author Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Fages, François. editor. Hacid, Mohand-Saïd. editor. Kifer, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70664-9
Format: Electronic Resources
Availability Online Library~1

Discrete Geometry, Combinatorics and Graph Theory 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, Xi’an, China, November 22-24, 2005, Revised Selected Papers

2025-03-20T02:53:33Z

Author Akiyama, Jin. editor. Chen, William Y. C. editor. Kano, Mikio. editor. Li, Xueliang. editor. Yu, Qinglin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70666-3
Format: Electronic Resources
Availability Online Library~1

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

2025-03-20T02:53:33Z

Author Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70816-2
Format: Electronic Resources
Availability Online Library~1

Interactive TV: a Shared Experience 5th European Conference, EuroITV 2007, Amsterdam, The Netherlands, May 24-25, 2007. Proceedings

2025-03-20T02:53:33Z

Author Cesar, Pablo. editor. Chorianopoulos, Konstantinos. editor. Jensen, Jens F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72559-6
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III

2025-03-20T02:53:33Z

Author Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72588-6
Format: Electronic Resources
Availability Online Library~1

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV

2025-03-20T02:53:33Z

Author Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72590-9
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2007. Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet 6th International IFIP-TC6 Networking Conference, Atlanta, GA, USA, May 14-18, 2007. Proceedings

2025-03-20T02:53:33Z

Author Akyildiz, Ian F. editor. Sivakumar, Raghupathy. editor. Ekici, Eylem. editor. Oliveira, Jaudelice Cavalcante de. editor. McNair, Janise. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72606-7
Format: Electronic Resources
Availability Online Library~1

Intelligence and Security Informatics: Biosurveillance Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007. Proceedings

2025-03-20T02:53:33Z

Author Zeng, Daniel. editor. Gotham, Ivan. editor. Komatsu, Ken. editor. Lynch, Cecil. editor. Thurmond, Mark. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72608-1
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

2025-03-20T02:53:33Z

Author Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72982-2
Format: Electronic Resources
Availability Online Library~1

Inter-Domain Management First International Conference on Autonomous Infrastructure, Management and Security, AIMS 2007, Oslo, Norway, June 21-22, 2007. Proceedings

2025-03-20T02:53:33Z

Author Bandara, Arosha K. editor. Burgess, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72986-0
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007. Proceedings

2025-03-20T02:53:33Z

Author Krogstie, John. editor. Opdahl, Andreas. editor. Sindre, Guttorm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72988-4
Format: Electronic Resources
Availability Online Library~1

Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedings

2025-03-20T02:53:33Z

Author Mason, Lorne. editor. Drwiega, Tadeusz. editor. Yan, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72990-7
Format: Electronic Resources
Availability Online Library~1

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

2025-03-20T02:53:33Z

Author Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73001-9
Format: Electronic Resources
Availability Online Library~1

Computational and Ambient Intelligence 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007. Proceedings

2025-03-20T02:53:33Z

Author Sandoval, Francisco. editor. Prieto, Alberto. editor. Cabestany, Joan. editor. Graña, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73007-1
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

2025-03-20T02:53:33Z

Author Sawyer, Pete. editor. Paech, Barbara. editor. Heymans, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73031-6
Format: Electronic Resources
Availability Online Library~1

New Trends in Applied Artificial Intelligence 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007. Proceedings

2025-03-20T02:53:33Z

Author Okuno, Hiroshi G. editor. Ali, Moonis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73325-6
Format: Electronic Resources
Availability Online Library~1

Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2025-03-20T02:53:33Z

Author Dainoff, Marvin J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73333-1
Format: Electronic Resources
Availability Online Library~1

Bio-inspired Modeling of Cognitive Tasks Second International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2007, La Manga del Mar Menor, Spain, June 18-21, 2007, Proceedings, Part I

2025-03-20T02:53:33Z

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

Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings Part I

2025-03-20T02:53:33Z

Author Smith, Michael J. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73345-4
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2025-03-20T02:53:33Z

Author Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Electronic Resources
Availability Online Library~1

User Modeling 2007 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007. Proceedings

2025-03-20T02:53:33Z

Author Conati, Cristina. editor. McCoy, Kathleen. editor. Paliouras, Georgios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73078-1
Format: Electronic Resources
Availability Online Library~1

Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

2025-03-20T02:53:33Z

Author Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73086-6
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

2025-03-20T02:53:33Z

Author Damm, Werner. editor. Hermanns, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73368-3
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

2025-03-20T02:53:33Z

Author Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73370-6
Format: Electronic Resources
Availability Online Library~1

Data Management. Data, Data Everywhere 24th British National Conference on Databases, BNCOD 24, Glasgow, UK, July 3-5, 2007. Proceedings

2025-03-20T02:53:33Z

Author Cooper, Richard. editor. Kennedy, Jessie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73390-4
Format: Electronic Resources
Availability Online Library~1

Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007. Proceedings

2025-03-20T02:53:33Z

Author Masulli, Francesco. editor. Mitra, Sushmita. editor. Pasi, Gabriella. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73400-0
Format: Electronic Resources
Availability Online Library~1

Public Key Infrastructure 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007. Proceedings

2025-03-20T02:53:33Z

Author Lopez, Javier. editor. Samarati, Pierangela. editor. Ferrer, Josep L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73408-6
Format: Electronic Resources
Availability Online Library~1

Multimedia Content Analysis and Mining International Workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007. Proceedings

2025-03-20T02:53:33Z

Author Sebe, Nicu. editor. Liu, Yuncai. editor. Zhuang, Yueting. editor. Huang, Thomas S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73417-8
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

2025-03-20T02:53:33Z

Author Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73420-8
Format: Electronic Resources
Availability Online Library~1

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings

2025-03-20T02:53:33Z

Author Anai, Hirokazu. editor. Horimoto, Katsuhisa. editor. Kutsia, Temur. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73433-8
Format: Electronic Resources
Availability Online Library~1

Advances in Data Mining. Theoretical Aspects and Applications 7th Industrial Conference, ICDM 2007, Leipzig, Germany, July 14-18, 2007. Proceedings

2025-03-20T02:53:33Z

Author Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73435-2
Format: Electronic Resources
Availability Online Library~1

Combinatorial Pattern Matching 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007. Proceedings

2025-03-20T02:53:33Z

Author Ma, Bin. editor. Zhang, Kaizhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73437-6
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

2025-03-20T02:53:33Z

Author Leivant, Daniel. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73445-1
Format: Electronic Resources
Availability Online Library~1

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

2025-03-20T02:53:33Z

Author Baader, Franz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73449-9
Format: Electronic Resources
Availability Online Library~1

Rough Sets and Intelligent Systems Paradigms International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007. Proceedings

2025-03-20T02:53:33Z

Author Kryszkiewicz, Marzena. editor. Peters, James F. editor. Rybinski, Henryk. editor. Skowron, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73451-2
Format: Electronic Resources
Availability Online Library~1

Information Security and Privacy 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007. Proceedings

2025-03-20T02:53:33Z

Author Pieprzyk, Josef. editor. Ghodosi, Hossein. editor. Dawson, Ed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73458-1
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings

2025-03-20T02:53:33Z

Author Münch, Jürgen. editor. Abrahamsson, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73460-4
Format: Electronic Resources
Availability Online Library~1

Foundations of Genetic Algorithms 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers

2025-03-20T02:53:33Z

Author Stephens, Christopher R. editor. Toussaint, Marc. editor. Whitley, Darrell. editor. Stadler, Peter F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73482-6
Format: Electronic Resources
Availability Online Library~1

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

2025-03-20T02:53:33Z

Author Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73094-1
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

2025-03-20T02:53:33Z

Author Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73101-6
Format: Electronic Resources
Availability Online Library~1

Machine Learning and Data Mining in Pattern Recognition 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007. Proceedings

2025-03-20T02:53:33Z

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

Statistical Network Analysis: Models, Issues, and New Directions ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Airoldi, Edoardo. editor. Blei, David M. editor. Fienberg, Stephen E. editor. Goldenberg, Anna. editor. Xing, Eric P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73133-7
Format: Electronic Resources
Availability Online Library~1

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

2025-03-20T02:53:33Z

Author Comon-Lundh, Hubert. editor. Kirchner, Claude. editor. Kirchner, Hélène. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73147-4
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

2025-03-20T02:53:33Z

Author Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73196-2
Format: Electronic Resources
Availability Online Library~1

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings

2025-03-20T02:53:33Z

Author Harju, Tero. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73208-2
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

2025-03-20T02:53:33Z

Author Davies, Jim. editor. Gibbons, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73210-5
Format: Electronic Resources
Availability Online Library~1

Smart Graphics 8th International Symposium, SG 2007, Kyoto, Japan, June 25-27, 2007. Proceedings

2025-03-20T02:53:33Z

Author Butz, Andreas. editor. Fisher, Brian. editor. Krüger, Antonio. editor. Olivier, Patrick. editor. Owada, Shigeru. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73214-3
Format: Electronic Resources
Availability Online Library~1

Dependable and Adaptable Networks and Services 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings

2025-03-20T02:53:33Z

Author Pras, Aiko. editor. Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73530-4
Format: Electronic Resources
Availability Online Library~1

Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings

2025-03-20T02:53:33Z

Author Barker, Steve. editor. Ahn, Gail-Joon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73538-0
Format: Electronic Resources
Availability Online Library~1

Advances in Spatial and Temporal Databases 10th International Symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007. Proceedings

2025-03-20T02:53:33Z

Author Papadias, Dimitris. editor. Zhang, Donghui. editor. Kollios, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73540-3
Format: Electronic Resources
Availability Online Library~1

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007. Proceedings

2025-03-20T02:53:33Z

Author Lin, Guohui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73545-8
Format: Electronic Resources
Availability Online Library~1

Autonomic and Trusted Computing 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings

2025-03-20T02:53:33Z

Author Xiao, Bin. editor. Yang, Laurence T. editor. Ma, Jianhua. editor. Muller-Schloer, Christian. editor. Hua, Yu. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73547-2
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Intelligence and Computing 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007. Proceedings

2025-03-20T02:53:33Z

Author Indulska, Jadwiga. editor. Ma, Jianhua. editor. Yang, Laurence T. editor. Ungerer, Theo. editor. Cao, Jiannong. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73549-6
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

2025-03-20T02:53:33Z

Author Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73551-9
Format: Electronic Resources
Availability Online Library~1

Unconventional Computation 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Proceedings

2025-03-20T02:53:33Z

Author Akl, Selim G. editor. Calude, Cristian S. editor. Dinneen, Michael J. editor. Rozenberg, Grzegorz. editor. Wareham, H. Todd. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73554-0
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications First International Conference, COCOA 2007, Xi’an, China, August 14-16, 2007. Proceedings

2025-03-20T02:53:33Z

Author Dress, Andreas. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73556-4
Format: Electronic Resources
Availability Online Library~1

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings

2025-03-20T02:53:33Z

Author Miguel, Ian. editor. Ruml, Wheeler. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73580-9
Format: Electronic Resources
Availability Online Library~1

ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

2025-03-20T02:53:33Z

Author Ernst, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73589-2
Format: Electronic Resources
Availability Online Library~1

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

2025-03-20T02:53:33Z

Author Pfenning, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73595-3
Format: Electronic Resources
Availability Online Library~1

Web Engineering 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings

2025-03-20T02:53:33Z

Author Baresi, Luciano. editor. Fraternali, Piero. editor. Houben, Geert-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73597-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Medicine 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Amsterdam, The Netherlands, July 7-11, 2007. Proceedings

2025-03-20T02:53:33Z

Author Bellazzi, Riccardo. editor. Abu-Hanna, Ameen. editor. Hunter, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73599-1
Format: Electronic Resources
Availability Online Library~1

Detection of Intrusions and Malware, and Vulnerability Assessment 4th International Conference, DIMVA 2007 Lucerne, Switzerland, July 12-13, 2007 Proceedings

2025-03-20T02:53:33Z

Author Hämmerli, Bernhard. editor. Sommer, Robin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73614-1
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings

2025-03-20T02:53:33Z

Author Vassiliadis, Stamatis. editor. Bereković, Mladen. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73625-7
Format: Electronic Resources
Availability Online Library~1

Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings

2025-03-20T02:53:33Z

Author Priss, Uta. editor. Polovina, Simon. editor. Hill, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73681-3
Format: Electronic Resources
Availability Online Library~1

Modeling Decisions for Artificial Intelligence 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings

2025-03-20T02:53:33Z

Author Torra, Vicenç. editor. Narukawa, Yasuo. editor. Yoshida, Yuji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73729-2
Format: Electronic Resources
Availability Online Library~1

Advances in Bioinformatics and Computational Biology Second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007. Proceedings

2025-03-20T02:53:33Z

Author Sagot, Marie-France. editor. Walter, Maria Emilia M. T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73731-5
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

2025-03-20T02:53:33Z

Author Gurevich, Yuri. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73770-4
Format: Electronic Resources
Availability Online Library~1

Frontiers in Algorithmics First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007. Proceedings

2025-03-20T02:53:33Z

Author Preparata, Franco P. editor. Fang, Qizhi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73814-5
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

2025-03-20T02:53:33Z

Author Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Electronic Resources
Availability Online Library~1

Mathematics of Surfaces XII 12th IMA International Conference, Sheffield, UK, September 4-6, 2007. Proceedings

2025-03-20T02:53:33Z

Author Martin, Ralph. editor. Sabin, Malcolm. editor. Winkler, Joab. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73843-5
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Muggleton, Stephen. editor. Otero, Ramon. editor. Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73847-3
Format: Electronic Resources
Availability Online Library~1

Advanced Data Mining and Applications Third International Conference, ADMA 2007 Harbin, China, August 6-8, 2007 Proceedings

2025-03-20T02:53:33Z

Author Alhajj, Reda. editor. Gao, Hong. editor. Li, Xue. editor. Li, Jianzhong. editor. Zaïane, Osmar R. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73871-8
Format: Electronic Resources
Availability Online Library~1

Comparative Evaluation of XML Information Retrieval Systems 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2006, Dagstuhl Castle, Germany, December 17-20, 2006, Revised and Selected Papers

2025-03-20T02:53:33Z

Author Fuhr, Norbert. editor. Lalmas, Mounia. editor. Trotman, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73888-6
Format: Electronic Resources
Availability Online Library~1

Computational Discovery of Scientific Knowledge Introduction, Techniques, and Applications in Environmental and Life Sciences

2025-03-20T02:53:33Z

Author Džeroski, Sašo. editor. Todorovski, Ljupčo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73920-3
Format: Electronic Resources
Availability Online Library~1

Artificial Immune Systems 6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007. Proceedings

2025-03-20T02:53:33Z

Author Castro, Leandro Nunes. editor. Zuben, Fernando José. editor. Knidel, Helder. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73922-7
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings

2025-03-20T02:53:33Z

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

Business Intelligence for the Real-Time Enterprises First International Workshop, BIRTE 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Bussler, Christoph. editor. Castellanos, Malu. editor. Dayal, Umesh. editor. Navathe, Sham. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73950-0
Format: Electronic Resources
Availability Online Library~1

Algorithms and Data Structures 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007. Proceedings

2025-03-20T02:53:33Z

Author Dehne, Frank. editor. Sack, Jörg-Rüdiger. editor. Zeh, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73951-7
Format: Electronic Resources
Availability Online Library~1

Computer Network Security Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007 St. Petersburg, Russia, September 13–15, 2007 Proceedings

2025-03-20T02:53:33Z

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

Intercultural Collaboration First International Workshop, IWIC 2007 Kyoto, Japan, January 25-26, 2007 Invited and Selected Papers

2025-03-20T02:53:33Z

Author Ishida, Toru. editor. Fussell, Susan R. editor. Vossen, Piek T. J. M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74000-1
Format: Electronic Resources
Availability Online Library~1

RoboCup 2006: Robot Soccer World Cup X

2025-03-20T02:53:33Z

Author Lakemeyer, Gerhard. editor. Sklar, Elizabeth. editor. Sorrenti, Domenico G. editor. Takahashi, Tomoichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74024-7
Format: Electronic Resources
Availability Online Library~1

Architecting Dependable Systems IV

2025-03-20T02:53:33Z

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

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

2025-03-20T02:53:33Z

Author Nielson, Hanne Riis. editor. Filé, Gilberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74061-2
Format: Electronic Resources
Availability Online Library~1

Speaker Classification II Selected Projects

2025-03-20T02:53:33Z

Author Müller, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74122-0
Format: Electronic Resources
Availability Online Library~1

Information Hiding 8th International Workshop, IH 2006, Alexandria, VA, USA, July 10-12, 2006. Revised Selcted Papers

2025-03-20T02:53:33Z

Author Camenisch, Jan L. editor. Collberg, Christian S. editor. Johnson, Neil F. editor. Sallee, Phil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74124-4
Format: Electronic Resources
Availability Online Library~1

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007. Proceedings

2025-03-20T02:53:33Z

Author Giancarlo, Raffaele. editor. Hannenhalli, Sridhar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74126-8
Format: Electronic Resources
Availability Online Library~1

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

2025-03-20T02:53:33Z

Author Edelkamp, Stefan. editor. Lomuscio, Alessio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74128-2
Format: Electronic Resources
Availability Online Library~1

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Horváth, Zoltán. editor. Zsók, Viktória. editor. Butterfield, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74130-5
Format: Electronic Resources
Availability Online Library~1

Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings

2025-03-20T02:53:33Z

Author Weber, Rosina O. editor. Richter, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74141-1
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - CRYPTO 2007 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007. Proceedings

2025-03-20T02:53:33Z

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

Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings

2025-03-20T02:53:33Z

Author Huang, De-Shuang. editor. Heutte, Laurent. editor. Loog, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74171-8
Format: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings

2025-03-20T02:53:33Z

Author Yuille, Alan L. editor. Zhu, Song-Chun. editor. Cremers, Daniel. editor. Wang, Yongtian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74198-5
Format: Electronic Resources
Availability Online Library~1

Speaker Classification I Fundamentals, Features, and Methods

2025-03-20T02:53:33Z

Author Müller, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74200-5
Format: Electronic Resources
Availability Online Library~1

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings

2025-03-20T02:53:33Z

Author Huang, De-Shuang. editor. Heutte, Laurent. editor. Loog, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74205-0
Format: Electronic Resources
Availability Online Library~1

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007. Proceedings

2025-03-20T02:53:33Z

Author Charikar, Moses. editor. Jansen, Klaus. editor. Reingold, Omer. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74208-1
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

2025-03-20T02:53:33Z

Author Csuhaj-Varjú, Erzsébet. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74240-1
Format: Electronic Resources
Availability Online Library~1

Algorithmic Methods for Railway Optimization International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers

2025-03-20T02:53:33Z

Author Geraets, Frank. editor. Kroon, Leo. editor. Schoebel, Anita. editor. Wagner, Dorothea. editor. Zaroliagis, Christos D. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74247-0
Format: Electronic Resources
Availability Online Library~1

Modeling and Using Context 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007. Proceedings

2025-03-20T02:53:33Z

Author Kokinov, Boicho. editor. Richardson, Daniel C. editor. Roth-Berghofer, Thomas R. editor. Vieu, Laure. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74255-5
Format: Electronic Resources
Availability Online Library~1

Image Analysis and Recognition 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007. Proceedings

2025-03-20T02:53:33Z

Author Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74260-9
Format: Electronic Resources
Availability Online Library~1

Anticipatory Behavior in Adaptive Learning Systems From Brains to Individual and Social Behavior

2025-03-20T02:53:33Z

Author Butz, Martin V. editor. Sigaud, Olivier. editor. Pezzulo, Giovanni. editor. Baldassarre, Gianluca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74262-3
Format: Electronic Resources
Availability Online Library~1

Computer Analysis of Images and Patterns 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007. Proceedings

2025-03-20T02:53:33Z

Author Kropatsch, Walter G. editor. Kampel, Martin. editor. Hanbury, Allan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74272-2
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings

2025-03-20T02:53:33Z

Author Choi, Lynn. editor. Paek, Yunheung. editor. Cho, Sangyeun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74309-5
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Intrusion Detection 10th International Symposium, RAID 2007, Gold Goast, Australia, September 5-7, 2007. Proceedings

2025-03-20T02:53:33Z

Author Kruegel, Christopher. editor. Lippmann, Richard. editor. Clark, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74320-0
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Security International Conference, CIS 2006. Guangzhou, China, November 3-6, 2006. Revised Selected Papers

2025-03-20T02:53:33Z

Author Wang, Yuping. editor. Cheung, Yiu-ming. editor. Liu, Hailin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74377-4
Format: Electronic Resources
Availability Online Library~1

CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

2025-03-20T02:53:33Z

Author Caires, Luís. editor. Vasconcelos, Vasco T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74407-8
Format: Electronic Resources
Availability Online Library~1

Trust, Privacy and Security in Digital Business 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings

2025-03-20T02:53:33Z

Author Lambrinoudakis, Costas. editor. Pernul, Günther. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74409-2
Format: Electronic Resources
Availability Online Library~1

Grid Economics and Business Models 4th International Workshop, GECON 2007, Rennes, France, August 28, 2007. Proceedings

2025-03-20T02:53:33Z

Author Veit, Daniel J. editor. Altmann, Jörn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74430-6
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

2025-03-20T02:53:33Z

Author Azémard, Nadine. editor. Svensson, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74442-9
Format: Electronic Resources
Availability Online Library~1

Electronic Government 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007. Proceedings

2025-03-20T02:53:33Z

Author Wimmer, Maria A. editor. Scholl, Jochen. editor. Grönlund, Åke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74444-3
Format: Electronic Resources
Availability Online Library~1

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007. Proceedings

2025-03-20T02:53:33Z

Author Stützle, Thomas. editor. Birattari, Mauro. editor. H. Hoos, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74446-7
Format: Electronic Resources
Availability Online Library~1

Combinatorics, Algorithms, Probabilistic and Experimental Methodologies First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers

2025-03-20T02:53:33Z

Author Chen, Bo. editor. Paterson, Mike. editor. Zhang, Guochuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74450-4
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

2025-03-20T02:53:33Z

Author Noriega, Pablo. editor. Vázquez-Salceda, Javier. editor. Boella, Guido. editor. Boissier, Olivier. editor. Dignum, Virginia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74459-7
Format: Electronic Resources
Availability Online Library~1

Selected Areas in Cryptography 13th International Workshop, SAC 2006, Montreal, Canada, August 17-18, 2006 Revised Selected Papers

2025-03-20T02:53:33Z

Author Biham, Eli. editor. Youssef, Amr M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74462-7
Format: Electronic Resources
Availability Online Library~1

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Altenkirch, Thorsten. editor. McBride, Conor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74464-1
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings

2025-03-20T02:53:33Z

Author Kermarrec, Anne-Marie. editor. Bougé, Luc. editor. Priol, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74466-5
Format: Electronic Resources
Availability Online Library~1

Database and Expert Systems Applications 18th International Conference, DEXA 2007, Regensburg, Germany, September 3-7, 2007. Proceedings

2025-03-20T02:53:33Z

Author Wagner, Roland. editor. Revell, Norman. editor. Pernul, Günther. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74469-6
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I

2025-03-20T02:53:33Z

Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74472-6
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II

2025-03-20T02:53:33Z

Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74477-1
Format: Electronic Resources
Availability Online Library~1

Holonic and Multi-Agent Systems for Manufacturing Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007

2025-03-20T02:53:33Z

Author Mařík, Vladimír. editor. Vyatkin, Valeriy. editor. Colombo, Armando W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74481-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III

2025-03-20T02:53:33Z

Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74484-9
Format: Electronic Resources
Availability Online Library~1

Independent Component Analysis and Signal Separation 7th International Conference, ICA 2007, London, UK, September 9-12, 2007. Proceedings

2025-03-20T02:53:33Z

Author Davies, Mike E. editor. James, Christopher J. editor. Abdallah, Samer A. editor. Plumbley, Mark D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74494-8
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II

2025-03-20T02:53:33Z

Author Apolloni, Bruno. editor. Howlett, Robert J. editor. Jain, Lakhmi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74827-4
Format: Electronic Resources
Availability Online Library~1

Knowledge-Based Intelligent Information and Engineering Systems 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part III

2025-03-20T02:53:33Z

Author Apolloni, Bruno. editor. Howlett, Robert J. editor. Jain, Lakhmi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74829-8
Format: Electronic Resources
Availability Online Library~1

Next Generation Teletraffic and Wired/Wireless Advanced Networking 7th International Conference, NEW2AN 2007 St. Petersburg, Russia, September 10-14, 2007 Proceedings

2025-03-20T02:53:33Z

Author Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Sayenko, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74833-5
Format: Electronic Resources
Availability Online Library~1

Computer Security – ESORICS 2007 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 — 26, 2007. Proceedings

2025-03-20T02:53:33Z

Author Biskup, Joachim. editor. López, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74835-9
Format: Electronic Resources
Availability Online Library~1

Research and Advanced Technology for Digital Libraries 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007. Proceedings

2025-03-20T02:53:33Z

Author Kovács, László. editor. Fuhr, Norbert. editor. Meghini, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74851-9
Format: Electronic Resources
Availability Online Library~1

UbiComp 2007: Ubiquitous Computing 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007. Proceedings

2025-03-20T02:53:33Z

Author Krumm, John. editor. Abowd, Gregory D. editor. Seneviratne, Aruna. editor. Strang, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74853-3
Format: Electronic Resources
Availability Online Library~1

Stochastic Algorithms: Foundations and Applications 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007. Proceedings

2025-03-20T02:53:33Z

Author Hromkovič, Juraj. editor. Královič, Richard. editor. Nunkesser, Marc. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74871-7
Format: Electronic Resources
Availability Online Library~1

Entertainment Computing – ICEC 2007 6th International Conference, Shanghai, China, September 15-17, 2007. Proceedings

2025-03-20T02:53:33Z

Author Ma, Lizhuang. editor. Rauterberg, Matthias. editor. Nakatsu, Ryohei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74873-1
Format: Electronic Resources
Availability Online Library~1

Affective Computing and Intelligent Interaction Second International Conference, ACII 2007 Lisbon, Portugal, September 12-14, 2007 Proceedings

2025-03-20T02:53:33Z

Author Paiva, Ana C. R. editor. Prada, Rui. editor. Picard, Rosalind W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74889-2
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Life 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007. Proceedings

2025-03-20T02:53:33Z

Author Almeida e Costa, Fernando. editor. Rocha, Luis Mateus. editor. Costa, Ernesto. editor. Harvey, Inman. editor. Coutinho, António. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74913-4
Format: Electronic Resources
Availability Online Library~1

Self-Organizing Systems Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings

2025-03-20T02:53:33Z

Author Hutchison, David. editor. Katz, Randy H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74917-2
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition 29th DAGM Symposium, Heidelberg, Germany, September 12-14, 2007. Proceedings

2025-03-20T02:53:33Z

Author Hamprecht, Fred A. editor. Schnörr, Christoph. editor. Jähne, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74936-3
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings

2025-03-20T02:53:33Z

Author Petta, Paolo. editor. Müller, Jörg P. editor. Klusch, Matthias. editor. Georgeff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74949-3
Format: Electronic Resources
Availability Online Library~1

From Web to Social Web: Discovering and Deploying User and Content Profiles Workshop on Web Mining, WebMine 2006, Berlin, Germany, September 18, 2006. Revised Selected and Invited Papers

2025-03-20T02:53:33Z

Author Berendt, Bettina. editor. Hotho, Andreas. editor. Mladenic, Dunja. editor. Semeraro, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74951-6
Format: Electronic Resources
Availability Online Library~1

Machine Learning: ECML 2007 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007. Proceedings

2025-03-20T02:53:33Z

Author Kok, Joost N. editor. Koronacki, Jacek. editor. Mantaras, Raomon Lopez de. editor. Matwin, Stan. editor. Mladenič, Dunja. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74958-5
Format: Electronic Resources
Availability Online Library~1

Comparative Genomics RECOMB 2007 International Workshop, RECOMB-CG 2007, San Diego, CA, USA, September 16-18, 2007. Proceedings

2025-03-20T02:53:33Z

Author Tesler, Glenn. editor. Durand, Dannie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74960-8
Format: Electronic Resources
Availability Online Library~1

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

2025-03-20T02:53:33Z

Author George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

2025-03-20T02:53:33Z

Author Bessière, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74970-7
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing – ICSOC 2007 Fifth International Conference, Vienna, Austria, September 17-20, 2007. Proceedings

2025-03-20T02:53:33Z

Author Krämer, Bernd J. editor. Lin, Kwei-Jay. editor. Narasimhan, Priya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74974-5
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery in Databases: PKDD 2007 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007. Proceedings

2025-03-20T02:53:33Z

Author Kok, Joost N. editor. Koronacki, Jacek. editor. Lopez de Mantaras, Ramon. editor. Matwin, Stan. editor. Mladenič, Dunja. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74976-9
Format: Electronic Resources
Availability Online Library~1

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

2025-03-20T02:53:33Z

Author Gaudin, Emmanuel. editor. Najm, Elie. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74984-4
Format: Electronic Resources
Availability Online Library~1

Journal on Data Semantics IX

2025-03-20T02:53:33Z

Author Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Fages, François. editor. Hacid, Mohand-Saïd. editor. Kifer, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74987-5
Format: Electronic Resources
Availability Online Library~1

Algorithms for Sensor and Ad Hoc Networks Advanced Lectures

2025-03-20T02:53:33Z

Author Wagner, Dorothea. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74991-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Virtual Agents 7th International Conference, IVA 2007 Paris, France, September 17-19, 2007 Proceedings

2025-03-20T02:53:33Z

Author Pelachaud, Catherine. editor. Martin, Jean-Claude. editor. André, Elisabeth. editor. Chollet, Gérard. editor. Karpouzis, Kostas. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74997-4
Format: Electronic Resources
Availability Online Library~1

Evaluation of Multilingual and Multi-modal Information Retrieval 7th Workshop of the Cross-Language Evaluation Forum, CLEF 2006, Alicante, Spain, September 20-22, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Peters, Carol. editor. Clough, Paul. editor. Gey, Fredric C. editor. Karlgren, Jussi. editor. Magnini, Bernardo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74999-8
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

2025-03-20T02:53:33Z

Author Saglietti, Francesca. editor. Oster, Norbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75101-4
Format: Electronic Resources
Availability Online Library~1

Cooperative Information Agents XI 11th International Workshop, CIA 2007, Delft, The Netherlands, September 19-21, 2007. Proceedings

2025-03-20T02:53:33Z

Author Klusch, Matthias. editor. Hindriks, Koen V. editor. Papazoglou, Mike P. editor. Sterling, Leon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75119-9
Format: Electronic Resources
Availability Online Library~1

Software Architecture First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings

2025-03-20T02:53:33Z

Author Oquendo, Flavio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75132-8
Format: Electronic Resources
Availability Online Library~1

Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings

2025-03-20T02:53:33Z

Author Calder, Muffy. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75140-3
Format: Electronic Resources
Availability Online Library~1

Distributed Computing 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings

2025-03-20T02:53:33Z

Author Pelc, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75142-7
Format: Electronic Resources
Availability Online Library~1

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers

2025-03-20T02:53:33Z

Author Cate, Balder D. editor. Zeevat, Henk W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75144-1
Format: Electronic Resources
Availability Online Library~1

Location- and Context-Awareness Third International Symposium, LoCA 2007, Oberpfaffenhofen, Germany, September 20-21, 2007. Proceedings

2025-03-20T02:53:33Z

Author Hightower, Jeffrey. editor. Schiele, Bernt. editor. Strang, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75160-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development III

2025-03-20T02:53:33Z

Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75162-5
Format: Electronic Resources
Availability Online Library~1

Business Process Management 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007. Proceedings

2025-03-20T02:53:33Z

Author Alonso, Gustavo. editor. Dadam, Peter. editor. Rosemann, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75183-0
Format: Electronic Resources
Availability Online Library~1

Advances in Databases and Information Systems 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007. Proceedings

2025-03-20T02:53:33Z

Author Ioannidis, Yannis. editor. Novikov, Boris. editor. Rachev, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75185-4
Format: Electronic Resources
Availability Online Library~1

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings

2025-03-20T02:53:33Z

Author Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75187-8
Format: Electronic Resources
Availability Online Library~1

Creating New Learning Experiences on a Global Scale Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007. Proceedings

2025-03-20T02:53:33Z

Author Duval, Erik. editor. Klamma, Ralf. editor. Wolpers, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75195-3
Format: Electronic Resources
Availability Online Library~1

Current Topics in Artificial Intelligence 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers

2025-03-20T02:53:33Z

Author Borrajo, Daniel. editor. Castillo, Luis. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75271-4
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Graphics and Computer Vision International Conferences VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Braz, José. editor. Ranchordas, Alpesh. editor. Araújo, Helder. editor. Jorge, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75274-5
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition in Bioinformatics Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007. Proceedings

2025-03-20T02:53:33Z

Author Rajapakse, Jagath C. editor. Schmidt, Bertil. editor. Volkert, Gwenn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75286-8
Format: Electronic Resources
Availability Online Library~1

Database and XMLTechnologies 5th International XML Database Symposium, XSym 2007, Vienna, Austria, September 23-24, 2007. Proceedings

2025-03-20T02:53:33Z

Author Barbosa, Denilson. editor. Bonifati, Angela. editor. Bellahsène, Zohra. editor. Hunt, Ela. editor. Unland, Rainer. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75288-2
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

2025-03-20T02:53:33Z

Author Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75292-9
Format: Electronic Resources
Availability Online Library~1

Dependable Computing Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

2025-03-20T02:53:33Z

Author Bondavalli, Andrea. editor. Brasileiro, Francisco. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75294-3
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings

2025-03-20T02:53:33Z

Author Engels, Gregor. editor. Opdyke, Bill. editor. Schmidt, Douglas C. editor. Weil, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75209-7
Format: Electronic Resources
Availability Online Library~1

Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Montanari, Ugo. editor. Sannella, Donald. editor. Bruni, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75336-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

2025-03-20T02:53:33Z

Author Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75221-9
Format: Electronic Resources
Availability Online Library~1

Algorithmic Learning Theory 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007. Proceedings

2025-03-20T02:53:33Z

Author Hutter, Marcus. editor. Servedio, Rocco A. editor. Takimoto, Eiji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75225-7
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007. Proceedings

2025-03-20T02:53:33Z

Author Abrahamsson, Pekka. editor. Baddoo, Nathan. editor. Margaria, Tiziana. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75381-0
Format: Electronic Resources
Availability Online Library~1

Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings

2025-03-20T02:53:33Z

Author Prade, Henri. editor. Subrahmanian, V. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75410-7
Format: Electronic Resources
Availability Online Library~1

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers

2025-03-20T02:53:33Z

Author Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75414-5
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Parallel Virtual Machine and Message Passing Interface 14th European PVM/MPI User’s Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedings

2025-03-20T02:53:33Z

Author Cappello, Franck. editor. Herault, Thomas. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75416-9
Format: Electronic Resources
Availability Online Library~1

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings

2025-03-20T02:53:33Z

Author Perrott, Ronald. editor. Chapman, Barbara M. editor. Subhlok, Jaspal. editor. Mello, Rodrigo Fernandes. editor. Yang, Laurence T. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75444-2
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

2025-03-20T02:53:33Z

Author Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75454-1
Format: Electronic Resources
Availability Online Library~1

Ontologies-Based Databases and Information Systems First and Second VLDB Workshops, ODBIS 2005/2006 Trondheim, Norway, September 2-3, 2005 Seoul, Korea, September 11, 2006 Revised Papers

2025-03-20T02:53:33Z

Author Collard, Martine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75474-9
Format: Electronic Resources
Availability Online Library~1

Managing Next Generation Networks and Services 10th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, Sapporo, Japan, October 10-12, 2007. Proceedings

2025-03-20T02:53:33Z

Author Ata, Shingo. editor. Hong, Choong Seon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75476-3
Format: Electronic Resources
Availability Online Library~1

Discovery Science 10th International Conference, DS 2007 Sendai, Japan, October 1-4, 2007. Proceedings

2025-03-20T02:53:33Z

Author Corruble, Vincent. editor. Takeda, Masayuki. editor. Suzuki, Einoshin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75488-6
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings

2025-03-20T02:53:33Z

Author Georgakopoulos, Dimitrios. editor. Ritter, Norbert. editor. Benatallah, Boualem. editor. Zirpins, Christian. editor. Feuerlicht, George. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75492-3
Format: Electronic Resources
Availability Online Library~1

Information Security 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings

2025-03-20T02:53:33Z

Author Garay, Juan A. editor. Lenstra, Arjen K. editor. Mambo, Masahiro. editor. Peralta, René. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75496-1
Format: Electronic Resources
Availability Online Library~1

Databases in Networked Information Systems 5th International Workshop, DNIS 2007, Aizu-Wakamatsu, Japan, October 17-19, 2007. Proceedings

2025-03-20T02:53:33Z

Author Bhalla, Subhash. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75512-8
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007. Proceedings

2025-03-20T02:53:33Z

Author Bartz-Beielstein, Thomas. editor. Blesa Aguilera, María José. editor. Blum, Christian. editor. Naujoks, Boris. editor. Roli, Andrea. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75514-2
Format: Electronic Resources
Availability Online Library~1

Algorithms – ESA 2007 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007. Proceedings

2025-03-20T02:53:33Z

Author Arge, Lars. editor. Hoffmann, Michael. editor. Welzl, Emo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75520-3
Format: Electronic Resources
Availability Online Library~1

Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers

2025-03-20T02:53:33Z

Author O’Hare, Gregory M. P. editor. Ricci, Alessandro. editor. O’Grady, Michael J. editor. Dikenelli, Oğuz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75524-1
Format: Electronic Resources
Availability Online Library~1

Argumentation in Multi-Agent Systems Third International Workshop, ArgMAS 2006 Hakodate, Japan, May 8, 2006 Revised Selected and Invited Papers

2025-03-20T02:53:33Z

Author Maudet, Nicolas. editor. Parsons, Simon. editor. Rahwan, Iyad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75526-5
Format: Electronic Resources
Availability Online Library~1

String Processing and Information Retrieval 14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings

2025-03-20T02:53:33Z

Author Ziviani, Nivio. editor. Baeza-Yates, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75530-2
Format: Electronic Resources
Availability Online Library~1

Computers and Games 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers

2025-03-20T02:53:33Z

Author Herik, H. Jaap. editor. Ciancarini, Paolo. editor. Donkers, H. H. L. M. (Jeroen). editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75538-8
Format: Electronic Resources
Availability Online Library~1

Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers

2025-03-20T02:53:33Z

Author Meyer, Bertrand. editor. Joseph, Mathai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75542-5
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery in Inductive Databases 5th International Workshop, KDID 2006 Berlin, Germany, September 18, 2006 Revised Selected and Invited Papers

2025-03-20T02:53:33Z

Author Džeroski, Sašo. editor. Struyf, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75549-4
Format: Electronic Resources
Availability Online Library~1

Privacy Enhancing Technologies 7th International Symposium, PET 2007 Ottawa, Canada, June 20-22, 2007 Revised Selected Papers

2025-03-20T02:53:33Z

Author Borisov, Nikita. editor. Golle, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75551-7
Format: Electronic Resources
Availability Online Library~1

Advances in Brain, Vision, and Artificial Intelligence Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007. Proceedings

2025-03-20T02:53:33Z

Author Mele, Francesco. editor. Ramella, Giuliana. editor. Santillo, Silvia. editor. Ventriglia, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75555-5
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2025-03-20T02:53:33Z

Author Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75560-9
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

2025-03-20T02:53:33Z

Author Parent, Christine. editor. Schewe, Klaus-Dieter. editor. Storey, Veda C. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75563-0
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

2025-03-20T02:53:33Z

Author Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75596-8
Format: Electronic Resources
Availability Online Library~1

Advances in Information and Computer Security Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007. Proceedings

2025-03-20T02:53:33Z

Author Miyaji, Atsuko. editor. Kikuchi, Hiroaki. editor. Rannenberg, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75651-4
Format: Electronic Resources
Availability Online Library~1

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers

2025-03-20T02:53:33Z

Author Obermaisser, Roman. editor. Nah, Yunmook. editor. Puschner, Peter. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75664-4
Format: Electronic Resources
Availability Online Library~1

Spatial Cognition V Reasoning, Action, Interaction International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Barkowsky, Thomas. editor. Knauff, Markus. editor. Ligozat, Gérard. editor. Montello, Daniel R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75666-8
Format: Electronic Resources
Availability Online Library~1

Mobile Response First International Workshop on Mobile Information Technology for Emergency Response, Mobile Response 2007, Sankt Augustin, Germany, February 22-23, 2007, Revised Selected Papers

2025-03-20T02:53:33Z

Author Löffler, Jobst. editor. Klann, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75668-2
Format: Electronic Resources
Availability Online Library~1

Provable Security First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings

2025-03-20T02:53:33Z

Author Susilo, Willy. editor. Liu, Joseph K. editor. Mu, Yi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75670-5
Format: Electronic Resources
Availability Online Library~1

Analysis and Modeling of Faces and Gestures Third International Workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings

2025-03-20T02:53:33Z

Author Zhou, S. Kevin. editor. Zhao, Wenyi. editor. Tang, Xiaoou. editor. Gong, Shaogang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75690-3
Format: Electronic Resources
Availability Online Library~1

Web and Wireless Geographical Information Systems 7th International Symposium, W2GIS 2007, Cardiff, UK, November 28-29, 2007. Proceedings

2025-03-20T02:53:33Z

Author Ware, J. Mark. editor. Taylor, George E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76925-5
Format: Electronic Resources
Availability Online Library~1

AI 2007: Advances in Artificial Intelligence 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007. Proceedings

2025-03-20T02:53:33Z

Author Orgun, Mehmet A. editor. Thornton, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76928-6
Format: Electronic Resources
Availability Online Library~1

Progress in Artificial Life Third Australian Conference; ACAL 2007 Gold Coast, Australia, December 4-6, 2007 Proceedings

2025-03-20T02:53:33Z

Author Randall, Marcus. editor. Abbass, Hussein A. editor. Wiles, Janet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76931-6
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 6th International Conference, CANS 2007, Singapore, December 8-10, 2007. Proceedings

2025-03-20T02:53:33Z

Author Bao, Feng. editor. Ling, San. editor. Okamoto, Tatsuaki. editor. Wang, Huaxiong. editor. Xing, Chaoping. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76969-9
Format: Electronic Resources
Availability Online Library~1

Semantics with Applications: An Appetizer

2025-03-20T02:53:33Z

Author Nielson, Hanne Riis. author. Nielson, Flemming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-692-6
Format: Electronic Resources
Availability Online Library~1

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

2025-03-20T02:53:33Z

Author Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69061-0
Format: Electronic Resources
Availability Online Library~1

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2025-03-20T02:53:33Z

Author Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69262-1
Format: Electronic Resources
Availability Online Library~1

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

2025-03-20T02:53:33Z

Author Kühne, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69489-2
Format: Electronic Resources
Availability Online Library~1

Approximation and Online Algorithms 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers

2025-03-20T02:53:33Z

Author Erlebach, Thomas. editor. Kaklamanis, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11970125
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

2025-03-20T02:53:33Z

Author Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69554-7
Format: Electronic Resources
Availability Online Library~1

Multimodal Technologies for Perception of Humans First International Evaluation Workshop on Classification of Events, Activities and Relationships, CLEAR 2006, Southampton, UK, April 6-7, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Stiefelhagen, Rainer. editor. Garofolo, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69568-4
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

2025-03-20T02:53:33Z

Author Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69611-7
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

2025-03-20T02:53:33Z

Author Inoue, Katsumi. editor. Satoh, Ken. editor. Toni, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69619-3
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

2025-03-20T02:53:33Z

Author Cook, Byron. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69738-1
Format: Electronic Resources
Availability Online Library~1

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

2025-03-20T02:53:33Z

Author Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70881-0
Format: Electronic Resources
Availability Online Library~1

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

2025-03-20T02:53:33Z

Author Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70889-6
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

2025-03-20T02:53:33Z

Author Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70901-5
Format: Electronic Resources
Availability Online Library~1

Graph Drawing 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers

2025-03-20T02:53:33Z

Author Kaufmann, Michael. editor. Wagner, Dorothea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70904-6
Format: Electronic Resources
Availability Online Library~1

Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings

2025-03-20T02:53:33Z

Author Obayashi, Shigeru. editor. Deb, Kalyanmoy. editor. Poloni, Carlo. editor. Hiroyasu, Tomoyuki. editor. Murata, Tadahiko. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70928-2
Format: Electronic Resources
Availability Online Library~1

Dynamical Vision ICCV 2005 and ECCV 2006 Workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 2006. Revised Papers

2025-03-20T02:53:33Z

Author Vidal, René. editor. Heyden, Anders. editor. Ma, Yi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70932-9
Format: Electronic Resources
Availability Online Library~1

Cognitive Systems Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers

2025-03-20T02:53:33Z

Author Lu, Ruqian. editor. Siekmann, Jörg H. editor. Ullrich, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70934-3
Format: Electronic Resources
Availability Online Library~1

Theory of Cryptography 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007. Proceedings

2025-03-20T02:53:33Z

Author Vadhan, Salil P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70936-7
Format: Electronic Resources
Availability Online Library~1

Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings

2025-03-20T02:53:33Z

Author Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70939-8
Format: Electronic Resources
Availability Online Library~1

Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

2025-03-20T02:53:33Z

Author Boyanov, Todor. editor. Dimova, Stefka. editor. Georgiev, Krassimir. editor. Nikolov, Geno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70942-8
Format: Electronic Resources
Availability Online Library~1

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

2025-03-20T02:53:33Z

Author Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70945-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70952-7
Format: Electronic Resources
Availability Online Library~1

Wireless Systems and Mobility in Next Generation Internet Third International Workshop of the EURO-NGI Network of Excellence, Sitges, Spain, June 6-9, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author García-Vidal, Jorge. editor. Cerdà-Alabern, Llorenç. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70969-5
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Artificial Intelligence JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003 and Kanazawa, Japan, May 31 - June 4, 2004, Revised Selected Papers

2025-03-20T02:53:33Z

Author Sakurai, Akito. editor. Hasida, Kôiti. editor. Nitta, Katsumi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71009-7
Format: Electronic Resources
Availability Online Library~1

Universal Access in Ambient Intelligence Environments 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers

2025-03-20T02:53:33Z

Author Stephanidis, Constantine. editor. Pieper, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71025-7
Format: Electronic Resources
Availability Online Library~1

Pixelization Paradigm First Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Lévy, Pierre P. editor. Grand, Bénédicte. editor. Poulet, François. editor. Soto, Michel. editor. Darago, Laszlo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71027-1
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71035-6
Format: Electronic Resources
Availability Online Library~1

Knowledge Discovery and Emergent Complexity in Bioinformatics First International Workshop, KDECB 2006, Ghent, Belgium, May 10, 2006. Revised Selected Papers

2025-03-20T02:53:33Z

Author Tuyls, Karl. editor. Westra, Ronald. editor. Saeys, Yvan. editor. Nowé, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71037-0
Format: Electronic Resources
Availability Online Library~1

Information Security Applications 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Lee, Jae Kwang. editor. Yi, Okyeon. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71093-6
Format: Electronic Resources
Availability Online Library~1

Environments for Multi-Agent Systems III Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers

2025-03-20T02:53:33Z

Author Weyns, Danny. editor. Parunak, H. Van Dyke. editor. Michel, Fabien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71103-2
Format: Electronic Resources
Availability Online Library~1

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

2025-03-20T02:53:33Z

Author Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71156-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Rough Sets VI Commemorating the Life and Work of Zdzisław Pawlak, Part I

2025-03-20T02:53:33Z

Author Peters, James F. editor. Skowron, Andrzej. editor. Düntsch, Ivo. editor. Grzymała-Busse, Jerzy. editor. Orłowska, Ewa. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71200-8
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2025-03-20T02:53:33Z

Author Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71209-1
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

2025-03-20T02:53:33Z

Author Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71229-9
Format: Electronic Resources
Availability Online Library~1

Learning Classifier Systems International Workshops, IWLCS 2003-2005, Revised Selected Papers

2025-03-20T02:53:33Z

Author Kovacs, Tim. editor. Llorà, Xavier. editor. Takadama, Keiki. editor. Lanzi, Pier Luca. editor. Stolzmann, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71231-2
Format: Electronic Resources
Availability Online Library~1

Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings

2025-03-20T02:53:33Z

Author Hochreiter, Sepp. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71233-6
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems - ARCS 2007 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings

2025-03-20T02:53:33Z

Author Lukowicz, Paul. editor. Thiele, Lothar. editor. Tröster, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71270-1
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2025-03-20T02:53:33Z

Author Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71289-3
Format: Electronic Resources
Availability Online Library~1

Empirical Software Engineering Issues. Critical Assessment and Future Directions International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers

2025-03-20T02:53:33Z

Author Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71301-2
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2025-03-20T02:53:33Z

Author Nicola, Rocco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71316-6
Format: Electronic Resources
Availability Online Library~1

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

2025-03-20T02:53:33Z

Author Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71322-7
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers

2025-03-20T02:53:33Z

Author Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71351-7
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

2025-03-20T02:53:33Z

Author Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71389-0
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Puebla, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71410-1
Format: Electronic Resources
Availability Online Library~1

Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers

2025-03-20T02:53:33Z

Author Branco, António. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71412-5
Format: Electronic Resources
Availability Online Library~1

Reconfigurable Computing: Architectures, Tools and Applications Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedings

2025-03-20T02:53:33Z

Author Diniz, Pedro C. editor. Marques, Eduardo. editor. Bertels, Koen. editor. Fernandes, Marcio Merino. editor. Cardoso, João M. P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71431-6
Format: Electronic Resources
Availability Online Library~1

Computer Vision/Computer Graphics Collaboration Techniques Third International Conference, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007. Proceedings

2025-03-20T02:53:33Z

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

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

2025-03-20T02:53:33Z

Author Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Electronic Resources
Availability Online Library~1

Advances in Information Retrieval 29th European Conference on IR Research, ECIR 2007, Rome, Italy, April 2-5, 2007. Proceedings

2025-03-20T02:53:33Z

Author Amati, Giambattista. editor. Carpineto, Claudio. editor. Romano, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71496-5
Format: Electronic Resources
Availability Online Library~1

Active Networks IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers

2025-03-20T02:53:33Z

Author Minden, Gary J. editor. Calvert, Kenneth L. editor. Solarski, Marcin. editor. Yamamoto, Miki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71500-9
Format: Electronic Resources
Availability Online Library~1

Progress in Nonlinear Speech Processing

2025-03-20T02:53:33Z

Author Stylianou, Yannis. editor. Faundez-Zanuy, Marcos. editor. Esposito, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71505-4
Format: Electronic Resources
Availability Online Library~1

Transactions on High-Performance Embedded Architectures and Compilers I

2025-03-20T02:53:33Z

Author Stenström, Per. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71528-3
Format: Electronic Resources
Availability Online Library~1

Swarm Robotics Second International Workshop, SAB 2006, Rome, Italy, September 30-October 1, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Şahin, Erol. editor. Spears, William M. editor. Winfield, Alan F. T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71541-2
Format: Electronic Resources
Availability Online Library~1

Adaptive Multimedia Retrieval: User, Context, and Feedback 4th International Workshop, AMR 2006, Geneva, Switzerland, July 27-28, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Marchand-Maillet, Stéphane. editor. Bruno, Eric. editor. Nürnberger, Andreas. editor. Detyniecki, Marcin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71545-0
Format: Electronic Resources
Availability Online Library~1

Intelligence and Security Informatics Pacific Asia Workshop, PAISI 2007, Chengdu, China, April 11-12, 2007. Proceedings

2025-03-20T02:53:33Z

Author Yang, Christopher C. editor. Zeng, Daniel. editor. Chau, Michael. editor. Chang, Kuiyu. editor. Yang, Qing. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71549-8
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings

2025-03-20T02:53:33Z

Author Ebner, Marc. editor. O’Neill, Michael. editor. Ekárt, Anikó. editor. Vanneschi, Leonardo. editor. Esparcia-Alcázar, Anna Isabel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71605-1
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings

2025-03-20T02:53:33Z

Author Cotta, Carlos. editor. Hemert, Jano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71615-0
Format: Electronic Resources
Availability Online Library~1

Passive and Active Network Measurement 8th Internatinoal Conference, PAM 2007, Louvain-la-neuve, Belgium, April 5-6, 2007. Proceedings

2025-03-20T02:53:33Z

Author Uhlig, Steve. editor. Papagiannaki, Konstantina. editor. Bonaventure, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71617-4
Format: Electronic Resources
Availability Online Library~1

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I

2025-03-20T02:53:33Z

Author Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71618-1
Format: Electronic Resources
Availability Online Library~1

Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II

2025-03-20T02:53:33Z

Author Beliczynski, Bartlomiej. editor. Dzielinski, Andrzej. editor. Iwanowski, Marcin. editor. Ribeiro, Bernardete. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71629-7
Format: Electronic Resources
Availability Online Library~1

Databases, Information Systems, and Peer-to-Peer Computing International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers

2025-03-20T02:53:33Z

Author Moro, Gianluca. editor. Bergamaschi, Sonia. editor. Joseph, Sam. editor. Morin, Jean-Henry. editor. Ouksel, Aris M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71661-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Rough Sets VII Commemorating the Life and Work of Zdzisław Pawlak, Part II

2025-03-20T02:53:33Z

Author Peters, James F. editor. Skowron, Andrzej. editor. Marek, Victor W. editor. Orłowska, Ewa. editor. Słowiński, Roman. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71663-1
Format: Electronic Resources
Availability Online Library~1

Public Key Cryptography – PKC 2007 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing, China, April 16-20, 2007. Proceedings

2025-03-20T02:53:33Z

Author Okamoto, Tatsuaki. editor. Wang, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71677-8
Format: Electronic Resources
Availability Online Library~1

Research in Computational Molecular Biology 11th Annual International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007. Proceedings

2025-03-20T02:53:33Z

Author Speed, Terry. editor. Huang, Haiyan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71681-5
Format: Electronic Resources
Availability Online Library~1

Advances in Knowledge Discovery and Data Mining 11th Pacific-Asia Conference, PAKDD 2007, Nanjing, China, May 22-25, 2007. Proceedings

2025-03-20T02:53:33Z

Author Zhou, Zhi-Hua. editor. Li, Hang. editor. Yang, Qiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71701-0
Format: Electronic Resources
Availability Online Library~1

Advances in Databases: Concepts, Systems and Applications 12th International Conference on Database Systems for Advanced Applications, DASFAA 2007, Bangkok, Thailand, April 9-12, 2007. Proceedings

2025-03-20T02:53:33Z

Author Kotagiri, Ramamohanarao. editor. Krishna, P. Radha. editor. Mohania, Mukesh. editor. Nantajeewarawat, Ekawit. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71703-4
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports

2025-03-20T02:53:33Z

Author Südholt, Mario. editor. Consel, Charles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71774-4
Format: Electronic Resources
Availability Online Library~1

Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007. Proceedings

2025-03-20T02:53:33Z

Author Marchiori, Elena. editor. Moore, Jason H. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71783-6
Format: Electronic Resources
Availability Online Library~1