Search Results for Computer - Narrowed by: 2007

Computer science illuminated

2026-01-27T11:03:49Z

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

Computer concepts : illustrated

2026-01-27T11:03:49Z

Author Parsons, June Jamrich. Oja, Dan.
Preferred Shelf Number QA76 .P3557 2007
Format: Books
Availability Beytepe Library~2

Evolutionary Computer Music

2026-01-27T11:03:49Z

Author Miranda, Eduardo Reck. editor. Biles, John Al. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-600-1
Format: Electronic Resources
Availability Online Library~1

Toward brain-computer interfacing

2026-01-27T11:03:49Z

Author Dornhege, Guido.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267251
Format: Electronic Resources
Availability Online Library~1

Der Computer - Mein Lebenswerk

2026-01-27T11:03:49Z

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

Computer Recognition Systems 2

2026-01-27T11:03:49Z

Author Kurzynski, Marek. editor. Puchala, Edward. editor. Wozniak, Michal. editor. Zolnierek, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75175-5
Format: Electronic Resources
Availability Online Library~1

Computer security and cryptography

2026-01-27T11:03:49Z

Author Konheim, Alan G., 1934-
Preferred Shelf Number ONLINE
Electronic Access Click for information Available by subscription from Safari Books Online Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=288170 John Wiley http://dx.doi.org/10.1002/0470083980 Volltext http://proquest.tech.safaribooksonline.de/9780471947837
Format: Electronic Resources
Availability Online Library~1

Computer techniques in vibration

2026-01-27T11:03:49Z

Author De Silva, Clarence W.
Preferred Shelf Number TA355 .C665 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Programming principles in computer graphics

2026-01-27T11:03:49Z

Author Ammeraal, Leendert.
Preferred Shelf Number QA 76.6 A466 1986
Format: Books
Availability Beytepe Library~1

Oscillator design and computer simulation

2026-01-27T11:03:49Z

Author Rhea, Randall W.
Preferred Shelf Number TK 7872.O7 R54 1995
Format: Books
Availability Beytepe Library~1

The art of computer programming

2026-01-27T11:03:49Z

Author Knuth, Donald E.
Preferred Shelf Number QA 76.5 K57 1968- V.1
Format: Books
Availability Beytepe Library~7

Principles of digital computer design

2026-01-27T11:03:49Z

Author Abd-Alla, Abd-Elfattah M. Meltzer, Arnold C., ort. yaz.
Preferred Shelf Number TK 7888.3 A26 1976-
Format: Books
Availability Beytepe Library~1

Computer networks : a systems approach

2026-01-27T11:03:49Z

Author Peterson, Larry L. Davie, Bruce S.
Preferred Shelf Number TK5105.5 P47 2007
Format: Books
Availability Beytepe Library~1

Advanced Intelligent Paradigms in Computer Games

2026-01-27T11:03:49Z

Author Baba, Norio. editor. Jain, Lakhmi C. editor. Handa, Hisashi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72705-7
Format: Electronic Resources
Availability Online Library~1

Digital design and computer architecture

2026-01-27T11:03:49Z

Author Harris, David Money. Harris, Sarah L.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123704979
Format: Electronic Resources
Availability Online Library~1

Vector Analysis for Computer Graphics

2026-01-27T11:03:49Z

Author Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-804-3
Format: Electronic Resources
Availability Online Library~1

Computer numerical control : operation and programming

2026-01-27T11:03:49Z

Author Stenerson, Jon. Curran, Kelly, ort. yaz.
Preferred Shelf Number TJ1189 .S72 2007
Format: Books
Availability Beytepe Library~3

Computer forensics : evidence collection and management

2026-01-27T11:03:49Z

Author Newman, Robert C.
Preferred Shelf Number KF8961 .N49 2007
Format: Books
Availability Law Library~1

Computer ethics : a global perspective

2026-01-27T11:03:49Z

Author Stamatellos, Giannis.
Preferred Shelf Number QA76.9.M65 S83 2007
Format: Books
Availability Beytepe Library~1

Security of e-Systems and Computer Networks

2026-01-27T11:03:49Z

Author Obaidat, Mohammad. Boudriga, Noureddine.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Petroleum production engineering a computer-assisted approach

2026-01-27T11:03:49Z

Author Guo, Boyun. Lyons, William C. Ghalambor, Ali.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750682701
Format: Electronic Resources
Availability Online Library~1

Scripting Computer-Supported Collaborative Learning Cognitive, Computational and Educational Perspectives

2026-01-27T11:03:49Z

Author Fischer, Frank. Kollar, Ingo. Mandl, Heinz. Haake, Jörg M. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-36949-5
Format: Electronic Resources
Availability Online Library~1

Computer-Aided Design of User Interfaces V

2026-01-27T11:03:49Z

Author Calvary, Gaëlle. editor. Pribeanu, Costin. editor. Santucci, Giuseppe. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5820-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2026-01-27T11:03:49Z

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

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments

2026-01-27T11:03:49Z

Author Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72727-9
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

2026-01-27T11:03:49Z

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

Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings

2026-01-27T11:03:49Z

Author Sgallari, Fiorella. editor. Murli, Almerico. editor. Paragios, Nikos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72823-8
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

