Тема, жанр, tags: Programming Languages Compilers Interpreters,Logics and Meanings of Programs,Software Engineering,Ma » Page 1390 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Languages Compilers Interpreters,Logics and Meanings of Programs,Software Engineering,Ma » Page 1390

book Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

djvu

Author: Martín Abadi Luca Cardelli (auth.) Donald Sannella (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book SOFSEM '95: Theory and Practice of Informatics: 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings

SOFSEM '95: Theory and Practice of Informatics: 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings

djvu

Author: Jirí Wiedermann (auth.) Miroslav Bartosek Jan Staudek Jirí Wiedermann (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

pdf

Author: Nachum Dershowitz Georg Moser (auth.) Hubert Comon-Lundh Claude Kirchner Hélène Kirchner (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

pdf

Author: Peter J. Stuckey Martin Sulzmann Jeremy Wazny (auth.) Naoki Kobayashi (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Objective Coordination in Multi-Agent System Engineering: Design and Implementation

Objective Coordination in Multi-Agent System Engineering: Design and Implementation

pdf

Author: Michael Schumacher (auth.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Ajax in Oracle JDeveloper

Ajax in Oracle JDeveloper

pdf

Author: Deepak Vohra (auth.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Geometric Algebra: An Algebraic System for Computer Games and Animation

Geometric Algebra: An Algebraic System for Computer Games and Animation

pdf

Author: Prof. John Vince MTech PhD DSc CEng FBCS (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Advanced Distributed Systems: Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004. Revised Selected Papers

Advanced Distributed Systems: Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004. Revised Selected Papers

pdf

Author: Adolfo Guzman Arenas (auth.) Félix F. Ramos Herwig Unger Victor Larios (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book The Seventeen Provers of the World: Foreword by Dana S. Scott

The Seventeen Provers of the World: Foreword by Dana S. Scott

pdf

Author: Freek Wiedijk (auth.) Freek Wiedijk (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

pdf

Author: Rajeev Alur (auth.) Farn Wang (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0