Arama Sonuçları Computer Science. - Daraltılmış: 2007

Computer science illuminated

2026-01-15T05:30:17Z

Yazar Dale, Nell B. Lewis, John, 1963-
Yer Numarası QA76 .D285 2007
Format: Kitap
Durum Beytepe Kütüphanesi~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-15T05:30:17Z

Yazar Diekert, Volker. editor. Volkov, Mikhail V. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74510-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74915-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69507-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Thomas, Wolfgang. editor. Weil, Pascal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70918-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72734-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73859-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74456-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Brandstädt, Andreas. editor. Kratsch, Dieter. editor. Müller, Haiko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74839-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Cervesato, Iliano. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76929-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77050-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77505-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Dorst, Leo, 1958- Fontijne, Daniel. Mann, Stephen, 1963-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780123749420
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Dorst, Leo, 1958- Fontijne, Daniel. Mann, Stephen, 1963-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780123694652
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Dorst, Leo, 1958- Fontijne, Daniel. Mann, Stephen.
Yer Numarası QA564 .D67 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-01-15T05:30:17Z

Yazar Fant, Karl M. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006052821-b.html John Wiley http://dx.doi.org/10.1002/9780470125779
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Munakata, Toshinori. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-839-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ethical and Social Issues in the Information Age

2026-01-15T05:30:17Z

Yazar Kizza, Joseph Migga. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-659-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software engineering

2026-01-15T05:30:17Z

Yazar Sommerville, Ian, 1951-
Yer Numarası QA76.6 S66 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Journal on Data Semantics VIII

2026-01-15T05:30:17Z

Yazar Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Fages, François. editor. Hacid, Mohand-Saïd. editor. Kifer, Michael. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70664-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Akiyama, Jin. editor. Chen, William Y. C. editor. Kano, Mikio. editor. Li, Xueliang. editor. Yu, Qinglin. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70666-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70816-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70881-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Vidal, René. editor. Heyden, Anders. editor. Ma, Yi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70932-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Lu, Ruqian. editor. Siekmann, Jörg H. editor. Ullrich, Carsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70934-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Gelbukh, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70939-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Boyanov, Todor. editor. Dimova, Stefka. editor. Georgiev, Krassimir. editor. Nikolov, Geno. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70942-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70945-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70952-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar García-Vidal, Jorge. editor. Cerdà-Alabern, Llorenç. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70969-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Sakurai, Akito. editor. Hasida, Kôiti. editor. Nitta, Katsumi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71009-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Stephanidis, Constantine. editor. Pieper, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71025-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Lévy, Pierre P. editor. Grand, Bénédicte. editor. Poulet, François. editor. Soto, Michel. editor. Darago, Laszlo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71027-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71035-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Tuyls, Karl. editor. Westra, Ronald. editor. Saeys, Yvan. editor. Nowé, Ann. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71037-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Lee, Jae Kwang. editor. Yi, Okyeon. editor. Yung, Moti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71093-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Weyns, Danny. editor. Parunak, H. Van Dyke. editor. Michel, Fabien. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71103-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71156-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Peters, James F. editor. Skowron, Andrzej. editor. Düntsch, Ivo. editor. Grzymała-Busse, Jerzy. editor. Orłowska, Ewa. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71200-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71209-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71229-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kovacs, Tim. editor. Llorà, Xavier. editor. Takadama, Keiki. editor. Lanzi, Pier Luca. editor. Stolzmann, Wolfgang. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71231-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Hochreiter, Sepp. editor. Wagner, Roland. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71233-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Lukowicz, Paul. editor. Thiele, Lothar. editor. Tröster, Gerhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71270-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Dwyer, Matthew B. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71289-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Basili, Victor R. editor. Rombach, Dieter. editor. Schneider, Kurt. editor. Kitchenham, Barbara. editor. Pfahl, Dietmar. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71301-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Nicola, Rocco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71316-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71322-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71351-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Seidl, Helmut. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71389-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Branco, António. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71412-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Minden, Gary J. editor. Calvert, Kenneth L. editor. Solarski, Marcin. editor. Yamamoto, Miki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71500-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on High-Performance Embedded Architectures and Compilers I