2026-01-27T11:03:49Z

Author Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72863-4
Format: Electronic Resources
Availability Online Library~1

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

2026-01-27T11:03:49Z

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

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2026-01-27T11:03:49Z

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

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

2026-01-27T11:03:49Z

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

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

2026-01-27T11:03:49Z

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

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

2026-01-27T11:03:49Z

Author Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73111-5
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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

Computer Vision – ACCV 2007 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part I

2026-01-27T11:03:49Z

Author Yagi, Yasushi. editor. Kang, Sing Bing. editor. Kweon, In So. editor. Zha, Hongbin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76386-4
Format: Electronic Resources
Availability Online Library~1

Computer Vision – ACCV 2007 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II

2026-01-27T11:03:49Z

Author Yagi, Yasushi. editor. Kang, Sing Bing. editor. Kweon, In So. editor. Zha, Hongbin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76390-1
Format: Electronic Resources
Availability Online Library~1

HCI and Usability for Medicine and Health Care Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007. Proceedings

2026-01-27T11:03:49Z

Author Holzinger, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76805-0
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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I

2026-01-27T11:03:49Z

Author Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74796-3
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II

2026-01-27T11:03:49Z

Author Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74800-7
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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I

2026-01-27T11:03:49Z

Author Ayache, Nicholas. editor. Ourselin, Sébastien. editor. Maeder, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75757-3
Format: Electronic Resources
Availability Online Library~1

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II

2026-01-27T11:03:49Z

Author Ayache, Nicholas. editor. Ourselin, Sébastien. editor. Maeder, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75759-7
Format: Electronic Resources
Availability Online Library~1

Human–Computer Interaction IEEE International Workshop, HCI 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings

2026-01-27T11:03:49Z

Author Lew, Michael. editor. Sebe, Nicu. editor. Huang, Thomas S. editor. Bakker, Erwin M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75773-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

2026-01-27T11:03:49Z

Author Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75867-9
Format: Electronic Resources
Availability Online 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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2026-01-27T11:03:49Z

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

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

Bilgisayar/mikrodenetleyici tabanlı genel amaçlı evirgeç kontrolu = Computer/microcontroller based general purpose inverter control

2026-01-27T11:03:49Z

Author Kayakesen, Mustafa Erman
Preferred Shelf Number TEZ/8287 K393 2007
Format: Books
Availability Beytepe Library~1

Oyun-tabanlı öğrenme ortamlarının ilköğretim öğrencilerinin bilgisayar dersindeki başarıları ve öz-yeterlik algıları üzerine etkileri = The effects of game-based learning environments on students' achievement and self-efficacy in a primary school computer course

2026-01-27T11:03:49Z

Author Yağız, Ezgi
Preferred Shelf Number TEZ/8172 .Y345 2007
Format: Books
Availability Beytepe Library~1

Knowledge structures for communications in human-computer systems general automata-based

2026-01-27T11:03:49Z

Author Koenig, Eldo C. (Eldo Clyde), 1919- IEEE Computer Society. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988895
Format: Electronic Resources
Availability Online Library~1

Computer aided design, engineering, and manufacturing : systems techniques and applications

2026-01-27T11:03:49Z

Author Leondes, Cornelius T.
Preferred Shelf Number TS155.6 .C6455 2001
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780367802370 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Sequrity for computer networks : an introduction to data security in teleprocessing and electronic funds transfer

2026-01-27T11:03:49Z

Author Davies, Donald Watts, 1924- Price, W. L., ort.yaz.
Preferred Shelf Number TK 5105 D43 1989
Format: Books
Availability Beytepe Library~1

Handbook of electron spin resonance : data sources, computer technology, relaxation, and ENDOR

2026-01-27T11:03:49Z

Author Poole, Charles P. Farach, Horacio A.
Preferred Shelf Number QC 762 H32 1994
Format: Books
Availability Beytepe Library~1

Chemical engineering dynamics an introduction to modelling and computer simulation

2026-01-27T11:03:49Z

Author Ingham, John, Dr. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9783527614219
Format: Electronic Resources
Availability Online Library~1

The human-computer interaction handbook : fundamentals, evolving technologies, and emerging applications

2026-01-27T11:03:49Z

Author Sears, Andrew. Jacko, Julie A.
Preferred Shelf Number QA76.9 .H85 H8568 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Multi-objective optimization in computer networks using metaheuristics

2026-01-27T11:03:49Z

Author Donoso, Yezid, author. Fabregat, Ramon, 1963-
Preferred Shelf Number TK5105.5 .D665 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

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

2026-01-27T11:03:49Z

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

Computer Related Occupational Deviance Ein Mehr-Ebenen-Modell zur Erklärung und Prävention

2026-01-27T11:03:49Z

Author Godschalk, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8350-9499-4
Format: Electronic Resources
Availability Online Library~1

Designing with blends conceptual foundations of human-computer interaction and software engineering

2026-01-27T11:03:49Z

Author Imaz, Manuel. Benyon, David.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267285
Format: Electronic Resources
Availability Online Library~1

Technology Computer Aided Design for Si, SiGe and GaAs Integrated Circuits

2026-01-27T11:03:49Z

