Tipsa dina vänner om produkten:
Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers - Lecture Notes in Computer Science Andrei Voronkov 2015 edition
Pris
SEK 549
Beställningsvara
Förväntad leverans 31 dec - 8 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller
Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers - Lecture Notes in Computer Science
Andrei Voronkov
This book contains the thoroughly refereed papers from the 9th International Ershov Informatics Conference, PSI 2014, held in St. Petersburg, Russia, in June 2014. The 17 revised full papers, 11 revised short papers, and 2 system and experimental papers presented in this book were carefully reviewed and selected from 80 submissions.
415 pages, 106 black & white illustrations, biography
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 30 april 2015 |
| ISBN13 | 9783662468227 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sidor | 415 |
| Mått | 155 × 235 × 22 mm · 603 g |
| Språk | Franska |
| Redaktör | Virbitskaite, Irina |
| Redaktör | Voronkov, Andrei |
Fler produkter med Andrei Voronkov
Visa alla![Cover for Andrei Voronkov · Programming Logics: Essays in Memory of Harald Ganzinger - Theoretical Computer Science and General Issues (Pocketbok) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/504/9783642376504.jpg?andrei-voronkov-2013-programming-logics-essays-in-memory-of-harald-ganzinger-theoretical-computer-science-and-general-issues-pocketbok&class=scaled&v=1483819467)
![Cover for Andrei Voronkov · Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings - Theoretical Computer Science and General Issues (Pocketbok) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/888/9783540705888.jpg?andrei-voronkov-2008-rewriting-techniques-and-applications-19th-international-conference-rta-2008-hagenberg-austria-july-15-17-2008-proceedings-theoretical-computer-science-and-general-issues-pocketbok&class=scaled&v=1573875274)
![Cover for Andrei Voronkov · Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings - Lecture Notes in Artificial Intelligence (Pocketbok) [1992 edition] (1992)](https://imusic.b-cdn.net/images/item/original/608/9783540554608.jpg?andrei-voronkov-1992-logic-programming-first-russian-conference-on-logic-programming-irkutsk-russia-september-14-18-1990-second-russian-conference-on-logic-programming-st-petersburg-russia-september-11-16-1991-proceedings-lecture-notes-in-artificial-intell&class=scaled&v=1573875266)
Se alt med Andrei Voronkov ( t.ex. Pocketbok och Inbunden Bok )