Free International Conferences and Symposiums Books

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings

Advances in Information Security and Its Application.. Third International Conference, ISA 2009, Seoul, Korea, June 25-27, 2009

Logic Colloquium: symposium on logic held at Boston, 1972-73

Geometric dynamics: proceedings of the international symposium, held at the Instituto de Matemática Pura e Aplicada, Rio de Janeiro, Brasil, July-August 1981

On the moduli space of cyclic trigonal Riemann surfaces of genus 4

Symplectic geometry and mirror symmetry: proceedings of the 4th KIAS Annual International Conference, Korea Institute for Advanced Study, Seoul, South Korea, 14-18 August 2000

Symplectic geometry and mirror symmetry: proceedings of the 4th KIAS Annual International Conference, Korea Institute for Advanced Study, Seoul, South Korea, 14-18 August 2000

Artificial Immune Systems: Third International Conference, ICARIS 2004, Catania, Sicily, Italy, September 13-16, 2004. Proceedings

Logic Symposia, Hakone, 1979, 1980 proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

ISILC Logic Conference: proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

Compiler construction: 18th international conference, CC 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009: procAuthor: Oege de Moor; Michael I Schwartzbach''

Algebraic and geometric topology

Grid and Cooperative Computing: Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II

Computer and Computing Technologies in Agriculture II: The Second IFIP International Conference on Computer and Computing Technologies in Agriculture ... in Information and Communication Technology)

Language and automata theory and applications third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009, proceedings

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings

Computer networks 16th conference; proceedings CN <16. 2009. Wisła>

A functional pattern system for object-oriented design

Networks for Grid Applications: Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers

Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, EAuthor: Stefan Kowalewski; Anna Philippou

Complex geometry: proceedings of the Osaka international conference

Foundations of Probability and Physics

Geometric topology. Part 2: 1993 Georgia International Topology Conference, August 2-13, 1993, University of Georgia, Athens, Georgia

Symposium on Probability Methods in Analysis lectures delivered at a symposium at Loutraki, Greece, 22.5-4.6. 1966

Functional Analysis and its Applications

Algorithms in Bioinformatics: 4th International Workshop, WABI 2004, Bergen, Norway, September 17-21, 2004. Proceedings

Network and Parallel Computing: IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings

Vibration Problems ICOVP 2007: Eighth International Conference, 01-03 February 2007, Shibpur, India

Galois groups over Q: proceedings of a workshop held March 23-27, 1987

Infinite dimensional harmonic analysis III proceedings of the third German-Japanese symposium, 15-20 September, 2003, University of Tübingen, Germany

Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005: proceedings

New frontiers in artificial intelligence JSAI 2008 conference and workshops, Asahikawa, Japan, June 11 - 13, 2008; revised selected papers

Bildverarbeitung für die Medizin 2006 Algorithmen Systeme Anwendungen Proceedings des Workshops vom 19. - 21. März 2006 in Hamburg

Mechanics of the 21st century: proceedings of the 21st International Congress of Theoretical and Applied Mechanics, Warsaw, Poland, 15 - 21 August 2004

Parallel and Distributed Processing and Applications: International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2–4, 2003 Proceedings

Knots in Hellas '98: proceedings of the International Conference on Knot Theory and its Ramifications: European Cultural Centre of Delphi Greece, 7-15 August 1998

Proceedings of the Sixth SIAM International Conference on Data Mining

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Finite Groups '72, Proceedings of the the Gainesville Conference on Finite Groups

Recent trends in algebraic development techniques: 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006; revised selected papers

Proceedings of the Fourteenth Annual Acm-Siam Symposium on Discrete Algorithms

Applied artificial intelligence proceedings of the 7th International FLINS Conference, Genova, Italy, 29-31 August 2006

Advances in commutative ring theory: proceedings of the Third International Conference on Commutative Ring Theory in Fez, Morocco

Formal techniques for networked and distributed systems-- FORTE 2007: 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007: proceedings

Frontiers in Algorithmics: Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

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

Hybrid Artificial Intelligence Systems: 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings

Computer and Computing Technologies in Agriculture II: The Second IFIP International Conference on Computer and Computing Technologies in Agriculture ... in Information and Communication Technology)

Automorphic forms, Shimura varieties, and L-functions: proceedings of a conference held at the University of Michigan, Ann Arbor, July 6-16, 1988