Author Maiti, C. K. Armstrong, G. A.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/PBCS021E
Format: Electronic Resources
Availability Online Library~1

Communications engineering essentials for computer scientists and electrical engineers

2026-01-27T11:03:49Z

Author Lee, Richard Char-Tung, 1939- Chiu, Mao-Ching. Lin, Jung-Shan, 1964-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5271091
Format: Electronic Resources
Availability Online Library~1

Chemometrics : statistics and computer application in analytical chemistry

2026-01-27T11:03:49Z

Author Otto, Matthias.
Preferred Shelf Number QD75.4.S8 O88 2007
Format: Books
Availability Health Sciences Library~1

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

2026-01-27T11:03:49Z

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

The official CHFI study guide (Exam 312-49) for computer hacking forensic investigator.

2026-01-27T11:03:49Z

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

Models for Computer Aided Tolerancing in Design and Manufacturing Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005

2026-01-27T11:03:49Z

Author Davidson, Joseph K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5438-6
Format: Electronic Resources
Availability Online Library~1

Innovations and Advanced Techniques in Computer and Information Sciences and Engineering

2026-01-27T11:03:49Z

Author Sobh, Tarek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6268-1
Format: Electronic Resources
Availability Online Library~1

A Computer Scientist's Guide to Cell Biology A travelogue from a stranger in a strange land

2026-01-27T11:03:49Z

Author Cohen, William W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-48278-1
Format: Electronic Resources
Availability Online Library~1

Automatic Quantum Computer Programming A Genetic Programming Approach

2026-01-27T11:03:49Z

Author Spector, Lee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-36791-0
Format: Electronic Resources
Availability Online Library~1

Computer-Aided Architectural Design Futures (CAADFutures) 2007 Proceedings of the 12th International CAADFutures Conference

2026-01-27T11:03:49Z

Author Dong, Andy. editor. Moere, Andrew Vande. editor. Gero, John S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6528-6
Format: Electronic Resources
Availability Online Library~1

EC2ND 2006 Proceedings of the Second European Conference on Computer Network Defence, in conjunction with the First Workshop on Digital Forensics and Incident Analysis Faculty of Advanced Technology, University of Glamorgan, Wales, UK

2026-01-27T11:03:49Z

Author Blyth, Andrew. author. Sutherland, Iain. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-750-3
Format: Electronic Resources
Availability Online Library~1

Sputtering by Particle Bombardment Experiments and Computer Calculations from Threshold to MeV Energies

2026-01-27T11:03:49Z

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

Applied Graph Theory in Computer Vision and Pattern Recognition

2026-01-27T11:03:49Z

Author Kandel, Abraham. editor. Bunke, Horst. editor. Last, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68020-8
Format: Electronic Resources
Availability Online Library~1

Computer-Based Design and Manufacturing An Information-Based Approach

2026-01-27T11:03:49Z

Author Nasr, Emad Abouel. author. Kamrani, Ali K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101244
Format: Electronic Resources
Availability Online Library~1

Computer Algebra Recipes An Advanced Guide to Scientific Modeling

2026-01-27T11:03:49Z

Author Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-49333-6
Format: Electronic Resources
Availability Online Library~1

Just-In-Time Scheduling: Models and Algorithms for Computer and Manufacturing Systems

2026-01-27T11:03:49Z

Author Józefowska, Joanna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-71718-0
Format: Electronic Resources
Availability Online Library~1

Trends in Computer Aided Innovation Second IFIP Working Conference on Computer Aided Innovation, October 8–9 2007, Michigan, USA

2026-01-27T11:03:49Z

Author León-Rovira, Noel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-75456-7
Format: Electronic Resources
Availability Online Library~1

ECSCW 2007 Proceedings of the 10th European Conference on Computer-Supported Cooperative Work, Limerick, Ireland, 24-28 September 2007

2026-01-27T11:03:49Z

Author Bannon, Liam J. editor. Wagner, Ina. editor. Gutwin, Carl. editor. Harper, Richard H. R. editor. Schmidt, Kjeld. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-031-5
Format: Electronic Resources
Availability Online Library~1

Human computer interaction : developing effective organizational information systems

2026-01-27T11:03:49Z

Author Te'eni, Dov. Carey, Jane M., ort. yaz. Zhang, Ping., ort. yaz.
Preferred Shelf Number QA76.9.H85 T44 2007
Format: Books
Availability Beytepe Library~1

Data communications and computer networks : a business user's approach

2026-01-27T11:03:49Z

Author White, Curt M.
Preferred Shelf Number TK5105.5 W467 2007
Format: Books
Availability Beytepe Library~1

The official CHFI study guide (Exam 312-49) for computer hacking forensic investigator.

2026-01-27T11:03:49Z

Author Kleiman, Dave. ScienceDirect (Online service)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

Introduction to AutoCAD 2007 2D and 3D design

2026-01-27T11:03:49Z

Author Yarwood, A. (Alfred), 1917-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750681544
Format: Electronic Resources
Availability Online Library~1

Producing Flash CS3 video techniques for video pros and Web designers

2026-01-27T11:03:49Z

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

Exploring scanning probe microscopy with mathematica

2026-01-27T11:03:49Z

