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

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

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

3

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

1

0

book Compiling Natural Semantics

Compiling Natural Semantics

pdf

Author: Mikael Pettersson (auth.)
Language: English
Year: 1999

00

26.01.2024

1

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 Scheduling: Theory, Algorithms, and Systems

Scheduling: Theory, Algorithms, and Systems

pdf

Author: Michael L. Pinedo (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

1

0

book Logic and Integer Programming

Logic and Integer Programming

pdf

Author: H. Paul Williams (auth.)
Language: English
Year: 2009

00

26.01.2024

0

0