Abramsky: mencari di situs web Z-Library

Akses gratis ke pengetahuan dan budaya.

Don't use scam websites

Diterapkan filter

Pencocokan lengkap

Pencocokan lengkap

Buku (106)
Yang paling populer
Daftar
- Daftar
- Tabel

1

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

Oxford University Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Tahun:

1993

Bahasa:

english

File:

PDF, 15.50 MB

0 / 0

english, 1993

2

Handbook of Logic in Computer Science. Volume 2: Background: Computational structures

Handbook of Logic in Computer Science. Volume 2: Background: Computational structures

Clarendon Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Tahun:

1992

Bahasa:

english

File:

DJVU, 4.53 MB

5.0 / 4.0

english, 1992

3

Handbook of Logic in Computer Science. Volume 3: Semantic Structures

Handbook of Logic in Computer Science. Volume 3: Semantic Structures

Clarendon Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Tahun:

1994

Bahasa:

english

File:

DJVU, 3.55 MB

5.0 / 4.0

english, 1994

4

Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Clarendon Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Tahun:

2001

Bahasa:

english

File:

PDF, 24.82 MB

0 / 0

english, 2001

5

Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Clarendon Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Tahun:

1995

Bahasa:

english

File:

DJVU, 4.67 MB

0 / 0

english, 1995

6

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

Oxford University Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Tahun:

1993

Bahasa:

english

File:

PDF, 33.68 MB

0 / 0

english, 1993

7

Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Clarendon Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Tahun:

2001

Bahasa:

english

File:

DJVU, 2.64 MB

5.0 / 3.0

english, 2001

8

Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Clarendon Press

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.)

Tahun:

1995

Bahasa:

english

File:

PDF, 48.57 MB

0 / 0

english, 1995

9

The House of Twenty Thousand Books

The House of Twenty Thousand Books

Halban Publishers

Tahun:

2014

Bahasa:

english

File:

EPUB, 3.39 MB

0 / 0

english, 2014

10

Handbook of logic in computer science, vol.1: Background. Mathematical structures

Handbook of logic in computer science, vol.1: Background. Mathematical structures

Oxford University Press

Abramsky S., Gabbay D.M., Maibaum T.S. E. (eds.)

Tahun:

1992

Bahasa:

english

File:

DJVU, 5.24 MB

0 / 0

english, 1992

11

Sparking a worldwide energy revolution : social struggles in the transition to a post-petrol world

Sparking a worldwide energy revolution : social struggles in the transition to a post-petrol world

Abramsky, Kolya

Tahun:

2010

Bahasa:

english

File:

PDF, 8.90 MB

0 / 0

english, 2010

12

Little Wonder: The Fabulous Story of Lottie Dod, the World's First Female Sports Superstar

Little Wonder: The Fabulous Story of Lottie Dod, the World's First Female Sports Superstar

Tahun:

2020

Bahasa:

english

File:

EPUB, 48.38 MB

0 / 0

english, 2020

13

Karl Marx and the British Labour Movement: Years of the First International

Karl Marx and the British Labour Movement: Years of the First International

London: MacMillan & Co., LTD

Henry Collins, Chimen Abramsky

Tahun:

1965

Bahasa:

english

File:

PDF, 5.19 MB

0 / 0

english, 1965

14

American Furies: Crime, Punishment, and Vengeance in the Age of Mass Imprisonment

American Furies: Crime, Punishment, and Vengeance in the Age of Mass Imprisonment

Tahun:

2007

Bahasa:

english

File:

PDF, 13.04 MB

0 / 0

english, 2007

15

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

Tahun:

2024

Bahasa:

english

File:

PDF, 5.90 MB

0 / 4.0

english, 2024

16

Mathematical Foundations of Information Flow

Mathematical Foundations of Information Flow

American Mathematical Society

Samson Abramsky, Michael Mislove (ed.)

Tahun:

2012

Bahasa:

english

File:

PDF, 1.78 MB

0 / 0

english, 2012

17

The American Way of Poverty: How the Other Half Still Lives

The American Way of Poverty: How the Other Half Still Lives

Tahun:

2013

Bahasa:

english

File:

EPUB, 705 KB

0 / 0

english, 2013

18

Jumping at Shadows: the Triumph of Fear and the End of the American Dream

Jumping at Shadows: the Triumph of Fear and the End of the American Dream

Abramsky, Sasha

Tahun:

2017

Bahasa:

english

File:

EPUB, 929 KB

0 / 0

english, 2017

19

Chaos Comes Calling

Chaos Comes Calling

Bold Type Books

Tahun:

2024

Bahasa:

english

File:

EPUB, 2.88 MB

0 / 5.0

english, 2024

20

Chaos Comes Calling: The Battle Against the Far-Right Takeover of Small-Town America

Chaos Comes Calling: The Battle Against the Far-Right Takeover of Small-Town America

Tahun:

2024

Bahasa:

english

File:

EPUB, 2.88 MB

0 / 0

english, 2024

21

La casa de los veinte mil libros

La casa de los veinte mil libros

Tahun:

2014

Bahasa:

spanish

File:

EPUB, 1.53 MB

0 / 0

spanish, 2014

22

Inside Obama's Brain

Inside Obama's Brain

Tahun:

2009

Bahasa:

english

File:

EPUB, 575 KB

0 / 0

english, 2009

23

Introduction to Categories and Categorial Logic (draft)

Introduction to Categories and Categorial Logic (draft)

Samson Abramsky, Nikos Tzevelekos

Tahun:

2011

Bahasa:

english

File:

PDF, 898 KB

0 / 0