Author Sarid, Dror. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access Volltext http://www3.interscience.wiley.com/cgi-bin/bookhome/114123590 Volltext http://onlinelibrary.wiley.com/book/10.1002/9783527610068 John Wiley http://dx.doi.org/10.1002/9783527610068
Format: Electronic Resources
Availability Online Library~1

Beginning AutoCAD 2007

2026-01-27T11:03:49Z

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

How to cheat in Adobe Flash CS3 the art of design and animation

2026-01-27T11:03:49Z

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

Practical Oracle Security Your Unauthorized Guide to Relationial Database Security.

2026-01-27T11:03:49Z

Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597491983
Format: Electronic Resources
Availability Online Library~1

Oracle 10g developing media rich applications

2026-01-27T11:03:49Z

Author Guros, Larry. Dunckley, Lynne.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781555583316
Format: Electronic Resources
Availability Online Library~1

Simulation Modeling And Analysis With Arena

2026-01-27T11:03:49Z

Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123705235
Format: Electronic Resources
Availability Online Library~1

Oracle 10g developing media rich applications

2026-01-27T11:03:49Z

Author Guros, Larry. Dunckley, Lynne. ScienceDirect (Online service)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

Automated data analysis using Excel

2026-01-27T11:03:49Z

Author Bissett, Brian., author.
Preferred Shelf Number QA76.76 .D47 B575 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Windows forensic analysis DVD toolkit

2026-01-27T11:03:49Z

Author Carvey, Harlan A.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597491563
Format: Electronic Resources
Availability Online Library~1

Microsoft windows security fundamentals

2026-01-27T11:03:49Z

Author Clercq, Jan de, 1968- Grillenmeier, Guido.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781555583408
Format: Electronic Resources
Availability Online Library~1

The Role of Technology in CSCL Studies in Technology Enhanced Collaborative Learning

2026-01-27T11:03:49Z

Author Hoppe, H. Ulrich. Ogata, Hiroaki. Soller, Amy. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-71136-2
Format: Electronic Resources
Availability Online Library~1

Peer-to-Peer Computing Building Supercomputers with Web Technologies

2026-01-27T11:03:49Z

Author Loo, Alfred Wai-Sing. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-747-3
Format: Electronic Resources
Availability Online Library~1

Fieldwork for Design Theory and Practice

2026-01-27T11:03:49Z

Author Randall, Dave. author. Harper, Richard. author. Rouncefield, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-768-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T11:03:49Z

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

Ethical and Social Issues in the Information Age

2026-01-27T11:03:49Z

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

Microsoft Vista for IT security professionals

2026-01-27T11:03:49Z

Author Piltzecker, Tony, 1975- Chaffin, Larry.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597491396
Format: Electronic Resources
Availability Online Library~1

Excel for scientists and engineers numerical methods

2026-01-27T11:03:49Z

Author Billo, E. Joseph.
Preferred Shelf Number ONLINE
Electronic Access Click for information Click here to view book John Wiley http://dx.doi.org/10.1002/9780470126714 MyiLibrary, Table of contents http://www.myilibrary.com?id=83923&ref=toc
Format: Electronic Resources
Availability Online Library~1

How to Cheat at Microsoft Vista Administration

2026-01-27T11:03:49Z

Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597491747
Format: Electronic Resources
Availability Online Library~1

Google talking

2026-01-27T11:03:49Z

Author Baskin, Brian. Brashars, Joshua. Long, Johnny.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597490559
Format: Electronic Resources
Availability Online Library~1

Dialogic Education and Technology Expanding the Space of Learning

2026-01-27T11:03:49Z

Author Wegerif, Rupert. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-71142-3
Format: Electronic Resources
Availability Online Library~1

Chemical product design toward a perspective through case studies

2026-01-27T11:03:49Z

Author Ng, Ka M. Gani, R. (Rafiqul) Dam-Johansen, Kim.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444522177
Format: Electronic Resources
Availability Online Library~1

Software engineering

2026-01-27T11:03:49Z

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

Materials for rigid and flexible printed wiring boards

2026-01-27T11:03:49Z

Author Jawitz, Martin W. Jawitz, Michael J.
Preferred Shelf Number TK7868.P7 J38 2007
Format: Books
Availability Beytepe Library~1

Principles of ad hoc networking

2026-01-27T11:03:49Z

Author Barbeau, Michel (Computer scientist) Kranakis, Evangelos.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470512494 MyiLibrary, Table of contents http://www.myilibrary.com?id=85602&ref=toc Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2007298109-b.html
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

Leveraging the Semantics of Topic Maps Second International Conference on Topic Maps Research and Applications, TMRA 2006, Leipzig, Germany, October 11-12, 2006, Revised Selected Papers

2026-01-27T11:03:49Z

Author Maicher, Lutz. editor. Sigel, Alexander. editor. Garshol, Lars Marius. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71945-8
Format: Electronic Resources
Availability Online Library~1

Human-Centered Visualization Environments GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006, Revised Lectures

2026-01-27T11:03:49Z

Author Kerren, Andreas. editor. Ebert, Achim. editor. Meyer, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71949-6
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2026-01-27T11:03:49Z

Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71956-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

