Ergebnisse filtern
-
- 32
- 31
-
- 1
- 1
- 1
- 37
- 17
- 6
-
- 1
- 54
- 8
-
- 63
-
- 58
- 5
-
- 63
-
Voronkov Perspectives of Systems Informatics
6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70880-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voronkov Perspectives of Systems Informatics
6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers2007Verlag: SpringerISBN: 978-3-540-70881-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Voronkov Logic Programming and Automated Reasoning
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55727-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pnueli / Voronkov Perspectives of Systems Informatics
7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers2010Verlag: SpringerISBN: 978-3-642-11486-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Voronkov Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-56944-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voronkov Perspectives of System Informatics
9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-662-46823-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Voronkov Rewriting Techniques and Applications
19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-70590-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Voronkov Rewriting Techniques and Applications
19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-70588-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55460-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voronkov Automated Deduction - CADE-18
18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings2002Verlag: SpringerISBN: 978-3-540-45620-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Voronkov Logic Programming and Automated Reasoning
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings1993Verlag: SpringerISBN: 978-3-540-47830-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
Kurzfristig nicht lieferbar
-
Voronkov / A.P. Ershov Institute of Informatics Systems Perspectives of System Informatics
9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers2015Verlag: SpringerISBN: 978-3-662-46822-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Clarke / Voronkov Perspectives of Systems Informatics
8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-29709-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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. Proceedings1992Verlag: SpringerISBN: 978-3-540-47083-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
Kurzfristig nicht lieferbar
-
Voronkov Logic Programming and Automated Reasoning
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings1992Verlag: SpringerISBN: 978-3-540-47279-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
Kurzfristig nicht lieferbar
-
Voronkov Automated Deduction - CADE-18
18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-43931-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pnueli / Voronkov Perspectives of Systems Informatics
7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11485-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Clarke / Voronkov Perspectives of Systems Informatics
8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers2012Verlag: SpringerISBN: 978-3-642-29708-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voronkov / Petrenko Perspectives of System Informatics
11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-74312-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Mazzara / Voronkov Perspectives of System Informatics
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-41579-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Petrenko / Voronkov Perspectives of System Informatics
11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-74313-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Voronkov / Mazzara Perspectives of System Informatics
10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-41578-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bjørner / Virbitskaite / Voronkov Perspectives of System Informatics
12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-37487-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Bjørner / Voronkov / Virbitskaite Perspectives of System Informatics
12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2¿5, 2019, Revised Selected Papers1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-37486-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dershowitz / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-75560-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