2026-01-15T05:30:17Z

Yazar Stenström, Per. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71528-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Şahin, Erol. editor. Spears, William M. editor. Winfield, Alan F. T. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71541-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Marchand-Maillet, Stéphane. editor. Bruno, Eric. editor. Nürnberger, Andreas. editor. Detyniecki, Marcin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71545-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Chahed, Tijani. editor. Tuffin, Bruno. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72709-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Prencipe, Giuseppe. editor. Zaks, Shmuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72951-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Bonsangue, Marcello M. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72952-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72982-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Bandara, Arosha K. editor. Burgess, Mark. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72986-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Mason, Lorne. editor. Drwiega, Tadeusz. editor. Yan, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72990-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Processing in Medical Imaging 20th International Conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Karssemeijer, Nico. editor. Lelieveldt, Boudewijn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73273-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Privacy in Ad-hoc and Sensor Networks 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Stajano, Frank. editor. Meadows, Catherine. editor. Capkun, Srdjan. editor. Moore, Tyler. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73275-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Stephanidis, Constantine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73279-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Stephanidis, Constantine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73281-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Stephanidis, Constantine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73283-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Usability and Internationalization. HCI and Culture Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2026-01-15T05:30:17Z

Yazar Aykin, Nuray. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73287-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Aykin, Nuray. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73289-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Human Modeling First International Conference on Digital Human Modeling, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Duffy, Vincent G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73321-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Okuno, Hiroshi G. editor. Ali, Moonis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73325-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Psychology and Cognitive Ergonomics 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Harris, Don. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73331-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Dainoff, Marvin J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73333-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Virtual Reality Second International Conference, ICVR 2007, Held as part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Shumaker, Randall. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73335-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Smith, Michael J. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73345-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Kedad, Zoubida. editor. Lammari, Nadira. editor. Métais, Elisabeth. editor. Meziane, Farid. editor. Rezgui, Yacine. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73351-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human Interface and the Management of Information. Interacting in Information Environments Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

2026-01-15T05:30:17Z

