Dexter Kozen (auth.): Z-Library সাইটে অনুসন্ধান করুন

জ্ঞান ও সংস্কৃতিতে অবাধ অ্যাক্সেস।

Don't use scam websites

1

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

সাল:

2004

ভাষা:

english

ফাইল:

PDF, 6.51 MB

0 / 0

english, 2004

2

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

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 4.16 MB

0 / 0

english, 2012

3

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

সাল:

2004

ভাষা:

english

ফাইল:

PDF, 3.26 MB

0 / 0

english, 2004

4

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

সাল:

1982

ভাষা:

english

ফাইল:

DJVU, 4.66 MB

0 / 0

english, 1982

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

সাল:

1994

ভাষা:

english

ফাইল:

DJVU, 2.87 MB

0 / 0

english, 1994

6

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

সাল:

1982

ভাষা:

english

ফাইল:

PDF, 10.98 MB

0 / 0

english, 1982

7

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

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 3.95 MB

0 / 0

english, 2012

8

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

সাল:

1994

ভাষা:

english

ফাইল:

DJVU, 5.60 MB

0 / 0

english, 1994

9

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

সাল:

1981

ভাষা:

english

ফাইল:

DJVU, 2.55 MB

0 / 0

english, 1981

10

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

সাল:

1984

ভাষা:

english

ফাইল:

DJVU, 5.98 MB

0 / 0

english, 1984

11

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

সাল:

1984

ভাষা:

english

ফাইল:

PDF, 14.67 MB

0 / 0

english, 1984

12

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

সাল:

1981

ভাষা:

english

ফাইল:

PDF, 5.78 MB

0 / 0

english, 1981