Keresési eredmények

1
2
3
4
5
6
7
8
9
10
11
Következő
[26]

1

Attribute grammars and their applications : International conference WAGA, Paris, France, September 19-21, 1990 : Proceedings

Attribute grammars and their applications : International conference WAGA, Paris, France, September 19-21, 1990 : Proceedings

Megjelenés: 1990

könyv

2

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July/August 2002 : Proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July/August 2002 : Proceedings

Megjelenés: 2002

könyv

3

Proof theory in computer science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 2001 : Proceedings

Proof theory in computer science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 2001 : Proceedings

Megjelenés: 2001

könyv

4

Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984

Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984

Megjelenés: 1985

könyv

5

Principles and practice of semantic web reasoning : Second international workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, proceedings

Principles and practice of semantic web reasoning : Second international workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, proceedings

Megjelenés: 2004

könyv

6

Automated reasoning with analytic Tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003 : Proceedings

Automated reasoning with analytic Tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003 : Proceedings

Megjelenés: 2003

könyv

7

Generic programming : IFIP TC2/WG2.1 Working conference on generic programming, July 11-12, 2002, Dagstuhl, Germany

Generic programming : IFIP TC2/WG2.1 Working conference on generic programming, July 11-12, 2002, Dagstuhl, Germany

Megjelenés: 2003

könyv

8

Frontiers in numerical analysis : Durham 2002

Frontiers in numerical analysis : Durham 2002

Megjelenés: 2003

könyv

9

Jeffersonian legacies

Jeffersonian legacies

Megjelenés: 1993

könyv

10

Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings

Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 1994 : proceedings

Megjelenés: 1994

könyv

11

Theoretical aspects of computer software : International Conference, TACS91, Sendai, Japan, September 24-27, 1991 : Proceedings

Theoretical aspects of computer software : International Conference, TACS91, Sendai, Japan, September 24-27, 1991 : Proceedings

Megjelenés: 1991

könyv

12

Dynamical systems : Lectures given at the C.I.M.E. summer school held in Cetraro, Italy, June 19-26, 2000

Dynamical systems : Lectures given at the C.I.M.E. summer school held in Cetraro, Italy, June 19-26, 2000

Megjelenés: 2003

könyv

13

Spectral theory of linear operators and related topics : 8th International Conference on Operator Theory, Timișoara and Herculane <Romania>, June 6-16, 1983

Spectral theory of linear operators and related topics : 8th International Conference on Operator Theory, Timișoara and Herculane <Romania>, June 6-16, 1983

Megjelenés: 1984

könyv

14

Automata, languages and programming : Fourth Colloquium, University of Turku, Finland, July 1977

Automata, languages and programming : Fourth Colloquium, University of Turku, Finland, July 1977

Megjelenés: 1977

könyv

15

Advances in cryptology--CRYPTO 87 : Proceedings

Advances in cryptology--CRYPTO 87 : Proceedings

Megjelenés: 1988

könyv

16

VDM '90 : VDM and Z - formal methods in software development : Third international symposium of VDM Europe, Kiel, 17-21. Apr. 1990 : Proceedings

VDM '90 : VDM and Z - formal methods in software development : Third international symposium of VDM Europe, Kiel, 17-21. Apr. 1990 : Proceedings

Megjelenés: 1990

könyv

17

Semantics for concurrency : Proceedings of the International BCS-FACS Workshop

Semantics for concurrency : Proceedings of the International BCS-FACS Workshop

Megjelenés: 1990

könyv

18

Concurrency and nets : Advances in Petri nets

Concurrency and nets : Advances in Petri nets

Megjelenés: 1987

könyv

19

Grid compuring : GRID 2001, Second International Workshop, Denver, CO, USA, November 2001 : Proceedings

Grid compuring : GRID 2001, Second International Workshop, Denver, CO, USA, November 2001 : Proceedings

Megjelenés: 2001

könyv

20

Advances in Petri nets 1984

Advances in Petri nets 1984

Megjelenés: 1985

könyv

1
2
3
4
5
6
7
8
9
10
11
Következő
[26]