Artalejo rodriguez (16 Ergebnisse)

Paperback. Zustand: Very Good. No Dust Jacket. Lecture Notes in Computer Science 510; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Small pen inscription on title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.…

Encuadernación de tapa blanda. Zustand: Muy bueno. 128 páginas.

Encuadernación de tapa blanda. Zustand: Bueno. 112 páginas.

Zustand: Good. *Price Has BEEN REDUCED by 10% until Monday, Oct. 12 (SALE item)* 600 pp., paperback, minor library markings else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Zustand: Bueno. Farmacología del SNC. Farmacología clínica y terapeútica del sistema nervioso. Año 1, nº 2. Septiembre 1987. 40 pp. Madrid 1987. Ilustrado. 28x21. Rústica.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled 'Toward the Concurrent Implementation of Computational Systems'. The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting, and types.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The 1999 Annual Conference of the European Association for Computer Science Logic, CSL'99, was held in Madrid, Spain, on September 20-25, 1999. CSL'99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL'99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings volume. Each submitted paper was refereed by at least two, and in almost all cases, three di erent referees. The second refereeing round, previously required before a - per was accepted for publication in the proceedings, was dropped following a decision taken by the EACSL membership meeting held during CSL'98 (Brno, Czech Republic, August 25, 1998).…

.- Madrid. 1978. Interduc/Schroederl. 4º menor. 128 pgs. Con ilustraciones. Rústica editorial. Pequeña rasgadura en cubierta anterior puntos de compás. Buen estado. . . ISBN 10: 8438840981. Matemáticas.

Madrid, Interduc/Schroederl, 1978. 24x16 cm. 250 p. Rústica. Buen estado. Primera edición. (Ref. N. 817-A).

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of ICALP '91, the 18th annual summer conference sponsored by the European Association for Theoretical Computer Science (EATCS). ICALP stands for International Colloquium on Automata, Languages, and Programming, and this conference series covers all important areas of theoretical computer science, such as: computability, automata, formal languages, data types and structures, theory of databases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logic and functional programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, computational geometry, cryptography, and theory of robotics. …