Congressen (vorm)
Resource Information
The concept Congressen (vorm) represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Congressen (vorm)
Resource Information
The concept Congressen (vorm) represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Congressen (vorm)
- Source
- gtt
436 Items that share the Concept Congressen (vorm)
Context
Context of Congressen (vorm)Subject of
No resources found
No enriched resources found
- 5th Conference on automated deduction : Les Arcs, France, July 8-11, 1980
- 6th Conference on Automated Deduction : New York, USA, June 7-9, 1982
- Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19 24, 2000 Proceedings
- Active networks : first international working conference, IWAN '99, Berlin, Germany, June 30-July 2, 1999 : proceedings
- Active technologies for network and service management : 10th IFIP/IEEE International Workshop on Distributed Systems, Operations and Management, DSOM'99, Zurich, Switzerland, October 11-13, 1999 : proceedings
- Adaption and learning in multi-agent systems : IJCAI '95 workshop, Montréal, Canada, August 21, 1995, proceedings
- Adaptive mesh refinement, theory and applications : proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3-5, 2003
- Advanced Information Systems Engineering : 8th International Conference, CAiSE'96 Heraklion, Crete, Greece, May 20-24, 1996 Proceedings
- Advanced database systems
- Advanced information systems engineering : 10th international conference, CAiSE '98, Pisa, Italy, June 8-12, 1998 : proceedings
- Advanced information systems engineering : 11th International Conference, CAiSE '99, Heidelberg, Germany, June 14-18, 1999: proceedings
- Advanced information systems engineering : 12th international conference, CAiSE 2000, Stockholm, Sweden, June 5-9, 2000 : proceedings
- Advanced information systems engineering : 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002 : proceedings
- Advanced information systems engineering : 9th international conference, CAiSE '97, Barcelona, Catalonia, Spain, June 16-20, 1997 : proceedings
- Advanced topics in artificial intelligence : 2nd advanced course, ACAI '87, Oslo, Norway, July 28 - August 7, 1987
- Advanced topics in artificial intelligence : international summer school, Prague, Czechoslovakia, July 6-17, 1992 : proceedings
- Advances in artificial intelligence : 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'98 Vancouver, BC, Canada, June 18-20, 1998 : proceedings
- Advances in artificial intelligence : 13th Brazilian symposium on artificial intelligence, SBIA '96, Curitiba, Brazil, October 23-25, 1996 : proceedings
- Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 : proceedings
- Advances in cryptology : EUROCRYPT '99 : International Conference on the Theory and Application of Cryptographic Techniques, Prague, Czech Republic, May 2-6, 1999 ; proceedings
- Advances in cryptology--CRYPTO '99 : 19th Annual International Cryptology Conference, Santa Barbara, California, USA August 15-19, 1999 proceedings
- Advances in database technology--EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992 : proceedings
- Advances in databases : 11th British National Conference on Databases, BNCOD 11, Keele, UK, July 7-9, 1993 : proceedings
- Advances in databases : 13th British National Conference on Databases, BNCOD 13 Manchester, United Kingdom, July 12-14, 1995 : proceedings
- Advances in databases : 14th British National Conference on Databases, BNCOD 14, Edinburgh, United Kingdom, July 3-5, 1996 : proceedings
- Advances in databases : 15th British National Conference on Databases, BNCOD 15, London, United Kingdom, July 7-9, 1997 : proceedings
- Advances in databases : 17th British National Conference on Databases, BNCOD 17, Exeter, UK, July 3-5, 2000 : proceedings
- Advances in databases : 19th British National Conference on Databases, BNCOD 19, Sheffield, UK, July 17-19, 2002 : proceedings
- Advances in knowledge acquisition : 9th European knowledge acquisition workshop, EKAW '96, Nottingham, United Kingdom, May 14-17, 1996 : proceedings
- Advances in spatial databases : 6th International Symposium, SSD'99 : Hong Kong, China, July 20-23, 1999 : proceedings
- Advances in ultrametric analysis : 12th International Conference on p-adic Functional Analysis, July 2-6, 2012, University of Manitoba, Winnipeg, Manitoba, Canada
- Agent Mediated Electronic Commerce : First International Workshop on Agent Mediated Electronic Trading AMET-98 Minneapolis, MN, USA, May 10th, 1998 Selected Papers
- Agent mediated electronic commerce : the European agentlink perspective
- Algorithm Theory SWAT'98 : 6th Scandinavian Workshop on Algorithm Theory Stockholm, Sweden, July 810, 1998 Proceedings
- Algorithm engineering : 3rd International Workshop, WAE '99 London, UK, July 19-21, 1999 : proceedings
- Algorithm engineering and experimentation : international workshop ALENEX '99, Baltimore, MD, USA, January 15-16, 1999 : selected papers
- Algorithm theory, SWAT '92 : third Scandinavian workshop on algorithm theory, Helsinki, Finland, July 8-10, 1992 : proceedings
- Algorithm theory--SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994 : proceedings
- Algorithmic learning theory : 7th International workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings
- Algorithmic learning theory : 8th international workshop, ALT '97, Sendai, Japan, October 6-8, 1997 : proceedings
- Algorithms - ESA '96 : Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996 : proceedings
- Algorithms - ESA '99 : 7th annual European symposium, Prague, Czech Republic, July 16-18, 1999 : proceedings
- Algorithms and complexity : 4th Italian conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedings
- Algorithms and complexity : 5th Italian conference, CIAC 2003 Rome, Italy, May 28-30, 2003 : proceedings
- Algorithms and complexity : second Italian conference, CIAC '94, Rome, Italy, February 23-25, 1994 : proceedings
- Algorithms and complexity : third Italian conference, CIAC '97, Rome, Italy, March 12-14, 1997 : proceedings
- Algorithms and computation : 10th international symposium, ISAAC '99, Chennai, India, December 16-18, 1999 : proceedings
- Algorithms and computation : 11th international conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000 ; proceedings
- Algorithms and computation : 13th international symposium, ISAAC 2002, Vancouver, BC, Canada, November 21-23, 2002 : proceedings
- Algorithms and computation : 8th International Symposium, ISAAC '97, Singapore, December 17-19, 1997 : proceedings
- Algorithms and computation : 9th International Symposium, ISAAC'98, Taejon, Korea, December 14-16, 1998 : proceedings
- Algorithms and data structures : 2nd workshop, WADS '91, Ottawa, Canada, August 14-16, 1991 : proceedings
- Algorithms and data structures : 5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997 : proceedings
- Algorithms and data structures : 6th International Workshop, WADS'99, Vancouver, Canada, August 11-14, 1999 : proceedings
- Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings
- Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
- Algorithms, Concurrency and Knowledge : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11-13, 1995 Proceedings
- Algorithms--ESA '93 : first annual European symposium, Bad Honnef, Germany, September 30-October 2, 1993 : proceedings
- Algorithms--ESA '97 : 5th annual European symposium, Graz, Austria, September 15-17, 1997 : proceedings
- Algorithms--ESA '98 : 6th annual European symposium, Venice, Italy, August 24-26, 1998 : proceedings
- An extended entity-relationship model : fundamentals and pragmatics
- Ant algorithms : third international workshop, ANTS 2002, Brussels, Belgium, September 12-14, 2002 : proceedings
- Applicable algebra, error-correcting codes, combinatorics and computer algebra : 4th International Conference, AAECC-4 Karlsruhe, FRG, September 23-26, 1986 : proceedings
- Application and Theory of Petri Nets 1996 : 17th International Conference Osaka, Japan, June 24-28, 1996 Proceedings
- Application and Theory of Petri Nets 1999 : 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999 proceedings
- Application and theory of petri nets, 1994 : 15th International Conference, Zaragoza, Spain, June 20-24, 1994 : proceedings
- Applications of graph transformations with industrial relevance : international workshop, AGTIVE'99, Kerkrade, the Netherlands, September 1-3, 1999 : proceedings
- Applied algebra, algebraic algorithms, and error-correcting codes : 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings
- Articulated motion and deformable objects : second International Workshop, AMDO 2002, Palma de Mallorca, Spain, November 21-23, 2002 : proceedings
- Artificial Intelligence in Medicine : Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99 Aalborg, Denmark, June 20-24, 1999 Proceedings
- Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
- Artificial intelligence in higher education : CEPES-UNESCO International Symposium, Prague, CSFR, October 23-25, 1989 : proceedings
- Artificial intelligence in medicine : 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, Grenoble, France, March 23-26, 1997 : proceedings
- Artificial intelligence in medicine : 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003 proceedings
- Arts and technology : first international conference ArtsIT 2009, Yi-Lan, Taiwan, September 24-25, 2009 : revised selected papers
- Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990 : proceedings
- Aspects of automated natural language generation : 6th International Workshop on Natural Language Generation, Trento, Italy, April 5-7, 1992 : proceedings
- Automata implementation : third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers
- Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings
- Automata, languages and programming : 21st international colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings
- Automata, languages and programming : 22nd international colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings
- Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings
- Automata, languages and programming : 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 ; proceedings
- Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings
- Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978
- Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977
- Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979
- Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
- Automata, languages, and programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
- Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980
- Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings
- Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings
- Automated deduction, CADE-15 : 15th International conference on automated deduction, Lindau, Germany, July 5-10, 1998 : proceedings
- Automated deduction--CADE 16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
- Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
- Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings
- Biological responses to DNA damage
- Business agility and information technology diffusion : IFIP TC8 WG 8.6 international working conference, May 8-11, 2005, Atlanta, Georgia, U.S.A.
- Business information systems : 12th International Conference, BIS 2009, Poznan, Poland, April 27-29, 2009. Proceedings
- CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings
- CONCUR '94, concurrency theory : 5th international conference, Uppsala, Sweden, August 22-25, 1994 : proceedings
- CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings
- CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings
- CONCUR'91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings
- CONPAR 90-VAPP IV : Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990 : proceedings
- CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
- CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
- Case-based reasoning : research and development : Second International Conference on Case-Based Reasoning, ICCBR-97, Providence, RI, USA, July 25-27, 1997 : proceedings
- Case-based reasoning : research and development : first international conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings
- Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
- Codes for boundary-value problems in ordinary differential equations : proceedings of a working conference, May 14-17, 1978
- Combinatorial Pattern Matching : 5th Annual Symposium, CPM 94 Asilomar, CA, USA, June 5-8, 1994 Proceedings
- Combinatorial pattern matching : 10th annual symposium, CPM 99, Warwick University, UK, July 22-24, 1999 : proceedings
- Combinatorial pattern matching : 11th annual symposium, CPM 2000, Montreal, Canada, June 21-23, 2000 ; proceedings
- Combinatorial pattern matching : 6th annual symposium, CPM 95, Espoo, Finland, July 5-7, 1995 : proceedings
- Combinatorial pattern matching : 8th annual symposium, CPM 97, Aarhus, Denmark, June 30 - July 2, 1997 : proceedings
- Combinatorial pattern matching : 9th annual symposium, CPM 98, Piscataway, New Jersey, USA, July 20-22, 1998 : proceedings
- Compiler compilers and high speed compilation : 2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988 : proceedings
- Compiler construction : 11th international conference, CC 2002 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
- Compiler construction : 7th international conference, CC'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings
- Compiler construction : 8th International Conference, CC '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings
- Compiler construction : 9th International Conference, CC 2000 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 : Berlin, Germany, March 25 - April 2, 2000 : proceedings
- Compiling natural semantics
- Computational Science " ICCS 2002 : International Conference Amsterdam, The Netherlands, April 21 24, 2002 Proceedings, Part I
- Computational Science " ICCS 2002 : International Conference Amsterdam, The Netherlands, April 21 24, 2002 Proceedings, Part II
- Computational Science " ICCS 2002 : International Conference Amsterdam, The Netherlands, April 21 24, 2002 Proceedings, Part III
- Computational geometry : methods, algorithms and applications : International Workshop on Computational Geometry CG '91, Bern, Switzerland, March 21-22, 1991 : proceedings
- Computational learning theory : 4th European Conference, EuroCOLT '99, Nordkirchen, Germany, March 29-31, 1999 : proceedings
- Computational linguistics and intelligent text processing : 5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004 : proceedings
- Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings
- Computer Aided Verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 ; proceedings
- Computer Aided Verification : 9th International Conference, CAV'97 Haifa, Israel, June 2225, 1997 Proceedings
- Computer aided systems theory, EUROCAST '91 : a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991 : proceedings
- Computer aided systems theory--EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain, February 26-March 4, 1989 : proceedings
- Computer aided systems theory--EUROCAST '93 : a selection of papers from the third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings
- Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings
- Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
- Computer analysis of images and patterns : 5th International Conference, CAIP '93, Budapest, Hungary, September 13-15, 1993 : proceedings
- Computer safety, reliability and security : 17th international conference, SAFECOMP '98, Heidelberg, Germany, October 5-7, 1998 : proceedings
- Computer safety, reliability, and security : 18th international conference, SAFECOMP '99, Toulouse, France, September 27-29, 1999 : proceedings
- Computer science logic : 10th international workshop, CSL' 96, Annual Conference of the EACSL, Utrecht, the Netherlands, September 21-27, 1996 : selected papers
- Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
- Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
- Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers
- Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
- Computer security : ESORICS 94 : third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7-9, 1994 : proceedings
- Computer vision systems : first international conference, ICVS '99, Las Palmas, Gran Canaria, Spain, January 13-15, 1999 : proceedings
- Computers and games : First International Conference, CG'98, Tsukuba, Japan, November 11-12, 1998 : proceedings
- Computers for handicapped persons : 4th International Conference, ICCHP '94, Vienna, Austria, September 14-16, 1994 : proceedings
- Computing and Combinatorics : 5th Annual International Conference, COCOON'99, Tokyo, Japan, July 26-28, 1999 : Proceedings
- Computing and combinatorics : 4th annual international conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings
- Computing and combinatorics : 6th annual international conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 : proceedings
- Computing and combinatorics : first annual international conference, COCOON'95, Xiʹan, China, August 24-26, 1995 : proceedings
- Computing and combinatorics : second annual international conference, COCOON '96, Hong Kong, June 17-19, 1996 : proceedings
- Computing and combinatorics : third annual international conference, COCOON '97, Shanghai, China, August 20-22, 1997 : proceedings
- Conceptual graphs for knowledge representation : First International Conference on Conceptual Structures, ICCS'93, Quebec City, Canada, August 4-7, 1993 : proceedings
- Conceptual structures : applications, implementation, and theory : Third International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14-18, 1995 : proceedings
- Conceptual structures : fulfilling Peirce's dream : Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997 : proceedings
- Conceptual structures : theory and implementation : 7th annual workshop, Las Cruces, NM, USA, July 8-10, 1992 : proceedings
- Conceptual structures: knowledge representation as interlingua : 4th International conference on conceptual structures, ICCS '96, Sydney, Australia, August 19-22, 1996 : proceedings
- Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings
- Cooperative information agents III : Third International Workshop, CIA'99, Uppsala, Sweden, July 31-August 2, 1999 : proceedings
- Coordination languages and models : Third International Conference, COORDINATION '99, Amsterdam, the Netherlands, April 26-28, 1999 : proceedings
- Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings
- Cryptography and Coding : 7th IMA International Conference Cirencester, UK, December 2022, 1999 Proceedings
- Cryptography and coding : 5th IMA conference, Cirencester, UK, December 18-20, 1995 : proceedings
- Current developments in knowledge acquisition : EKAW'92 :6th European Knowledge Acquisition Workshop, Heidelberg and Kaiserslautern, Germany, May 18-22, 1992 : proceedings
- D-modules, representation theory, and quantum groups : lectures given at the 2nd session of the Centro internazionale matematico estivo (C.I.M.E.) held in Venezia, Italy, June 12-20, 1992
- DCE--the OSF distributed computing environment : client/server model and beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993 : proceedings
- Database and Expert Systems Applications : 9th International Conference, DEXA'98 Vienna, Austria, August 2428, 1998 Proceedings
- Database and expert systems applications : 8th International Conference, DEXA'97 : Toulouse, France, September 1-5, 1997 : proceedings
- Database machines : sixth international workshop, IWDM '89, Deauville, France, June 19-21, 1989 : proceedings
- Database systems of the 90s : international symposium, Müggelsee, Berlin, FRG, November 5-7, 1990 : proceedings
- Database theory--ICDT'99 : 7th International Conference, Jerusalem, Israel, January 10-12, 1999 : proceedings
- Databases in networked information systems : international workshop DNIS 2000, Aizu, Japan, December 4-6, 2000 : proceedings
- Databases in networked information systems : second international workshop, DNIS 2002, Aizu, Japan, December 16-18, 2002 : proceedings
- Databases in networked information systems : third international workshop, DNIS 2003, Aizu, Japan, September 22-24, 2003 : proceedings
- De amicitia : friendship and social networks in Antiquity and the Middle Ages
- Deductive and object-oriented databases : third international conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993 : proceedings
- Dependable computing - EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings
- Dependable computing EDCC-4 : 4th European Dependable Computing Conference, Toulouse, France, October 23-25, 2002 : proceedings
- Dependable computing--EDCC-1 : first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings
- Design and implementation of symbolic computation systems : International Symposium DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings
- Design and implementation of symbolic computation systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992 : proceedings
- Design of hashing algorithms
- Digital libraries : people, knowledge, and technology : 5th International Conference on Asian Digital Libraries, ICADL 2002, Singapore, December 11-14, 2002 : proceedings
- Directions in databases : 12th British National Conference on Databases, BNCOD 12, Guildford, United Kingdom, July 6-8, 1994 : proceedings
- Discovery science : second international conference, DS'99, Tokyo, Japan, December 6-8, 1999, proceedings
- Discovery science : third international conference, DS 2000, Kyoto, Japan, December 4-6, 2000, proceedings
- Discrete Geometry for Computer Imagery : 9th InternationalConference, DGCI 2000 Uppsala, Sweden, December 13-15,2000 Proceedings
- Discrete geometry for computer imagery : 10th international conference, DGCI 2002, Bordeaux, France, April 3-5, 2002 : proceedings
- Discrete geometry for computer imagery : 8th international conference, DGCI ʼ99, Marne-la-Vallée, France, March 17-19, 1999 : proceedings
- Distributed algorithms : 9th International Workshop, WDAG '95 Le Mont-Saint-Michel, France, September 13-15, 1995 Proceedings
- Distributed computing : 13th international symposium, DISC '99, Bratislava, Slovak Republic, September 27-29, 1999 : proceedings
- Distributed computing : 16th international conference, DISC 2002, Toulouse, France, October 28-30, 2002 : proceedings
- Distributed computing : mobile and wireless computing : 4th international workshop, IWDC 2002, Calcutta, India, December 28-31, 2002 : proceedings
- ECOOP'99 : object oriented programming : 13th European Conference, Lisbon, Portugal, June 1999 : proceedings
- EPIA 91 : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991 : proceedings
- ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings
- ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings
- ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings
- EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings
- EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984
- Embedded systems : new approaches to their formal description and design : an advanced course, Zürich, Switzerland, March 5-7, 1986
- Energy minimization methods in computer vision and pattern recognition : Second International Workshop, EMMCVPR '99, York, UK, July 26-29, 1999 : proceedings
- Energy minimization methods in computer vision and pattern recognition : international workshop EMMCVPR'97, Venice, Italy, May 21-23, 1997: proceedings
- Enterprise applications and services in the finance industry : 3rd international workshop, FinanceCom 2007 : Montreal, Canada, December 8, 2007 : revised papers
- Eurocode '90 : international symposium on coding theory and applications, Udine, Italy, November 5-9, 1990 : proceedings
- Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
- Experimental algorithmics : from algorithm design to robust and efficient software
- Experimental software engineering issues : critical assessment and future directions : international workshop, Dagstuhl Castle, Germany, September 14-18, 1992 : proceedings
- Expert systems in engineering : principles and applications : International Workshop Vienna, Austria, September 24-26, 1990 : proceedings
- Fast software encryption : 6th International Workshop, FSE'99, Rome, Italy, March 24-26, 1999 : proceedings
- Fast software encryption : Cambridge Security Workshop, Cambridge, U.K., December 9-11, 1993 : proceedings
- Fast software encryption : second international workshop, Leuven, Belgium, December 14-16, 1994 : proceedings
- Fast software encryption : third International workshop, Cambridge, UK, February 21-23, 1996 : proceedings
- Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
- Foundations of augmented cognition : directing the future of adaptive systems ; 6th International Conference, FAC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings
- Foundations of augmented cognition : neuroergonomics and operational neuroscience : 5th international conference, FAC 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 : proceedings
- Foundations of augmented cognition : third international conference, FAC 2007, held as part of HCI international 2007, Beijing, China, July 22-27, 2007 : proceedings
- Foundations of data organization and algorithms : 3rd international conference, FODO 1989, Paris, France, June 21-23, 1989 : proceedings
- Foundations of data organization and algorithms : 4th International Conference, FODO '93, Chicago, Illinois, USA, October 13-15, 1993 : proceedings
- Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings
- Fourier transform mass spectrometry : evolution, innovation, and applications : developed from a symposium sponsored by the Division of Analytical Chemistry at the 192nd Meeting of the American Chemical Society, Anaheim, California, September 7-12, 1986
- Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings
- Functional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987 : proceedings
- Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
- Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings
- Fundamentals of computation theory : 9th international conference, FCT '93, Szeged, Hungary, August 23-27, 1993 : proceedings
- Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977
- Fuzzy logic in artificial intelligence : IJCAI '93 workshop, Chamberry, France, August 28, 1993 : proceedings
- Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995, selected papers
- GWAI-92 : advances in artificial intelligence : 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992 : proceedings
- Genetic programming : Second European Workshop, EuroGP '99, Göteborg, Sweden, May 26-27, 1999 : proceedings
- Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers
- Gesture-based communication in human-computer interaction : international Gesture Workshop, GW '99, Gif-sur-Yvette, France, March 17-19, 1999 : proceedings
- Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
- Graph Drawing : Symposium on Graph Drawing, GD '95 Passau, Germany, September 20-22, 1995 Proceedings
- Graph drawing : 10th International Symposium, GD 2002, Irvine, CA, USA, August 26-28, 2002 : revised papers
- Graph drawing : 5th International Symposium, GD'97, Rome, Italy, September 18-20, 1997 : proceedings
- Graph drawing : 7th international symposium, GD'99, Štiřín Castle, Czech Republic, September 15-19, 1999 : proceedings
- Graph drawing : Symposium on Graph Drawing, GD '96, Berkeley, California, USA, September 18-20, 1996 : proceedings
- Graph grammars and their application to computer science : 4th international workshop, Bremen, Germany, March 5-9, 1990 : proceedings
- Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings
- Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978
- Handheld and ubiquitous computing : First International Symposium, HUC '99, Karlsruhe, Germany, September 27-29, 1999 : proceedings
- Hardware and software architectures for fault tolerance : experiences and perspectives
- High performance computing and networking : 8th international conference, HPCN Europe, 2000, Amsterdam, the Netherlands, May 8-10, 2000 : proceedings
- High performance computing, HiPC 2002 : 9th international conference, Bangalore, India, December 18-21, 2002 : proceedings
- High performance computing--HiPC'99 : 6th International Conference, Calcutta, India, December 17-20, 1999 : proceedings
- High performance transaction systems : 2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 26-30, 1987 : proceedings
- Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings
- Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers
- Human Computer Interaction : Vienna Conference, VCHCI '93, Fin de Siècle Vienna, Austria, September 20-22, 1993 Proceedings
- Human-Computer Interaction : Third International Conference, EWHCI '93 Moscow, Russia, August 3-7, 1993 Selected Papers
- Hybrid systems : computation and control : Second International Workshop, HSCC '99, Berg en Dal, the Netherlands, March 29-31, 1999 : proceedings
- ICDT '88 : 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988 : proceedings
- IGIS '94: Geographic Information Systems : International Workshop on Advanced Research in Geographic Information Systems Monte Verità, Ascona, Switzerland February 28 - March 4, 1994 Proceedings
- Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers
- Inductive logic programming : 7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings
- Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
- Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings
- Industrial and engineering applications of artificial intelligence and expert systems : 5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992 : proceedings
- Information Processing in Medical Imaging : 16th International Conference, IPMI99 Visegrd, Hungary, June 28 July 2, 1999 Proceedings
- Information hiding : 5th international workshop, IH 2002, Noordwijkerhout, the Netherlands, October 7-9, 2002 : revised papers
- Information hiding : Second International Workshop, IH'98 : Portland, Oregon, USA, April 14-17, 1998 : proceedings
- Information security and privacy : 4th Australasian Conference, ACISP '99, Wollongong, NSW, Australia, April 7-9, 1999 : proceedings
- Information security and privacy : Second Australasian Conference, ACISP '97, Sydney, NSW, Australia, July 7-9, 1997 : proceedings
- Information security and privacy : first Australasian conference, ACISP '96, Wollongong, NSW, Australia, June 24-26, 1996 : proceedings
- Information security and privacy : third Australasian conference, ACISP '98, Brisbane, Australia, July 13-15, 1998 : proceedings
- Information technology and educational management in the knowledge society : IFIP TC3 WG3.7, 6th International Working Conference on Information Technology in Educational Management (ITEM), July 11-15, 2004, Las Palmas de Gran Canaria, Spain
- Innovations in applied artificial intelligence : 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004 : proceedings
- Integer programming and combinatorial optimization : 7th International IPCO Conference, Graz, Austria, June 9-11, 1999 : proceedings
- Integer programming and combinatorial optimization : 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002 : proceedings
- Integrating human aspects in production management : IFIP TC5/WG5.7 proceedings of the International Conference on Human Aspects in Production Management, 5-9 October 2003, Karlsruhe, Germany
- Intelligent agents II : agent theories, architectures, and languages : IJCAI'95 Workshop (ATAL) Montréal, Canada, August 19-20, 1995 : proceedings
- Intelligent perceptual systems : new directions in computational perception
- Intelligent tutoring systems : 4th International Conference, ITS '98, San Antonio, Texas, USA, August 16-19, 1998 : proceedings
- Interactive storytelling : third Joint Conference on Interactive Digital Storytelling, ICIDS 2010, Edinburgh, UK, November 1-3, 2010 : proceedings
- Internet policy and economics : challenges and perspectives
- Job scheduling strategies for parallel processing : 8th International Workshop, JSSPP 2002, Edinburgh, Scotland, UK, July 24, 2002 : revised papers
- Job scheduling strategies for parallel processing : IPPS/SPDP'99 Workshop, JSSPP'99, San Juan, Puerto Rico, April 16, 1999 : proceedings
- KI-99, advances in artificial intelligence : 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999 : proceedings
- Knowledge acquisition, modeling and management : 10th European Workshop, EKAW '97, Sant Feliu de Guixols, Catalonia, Spain, October 15-18, 1997 : proceedings
- Knowledge based computer systems : International Conference KBCS '89, Bombay, India, December 11-13, 1989 proceedings
- Knowledge representation and organization in machine learning
- L systems
- L'outillage lithique en contextes ethnoarchéologiques
- Languages and compilers for parallel computing : 10th international workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997 : proceedings
- Languages and compilers for parallel computing : 11th International Workshop, LCPC '98, Chapel Hill, NC, USA August 7-9, 1998 ; proceedings
- Languages and compilers for parallel computing : 5th international workshop, New Haven, Connecticut, USA, August 3-5, 1992 : proceedings
- Languages and compilers for parallel computing : 9th International Workshop, LCPC '96, San Jose, California, USA, August 8-10, 1996 : proceedings
- Local cultures of South Italy and Sicily in the late Republican period : between Hellenism and Rome
- Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
- Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings
- Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings
- Logical foundations of computer science : 4th international symposium, LFCS ʼ97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
- Logicism, intuitionism, and formalism : what has become of them?
- Logics in artificial intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994 : proceedings
- Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings
- Logics in artificial intelligence : European workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996 : proceedings
- MICAI 2004 : advances in artificial intelligence : Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004 : proceedings
- Machine learning : ECML-93 : European conference on machine learning, Vienna, Austria, April 5-7, 1993 : proceedings
- Machine learning and data mining in pattern recognition : first international workshop, MLDM'99, Leipzig, Germany, September 16-18, 1999, proceedings
- Management technologies for E-commerce and E-business applications : 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002, Montreal, Canada, October 21-23, 2002 : proceedings
- Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975
- Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986
- Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craców, Poland, September 2-6, 1996 : proceedings
- Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976
- Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977
- Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979
- Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings
- Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
- Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings
- Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
- Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings
- Methodologies for intelligent systems : 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991 : proceedings
- Methodologies for intelligent systems : 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993 : proceedings
- Mobile and wireless communication networks : IFIP TC6/WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004), October 25-27, 2004, Paris, France
- Mobile and wireless communications networks : IFIP- TC6/European Commission Networking 2000 International Workshop, MWCN 2000 : Paris, France, May 16-17, 2000 : proceedings
- Multiagent platforms : First Pacific Rim International Workshop on Multi-Agents, PRIMA '98, Singapore, November 23, 1998 : selected papers
- Multimedia transport and teleservices : International COST 237 Workshop, Vienna, Austria, November 13-15, 1994 : proceedings
- Multiple approaches to intelligent systems : 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31-June 3, 1999 : proceedings
- Natural language processing : EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990 : proceedings
- New horizons in information management : 20th British National Conference on Databases, BNCOD 20, Coventry, UK, July 15-17, 2003 : proceedings
- Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings
- Object-oriented methodologies and systems : international symposium, ISOOMS '94, Palermo, Italy, September 21-22, 1994 : proceedings
- Optimal algorithms : international symposium, Varna, Bulgaria, May 29-June 2 1989 proceedings
- Parallel Problem Solving from Nature PPSN V : 5th International Conference Amsterdam, the Netherlands September 2730, 1998 Proceedings
- Parallel computer routing and communication : first international workshop, PCRCW '94, Seattle, Washington, USA, May 16-18, 1994 : proceedings
- Parallel computer routing and communication : second international workshop, PCRCW '97, Atlanta, Georgia, USA, June 26-27, 1997 : proceedings
- Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings
- Parallel image analysis : second international conference, ICPIA '92, Ube, Japan, December 21-23, 1992 : proceedings
- Parallel scientific computing : First International Workshop, PARA '94, Lyngby, Denmark, June 20-23, 1994 : proceedings
- Performance evaluation of computer and communication systems : joint tutorial papers of Performance '93 and Sigmetrics '93
- Perspectives of system informatics : third International Andrei Ershov memorial conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings
- Postmodern spirituality : based on papers read at the Symposium on postmodern spirituality held at Åbo, Finland, on 11-13 June 2008
- Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings
- Principles and practice of constraint programming - CP96 : second international conference, CP96, Cambridge, MA, USA, August 19-22, 1996 : proceedings
- Principles and practice of constraint programming : CP98--4th international conference, CP98 Pisa, Italy, October 2630, 1998 : proceedings
- Principles and practice of constraint programming : second International workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings
- Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings
- Principles and practice of constraint programming--CP 2002 : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002 : proceedings
- Principles and practice of constraint programming--CP'97 : Third International Conference, CP'97, Linz, Austria, October 29-November 1, 1997 : proceedings
- Probability measures on groups IX : proceedings of a conference held in Oberwolfach, FRG, January 17-23, 1988
- Processing declarative knowledge : international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings
- Product focused software process improvement : 4th international conference, PROFES 2002, Rovaniemi, Finland, December 9-11, 2002 : proceedings
- Product focused software process improvement : Second International Conference PROFES 2000, Oulu, Finland, June 20-22, 2000 : proceedings
- Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings
- Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings
- Programming language implementation and logic programming : international workshop PLILP '90, Linköping, Sweden, August 20-22, 1990 : proceedings
- Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings
- Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
- Programming languages and systems : 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
- Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
- Programming languages and systems, ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings
- Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings
- Progress in artificial intelligence : 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003 : proceedings
- Progress in artificial intelligence : 8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6-9, 1997 : proceedings
- Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming, and constraint solving : 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001 : proceedings
- Public key cryptography : 5th International workshop on practice and theory in public key cryptosystems, PKC 2002, Paris, France, February 12-14, 2002 : proceedings
- Public key cryptography : second International Workshop on Practice and Theory in Public Key Cryptography, PKC'99, Kamakura, Japan, March 1-3, 1999 : proceedings
- Public key cryptography : third International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2000, Melbourne, Victoria, Australia, January 18-20, 2000 : proceedings
- Quantum computing and quantum communications : First NASA International Conference, QCQC '98, Palm Springs, California, USA, February 17-20, 1998 : selected papers
- Ray shooting, depth orders and hidden surface removal
- Readings on cognitive ergonomics--mind and computers : proceedings of the 2nd European conference, Gmunden, Austria, September 10-14, 1984
- Recent advances in AI planning : 4th European Conference on Planning, ECP '97, Toulouse, France, September 24-26, 1997 : proceedings
- Recent developments in computer vision : Second Asian Conference on Computer Vision, ACCV '95, Singapore, December 5-8, 1995 : invited session papers
- Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers
- Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers
- Red strains : music and communism outside the communist bloc
- Reflections on religious individuality : Greco-Roman and Judaeo-Christian texts and practices
- Reliable software technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings
- Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings
- Reliable software technologies--Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings
- Reliable software technologies-Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings
- Representing plans under uncertainty : a logic of time, chance, and action
- Research and Advanced Technology for Digital Libraries : Third European Conference, ECDL'99, Paris, France, September 22-24, 1999 : Proceedings
- Research and development in intelligent systems XXIII : proceedings of AI-2006, the Twenty-Sixth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence
- Rewriting techniques and applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
- Rewriting techniques and applications : 4th International Conference, RTA- 91, Como, Italy, April 10-12, 1991 : proceedings
- Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings
- Rewriting techniques and applications : Dijon, France, May 20-22, 1985
- Robert Musil : Essayismus und Ironie
- Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings
- SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : proceedings
- SOFSEM'96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings
- SOFSEM'97 : theory and practice of informatics : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997 : proceedings
- SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings
- STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris [April] 11-13, 1984
- STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings
- STACS 98 : 15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : proceedings
- Scale-space theories in computer vision : second international conference, Scale-Space'99, Corfu, Greece, September 26-27, 1999 : proceedings
- Security protocols : 5th international workshop, Paris, France, April 7-9, 1997 : proceedings
- Security protocols : 6th international workshop, Cambridge, UK, April 15-17, 1998 : proceedings
- Security protocols : 9th international workshop, Cambridge, UK, April 25-27, 2001 : revised papers
- Selected areas in cryptography : 5th annual international workshop, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998 : proceedings
- Selected areas in cryptography : 9th annual international workshop, SAC 2002, St. John's, Newfoundland, Canada, August 15-16, 2002 : revised papers
- Services management in intelligent networks : 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000, Austin, TX, USA, December 4-6, 2000 : proceedings
- Simulated evolution and learning : Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL '98, Canberra, Australia, November 24-27, 1998 : selected papers
- Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, the Netherlands, April 3-5, 1995 : proceedings
- Spatial cognition II : integrating abstract theories, empirical studies, formal methods, and practical applications
- Spoken multimodal human-computer dialogue in mobile environments
- Static Analysis : Third International Workshop, WSA '93 Padova, Italy, September 22-24, 1993 Proceedings
- Static analysis : 4th international symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings
- Static analysis : 5th international symposium, SAS '98, Pisa, Italy, September 14-16, 1998 : proceedings
- Static analysis : 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings
- Static analysis : 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings
- Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings
- Studies on medieval empathies
- Supercomputing : 1st international conference, Athens, Greece, June 8-12, 1987 : proceedings
- Symbolic and algebraic computation : EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979
- TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings
- The Newton-Cauchy framework : a unified approach to unconstrained nonlinear minimization
- The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings
- Theoretical aspects of computer software : International Symposium, TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings
- Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings
- Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings
- Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
- Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
- Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
- Topics in case-based reasoning : first European workshop, EWCBR '93, Kaiserslautern, Germany, November 1-5, 1993 : selected papers
- Topics in mathematical fluid mechanics : Cetraro, Italy 2010
- Towards dynamic randomized algorithms in computational geometry
- Transdisciplinary digital art: sound : vision and the new screen : digital art weeks and interactive futures 2006/2007, Zurich, Switzerland and Victoria, BC, Canada, selected papers
- Trends in artificial intelligence : 2nd Congress of the Italian Association for Artificial Intelligence, AIIA, Palermo, Italy, October 29-31, 1991 : proceedings
- Tutorials on emerging methodologies and applications in operations research : presented at INFORMS 2004, Denver, CO
- Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10-12, 1995 Proceedings
- Typed lambda calculi and applications : International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
- Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings
- Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers
- Vector and parallel processing-VECPAR '96 : Second International Conference on Vector and Parallel Processing-Systems and Applications, Porto, Portugal, September 25-27, 1996 : selected papers
- Visual information and information systems : third international conference, VISUAL '99, Amsterdam, the Netherlands, June 2-4, 1999 : proceedings
- Visualization of scientific parallel programs
- Worldwide computing and its applications : international conference, WWCA '97, Tsukuba, Japan, March 10-11, 1997 : proceedings
- XPS-99 : knowledge-based systems : survey and future directions : 5th biannual German Conference on Knowledge-Based Systems, Würzburg, Germany, March 3-5, 1999 : proceedings
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/con_EZ7cV2w/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/con_EZ7cV2w/">Congressen (vorm)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Congressen (vorm)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/con_EZ7cV2w/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/con_EZ7cV2w/">Congressen (vorm)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