2026-01-27T11:03:49Z

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

Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

2026-01-27T11:03:49Z

Author Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71998-4
Format: Electronic Resources
Availability Online Library~1

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

2026-01-27T11:03:49Z

Author Clavel, Manuel. author. Durán, Francisco. author. Eker, Steven. author. Lincoln, Patrick. author. Martí-Oliet, Narciso. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71999-1
Format: Electronic Resources
Availability Online Library~1

Bioinformatics Research and Applications Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007. Proceedings

2026-01-27T11:03:49Z

Author Măndoiu, Ion. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72031-7
Format: Electronic Resources
Availability Online Library~1

Business Information Systems 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007. Proceedings

2026-01-27T11:03:49Z

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

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

2026-01-27T11:03:49Z

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

Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition

2026-01-27T11:03:49Z

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

Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers

2026-01-27T11:03:49Z

Author Lehner, Wolfgang. editor. Meyer, Norbert. editor. Streit, Achim. editor. Stewart, Craig. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72337-0
Format: Electronic Resources
Availability Online Library~1

Artifical Intelligence for Human Computing ICMI 2006 and IJCAI 2007 International Workshops, Banff, Canada, November 3, 2006, Hyderabad, India, January 6, 2007, Revised Seleced and Invited Papers

2026-01-27T11:03:49Z

Author Huang, Thomas S. editor. Nijholt, Anton. editor. Pantic, Maja. editor. Pentland, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72348-6
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007. Proceedings

2026-01-27T11:03:49Z

Author Sauveron, Damien. editor. Markantonakis, Konstantinos. editor. Bilas, Angelos. editor. Quisquater, Jean-Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72354-7
Format: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings

2026-01-27T11:03:49Z

Author Cérin, Christophe. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72360-8
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I

2026-01-27T11:03:49Z

Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zeng-Guang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72383-7
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II

2026-01-27T11:03:49Z

Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zengguang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72393-6
Format: Electronic Resources
Availability Online Library~1

Advances in Neural Networks – ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III

2026-01-27T11:03:49Z

Author Liu, Derong. editor. Fei, Shumin. editor. Hou, Zengguang. editor. Zhang, Huaguang. editor. Sun, Changyin. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72395-0
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings

2026-01-27T11:03:49Z

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

Software Process Dynamics and Agility International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings

2026-01-27T11:03:49Z

Author Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72426-1
Format: Electronic Resources
Availability Online Library~1

Rough Sets and Knowledge Technology Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007. Proceedings

2026-01-27T11:03:49Z

Author Yao, JingTao. editor. Lingras, Pawan. editor. Wu, Wei-Zhi. editor. Szczuka, Marcin. editor. Cercone, Nick J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72458-2
Format: Electronic Resources
Availability Online Library~1

Agent-Mediated Electronic Commerce. Automated Negotiation and Strategy Design for Electronic Markets AAMAS 2006 Workshop, TADA/AMEC 2006, Hakodate, Japan, May 9, 2006, Selected and Revised Papers

2026-01-27T11:03:49Z

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

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings

2026-01-27T11:03:49Z

Author Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72504-6
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers

2026-01-27T11:03:49Z

Author Almási, George. editor. Caşcaval, Călin. editor. Wu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72521-3
Format: Electronic Resources
Availability Online Library~1

Multiple Classifier Systems 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007. Proceedings

2026-01-27T11:03:49Z

Author Haindl, Michal. editor. Kittler, Josef. editor. Roli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72523-7
Format: Electronic Resources
Availability Online Library~1

Advances in Data and Web Management Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007. Proceedings

2026-01-27T11:03:49Z

Author Dong, Guozhu. editor. Lin, Xuemin. editor. Wang, Wei. editor. Yang, Yun. editor. Yu, Jeffrey Xu. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72524-4
Format: Electronic Resources
Availability Online Library~1

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings

2026-01-27T11:03:49Z

Author An, Aijun. editor. Stefanowski, Jerzy. editor. Ramanna, Sheela. editor. Butz, Cory J. editor. Pedrycz, Witold. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72530-5
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology - EUROCRYPT 2007 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007. Proceedings

2026-01-27T11:03:49Z

Author Naor, Moni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72540-4
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

2026-01-27T11:03:49Z

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 I

2026-01-27T11:03:49Z

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-72584-8
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T11:03:49Z

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-72586-2
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

Service-Oriented Computing: Agents, Semantics, and Engineering AAMAS 2007 International Workshop, SOCASE 2007, Honolulu, HI, USA, May 14, 2007. Proceedings

2026-01-27T11:03:49Z

Author Huang, Jingshan. editor. Kowalczyk, Ryszard. editor. Maamar, Zakaria. editor. Martin, David. editor. Müller, Ingo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72619-7
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Intelligence 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, Montreal, Canada, May 28-30, 2007. Proceedings

2026-01-27T11:03:49Z

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

The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings

2026-01-27T11:03:49Z

Author Franconi, Enrico. editor. Kifer, Michael. editor. May, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72667-8
Format: Electronic Resources
Availability Online Library~1

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings

2026-01-27T11:03:49Z