Yazar Smith, Michael J. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73354-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Damm, Werner. editor. Hermanns, Holger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73368-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73370-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Cooper, Richard. editor. Kennedy, Jessie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73390-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Masulli, Francesco. editor. Mitra, Sushmita. editor. Pasi, Gabriella. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73400-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Sandoval, Francisco. editor. Prieto, Alberto. editor. Cabestany, Joan. editor. Graña, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73007-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Derrick, John. editor. Vain, Jüri. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73196-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Harju, Tero. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73208-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Davies, Jim. editor. Gibbons, Jeremy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73210-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Butz, Andreas. editor. Fisher, Brian. editor. Krüger, Antonio. editor. Olivier, Patrick. editor. Owada, Shigeru. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73214-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Schmorrow, Dylan D. editor. Reeves, Leah M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73216-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Rocca, Simona Ronchi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73228-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Abdennadher, Nabil. editor. Kordon, Fabrice. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73230-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Crescenzi, Pierluigi. editor. Prencipe, Giuseppe. editor. Pucci, Geppino. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72914-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Bshouty, Nader H. editor. Gentile, Claudio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72927-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Csuhaj-Varjú, Erzsébet. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74240-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Geraets, Frank. editor. Kroon, Leo. editor. Schoebel, Anita. editor. Wagner, Dorothea. editor. Zaroliagis, Christos D. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74247-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kokinov, Boicho. editor. Richardson, Daniel C. editor. Roth-Berghofer, Thomas R. editor. Vieu, Laure. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74255-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kamel, Mohamed. editor. Campilho, Aurélio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74260-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Butz, Martin V. editor. Sigaud, Olivier. editor. Pezzulo, Giovanni. editor. Baldassarre, Gianluca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74262-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kropatsch, Walter G. editor. Kampel, Martin. editor. Hanbury, Allan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74272-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Choi, Lynn. editor. Paek, Yunheung. editor. Cho, Sangyeun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74309-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kruegel, Christopher. editor. Lippmann, Richard. editor. Clark, Andrew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74320-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Preparata, Franco P. editor. Fang, Qizhi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73814-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Martin, Ralph. editor. Sabin, Malcolm. editor. Winkler, Joab. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73843-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Altenkirch, Thorsten. editor. McBride, Conor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74464-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kermarrec, Anne-Marie. editor. Bougé, Luc. editor. Priol, Thierry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74466-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Wagner, Roland. editor. Revell, Norman. editor. Pernul, Günther. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74469-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74472-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74477-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Mařík, Vladimír. editor. Vyatkin, Valeriy. editor. Colombo, Armando W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74481-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74484-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Davies, Mike E. editor. James, Christopher J. editor. Abdallah, Samer A. editor. Plumbley, Mark D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74494-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Biometrics International Conference, ICB 2007, Seoul, Korea, August 27-29, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Lee, Seong-Whan. editor. Li, Stan Z. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74549-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Warehousing and Knowledge Discovery 9th International Conference, DaWaK 2007, Regensburg Germany, September 3-7, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Song, Il Yeal. editor. Eder, Johann. editor. Nguyen, Tho Manh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74553-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Hromkovič, Juraj. editor. Královič, Richard. editor. Nunkesser, Marc. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74871-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Ma, Lizhuang. editor. Rauterberg, Matthias. editor. Nakatsu, Ryohei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74873-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Paiva, Ana C. R. editor. Prada, Rui. editor. Picard, Rosalind W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74889-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Almeida e Costa, Fernando. editor. Rocha, Luis Mateus. editor. Costa, Ernesto. editor. Harvey, Inman. editor. Coutinho, António. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74913-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Hutchison, David. editor. Katz, Randy H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74917-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Hamprecht, Fred A. editor. Schnörr, Christoph. editor. Jähne, Bernd. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74936-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Petta, Paolo. editor. Müller, Jörg P. editor. Klusch, Matthias. editor. Georgeff, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74949-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Berendt, Bettina. editor. Hotho, Andreas. editor. Mladenic, Dunja. editor. Semeraro, Giovanni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74951-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kok, Joost N. editor. Koronacki, Jacek. editor. Mantaras, Raomon Lopez de. editor. Matwin, Stan. editor. Mladenič, Dunja. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74958-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Tesler, Glenn. editor. Durand, Dannie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74960-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74964-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Bessière, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74970-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Krämer, Bernd J. editor. Lin, Kwei-Jay. editor. Narasimhan, Priya. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74974-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Kok, Joost N. editor. Koronacki, Jacek. editor. Lopez de Mantaras, Ramon. editor. Matwin, Stan. editor. Mladenič, Dunja. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74976-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Perrott, Ronald. editor. Chapman, Barbara M. editor. Subhlok, Jaspal. editor. Mello, Rodrigo Fernandes. editor. Yang, Laurence T. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75444-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms for Sensor and Ad Hoc Networks Advanced Lectures

2026-01-15T05:30:17Z

Yazar Wagner, Dorothea. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74991-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Peters, Carol. editor. Clough, Paul. editor. Gey, Fredric C. editor. Karlgren, Jussi. editor. Magnini, Bernardo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74999-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Saglietti, Francesca. editor. Oster, Norbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75101-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Klusch, Matthias. editor. Hindriks, Koen V. editor. Papazoglou, Mike P. editor. Sterling, Leon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75119-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Oquendo, Flavio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75132-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Calder, Muffy. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75140-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Pelc, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75142-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Cate, Balder D. editor. Zeevat, Henk W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75144-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Hightower, Jeffrey. editor. Schiele, Bernt. editor. Strang, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75160-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Aspect-Oriented Software Development III

2026-01-15T05:30:17Z

