Dexter Kozen: cercare sul sito Z-Library

Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Accesso libero alla conoscenza e alla cultura.

Donazioni 15 September, 2024 – 1 Ottobre, 2024

Z-Library è una delle più grandi biblioteche online al mondo che contiene più di 17,000,000 libri e 84,837,000 articoli. Miriamo a rendere la letteratura accessibile a tutti. Oggi (15 September, 2024) abbiamo iniziato una raccolta fondi aggiuntiva per la manutenzione e lo sviluppo del progetto.

Anche i download ILLIMITATI (per 31 giorni dopo il giorno della donazione) sono disponibili per i contributori TUTTI che doneranno durante il periodo di raccolta fondi fino al 1 Ottobre, 2024.

Sulla raccolta fondiPer saperne di più

Fare una donazione

Libri (30)
Più popolari
Lista
- Lista
- Tabella

1

Dynamic logic

Dynamic logic

David Harel, Dexter Kozen, Jerzy Tiuryn

Anno:

2000

Lingua:

english

File:

PDF, 2.23 MB

5.0 / 0

english, 2000

2

Automata and Computability

Automata and Computability

Springer Science & Business Media

Dexter C. Kozen

Anno:

2012

Lingua:

english

File:

PDF, 23.56 MB

0 / 0

english, 2012

3

Theory of Computation.

Theory of Computation.

Independely Published

Dexter C. Kozen

Anno:

2006

Lingua:

english

File:

PDF, 3.56 MB

0 / 0

english, 2006

4

Automata and Computability (Undergraduate Texts in Computer Science)

Automata and Computability (Undergraduate Texts in Computer Science)

Dexter C. Kozen

Anno:

2012

Lingua:

english

File:

PDF, 21.58 MB

0 / 5.0

english, 2012

5

The Design and Analysis of Algorithms

The Design and Analysis of Algorithms

Dexter C. Kozen

Anno:

1992

Lingua:

english

File:

DJVU, 2.19 MB

0 / 0

english, 1992

6

The Design and Analysis of Algorithms

The Design and Analysis of Algorithms

Springer Science & Business Media

Dexter C. Kozen

Anno:

1992

Lingua:

english

File:

PDF, 5.14 MB

0 / 0

english, 1992

7

Dynamic Logic (Foundations of Computing)

Dynamic Logic (Foundations of Computing)

David Harel, Dexter Kozen, Jerzy Tiuryn

Anno:

2000

Lingua:

english

File:

PDF, 2.24 MB

5.0 / 0

english, 2000

8

Dynamic Logic

Dynamic Logic

David Harel, Dexter Kozen, Jerzy Tiuryn

Anno:

2000

Lingua:

english

File:

PDF, 1.71 MB

5.0 / 0

english, 2000

9

Ethical and Legal Aspects of Computing

Ethical and Legal Aspects of Computing

Ian Mackie & Samson Abramsky & Chris Hankin & Mike Hinchey & Dexter C. Kozen & Hanne Riis Nielson & Steven S. Skiena & Iain Stewart & Joseph Migga Kizza & Roy Crole & Elizabeth Scott & Gerard O’Regan

Anno:

2024

Lingua:

english

File:

PDF, 5.90 MB

0 / 4.0

english, 2024

10

Automata and Computability

Automata and Computability

Lingua:

english

File:

PDF, 19.44 MB

0 / 0

english

11

Theory of Computation

Theory of Computation

Dexter C. Kozen

Anno:

2006

Lingua:

english

File:

PDF, 2.88 MB

0 / 5.0

english, 2006

12

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Greg Nelson (auth.), Dexter Kozen (eds.)

Anno:

2004

Lingua:

english

File:

PDF, 6.51 MB

0 / 0

english, 2004

13

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Baptiste Jeannin, Dexter Kozen (auth.), Martin Kutrib, Nelma Moreira, Rogério Reis (eds.)

Anno:

2012

Lingua:

english

File:

PDF, 4.16 MB

0 / 0

english, 2012

14

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Greg Nelson (auth.), Dexter Kozen (eds.)

Anno:

2004

Lingua:

english

File:

PDF, 3.26 MB

0 / 0

english, 2004

15

Automata and Computability

Automata and Computability

Dexter C. Kozen

Anno:

2013

Lingua:

english

File:

PDF, 23.50 MB

0 / 0

english, 2013

16

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)

Anno:

1982

Lingua:

english

File:

DJVU, 4.66 MB

0 / 0

english, 1982

17

Dynamic Logic

Dynamic Logic

David Harel & Dexter Kozen & Jerzy Tiuryn

Anno:

2000

Lingua:

english

File:

PDF, 2.57 MB

0 / 0

english, 2000

18

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

Anno:

1994

Lingua:

english

File:

DJVU, 2.87 MB

0 / 0

english, 1994

19

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)

Anno:

1982

Lingua:

english

File:

PDF, 10.98 MB

0 / 0

english, 1982

20

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Baptiste Jeannin, Dexter Kozen (auth.), Martin Kutrib, Nelma Moreira, Rogério Reis (eds.)

Anno:

2012

Lingua:

english

File:

PDF, 3.95 MB

0 / 0

english, 2012

21

The Design and Analysis of Algorithms

The Design and Analysis of Algorithms

Dexter C. Kozen

Anno:

1992

Lingua:

english

File:

PDF, 5.14 MB

0 / 5.0

english, 1992

22

Automata and Computability

Automata and Computability

Dexter C. Kozen

Anno:

1977

Lingua:

english

File:

PDF, 40.97 MB

0 / 0

english, 1977

23

Automata and Computability

Automata and Computability

Dexter C. Kozen

Anno:

1997

Lingua:

english

File:

DJVU, 2.29 MB

0 / 4.0

english, 1997

24

Automata and Computability

Automata and Computability

Springer Science & Business Media

Dexter C. Kozen

Anno:

2012

Lingua:

english

File:

PDF, 4.41 MB

0 / 1.0

english, 2012

25

Automata and Computability

Automata and Computability

Springer Science & Business Media

Dexter C. Kozen

Anno:

2012

Lingua:

english

File:

PDF, 21.67 MB

0 / 0

english, 2012

26

Foundation of Software Technology and Theoretical Computer Science: 14th Conference Madras, India, December 15–17, 1994 Proceedings

Foundation of Software Technology and Theoretical Computer Science: 14th Conference Madras, India, December 15–17, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Dexter Kozen (auth.), P. S. Thiagarajan (eds.)

Anno:

1994

Lingua:

english

File:

DJVU, 5.60 MB

0 / 0

english, 1994

27

Logic of Programs: Workshop, ETH Zürich, May–July 1979

Logic of Programs: Workshop, ETH Zürich, May–July 1979

Springer-Verlag Berlin Heidelberg

Dexter Kozen (auth.), Erwin Engeler (eds.)

Anno:

1981

Lingua:

english

File:

DJVU, 2.55 MB

0 / 0

english, 1981

28

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

Anno:

1984

Lingua:

english

File:

DJVU, 5.98 MB

0 / 0

english, 1984

29

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

Anno:

1984

Lingua:

english

File:

PDF, 14.67 MB

0 / 0

english, 1984

30

Logic of Programs: Workshop, ETH Zürich, May–July 1979

Logic of Programs: Workshop, ETH Zürich, May–July 1979

Springer-Verlag Berlin Heidelberg

Dexter Kozen (auth.), Erwin Engeler (eds.)

Anno:

1981

Lingua:

english

File:

PDF, 5.78 MB

0 / 0

english, 1981