Author Lee, Yann-Hang. editor. Kim, Heung-Nam. editor. Kim, Jong. editor. Park, Yongwan. editor. Yang, Laurence T. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72685-2
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communications 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007. Proceedings

2026-01-27T11:03:49Z

Author Boavida, Fernando. editor. Monteiro, Edmundo. editor. Mascolo, Saverio. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72697-5
Format: Electronic Resources
Availability Online Library~1

Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings

2026-01-27T11:03:49Z

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

Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings

2026-01-27T11:03:49Z

Author Tomkos, Ioannis. editor. Neri, Fabio. editor. Solé Pareta, Josep. editor. Masip Bruin, Xavier. editor. Sánchez Lopez, Sergi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72731-6
Format: Electronic Resources
Availability Online Library~1

Service Availability 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings

2026-01-27T11:03:49Z

Author Malek, Miroslaw. editor. Reitenspieß, Manfred. editor. Moorsel, Aad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72736-1
Format: Electronic Resources
Availability Online Library~1

Applied Cryptography and Network Security 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007. Proceedings

2026-01-27T11:03:49Z

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

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2026-01-27T11:03:49Z

Author Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings

2026-01-27T11:03:49Z

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

Coordination Models and Languages 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2026-01-27T11:03:49Z

Author Murphy, Amy L. editor. Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72794-1
Format: Electronic Resources
Availability Online Library~1

Agent and Multi-Agent Systems: Technologies and Applications First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31– June 1, 2007. Proceedings

2026-01-27T11:03:49Z

Author Nguyen, Ngoc Thanh. editor. Grzech, Adam. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72830-6
Format: Electronic Resources
Availability Online Library~1

Autonomous Intelligent Systems: Multi-Agents and Data Mining Second International Workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007. Proceedings

2026-01-27T11:03:49Z

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

Experimental Algorithms 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007. Proceedings

2026-01-27T11:03:49Z

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

Pattern Recognition and Image Analysis Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part I

2026-01-27T11:03:49Z

Author Martí, Joan. editor. Benedí, José Miguel. editor. Mendonça, Ana Maria. editor. Serrat, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72847-4
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Image Analysis Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part II

2026-01-27T11:03:49Z

Author Martí, Joan. editor. Benedí, José Miguel. editor. Mendonça, Ana Maria. editor. Serrat, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72849-8
Format: Electronic Resources
Availability Online Library~1

Algorithmic Aspects in Information and Management Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007. Proceedings

2026-01-27T11:03:49Z

Author Kao, Ming-Yang. editor. Li, Xiang-Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72870-2
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2026-01-27T11:03:49Z

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

Model Driven Architecture- Foundations and Applications Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings

2026-01-27T11:03:49Z

Author Akehurst, David H. editor. Vogel, Régis. editor. Paige, Richard F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72901-3
Format: Electronic Resources
Availability Online Library~1

Graph-Based Representations in Pattern Recognition 6th IAPR-TC-15 International Workshop, GbRPR 2007, Alicante, Spain, June 11-13, 2007. Proceedings

2026-01-27T11:03:49Z

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

Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings

2026-01-27T11:03:49Z

Author Jin, Hai. editor. Rana, Omer F. editor. Pan, Yi. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72905-1
Format: Electronic Resources
Availability Online Library~1

Functional Imaging and Modeling of the Heart 4th International Conference, FIHM 2007, Salt Lake City, UT, USA, June 7-9, 2007. Proceedings

2026-01-27T11:03:49Z

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

Advances in Web and Network Technologies, and Information Management APWeb/WAIM 2007 International Workshops: DBMAN 2007, WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007. Proceedings

2026-01-27T11:03:49Z

Author Chang, Kevin Chen-Chuan. editor. Wang, Wei. editor. Chen, Lei. editor. Ellis, Clarence A. editor. Hsu, Ching-Hsien. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72909-9
Format: Electronic Resources
Availability Online Library~1

Fun with Algorithms 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007. Proceedings

2026-01-27T11:03:49Z

Author Crescenzi, Pierluigi. editor. Prencipe, Giuseppe. editor. Pucci, Geppino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72914-3
Format: Electronic Resources
Availability Online Library~1

Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings

2026-01-27T11:03:49Z

Author Bshouty, Nader H. editor. Gentile, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72927-3
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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

Nature Inspired Problem-Solving Methods in Knowledge Engineering 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 II

2026-01-27T11:03:49Z

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-73055-2
Format: Electronic Resources
Availability Online Library~1

Systems Biology and Computational Proteomics Joint RECOMB 2006 Satellite Workshops on Systems Biology and on Computational Proteomics, San Diego, CA, USA, December 1-3, 2006, Revised Selected Papers

2026-01-27T11:03:49Z

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

Usability and Internationalization. Global and Local User Interfaces Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

Distributed Computing in Sensor Systems Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings

2026-01-27T11:03:49Z

Author Aspnes, James. editor. Scheideler, Christian. editor. Arora, Anish. editor. Madden, Samuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73090-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Data Hiding and Multimedia Security II

2026-01-27T11:03:49Z

Author Shi, Yun Q. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73092-7
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

2026-01-27T11:03:49Z

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

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

2026-01-27T11:03:49Z

Author Olivetti, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73099-6
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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

