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

Tekijä: Eugenio Moggi (ed.); Giuseppe Rosolini (ed.)
Kustantaja: Springer (1997)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Aurelio Carboni (ed.); Maria C. Pedicchio (ed.); Giuseppe Rosolini (ed.)
Kustantaja: Springer (1991)
Saatavuus: Noin 17-20 arkipäivää

EUR 54,40

DIDATTICA DELLA MATEMATICA

Tekijä: Anna Baccaglini Frank; Pietro Di Martino; Roberto Natalini; Giuseppe Rosolini
Kustantaja: Mondadori Università (2017)
Saatavuus: Ei tiedossa

EUR 55,00

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

Eugenio Moggi (ed.), Giuseppe Rosolini (ed.)

49,60 €

Springer
Sivumäärä: 319 sivua
Asu: Pehmeäkantinen kirja
Painos: 1997
Julkaisuvuosi: 1997, 20.08.1997 (lisätietoa)
Kieli: Englanti

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 17-20 arkipäivässä

Myymäläsaatavuus