Giuseppe Rosolini | Akateeminen Kirjakauppa

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

CATEGORY THEORY AND COMPUTER SCIENCE - 7TH INTERNATIONAL CONFERENCE, CTCS'97, SANTA MARGHERITA LIGURE ITALY, SEPTEMBER 4-6, 1997

Eugenio Moggi; Giuseppe Rosolini
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1997)
Pehmeäkantinen kirja

49,60 €

CATEGORY THEORY : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE HELD IN COMO, ITALY, JULY 22-28, 1990

Aurelio Carboni (ed.); Maria C. Pedicchio (ed.); Giuseppe Rosolini (ed.)
Springer (1991)
Pehmeäkantinen kirja

54,40 €

DIDATTICA DELLA MATEMATICA

Anna Baccaglini Frank; Pietro Di Martino; Roberto Natalini; Giuseppe Rosolini
Mondadori Università (2017)
Pehmeäkantinen kirja

55,00 €

Category Theory and Computer Science - 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997

Eugenio Moggi, Giuseppe Rosolini

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 319 sivua
Asu: Pehmeäkantinen kirja
Painos: 1997
Julkaisuvuosi: 1997, 20.08.1997 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1290

This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.
Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus