Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Computer Science Logic Mogens Nielsen

Computer Science Logic

11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997. Selected Papers

Autor: Mogens Nielsen, Wolfgang Thomas
Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
213.28 zł
This book constitutes the strictly refereed post-workshop proceedings of the 11th International Work...

Informacje o książce

Autor
Mogens Nielsen, Wolfgang Thomas
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
1997
strony
520
EAN
9783540645702
ISBN
3540645705
Enbook ID
05274831
Wydawca
Springer, Berlin
Waga
684
Wymiary
156 x 234 x 27

Pełny opis

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.

Możesz być zainteresowany

England's Population

Andrew Hinde
576.52 zł

Transactions on Rough Sets IV

James F. Peters
213.28 zł

Emerging Technologies in Africa

Matthew N. O. Sadiku
271.25 zł

Klienci, którzy kupili tę książkę, kupili również

Analogrechner

Bernd Ulmann
459.52 zł

Viva el Tango!, für Klavier, m. Audio-CD. Bd.1

Diego Marcelo Collatti
121.79 zł

Gitarre Spielen MIT Lena Und Tom

Andreas Schumann
73.50 zł

Rauhnacht, 4 Audio-CD

Volker Klüpfel
48.77 zł

miniLÜK-Set

105.56 zł

Le Douanier Rousseau

Plazy
86.11 zł