Yazar Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75162-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Alonso, Gustavo. editor. Dadam, Peter. editor. Rosemann, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75183-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Ioannidis, Yannis. editor. Novikov, Boris. editor. Rachev, Boris. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75185-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75187-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Duval, Erik. editor. Klamma, Ralf. editor. Wolpers, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75195-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Obermaisser, Roman. editor. Nah, Yunmook. editor. Puschner, Peter. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75664-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Barkowsky, Thomas. editor. Knauff, Markus. editor. Ligozat, Gérard. editor. Montello, Daniel R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75666-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Löffler, Jobst. editor. Klann, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75668-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Susilo, Willy. editor. Liu, Joseph K. editor. Mu, Yi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75670-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Zhou, S. Kevin. editor. Zhao, Wenyi. editor. Tang, Xiaoou. editor. Gong, Shaogang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75690-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Sensing and Context Second European Conference, EuroSSC 2007, Kendal, England, October 23-25, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Kortuem, Gerd. editor. Finney, Joe. editor. Lea, Rodger. editor. Sundramoorthy, Vasughi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75696-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75698-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Borrajo, Daniel. editor. Castillo, Luis. editor. Corchado, Juan Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75271-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Yagi, Yasushi. editor. Kang, Sing Bing. editor. Kweon, In So. editor. Zha, Hongbin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76386-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Yagi, Yasushi. editor. Kang, Sing Bing. editor. Kweon, In So. editor. Zha, Hongbin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76390-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Krishnaswamy, Dilip. editor. Pfeifer, Tom. editor. Raz, Danny. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75869-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Qiu, Guoping. editor. Leung, Clement. editor. Xue, Xiangyang. editor. Laurini, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76414-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Draheim, Dirk. editor. Weber, Gerald. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75912-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Esposito, Anna. editor. Faundez-Zanuy, Marcos. editor. Keller, Eric. editor. Marinaro, Maria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76442-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Masuzawa, Toshimitsu. editor. Tixeuil, Sébastien. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76627-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Oakley, Ian. editor. Brewster, Stephen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-76702-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Paschke, Adrian. editor. Biletskiy, Yevgen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75975-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Arenas, Marcelo. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75987-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Schilder, Frank. editor. Katz, Graham. editor. Pustejovsky, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75989-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Filipe, Joaquim. editor. Coelhas, Helder. editor. Saramago, Monica. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75993-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging Directions in Embedded and Ubiquitous Computing EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Denko, Mieso K. editor. Shih, Chi-sheng. editor. Li, Kuan-Ching. editor. Tsao, Shiao-Li. editor. Zeng, Qing-An. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77090-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded and Ubiquitous Computing International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Kuo, Tei-Wei. editor. Sha, Edwin. editor. Guo, Minyi. editor. Yang, Laurence T. editor. Shao, Zili. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77092-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers 10th International Conference on Asian Digital Libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Goh, Dion Hoe-Lian. editor. Cao, Tru Hoang. editor. Sølvberg, Ingeborg Torvik. editor. Rasmussen, Edie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77094-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Tovar, Eduardo. editor. Tsigas, Philippas. editor. Fouchal, Hacène. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77096-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet and Network Economics Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Deng, Xiaotie. editor. Graham, Fan Chung. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77105-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20. Proceedings

2026-01-15T05:30:17Z

Yazar Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77115-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Computation 18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Tokuyama, Takeshi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77120-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Image and Video Technology Second Pacific Rim Symposium, PSIVT 2007 Santiago, Chile, December 17-19, 2007 Proceedings

2026-01-15T05:30:17Z

Yazar Mery, Domingo. editor. Rueda, Luis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77129-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security Protocols 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers

2026-01-15T05:30:17Z

Yazar Christianson, Bruce. editor. Crispo, Bruno. editor. Malcolm, James A. editor. Roe, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77156-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing – HiPC 2007 14th International Conference, Goa, India, December 18-21, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Aluru, Srinivas. editor. Parashar, Manish. editor. Badrinath, Ramamurthy. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77220-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Winckler, Marco. editor. Johnson, Hilary. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77222-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Boztaş, Serdar. editor. Lu, Hsiao-Feng (Francis). editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77224-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Data Engineering and Automated Learning - IDEAL 2007 8th International Conference, Birmingham, UK, December 16-19, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Yin, Hujun. editor. Tino, Peter. editor. Corchado, Emilio. editor. Byrne, Will. editor. Yao, Xin. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77226-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Multimedia Information Processing – PCM 2007 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Ip, Horace H.-S. editor. Au, Oscar C. editor. Leung, Howard. editor. Sun, Ming-Ting. editor. Ma, Wei-Ying. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77255-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cryptography and Coding 11th IMA International Conference, Cirencester, UK, December 18-20, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Galbraith, Steven D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77272-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial and Algorithmic Aspects of Networking 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers

