Folge uns auf
Suchen Suche auf der Website

Suchergebnisse

Suchergebnisse

Ergebnisse: 1-120 von 2186174

Aktive Filter:

Simili a: CAAP '90 : 15. Colloquium on trees in algebra and programming
Kategorie: Testo
Trees in algebra and programming - CAAP '96 : 21. international colloquium
Testo
Trees in algebra and programming - CAAP '96 : 21. international colloquium

Colloquium on Trees in algebrea and programming CAAP '96 < 21. ; 1996

1: Colloquium on trees in algebra and programming (CAAP '91)
Testo
1: Colloquium on trees in algebra and programming (CAAP '91)

Colloquium on trees in algebra and programming <16. ; 1991

CAAP '92 : 17. Colloquium on trees in algebra and programming
Testo
CAAP '92 : 17. Colloquium on trees in algebra and programming

Colloquium on trees in algebra and programming <17. ; 1992

CAAP '86 : 11. Colloquium on trees in algebra and programming
Testo
CAAP '86 : 11. Colloquium on trees in algebra and programming

Colloquium on trees in algebra and programming <11. ; 1986

CAAP '88 : 13. Colloquium on trees in algebra and programming, Nancy, France, March 21-24, 1988
Testo
CAAP '88 : 13. Colloquium on trees in algebra and programming, Nancy, France, March 21-24, 1988

Colloquium on trees in algebra and programming <13. ; 1988

Automata, language and programming : 17. international colloquium
Testo
Automata, language and programming : 17. international colloquium

Annual International colloquium on automata languages and programming <17. ; 1990

International symposium on programming : 5. colloquium
Testo
International symposium on programming : 5. colloquium

International symposium on programming <5. ; 1982

Automata, languages and programming : 13. international colloquium
Testo
Automata, languages and programming : 13. international colloquium

International colloquium on automata, languages and programming <13. ; 1986

Programming language implementation and logic programming : international workshop PLILP '90
Testo
Programming language implementation and logic programming : international workshop PLILP '90

International workshop on programming language implementation and logic programming <2. ; 1990

International symposium on programming : 6. colloquium
Testo
International symposium on programming : 6. colloquium

International symposium on programming <6. ; 1984

ESOP '90 : 3. European symposium on programming
Testo
ESOP '90 : 3. European symposium on programming

European symposium on programming <1990

Applied algebra, algorithmics and error-correcting codes : 2. international conference, AAECC-2
Testo
Applied algebra, algorithmics and error-correcting codes : 2. international conference, AAECC-2

International colloquium on applied algebra and error correcting codes <2. ; 1984

Applied algebra, algebraic algorithms and error-correcting codes : 8. international conference, AAEECC-8
Testo
Applied algebra, algebraic algorithms and error-correcting codes : 8. international conference, AAEECC-8

International conference on applied algebra, algebraic algorithms and error correcting codes <8. ; 1990

Programming language implementation and logic programming : 3. international symposium, PLILP '91
Testo
Programming language implementation and logic programming : 3. international symposium, PLILP '91

International symsposium on programming language implementation and logic programming <3. ; 1991

Advances in cryptology - EUROCRYPT '90 : Workshop on the theory and application of cryptographic techniques
Testo
Advances in cryptology - EUROCRYPT '90 : Workshop on the theory and application of cryptographic techniques

Workshop on the theory and application of cryptographic techniques (8. ; 1990 ; Aarhus>

ESOP 86 : European symposium on programming
Testo
ESOP 86 : European symposium on programming

European symposium on programming <1986

CONPAR 90 - VAPP 4. : Joint international conference on vector and parallel processing
Testo
CONPAR 90 - VAPP 4. : Joint international conference on vector and parallel processing

Joint international conference on vector and parallel processing <1990

Design and implementation of symbolic computation systems : International symposium DISCO '90
Testo
Design and implementation of symbolic computation systems : International symposium DISCO '90

International symposium on design and implementation of symbolic computation systems <1990

Uncertainty in knowledge bases : 3. International conference on information processing and management of uncertainty in knowledge-based systems, IPMU '90
Testo
Uncertainty in knowledge bases : 3. International conference on information processing and management of uncertainty in knowledge-based systems, IPMU '90

International conference on information processing and management of uncertainty in knowledge-based systems <3. ; 1990

Mathematical foundations of programming semantics : 5. international conference
Testo
Mathematical foundations of programming semantics : 5. international conference

International conference on the mathematical foundations of programming semantic <5. ; 1989

EUROCODE '90 : International symposium on coding theory and applications
Testo
EUROCODE '90 : International symposium on coding theory and applications

International symposium on coding theory and applications <1990

Logic programming and nonmonotonic reasoning : 4. international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997
Testo
Logic programming and nonmonotonic reasoning : 4. international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997

International conference on logic programming and non-monotonic reasoning <4. ; 1997

ESOP '92 : 4. European symposium on programming
Testo
ESOP '92 : 4. European symposium on programming

European symposium on programming <4. ; 1992

ECOOP '91 : European conference on object-oriented programming
Testo
ECOOP '91 : European conference on object-oriented programming

European conference on object-oriented programming <5. ; 1991

ECOOP '92 : European conference on object-oriented programming
Testo
ECOOP '92 : European conference on object-oriented programming

European conference on object-oriented programming <6. ; 1992

Advances in database technology - EDBT '90 : International conference on extending database technology
Testo
Advances in database technology - EDBT '90 : International conference on extending database technology

International conference on extending database technology <2. ; 1990

1: Invited lectures : European conference on computer algebra
Testo
1: Invited lectures : European conference on computer algebra

European conference on computer algebra <1985

2: Research contributions : European conference on computer algebra
Testo
2: Research contributions : European conference on computer algebra

European conference on computer algebra <1985

ICDT '90 : third International conference on database theory
Testo
ICDT '90 : third International conference on database theory

International conference on database theory <3. ; 1990

SWAT 90 : 2. Scandinavian workshop on algorithm theory
Testo
SWAT 90 : 2. Scandinavian workshop on algorithm theory

Scandinavian workshop on algorithm theory <2. ; 1990

Extensions of logic programming : international workshop
Testo
Extensions of logic programming : international workshop

International workshop on extensions of logic programming <1989

Mathematical foundations of programming semantics : 7. international conference
Testo
Mathematical foundations of programming semantics : 7. international conference

International conference on the mathematical foundations of programming semantics <7. ; 1991

STACS 90 : 7. Annual symposium on theoretical aspects of computer science
Testo
STACS 90 : 7. Annual symposium on theoretical aspects of computer science

Annual symposium on theoretical aspects of computer science <7. ; 1990

Applications of sheaves : proceedings of the Research symposium on applications of sheaf theory to logic, algebra, and analysis
Testo
Applications of sheaves : proceedings of the Research symposium on applications of sheaf theory to logic, algebra, and analysis

Research symposium on applications of sheaf theory to logic algebra and analysis <1977

Advances in cryptology - EUROCRYPT '89 : Workshop on the theory and application of cryptographic techniques
Testo
Advances in cryptology - EUROCRYPT '89 : Workshop on the theory and application of cryptographic techniques

Workshop on the theory and application of cryptographic techniques <7. ; 1989

Visualization in programming : 5. Interdisciplinary workshop in informatics and psychology
Testo
Visualization in programming : 5. Interdisciplinary workshop in informatics and psychology

Interdisciplinary workshop in informatics and psychology <5. ; 1986

ECOOP '87 : European conference on object-oriented programming
Testo
ECOOP '87 : European conference on object-oriented programming

European conference on object-oriented programming <1987

EUROCAL '85 : European conference on computer algebra
Testo
EUROCAL '85 : European conference on computer algebra

European conference on computer algebra <1985

Group theoretical methods in physics : 6. international colloquium, Tubingen 1977
Testo
Group theoretical methods in physics : 6. international colloquium, Tubingen 1977

International colloquium on group theoretical methods in physics <6. ; 1977

Computer assisted learning : 3. international conference, ICCAL '90
Testo
Computer assisted learning : 3. international conference, ICCAL '90

International conference on computer assisted learning <3. ; 1990

Visualization in human-computer interaction : 7. Interdisciplinary workshop on informatics and psychology
Testo
Visualization in human-computer interaction : 7. Interdisciplinary workshop on informatics and psychology

Interdisciplinary workshop on human-computer interaction <7. ; 1988

Statistical and scientific database management : fifth international conference, 5. SSDBM
Testo
Statistical and scientific database management : fifth international conference, 5. SSDBM

International conference on statistical and scientific databases <5. ; 1990

Object-based concurrent computing : ECOOP '91 workshop
Testo
Object-based concurrent computing : ECOOP '91 workshop

European conference on object-oriented programming : workshop on object-based concurrent computing <1991

Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990
Testo
Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990

Conference on Foundations of Software Technology and Theoretical Computer science <10. ; 1990

Logic programming in action : second International logic programming Summer school, LPSS '92
Testo
Logic programming in action : second International logic programming Summer school, LPSS '92

International logic programming Summer school <2. ; 1992

Algorithms : international symposium SIGAL '90
Testo
Algorithms : international symposium SIGAL '90

Information processing society of Japan : Special interest group on algorithms

Parallel Lisp : languages and systems
Testo
Parallel Lisp : languages and systems

US-Japan workshop on parallel Lisp <1989

Advances in spatial databases : 2. symposium, SSD '91
Testo
Advances in spatial databases : 2. symposium, SSD '91

Symposium on the design and implementation of large spatial databases <2. ; 1991

1.Topology
Testo
1.Topology

Colloquium on topology <4 ; 1978

Recent trends in data type specification : 7. Workshop on specification of abstract data types
Testo
Recent trends in data type specification : 7. Workshop on specification of abstract data types

Workshop on specification of abstract data types <7. ; 1990

Creep in structures : colloquium held at Stanford University, California, July 11-15, 1960
Testo
Creep in structures : colloquium held at Stanford University, California, July 11-15, 1960

International union of theoretical and applied mechanics

Graph-theoretic concepts in computer science : 16
Testo
Graph-theoretic concepts in computer science : 16

International workshop on graph-theoretic concepts in computer science <16. ; 1990

Logic programming and automated reasoning : international conference LPAR '92
Testo
Logic programming and automated reasoning : international conference LPAR '92

International conference on logic programming and automated reasoning <3. ; 1992

Advances in computing and information - ICCI '91 : International conference on computing and informatin
Testo
Advances in computing and information - ICCI '91 : International conference on computing and informatin

International conference on computing and information <3. ; 1991

Logic and boolean algebra
Testo
Logic and boolean algebra

Arnold, Bradford Henry

10. International conference on automated deduction : Kaiserlautern, FRG, July 24-27, 1990
Testo
10. International conference on automated deduction : Kaiserlautern, FRG, July 24-27, 1990

International conference on automated deduction <10. ; 1990

Programming in prolog
Testo
Programming in prolog

Clocksin, W. F.

2: Formal methods and software development : Colloquium on Software Engineering (CSE)
Testo
2: Formal methods and software development : Colloquium on Software Engineering (CSE)

TAPSOFT : joint conference on theory and practice of software development <1985

Group theoretical methods in physics : fourth international colloquium, Nijmegen, 1975
Testo
Group theoretical methods in physics : fourth international colloquium, Nijmegen, 1975

International Colloquium on Group Theoretical methods in Physics <4. ; 1975

Advances in cryptology - EUROCRYPT '91 : Workshop on the theory and application of cryptografic techniques
Testo
Advances in cryptology - EUROCRYPT '91 : Workshop on the theory and application of cryptografic techniques

Workshop on the theory and application of cryptografic techniques <1991

Filter Ergebnisse