Sannella: искать на сайте Z-Library

Свободный доступ к знаниям и культуре.

Don't use scam websites

Применены фильтры

Точное соответствие

Точное соответствие

Книги (36)
Самые популярные
Список
- Список
- Таблица

1

Intermediate accounting

Intermediate accounting

Gordon, Elizabeth A., Raedy, Jana Smith, Sannella, Alexander John

Год:

2019

Язык:

english

Файл:

PDF, 37.00 MB

5.0 / 5.0

english, 2019

2

Introduction to Computation: Haskell, Logic and Automata (free, non-retail version, with cover)

Introduction to Computation: Haskell, Logic and Automata (free, non-retail version, with cover)

D. Sannella. M Fourman, H. Peng and P. Wadler

Год:

2021

Язык:

english

Файл:

PDF, 5.43 MB

0 / 0

english, 2021

3

The Kundalini Experience

The Kundalini Experience

Integral Yoga Distribution

Год:

1987

Язык:

english

Файл:

PDF, 495 KB

0 / 0

english, 1987

4

拙火经验

拙火经验

epub掌上书苑

Год:

2013

Язык:

chinese

Файл:

EPUB, 637 KB

0 / 0

chinese, 2013

5

Introduction to Computation: Haskell, Logic and Automata

Introduction to Computation: Haskell, Logic and Automata

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

Год:

2022

Язык:

english

Файл:

EPUB, 41.08 MB

0 / 0

english, 2022

6

Introduction to Computation: Haskell, Logic and Automata (free, non-retail version, no cover)

Introduction to Computation: Haskell, Logic and Automata (free, non-retail version, no cover)

D. Sannella. M Fourman, H. Peng and P. Wadler

Год:

2021

Язык:

english

Файл:

PDF, 3.19 MB

0 / 5.0

english, 2021

7

The Kundalini Experience 拙火經驗

The Kundalini Experience 拙火經驗

Год:

2007

Файл:

PDF, 1.86 MB

0 / 0

2007

8

Introduction to Computation: Haskell, Logic and Automata

Introduction to Computation: Haskell, Logic and Automata

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

Год:

2022

Язык:

english

Файл:

PDF, 9.01 MB

0 / 3.0

english, 2022

9

Introduction to Computation: Haskell, Logic and Automata

Introduction to Computation: Haskell, Logic and Automata

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

Год:

2021

Язык:

english

Файл:

PDF, 5.43 MB

0 / 5.0

english, 2021

10

Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella (eds.)

Год:

2015

Язык:

english

Файл:

PDF, 12.25 MB

0 / 0

english, 2015

11

Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella (eds.)

Год:

2015

Язык:

english

Файл:

PDF, 10.77 MB

0 / 0

english, 2015

12

La grammatica della violenza. Un'indagine a più voci

La grammatica della violenza. Un'indagine a più voci

Alessandra Sannella - Micaela Latini - Alfredo Morelli

Год:

2017

Язык:

italian

Файл:

PDF, 1.68 MB

0 / 4.5

italian, 2017

13

Kundalini Erfahrung und die neuen Wissenschaften

Kundalini Erfahrung und die neuen Wissenschaften

Synthesis Verlag

Год:

1989

Язык:

german

Файл:

PDF, 1.37 MB

0 / 0

german, 1989

14

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

Год:

1994

Язык:

english

Файл:

DJVU, 4.20 MB

0 / 0

english, 1994

15

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (eds.)

Год:

2002

Язык:

english

Файл:

PDF, 6.84 MB

0 / 0

english, 2002

16

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Robert Harper (auth.), Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella (eds.)

Год:

2004

Язык:

english

Файл:

PDF, 20.89 MB

0 / 0

english, 2004

17

8 specification languages

8 specification languages

Язык:

english

Файл:

PDF, 283 KB

0 / 0

english

18

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Michel Bidoit, Donald Sannella, Andrzej Tarlecki (auth.), Krzysztof Diks, Wojciech Rytter (eds.)

Год:

2002

Язык:

english

Файл:

PDF, 9.50 MB