2026-01-15T05:30:17Z

Yazar Janssen, Jeannette. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77294-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence

2026-01-15T05:30:17Z

Yazar Lungarella, Max. editor. Iida, Fumiya. editor. Bongard, Josh. editor. Pfeifer, Rolf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77296-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers

2026-01-15T05:30:17Z

Yazar Eleftherakis, George. editor. Kefalas, Petros. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77312-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007 Hyderabad, India, January 8, 2007 Revised Selected Papers

2026-01-15T05:30:17Z

Yazar Paletta, Lucas. editor. Rome, Erich. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77343-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AsiaSim 2007 Asia Simulation Conference 2007, Seoul, Korea, October 10-12, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Park, Jin-Woo. editor. Kim, Tag- Gon. editor. Kim, Yun-Bae. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77600-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-Oriented Programming Languages: Interpretation

2026-01-15T05:30:17Z

Yazar Craig, Iain D. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-774-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Distributed Processing

2026-01-15T05:30:17Z

Yazar Brooke, Phillip J. author. Paige, Richard F. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-841-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Operating System Design and Implementation The OSP 2 Approach

2026-01-15T05:30:17Z

Yazar Kifer, Michael. author. Smolka, Scott A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-84628-843-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantics with Applications: An Appetizer

2026-01-15T05:30:17Z

Yazar Nielson, Hanne Riis. author. Nielson, Flemming. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-692-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Erlebach, Thomas. editor. Kaklamanis, Christos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11970125
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69554-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Stiefelhagen, Rainer. editor. Garofolo, John. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69568-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Hanus, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69611-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Krogstie, John. editor. Opdahl, Andreas. editor. Sindre, Guttorm. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72988-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73001-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Technologies for E-Learning and Digital Entertainment Second International Conference, Edutainment 2007, Hong Kong, China, June 11-13, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Hui, Kin-chuen. editor. Pan, Zhigeng. editor. Chung, Ronald Chi-kit. editor. Wang, Charlie C. L. editor. Jin, Xiaogang. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73011-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Sawyer, Pete. editor. Paech, Barbara. editor. Heymans, Patrick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73031-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Okadome, Takeshi. editor. Yamazaki, Tatsuya. editor. Makhtari, Mounir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73035-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Image Analysis 15th Scandinavian Conference, SCIA 2007, Aalborg, Denmark, June 10-14, 2007

2026-01-15T05:30:17Z

Yazar Ersbøll, Bjarne Kjær. editor. Pedersen, Kim Steenstrup. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73040-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73053-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Mira, José. editor. Álvarez, José R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73055-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Ideker, Trey. editor. Bafna, Vineet. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73060-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Arithmetic of Finite Fields First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings

2026-01-15T05:30:17Z

