cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Autores con K
Krzysztof R. Apt

Número de Cutter-SanbornA655Entrada de tabla «Apt»

Krzysztof R. Apt

· 12 obras en el catálogo

Obras

Tapa de Constraint logic programming using ECLiPSe

Constraint logic programming using ECLiPSe

Tapa de New trends in constraints

New trends in constraints

Tapa de The Logic Programming Paradigm

The Logic Programming Paradigm

Tapa de Logics and Models of Concurrent Systems

Logics and Models of Concurrent Systems

Tapa de Programmverifikation

Programmverifikation

Tapa de Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Tapa de Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

LLectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

RRecent Advances in Constraints

Recent Advances in Constraints

EEdsger Wybe Dijkstra

Edsger Wybe Dijkstra

PProceedings of the 13th Conference on Theoretical Aspects of

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge

Tapa de Logic Programming Languages

Logic Programming Languages

Krzysztof R. Apt — obras y número de Cutter | Cutter Number