Yuri Gurevich: Z-Library web sitesinde arama yap

Bilgi ve kültür için geçidiniz. Herkesçe erişilebilir.

Don't use scam websites

Kitaplar (15)
En popüler
- Şuna göre sırala×
- En popüler
- En iyi eşleşme
- Son eklenenler
- İsme göre (A-Z)
- İsme göre (Z-A)
- Yıla göre
- Dosya boyutu ↓
- Dosya boyutu ↑
Liste
- Liste
- Tablo

1

Semantics of Programming Languages and Model Theory

Semantics of Programming Languages and Model Theory

Manfred Droste, Yuri Gurevich

Yıl:

1993

Dil:

english

Dosya:

PDF, 12.13 MB

0 / 0

english, 1993

2

Computer Science – Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

Computer Science – Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Yuri Gurevich (auth.), Volker Diekert, Mikhail V. Volkov, Andrei Voronkov (eds.)

Yıl:

2007

Dil:

english

Dosya:

PDF, 7.47 MB

0 / 0

english, 2007

3

Semantics of Programming Languages and Model Theory

Semantics of Programming Languages and Model Theory

CRC Press;Gordon & Breach

Manfred Droste, Yuri Gurevich

Yıl:

1993

Dil:

english

Dosya:

DJVU, 5.26 MB

0 / 0

english, 1993

4

Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Blass, Yuri Gurevich (auth.), Edward Ochmański, Jerzy Tyszkiewicz (eds.)

Yıl:

2008

Dil:

english

Dosya:

PDF, 6.79 MB

0 / 0

english, 2008

5

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.)

Yıl:

1994

Dil:

english

Dosya:

DJVU, 2.87 MB

0 / 0

english, 1994

6

Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Blass, Yuri Gurevich (auth.), Edward Ochmański, Jerzy Tyszkiewicz (eds.)

Yıl:

2008

Dil:

english

Dosya:

PDF, 12.16 MB

0 / 0

english, 2008

7

The Classical Decision Problem

The Classical Decision Problem

Egon Börger, Erich Gradel, Yuri Gurevich

Yıl:

1997

Dil:

english

Dosya:

DJVU, 5.98 MB

0 / 0

english, 1997

8

Abstract State Machines 2004 Advances in Theory and Practice

Abstract State Machines 2004 Advances in Theory and Practice

Springer-Verlag Berlin Heidelberg

Yuri Gurevich (auth.), Wolf Zimmermann, Bernhard Thalheim (eds.)

Yıl:

2004

Dil:

english

Dosya:

PDF, 6.92 MB

0 / 0

english, 2004

9

The classical decision problem

The classical decision problem

Grädel, Erich, Gurevich, Yuri, Börger, Egon

Yıl:

1997

Dil:

english

Dosya:

DJVU, 4.69 MB

0 / 0

english, 1997

10

Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Springer Berlin Heidelberg

Egon Börger, Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele

Yıl:

2000

Dil:

english

Dosya:

PDF, 3.75 MB

0 / 0

english, 2000

11

Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

Springer-Verlag Berlin Heidelberg

Yannis Smaragdakis, Christoph Csallner (auth.), Yuri Gurevich, Bertrand Meyer (eds.)

Yıl:

2007

Dil:

english

Dosya:

PDF, 4.38 MB

0 / 0

english, 2007

12

Abstract State Machines Theory and Applications

Abstract State Machines Theory and Applications

Springer Berlin Heidelberg

Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.)

Yıl:

2000

Dil:

english

Dosya:

PDF, 3.80 MB

0 / 0

english, 2000

13

Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India December 17–19, 1987 Proceedings

Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India December 17–19, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Yuri Gurevich (auth.), Kesav V. Nori (eds.)

Yıl:

1987

Dil:

english

Dosya:

DJVU, 4.89 MB

0 / 0

english, 1987

14

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)

Yıl:

2000

Dil:

english

Dosya:

PDF, 3.26 MB

0 / 0

english, 2000

15

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)

Yıl:

2000

Dil:

english

Dosya:

PDF, 5.77 MB

0 / 0

english, 2000