english, 2011

24

The American Way of Poverty: How the Other Half Still Lives

The American Way of Poverty: How the Other Half Still Lives

Tahun:

2013

Bahasa:

english

File:

EPUB, 781 KB

0 / 0

english, 2013

25

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Pierre Fraigniaud (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)

Tahun:

2010

Bahasa:

english

File:

PDF, 7.24 MB

0 / 0

english, 2010

26

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Ugo Montanari, José D. P. Rolim, Emo Welzl (eds.)

Tahun:

2000

Bahasa:

english

File:

PDF, 7.15 MB

0 / 0

english, 2000

27

Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings

Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg (eds.)

Tahun:

2011

Bahasa:

english

File:

PDF, 2.85 MB

0 / 0

english, 2011

28

Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky, Jonathan Zvesper (auth.), Dirk Pattinson, Lutz Schröder (eds.)

Tahun:

2012

Bahasa:

english

File:

PDF, 2.59 MB

0 / 0

english, 2012

29

Background Mathematical Structures

Background Mathematical Structures

Clarendon Press

S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum (eds.)

Tahun:

1995

Bahasa:

english

File:

DJVU, 5.24 MB

0 / 0

english, 1995

30

Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Josep Diaz (eds.)

Tahun:

1983

Bahasa:

english

File:

DJVU, 5.51 MB

0 / 0

english, 1983

31

Brain Disease: therapeutic strategies and repair

Brain Disease: therapeutic strategies and repair

Informa Healthcare

Oded Abramsky, D. Alastair S. Compston, Ariel Miller, Gerard Said

Tahun:

2001

Bahasa:

english

File:

PDF, 4.82 MB

0 / 0

english, 2001

32

Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky, Radha Jagadeesan (auth.), Andrew D. Gordon (eds.)

Tahun:

2003

Bahasa:

english

File:

PDF, 24.82 MB

0 / 0

english, 2003

33

The House of Twenty Thousand Books

The House of Twenty Thousand Books

Tahun:

2015

Bahasa:

english

File:

MOBI , 8.12 MB

0 / 0

english, 2015

34

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Olivier Danvy (auth.), Samson Abramsky (eds.)

Tahun:

2001

Bahasa:

english

File:

PDF, 3.84 MB

0 / 0

english, 2001

35

Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Jetty Kleijn, Alex Yakovlev (eds.)

Tahun:

2007

Bahasa:

english

File:

PDF, 6.89 MB

0 / 0

english, 2007

36

Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Foundations of Software Science and Computation Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky, Radha Jagadeesan (auth.), Andrew D. Gordon (eds.)

Tahun:

2003

Bahasa:

english

File:

PDF, 4.98 MB

0 / 0

english, 2003

37

Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Jetty Kleijn, Alex Yakovlev (eds.)

Tahun:

2007

Bahasa:

english

File:

PDF, 4.69 MB

0 / 0

english, 2007

38

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (eds.)

Tahun:

2005

Bahasa:

english

File:

PDF, 4.49 MB

0 / 0

english, 2005

39

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991

Springer-Verlag Berlin Heidelberg

J. W. de Bakker, E. P. de Vink (auth.), S. Abramsky, T. S. E. Maibaum (eds.)

Tahun:

1991

Bahasa:

english

File:

DJVU, 5.57 MB

0 / 0

english, 1991

40

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)

Tahun:

2010

Bahasa:

english

File:

PDF, 6.95 MB

0 / 0

english, 2010

41

Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Josep Diaz (eds.)

Tahun:

1983

Bahasa:

english

File:

PDF, 9.83 MB

0 / 0

english, 1983

42

American furies: crime, punishment, and vengeance in the age of mass imprisonment

American furies: crime, punishment, and vengeance in the age of mass imprisonment

Beacon Press (MA)

Abramsky, Sasha

Tahun:

2007

Bahasa:

english

File:

PDF, 1.67 MB

0 / 0

english, 2007

43

Das Haus der zwanzigtausend Bücher

Das Haus der zwanzigtausend Bücher

Abramsky, Sasha

Bahasa:

german

File:

EPUB, 4.62 MB

0 / 0

german

44

Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings

Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings

Springer-Verlag New York

Samson Abramsky (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (eds.)

Tahun:

1990

Bahasa:

english

File:

DJVU, 4.66 MB

0 / 0

english, 1990

45

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings

Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Ugo Montanari, José D. P. Rolim, Emo Welzl (eds.)

Tahun:

2000

Bahasa:

english

File:

PDF, 12.39 MB

0 / 0

english, 2000

46

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Burkhard Monien, Dominic Dumrauf, Tobias Tscheuschner (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)

Tahun:

2010

Bahasa:

english

File:

PDF, 9.76 MB

0 / 5.0

english, 2010

47

The American Way of Poverty

The American Way of Poverty

Tahun:

2013

File:

PDF, 2.64 MB

0 / 0

2013

48

Logic, Methodology and Philosophy of Science

Logic, Methodology and Philosophy of Science

S. ABRAMSKY, S. ARTEMOV, J. BARWISE, H.J. KEISLER, A.S. TROELSTRA

Bahasa:

english

File:

PDF, 45.56 MB

0 / 5.0

english

49

The House of Twenty Thousand Books

The House of Twenty Thousand Books

New York Review Books

Tahun:

2015

Bahasa:

english

File:

AZW3 , 4.53 MB

0 / 4.0

english, 2015

50

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Pierre Fraigniaud (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)

Tahun:

2010

Bahasa:

english

File:

PDF, 7.34 MB

0 / 0

english, 2010