Sannella: Z-Libraryで検索

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

年:

2021

言語:

english

ファイル:

PDF, 5.43 MB

0 / 0

english, 2021

The Kundalini Experience

Integral Yoga Distribution

年:

1987

言語:

english

ファイル:

PDF, 495 KB

0 / 0

english, 1987

拙火经验

epub掌上书苑

年:

2013

言語:

chinese

ファイル:

EPUB, 637 KB

0 / 0

chinese, 2013

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

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

The Kundalini Experience 拙火經驗

年:

2007

ファイル:

PDF, 1.86 MB

0 / 0

2007

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

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

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

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

年:

2015

言語:

english

ファイル:

PDF, 12.25 MB

0 / 0

english, 2015

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

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

年:

2015

言語:

english

ファイル:

PDF, 10.77 MB

0 / 0

english, 2015

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

Mimesis

Alessandra Sannella - Micaela Latini - Alfredo Morelli

年:

2017

言語:

italian

ファイル:

PDF, 1.68 MB

0 / 4.5

italian, 2017

Kundalini Erfahrung und die neuen Wissenschaften

Synthesis Verlag

年:

1989

言語:

german

ファイル:

PDF, 1.37 MB

0 / 0

german, 1989

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

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

年:

1994

言語:

english

ファイル:

DJVU, 4.20 MB

0 / 0

english, 1994

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

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

年:

2002

言語:

english

ファイル:

PDF, 6.84 MB

0 / 0

english, 2002

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

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

年:

2004

言語:

english

ファイル:

PDF, 20.89 MB

0 / 0

english, 2004

8 specification languages

Sannella D.

言語:

english

ファイル:

PDF, 283 KB

0 / 0

english

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

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

年:

2002

言語:

english

ファイル:

PDF, 9.50 MB

0 / 0

english, 2002

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

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

年:

2004

言語:

english

ファイル:

PDF, 10.62 MB

0 / 0

english, 2004

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

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

年:

1988

言語:

english

ファイル:

DJVU, 3.01 MB

0 / 0

english, 1988

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

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

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

Foundations of Algebraic Specification and Formal Software Development

Donald Sannella, Andrzej Tarlecki

年:

2012

言語:

english

ファイル:

PDF, 2.56 MB

0 / 0

english, 2012

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

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

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

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

年:

2000

言語:

english

ファイル:

PDF, 1.71 MB

0 / 0

english, 2000

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

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

年:

2000

言語:

english

ファイル:

PDF, 9.42 MB

0 / 0

english, 2000

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

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

年:

2000

言語:

english

ファイル:

PDF, 3.47 MB

0 / 0

english, 2000

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

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

年:

2002

言語:

english

ファイル:

PDF, 6.00 MB

0 / 0

english, 2002

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

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

年:

2000

言語:

english

ファイル:

PDF, 12.39 MB

0 / 0

english, 2000

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

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

年:

1988

言語:

english

ファイル:

PDF, 6.33 MB

0 / 0

english, 1988

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

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

年:

1994

言語:

english

ファイル:

PDF, 7.96 MB

0 / 0

english, 1994

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

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

年:

2007

言語:

english

ファイル:

PDF, 3.47 MB

0 / 0

english, 2007

Algebraic system specification and development: A survey and annotated bibliography

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

年:

1991

言語:

english

ファイル:

DJVU, 954 KB

0 / 0

english, 1991

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

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

年:

2002

言語:

english

ファイル:

PDF, 6.06 MB

0 / 0

english, 2002

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