MPG.eBooks - Search Results

1

Perspectives of System Informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers

Published 2015

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

2

Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers

Published 2010

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

3

Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

Published 2007

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

4

Automated Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... and Practice -- BDD-Based Decision Procedures for -- Proof-Carrying Code and Compiler Verification -- Temporal...”

Read Now

5

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,...

Published 2016

Springer International Publishing

Subjects: “...Compilers (Computer programs)...”

Read Now

6

Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... -- Compiling and Verifying Security Protocols -- Equational Binary Decision Diagrams -- A PVS Proof Obligation...”

Read Now

7

Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

8

Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

9

Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Published 2010

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

10

Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Published 2012

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

11

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Published 2015

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

12

Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

13

Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Published 2018

Springer International Publishing

Subjects: “...Compilers (Computer programs)...”

Read Now

14

Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers

Published 2012

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

15

Automated Deduction—CADE-18 : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

by Voronkov, Andrei
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Programming Languages, Compilers, Interpreters...”

Read Now

16

Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, Se...

Published 1992

Springer Berlin Heidelberg

Table of Contents: “... terms in Prolog -- Compiling Flang -- FIDO: Finite domain consistency techniques in logic programming...”

Read Now

17

Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Published 1992

Springer Berlin Heidelberg

Table of Contents: “...: An interactive tool to understand the compilation of PROLOG -- SEPIA — a Basis for Prolog extensions...”

Read Now

18

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... with ?MEGA: ?2 Is Irrational -- A Local System for Linear Logic -- Investigating Type-Certifying Compilation...”

Narrow Search