0 / 0

english, 2002

19

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Robert Harper (auth.), Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella (eds.)

Год:

2004

Язык:

english

Файл:

PDF, 10.62 MB

0 / 0

english, 2004

20

Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers

Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers

Springer-Verlag Berlin Heidelberg

Michel Bidoit (auth.), D. Sannella, A. Tarlecki (eds.)

Год:

1988

Язык:

english

Файл:

DJVU, 3.01 MB

0 / 0

english, 1988

21

Le sfide della società italiana tra crisi strutturali e social innovation

Le sfide della società italiana tra crisi strutturali e social innovation

Edizioni Ca'Foscari

Alessandra Sannella, Franco Toniolo

Год:

2015

Язык:

italian

Файл:

PDF, 1.81 MB

0 / 0

italian, 2015

22

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 5.23 MB

0 / 0

english, 2010

23

Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

Donald Sannella, Andrzej Tarlecki

Год:

2012

Язык:

english

Файл:

PDF, 2.56 MB

0 / 0

english, 2012

24

Perspectives for a New Social Theory of Sustainability

Perspectives for a New Social Theory of Sustainability

Springer; International Publishing

Mariella Nocenzi, Alessandra Sannella

Год:

2020

Язык:

english

Файл:

EPUB, 1.89 MB

0 / 0

english, 2020

25

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Springer International Publishing

Sam Lindley, Conor McBride, Phil Trinder, Don Sannella (eds.)

Год:

2016

Язык:

english

Файл:

PDF, 20.70 MB

0 / 0

english, 2016

26

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers

Springer-Verlag Berlin Heidelberg

Donald Sannella (auth.), Annalisa Bossi (eds.)

Год:

2000

Язык:

english

Файл:

PDF, 1.71 MB

0 / 0

english, 2000

27

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Donald Sannella (auth.), Dines Bjøner, Manfred Broy, Alexandre V. Zamulin (eds.)

Год:

2000

Язык:

english

Файл:

PDF, 9.42 MB

0 / 0

english, 2000

28

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers

Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR’99, Venice, Italy, September 22-24, 1999 Selected Papers

Springer-Verlag Berlin Heidelberg

Donald Sannella (auth.), Annalisa Bossi (eds.)

Год:

2000

Язык:

english

Файл:

PDF, 3.47 MB

0 / 0

english, 2000

29

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

David Aspinall, Donald Sannella (auth.), Hélène Kirchner, Christophe Ringeissen (eds.)

Год:

2002

Язык:

english

Файл:

PDF, 6.00 MB

0 / 0

english, 2002

30

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Donald Sannella (auth.), Dines Bjøner, Manfred Broy, Alexandre V. Zamulin (eds.)

Год:

2000

Язык:

english

Файл:

PDF, 12.39 MB

0 / 0

english, 2000

31

Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers

Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers

Springer-Verlag Berlin Heidelberg

Michel Bidoit (auth.), D. Sannella, A. Tarlecki (eds.)

Год:

1988

Язык:

english

Файл:

PDF, 6.33 MB

0 / 0

english, 1988

32

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

Год:

1994

Язык:

english

Файл:

PDF, 7.96 MB

0 / 0

english, 1994

33

Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Christos Kaklamanis (auth.), Ugo Montanari, Donald Sannella, Roberto Bruni (eds.)

Год:

2007

Язык:

english

Файл:

PDF, 3.47 MB

0 / 0

english, 2007

34

Algebraic system specification and development: A survey and annotated bibliography

Algebraic system specification and development: A survey and annotated bibliography

Springer-Verlag Berlin Heidelberg

Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (eds.)

Год:

1991

Язык:

english

Файл:

DJVU, 954 KB

0 / 0

english, 1991

35

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

David Aspinall, Donald Sannella (auth.), Hélène Kirchner, Christophe Ringeissen (eds.)

Год:

2002

Язык:

english

Файл:

PDF, 6.06 MB

0 / 0

english, 2002

36

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

Год:

2010

Язык:

english

Файл:

PDF, 5.18 MB

0 / 0

english, 2010