Author Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73131-3
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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

Foundations of Augmented Cognition Third International Conference, FAC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2026-01-27T11:03:49Z

Author Schmorrow, Dylan D. editor. Reeves, Leah M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73216-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T11:03:49Z

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

Reliable Software Technologies – Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

2026-01-27T11:03:49Z

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

Data Integration in the Life Sciences 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007. Proceedings

2026-01-27T11:03:49Z

Author Cohen-Boulakia, Sarah. editor. Tannen, Val. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73255-6
Format: Electronic Resources
Availability Online Library~1

Online Communities and Social Computing Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2026-01-27T11:03:49Z

Author Schuler, Douglas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73257-0
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

2026-01-27T11:03:49Z

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

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

2026-01-27T11:03:49Z

Author Dahl, Véronica. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74610-2
Format: Electronic Resources
Availability Online Library~1

Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

2026-01-27T11:03:49Z

Author Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74615-7
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T11:03:49Z

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

Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers

2026-01-27T11:03:49Z

Author Biryukov, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74619-5
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

2026-01-27T11:03:49Z

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

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

2026-01-27T11:03:49Z

Author Kang, Lishan. editor. Liu, Yong. editor. Zeng, Sanyou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74626-3
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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

Artificial Neural Networks – ICANN 2007 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part I

2026-01-27T11:03:49Z

Author Sá, Joaquim Marques. editor. Alexandre, Luís A. editor. Duch, Włodzisław. editor. Mandic, Danilo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74690-4
Format: Electronic Resources
Availability Online Library~1

Artificial Neural Networks – ICANN 2007 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part II

2026-01-27T11:03:49Z

Author Sá, Joaquim Marques. editor. Alexandre, Luís A. editor. Duch, Włodzisław. editor. Mandic, Danilo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74695-9
Format: Electronic Resources
Availability Online Library~1

Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings

2026-01-27T11:03:49Z

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

Parallel and Distributed Processing and Applications 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings

2026-01-27T11:03:49Z

Author Stojmenovic, Ivan. editor. Thulasiram, Ruppa K. editor. Yang, Laurence T. editor. Jia, Weijia. editor. Guo, Minyi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74742-0
Format: Electronic Resources
Availability Online Library~1

Frontiers of High Performance Computing and Networking ISPA 2007 Workshops ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 Proceedings

2026-01-27T11:03:49Z

Author Thulasiraman, Parimala. editor. He, Xubin. editor. Xu, Tony Li. editor. Denko, Mieso K. editor. Thulasiram, Ruppa K. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74767-3
Format: Electronic Resources
Availability Online Library~1

Bio-Inspired Computational Intelligence and Applications International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings

2026-01-27T11:03:49Z

Author Li, Kang. editor. Fei, Minrui. editor. Irwin, George William. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74769-7
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Simulation International Conference, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings

2026-01-27T11:03:49Z

Author Li, Kang. editor. Li, Xin. editor. Irwin, George William. editor. He, Gusen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74771-0
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings

2026-01-27T11:03:49Z

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

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007. Proceedings

2026-01-27T11:03:49Z

Author Basili, Roberto. editor. Pazienza, Maria Teresa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74782-6
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

Algorithms for Sensor and Ad Hoc Networks Advanced Lectures

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

2026-01-27T11:03:49Z

Author Wolter, Katinka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75211-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

2026-01-27T11:03:49Z

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

2026-01-27T11:03:49Z

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

Formal Aspects in Security and Trust Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers

2026-01-27T11:03:49Z

Author Dimitrakos, Theo. editor. Martinelli, Fabio. editor. Ryan, Peter Y. A. editor. Schneider, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75227-1
Format: Electronic Resources
Availability Online Library~1

Secure Data Management 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings

2026-01-27T11:03:49Z

Author Jonker, Willem. editor. Petković, Milan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75248-6
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems and Applications V 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings

2026-01-27T11:03:49Z

Author Burkhard, Hans-Dieter. editor. Lindemann, Gabriela. editor. Verbrugge, Rineke. editor. Varga, László Zsolt. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75254-7
Format: Electronic Resources
Availability Online Library~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings

2026-01-27T11:03:49Z

Author Mellouli, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75256-1
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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

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

2026-01-27T11:03:49Z

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

Real-Time Mobile Multimedia Services 10th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2007, San José, USA, October 31 - November 2, 2007 Proceedings

2026-01-27T11:03:49Z

Author Krishnaswamy, Dilip. editor. Pfeifer, Tom. editor. Raz, Danny. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75869-3
Format: Electronic Resources
Availability Online Library~1

Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers

2026-01-27T11:03:49Z

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

Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday

2026-01-27T11:03:49Z

Author Aguzzoli, Stefano. editor. Ciabattoni, Agata. editor. Gerla, Brunella. editor. Manara, Corrado. editor. Marra, Vincenzo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75939-3
Format: Electronic Resources
Availability Online Library~1

Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007. Proceedings

2026-01-27T11:03:49Z

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

Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers

2026-01-27T11:03:49Z

Author Arenas, Marcelo. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75987-4
Format: Electronic Resources
Availability Online Library~1

Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers

2026-01-27T11:03:49Z

