Perspectives of Systems Informatics (eBook, PDF)
6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers
Redaktion: Voronkov, Andrei
Alle Infos zum eBook verschenken
Perspectives of Systems Informatics (eBook, PDF)
6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers
Redaktion: Voronkov, Andrei
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Hier können Sie sich einloggen
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Andrei Ershov Memorial Conference, PSI 2006, held in Akademgorodok, Novosibirsk, Russia in June 2006.
The 30 revised full papers and 10 revised short papers presented together with 5 invited papers address all current aspects of theoretical computer science, programming methodology, and new information technologies.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 9.2MB
- Frontiers of Combining Systems (eBook, PDF)40,95 €
- Logic-Based Program Synthesis and Transformation (eBook, PDF)40,95 €
- Relational and Algebraic Methods in Computer Science (eBook, PDF)40,95 €
- Logic-Based Program Synthesis and Transformation (eBook, PDF)40,95 €
- Functional and Constraint Logic Programming (eBook, PDF)40,95 €
- Theory and Applications of Satisfiability Testing - SAT 2008 (eBook, PDF)40,95 €
- Theory and Applications of Satisfiability Testing - SAT 2009 (eBook, PDF)40,95 €
-
-
-
The 30 revised full papers and 10 revised short papers presented together with 5 invited papers address all current aspects of theoretical computer science, programming methodology, and new information technologies.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
- Produktdetails
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 496
- Erscheinungstermin: 4. August 2007
- Englisch
- ISBN-13: 9783540708810
- Artikelnr.: 44224897
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 496
- Erscheinungstermin: 4. August 2007
- Englisch
- ISBN-13: 9783540708810
- Artikelnr.: 44224897