Michael W. Mislove: ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

Don't use scam websites

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Mathematical Foundations of Information Flow

Mathematical Foundations of Information Flow

American Mathematical Society

Samson Abramsky, Michael Mislove (ed.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 1.78 MB

0 / 0

english, 2012

2

Topology, Domain Theory and Theoretical Computer Science

Topology, Domain Theory and Theoretical Computer Science

Michael W. Mislove

წელი:

1997

ენა:

english

ფაილი:

PDF, 531 KB

0 / 0

english, 1997

3

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

QingMing Ma, John C. Reynolds (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

წელი:

1992

ენა:

english

ფაილი:

DJVU, 4.91 MB

0 / 0

english, 1992

4

A Compendium of Continuous Lattices

A Compendium of Continuous Lattices

Springer-Verlag Berlin Heidelberg

Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott (auth.)

წელი:

1980

ენა:

english

ფაილი:

PDF, 25.93 MB

0 / 0

english, 1980

5

The Pontryagin Duality of Compact O-Dimensional Semilattices and its Applications

The Pontryagin Duality of Compact O-Dimensional Semilattices and its Applications

Springer-Verlag Berlin Heidelberg

Karl Heinrich Hofmann, Michael Mislove, Albert Stralka (auth.)

წელი:

1974

ენა:

english

ფაილი:

PDF, 2.31 MB

0 / 0

english, 1974

6

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

წელი:

1994

ენა:

english

ფაილი:

DJVU, 5.58 MB

0 / 0

english, 1994

7

Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings

Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Michael Mislove (auth.), Maurice Nivat (eds.)

წელი:

1998

ენა:

english

ფაილი:

DJVU, 5.44 MB

0 / 0

english, 1998

8

A Compendium of Continuous Lattices

A Compendium of Continuous Lattices

Springer-Verlag Berlin Heidelberg

Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott (auth.)

წელი:

1980

ენა:

english

ფაილი:

PDF, 37.88 MB

0 / 0

english, 1980

9

Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings

Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Michael Mislove (auth.), Maurice Nivat (eds.)

წელი:

1998

ენა:

english

ფაილი:

PDF, 6.21 MB

0 / 0

english, 1998