Yazar Carlet, Claude. editor. Sunar, Berk. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73074-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Conati, Cristina. editor. McCoy, Kathleen. editor. Paliouras, Georgios. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73078-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73086-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Aspnes, James. editor. Scheideler, Christian. editor. Arora, Anish. editor. Madden, Samuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73090-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Kleijn, Jetty. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73094-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Olivetti, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73099-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Jacko, Julie A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73107-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Jacko, Julie A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73110-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Jacko, Julie A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73111-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Nguyen, Ngoc Thanh. editor. Grzech, Adam. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72830-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Gorodetsky, Vladimir. editor. Zhang, Chengqi. editor. Skormin, Victor A. editor. Cao, Longbing. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72839-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Demetrescu, Camil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72845-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Martí, Joan. editor. Benedí, José Miguel. editor. Mendonça, Ana Maria. editor. Serrat, Joan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72847-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Martí, Joan. editor. Benedí, José Miguel. editor. Mendonça, Ana Maria. editor. Serrat, Joan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72849-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72863-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kao, Ming-Yang. editor. Li, Xiang-Yang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72870-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Indulska, Jadwiga. editor. Raymond, Kerry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72883-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Akehurst, David H. editor. Vogel, Régis. editor. Paige, Richard F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72901-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Escolano, Francisco. editor. Vento, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72903-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Jin, Hai. editor. Rana, Omer F. editor. Pan, Yi. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72905-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Sachse, Frank B. editor. Seemann, Gunnar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72907-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Chang, Kevin Chen-Chuan. editor. Wang, Wei. editor. Chen, Lei. editor. Ellis, Clarence A. editor. Hsu, Ching-Hsien. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72909-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Cohen-Boulakia, Sarah. editor. Tannen, Val. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73255-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Schuler, Douglas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73257-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73551-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Akl, Selim G. editor. Calude, Cristian S. editor. Dinneen, Michael J. editor. Rozenberg, Grzegorz. editor. Wareham, H. Todd. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73554-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Dress, Andreas. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73556-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Miguel, Ian. editor. Ruml, Wheeler. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73580-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Ernst, Erik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73589-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Pfenning, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73595-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Baresi, Luciano. editor. Fraternali, Piero. editor. Houben, Geert-Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73597-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Bellazzi, Riccardo. editor. Abu-Hanna, Ameen. editor. Hunter, Jim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73599-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Hämmerli, Bernhard. editor. Sommer, Robin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73614-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Vassiliadis, Stamatis. editor. Bereković, Mladen. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73625-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Priss, Uta. editor. Polovina, Simon. editor. Hill, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73681-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Torra, Vicenç. editor. Narukawa, Yasuo. editor. Yoshida, Yuji. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73729-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Sagot, Marie-France. editor. Walter, Maria Emilia M. T. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73731-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Gurevich, Yuri. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73770-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Ishida, Toru. editor. Fussell, Susan R. editor. Vossen, Piek T. J. M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74000-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

RoboCup 2006: Robot Soccer World Cup X

2026-01-15T05:30:17Z

Yazar Lakemeyer, Gerhard. editor. Sklar, Elizabeth. editor. Sorrenti, Domenico G. editor. Takahashi, Tomoichi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74024-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecting Dependable Systems IV

2026-01-15T05:30:17Z

Yazar Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74035-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Nielson, Hanne Riis. editor. Filé, Gilberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74061-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Speaker Classification II Selected Projects

2026-01-15T05:30:17Z

Yazar Müller, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74122-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Camenisch, Jan L. editor. Collberg, Christian S. editor. Johnson, Neil F. editor. Sallee, Phil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74124-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Giancarlo, Raffaele. editor. Hannenhalli, Sridhar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74126-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Edelkamp, Stefan. editor. Lomuscio, Alessio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74128-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Horváth, Zoltán. editor. Zsók, Viktória. editor. Butterfield, Andrew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74130-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Weber, Rosina O. editor. Richter, Michael M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74141-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Menezes, Alfred. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74143-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Huang, De-Shuang. editor. Heutte, Laurent. editor. Loog, Marco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74171-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Yuille, Alan L. editor. Zhu, Song-Chun. editor. Cremers, Daniel. editor. Wang, Yongtian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74198-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Speaker Classification I Fundamentals, Features, and Methods

2026-01-15T05:30:17Z

Yazar Müller, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74200-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Huang, De-Shuang. editor. Heutte, Laurent. editor. Loog, Marco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74205-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Charikar, Moses. editor. Jansen, Klaus. editor. Reingold, Omer. editor. Rolim, José D. P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74208-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Montanari, Ugo. editor. Sannella, Donald. editor. Bruni, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75336-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Sá, Joaquim Marques. editor. Alexandre, Luís A. editor. Duch, Włodzisław. editor. Mandic, Danilo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74690-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Sá, Joaquim Marques. editor. Alexandre, Luís A. editor. Duch, Włodzisław. editor. Mandic, Danilo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74695-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Prade, Henri. editor. Subrahmanian, V. S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75410-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75414-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Cappello, Franck. editor. Herault, Thomas. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75416-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Gaudin, Emmanuel. editor. Najm, Elie. editor. Reed, Rick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74984-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Journal on Data Semantics IX

