Sannella+Donald+Sannella | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 11 tuotetta
Haluatko tarkentaa hakukriteerejä?

MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015 - 40TH INTERNATIONAL SYMPOSIUM, MFCS 2015, MILAN, ITALY, AUGUST 24-28, 2015, P

Giuseppe F. Italiano; Giovanni Pighizzini; Donald T. Sannella
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2015)
Pehmeäkantinen kirja

51,40 €

MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015 - 40TH INTERNATIONAL SYMPOSIUM, MFCS 2015, MILAN, ITALY, AUGUST 24-28, 2015, P

Giuseppe F Italiano; Giovanni Pighizzini; Donald T. Sannella
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2015)
Pehmeäkantinen kirja

51,40 €

AUTOMATA, LANGUAGES AND PROGRAMMING - 31ST INTERNATIONAL COLLOQUIUM, ICALP 2004, TURKU, FINLAND, JULY 12-16, 2004, PROCEEDINGS

Josep Diaz; Juhani Karhumäki; Arto Lepistö; Donald Sannella
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Pehmeäkantinen kirja

152,40 €

RECENT TRENDS IN DATA TYPE SPECIFICATION - FIFTH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES. GULLANE, SCOTLAND, SEPTEMBER

Donald Sannella
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1988)
Pehmeäkantinen kirja

51,40 €

PROGRAMMING LANGUAGES AND SYSTEMS - ESOP '94 - 5TH EUROPEAN SYMPOSIUM ON PROGRAMMING, EDINBURGH, U.K., APRIL 11 - 13, 1994. PROC

Donald Sannella
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1994)
Pehmeäkantinen kirja

51,40 €

FOUNDATIONS OF ALGEBRAIC SPECIFICATION AND FORMAL SOFTWARE DEVELOPMENT

Donald Sannella; Andrzej Tarlecki
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Kovakantinen kirja

111,40 €

FOUNDATIONS OF ALGEBRAIC SPECIFICATION AND FORMAL SOFTWARE DEVELOPMENT

Donald Sannella; Andrzej Tarlecki
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja

81,40 €

INTRODUCTION TO COMPUTATION - HASKELL, LOGIC AND AUTOMATA

Donald Sannella; Michael Fourman; Haoran Peng; Philip Wadler
Springer Nature Switzerland AG (2022)
Pehmeäkantinen kirja

36,40 €

INTRODUCTION TO COMPUTATION

Sannella Donald Sannella; Fourman Michael Fourman; Peng Haoran Peng
Springer Nature B.V. (2022)
Pehmeäkantinen kirja

117,70 €

TRUSTWORTHY GLOBAL COMPUTING - SECOND SYMPOSIUM, TGC 2006, LUCCA, ITALY, NOVEMBER 7-9, 2006, REVISED SELECTED PAPERS

Ugo Montanari; Donald Sannella; Roberto Bruni
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

51,40 €

ALGEBRAIC SYSTEM SPECIFICATION AND DEVELOPMENT - A SURVEY AND ANNOTATED BIBLIOGRAPHY

Michel Bidoit; Hans-Jörg Kreowski; Pierre Lescanne; Fernando Orejas; Donald Sannella
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1991)
Pehmeäkantinen kirja

51,40 €

Hae lisää...

Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, P

Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella

51,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 615 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2015
Julkaisuvuosi: 2015, 18.08.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2).

LISÄÄ OSTOSKORIIN

Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa

Myymäläsaatavuus