Coding and Cryptology: Second International Workshop, IWCC 2009, Zhangjiajie, China, June 1-5, 2009. Proceedings

Coupled Nonlinear Oscillators, Proceedings of the Joint U.S. Army-Center for Nonlinear Studies Workshop, held in Los Alamos

Intelligent agent systems: theoretical and practical issues: based on a workshop held at PRICAI'96, Cairns, Australia, August 26-30, 1996

Applied algebra, algebraic algorithms and error-correcting codes: 17th international symposium, AAECC-17, Bangalore, India, December 16-20, 2007: proceedings

Noise in physical systems and 1/f fluctuations, ICNF 2001: proceedings of the 13th International Conference, Gainsville, Florida, 22-25 October, 2001

Knots, braids, and mapping class groups--papers dedicated to Joan S. Birman: proceedings of a conference on low dimensional topology in honor of Joan S. Birman's 70th birthday, March 14-15, 1998, Columbia University, New York, New York

Near-rings and near-fields: proceedings of a conference held at the University of Tübingen, F.R.G., 4-10 August, 1985

Topology and geometry: Commemorating SISTAG: Singapore International Symposium in Topology and Geometry, (SISTAG) July 2-6, 2001, National University of Singapore, Singapore

Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Selected proceedings of the Symposium on Inference for Stochastic Processes

Approximation and online algorithms: 6th international workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008: revised papers

Systems modeling and simulation: theory and applications: third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004: revised selected papers

Quantum theory at the crossroads: reconsidering the 1927 Solvay conference

Proceedings of the Fourth SIAM International Conference on Data Mining

Complex analysis and potential theory: proceedings of the conference satellite to ICM 2006, Gebze Institute of Technology, Turkey, 8-14 September 2006

Pattern Recognition and Image Analysis: 4th Iberian Conference, IbPRIA 2009 Póvoa de Varzim, Portugal, June 10-12, 2009 Proceedings

String Processing and Information Retrieval: 11th International Conference, SPIRE 2004, Padova, Italy, October 5-8, 2004. Proceedings

Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings

General topology and applications: fifth Northeast conference

Complex analysis and geometry: proceedings of the conference at Trento

Analytical and stochastic modeling techniques and applications 16th international conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009: proceedings

Quantum Probability and Infinite Dimensional Analysis: proceedings of the 26th Conference: Levico, Italy, 20-26 February 2005

Quantum Probability and Infinite Dimensional Analysis: proceedings of the 26th Conference: Levico, Italy, 20-26 February 2005

Proceedings of the International Symposium on Clustering Aspects of Quantum Many-Body Systems: post-symposium of YKIS01, Kyoto, Japan, 12-14 November 2001

Symmetry and perturbation theory: proceedings of the international conference SPT 2002, Cala Gonone, Sardinia, Italy, 19-26 May 2002

Effects of Nuclear War

Динамичный Менеджмент проектов. Workshop Управляющих проектов

Proc.Int.Workshop on perturbation theory at large order

Quantum theory and symmetries. Proceedings of the 3rd international symposium

Non-perturbative methods and lattice QCD

Large Nc QCD 2004: Proceedings of the Workshop

2001: A spacetime odyssey. Proceedings of the inaugural conference of the Michigan center for theoretical physics

Fundamental and applied aspects of modern physics: Proceedings of the international conference, Luderitz 2000

Enumerative Geometry: Proceedings of a Conference held in Sitges, Spain, June 1–6, 1987

Proceedings of Liverpool Singularities Symposium II

Proceedings of Liverpool Singularities - Symposium I

Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

Approximation methods for Navier-Stokes problems. Proceedings symposium IUTAM, 1979

Combinatorics and Graph Theory. Proc. Symposium Calcutta, 1980

Algebraic Geometry and Complex Analysis. Proc. workshop Patzcuaro, Michoacan, Mexico, 1987

Logic colloquium. Symposium on logic, Boston, 1972-73

Proceedings of the Second International Conference on The Theory of Groups

Number Theory Day. Conference at Rockefeller University, New York, 1976

Analytic Number Theory: Proceedings of the Japanese-French Symposium held in Tokyo, Japan, October 10–13, 1988

ISILC logic conference, Kiel, 1974

Burnside Groups. Proc. workshop Bielefeld, 1977

Proceedings of the Third Japan-USSR Symposium on Probability Theory

Proceedings of the Second Japan-USSR Symposium on Probability Theory

Geometry Symposium Utrecht 1980

1
2
3
4
...