Search Results for Computer. - Narrowed by: 2007

Computer concepts : illustrated

2026-01-20T11:16:32Z

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

Computer science illuminated

2026-01-20T11:16:32Z

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

Evolutionary Computer Music

2026-01-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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 techniques in vibration

2026-01-20T11:16:32Z

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

Computer security and cryptography

2026-01-20T11:16:32Z

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

Programming principles in computer graphics

2026-01-20T11:16:32Z

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

Oscillator design and computer simulation

2026-01-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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

Vector Analysis for Computer Graphics

2026-01-20T11:16:32Z

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

Digital design and computer architecture

2026-01-20T11:16:32Z

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

Computer numerical control : operation and programming

2026-01-20T11:16:32Z

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-20T11:16:32Z

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

Computer ethics : a global perspective

2026-01-20T11:16:32Z

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

Advanced Intelligent Paradigms in Computer Games

2026-01-20T11:16:32Z

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

Security of e-Systems and Computer Networks

2026-01-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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 Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

2026-01-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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 Graphics and Computer Vision International Conferences VISAPP and GRAPP 2006, Setúbal, Portugal, February 25-28, 2006, Revised Selected Papers

2026-01-20T11:16:32Z

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 II

2026-01-20T11:16:32Z

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

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-20T11:16:32Z

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

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-20T11:16:32Z

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. 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-20T11:16:32Z

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

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-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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 Vision – ACCV 2007 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part I

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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

Automatic Quantum Computer Programming A Genetic Programming Approach

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

Computer-Based Design and Manufacturing An Information-Based Approach

2026-01-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

Innovations and Advanced Techniques in Computer and Information Sciences and Engineering

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

Human computer interaction : developing effective organizational information systems

2026-01-20T11:16:32Z

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

Chemometrics : statistics and computer application in analytical chemistry

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

Multi-objective optimization in computer networks using metaheuristics

2026-01-20T11:16:32Z

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-20T11:16:32Z

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

Chemical engineering dynamics an introduction to modelling and computer simulation

2026-01-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

Producing Flash CS3 video techniques for video pros and Web designers

2026-01-20T11:16:32Z

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

Introduction to AutoCAD 2007 2D and 3D design

2026-01-20T11:16:32Z

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

Beginning AutoCAD 2007

2026-01-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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

Exploring scanning probe microscopy with mathematica

2026-01-20T11:16:32Z

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

Ethical and Social Issues in the Information Age

2026-01-20T11:16:32Z

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

Peer-to-Peer Computing Building Supercomputers with Web Technologies

2026-01-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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

Microsoft Vista for IT security professionals

2026-01-20T11:16:32Z

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

Microsoft windows security fundamentals

2026-01-20T11:16:32Z

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-20T11:16:32Z

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

Windows forensic analysis DVD toolkit

2026-01-20T11:16:32Z

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

Automated data analysis using Excel

2026-01-20T11:16:32Z

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

How to Cheat at Microsoft Vista Administration

2026-01-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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

Materials for rigid and flexible printed wiring boards

2026-01-20T11:16:32Z

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

Software engineering

2026-01-20T11:16:32Z

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

Chemical product design toward a perspective through case studies

2026-01-20T11:16:32Z

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

Excel for scientists and engineers numerical methods

2026-01-20T11:16:32Z

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

Principles of ad hoc networking

2026-01-20T11:16:32Z

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

Semantics with Applications: An Appetizer

2026-01-20T11:16:32Z

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

Object-Oriented Programming Languages: Interpretation

2026-01-20T11:16:32Z

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

Practical Distributed Processing

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

Progress in Nonlinear Speech Processing

2026-01-20T11:16:32Z

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

Transactions on High-Performance Embedded Architectures and Compilers I

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

Pervasive Computing 5th International Conference, PERVASIVE 2007, Toronto, Canada, May 13-16, 2007. Proceedings

2026-01-20T11:16:32Z

Author LaMarca, Anthony. editor. Langheinrich, Marc. editor. Truong, Khai N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72037-9
Format: Electronic Resources
Availability Online Library~1

The Adaptive Web Methods and Strategies of Web Personalization

2026-01-20T11:16:32Z

Author Brusilovsky, Peter. editor. Kobsa, Alfred. editor. Nejdl, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72079-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

Structural Information and Communication Complexity 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007. Proceedings

2026-01-20T11:16:32Z

Author Prencipe, Giuseppe. editor. Zaks, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72951-8
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-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

Pervasive Computing for Quality of Life Enhancement 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007. Proceedings

2026-01-20T11:16:32Z

Author Okadome, Takeshi. editor. Yamazaki, Tatsuya. editor. Makhtari, Mounir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73035-4
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-20T11:16:32Z

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-20T11:16:32Z

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

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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

Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings

2026-01-20T11:16:32Z

Author Rocca, Simona Ronchi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73228-0
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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

Pairing-Based Cryptography – Pairing 2007 First International Conference, Tokyo, Japan, July 2-4, 2007. Proceedings

2026-01-20T11:16:32Z

Author Takagi, Tsuyoshi. editor. Okamoto, Tatsuaki. editor. Okamoto, Eiji. editor. Okamoto, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73489-5
Format: Electronic Resources
Availability Online Library~1

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

RoboCup 2006: Robot Soccer World Cup X

2026-01-20T11:16:32Z

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

Architecting Dependable Systems IV

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

Speaker Classification I Fundamentals, Features, and Methods

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

Journal on Data Semantics IX

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

Transactions on Aspect-Oriented Software Development III

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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-20T11:16:32Z

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

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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

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

2026-01-20T11:16:32Z

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