Peter Jipsen | Akateeminen Kirjakauppa

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

RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE - 14TH INTERNATIONAL CONFERENCE, RAMICS 2014, MARIENSTATT, GERMANY, APRIL 2

Peter Höfner; Peter Jipsen; Wolfram Kahl; Martin Eric Müller
Springer International Publishing AG (2014)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

VARIETIES OF LATTICES

Peter Jipsen; Henry Rose
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1992)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

25,40 €

RESIDUATED LATTICES: AN ALGEBRAIC GLIMPSE AT SUBSTRUCTURAL LOGICS

Nikolaos Galatos; Peter Jipsen; Tomasz Kowalski; Hiroakira Ono
Elsevier Science (2007)
Saatavuus: Loppuunmyyty
Kovakantinen kirja

130,30 €

PHYSICS AND RADIOBIOLOGY OF NUCLEAR MEDICINE

Henry Rose; Peter Jipsen; Gopal B. Saha
SPRINGER VERLAG GMBH (2010)
Saatavuus: Hankintapalvelu
Kovakantinen kirja

63,80 €

RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE - 18TH INTERNATIONAL CONFERENCE, RAMICS 2020, PALAISEAU, FRANCE, OCTOBER 26

Uli Fahrenberg; Peter Jipsen; Michael Winter
Springer Nature Switzerland AG (2020)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

Relational and Algebraic Methods in Computer Science - 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 2

Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller

49,60 €

Springer International Publishing AG
Sivumäärä: 463 sivua
Asu: Pehmeäkantinen kirja
Painos: 2014
Julkaisuvuosi: 2014, 10.04.2014 (lisätietoa)
Kieli: Englanti

This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.
The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus