Тема, жанр, tags: Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Programming Languages Compil » Page 1484 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Programming Languages Compil » Page 1484

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 Compiling Natural Semantics

Compiling Natural Semantics

pdf

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

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

0

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

book Dynamic Programming: A Computational Tool

Dynamic Programming: A Computational Tool

pdf

Author: Prof. Lew Art Dr. Holger Mauch (auth.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Agent-Oriented Programming: From Prolog to Guarded Definite Clauses

Agent-Oriented Programming: From Prolog to Guarded Definite Clauses

pdf

Author: Matthew M. Huntbach Graem A. Ringwood (auth.)
Language: English
Year: 1999

00

26.01.2024

0

0