Author Schilder, Frank. editor. Katz, Graham. editor. Pustejovsky, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75989-8
Format: Electronic Resources
Availability Online Library~1

E-business and Telecommunication Networks Second International Conference, ICETE 2005, Reading, UK, October 3-7, 2005. Selected Papers

2026-01-27T11:03:49Z

Author Filipe, Joaquim. editor. Coelhas, Helder. editor. Saramago, Monica. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75993-5
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling – Foundations and Applications ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007. Proceedings

2026-01-27T11:03:49Z

Author Hainaut, Jean-Luc. editor. Rundensteiner, Elke A. editor. Kirchberg, Markus. editor. Bertolotto, Michela. editor. Brochhausen, Mathias. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76292-8
Format: Electronic Resources
Availability Online Library~1

The Semantic Web 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Proceedings

2026-01-27T11:03:49Z

Author Aberer, Karl. editor. Choi, Key-Sun. editor. Noy, Natasha. editor. Allemang, Dean. editor. Lee, Kyung-Il. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76298-0
Format: Electronic Resources
Availability Online Library~1

Advances in Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry International Conferences MDA 2006/2007, Leipzig, Germany, July 18, 2007. Selected Papers

2026-01-27T11:03:49Z

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

Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers

2026-01-27T11:03:49Z

Author Holub, Jan. editor. Žďárek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76336-9
Format: Electronic Resources
Availability Online Library~1

Advances in Visual Information Systems 9th International Conference, VISUAL 2007 Shanghai, China, June 28-29, 2007 Revised Selected Papers

2026-01-27T11:03:49Z

Author Qiu, Guoping. editor. Leung, Clement. editor. Xue, Xiangyang. editor. Laurini, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76414-4
Format: Electronic Resources
Availability Online Library~1

Verbal and Nonverbal Communication Behaviours COST Action 2102 International Workshop, Vietri sul Mare, Italy, March 29-31, 2007, Revised Selected and Invited Papers

2026-01-27T11:03:49Z

Author Esposito, Anna. editor. Faundez-Zanuy, Marcos. editor. Keller, Eric. editor. Marinaro, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76442-7
Format: Electronic Resources
Availability Online Library~1

Multi-Agent-Based Simulation VII International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

2026-01-27T11:03:49Z

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

Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

2026-01-27T11:03:49Z

Author Masuzawa, Toshimitsu. editor. Tixeuil, Sébastien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76627-8
Format: Electronic Resources
Availability Online Library~1

MICAI 2007: Advances in Artificial Intelligence 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007. Proceedings

2026-01-27T11:03:49Z

Author Gelbukh, Alexander. editor. Kuri Morales, Ángel Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76631-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2026-01-27T11:03:49Z

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

Transactions on Computational Systems Biology VIII

2026-01-27T11:03:49Z

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

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

2026-01-27T11:03:49Z

Author Butler, Michael. editor. Hinchey, Michael G. editor. Larrondo-Petrie, María M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76650-6
Format: Electronic Resources
Availability Online Library~1

Ambient Intelligence European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007. Proceedings

2026-01-27T11:03:49Z

Author Schiele, Bernt. editor. Dey, Anind K. editor. Gellersen, Hans. editor. Ruyter, Boris. editor. Tscheligi, Manfred. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76652-0
Format: Electronic Resources
Availability Online Library~1

Haptic and Audio Interaction Design Second International Workshop, HAID 2007 Seoul, South Korea, November 29-30, 2007 Proceedings

2026-01-27T11:03:49Z

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

Knowledge Science, Engineering and Management Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007. Proceedings

2026-01-27T11:03:49Z

Author Zhang, Zili. editor. Siekmann, Jörg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76719-0
Format: Electronic Resources
Availability Online Library~1

Progress in Pattern Recognition, Image Analysis and Applications 12th Iberoamericann Congress on Pattern Recognition, CIARP 2007, Valparaiso, Chile, November 13-16, 2007. Proceedings

2026-01-27T11:03:49Z

Author Rueda, Luis. editor. Mery, Domingo. editor. Kittler, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76725-1
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Computing Systems 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007. Proceedings

2026-01-27T11:03:49Z

Author Ichikawa, Haruhisa. editor. Cho, We-Duke. editor. Satoh, Ichiro. editor. Youn, Hee Yong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76772-5
Format: Electronic Resources
Availability Online Library~1

Middleware 2007 ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings

2026-01-27T11:03:49Z

Author Cerqueira, Renato. editor. Campbell, Roy H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76778-7
Format: Electronic Resources
Availability Online Library~1

Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

2026-01-27T11:03:49Z

Author Backhouse, Roland. editor. Gibbons, Jeremy. editor. Hinze, Ralf. editor. Jeuring, Johan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76786-2
Format: Electronic Resources
Availability Online Library~1

Information Security and Cryptology - ICISC 2007 10th International Conference, Seoul, Korea, November 29-30, 2007. Proceedings

2026-01-27T11:03:49Z

Author Nam, Kil-Hyun. editor. Rhee, Gwangsoo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76788-6
Format: Electronic Resources
Availability Online Library~1

Sustainable Internet Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007. Proceedings

2026-01-27T11:03:49Z

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