2026-01-15T05:30:17Z

Yazar Spaccapietra, Stefano. editor. Atzeni, Paolo. editor. Fages, François. editor. Hacid, Mohand-Saïd. editor. Kifer, Michael. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74987-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75454-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Pelachaud, Catherine. editor. Martin, Jean-Claude. editor. André, Elisabeth. editor. Chollet, Gérard. editor. Karpouzis, Kostas. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74997-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Collard, Martine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75474-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Ata, Shingo. editor. Hong, Choong Seon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75476-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Corruble, Vincent. editor. Takeda, Masayuki. editor. Suzuki, Einoshin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75488-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Georgakopoulos, Dimitrios. editor. Ritter, Norbert. editor. Benatallah, Boualem. editor. Zirpins, Christian. editor. Feuerlicht, George. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75492-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Garay, Juan A. editor. Lenstra, Arjen K. editor. Mambo, Masahiro. editor. Peralta, René. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75496-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Bhalla, Subhash. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75512-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Bartz-Beielstein, Thomas. editor. Blesa Aguilera, María José. editor. Blum, Christian. editor. Naujoks, Boris. editor. Roli, Andrea. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75514-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Arge, Lars. editor. Hoffmann, Michael. editor. Welzl, Emo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75520-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar O’Hare, Gregory M. P. editor. Ricci, Alessandro. editor. O’Grady, Michael J. editor. Dikenelli, Oğuz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75524-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Maudet, Nicolas. editor. Parsons, Simon. editor. Rahwan, Iyad. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75526-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Ziviani, Nivio. editor. Baeza-Yates, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75530-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Apolloni, Bruno. editor. Howlett, Robert J. editor. Jain, Lakhmi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74829-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Sayenko, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74833-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Biskup, Joachim. editor. López, Javier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74835-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Mele, Francesco. editor. Ramella, Giuliana. editor. Santillo, Silvia. editor. Ventriglia, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75555-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75560-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Parent, Christine. editor. Schewe, Klaus-Dieter. editor. Storey, Veda C. editor. Thalheim, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75563-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kovács, László. editor. Fuhr, Norbert. editor. Meghini, Carlo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74851-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Krumm, John. editor. Abowd, Gregory D. editor. Seneviratne, Aruna. editor. Strang, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74853-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69061-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

2026-01-15T05:30:17Z

Yazar Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69262-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Bosschere, Koen. editor. Kaeli, David. editor. Stenström, Per. editor. Whalley, David. editor. Ungerer, Theo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69338-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Langendoen, Koen. editor. Voigt, Thiemo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69830-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Jähne, Bernd. editor. Mester, Rudolf. editor. Barth, Erhardt. editor. Scharr, Hanno. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69866-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Brueckner, Sven A. editor. Hassas, Salima. editor. Jelasity, Márk. editor. Yamins, Daniel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69868-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Washio, Takashi. editor. Satoh, Ken. editor. Takeda, Hideaki. editor. Inokuchi, Akihiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69902-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Freksa, Christian. editor. Kohlhase, Michael. editor. Schill, Kerstin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69912-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kühne, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69489-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Dubitzky, Werner. editor. Schuster, Assaf. editor. Sloot, Peter M. A. editor. Schroeder, Michael. editor. Romberg, Mathilde. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69968-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Inoue, Katsumi. editor. Satoh, Ken. editor. Toni, Francesca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69619-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Cook, Byron. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69738-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70901-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Kaufmann, Michael. editor. Wagner, Dorothea. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70904-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Obayashi, Shigeru. editor. Deb, Kalyanmoy. editor. Poloni, Carlo. editor. Hiroyasu, Tomoyuki. editor. Murata, Tadahiko. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70928-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-15T05:30:17Z

Yazar Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70889-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Vadhan, Salil P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70936-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-01-15T05:30:17Z

Yazar Puebla, Germán. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71410-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1