apt k r (21 resultados)

Autor : apt k r

Clasificar por

Imagen de archivo

Verification of Sequential and Concurrent Programs
Libro 14 de 16: Monographs in Computer Science
Apt, K. R., Olderog, F. R.

Idioma: Ingl�s

Publicado por Springer, 1991

ISBN 10: 0387975322 ISBN 13: 9780387975320

Librería: Better World Books, Mishawaka, IN, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Antiguo o usado - Tapa dura
Condici�n: Aceptable

EUR 38,62

Gastos de env�o gratis
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

Condici�n: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Logics and Models of Concurrent Systems (NATO ASI Series, Computer and Systems Sciences) (Volume 13)

Apt, K.R. (ed)

Publicado por Springer-Verlag, 1985

Librería: Anybook.com, Lincoln, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Antiguo o usado - Tapa dura
Condici�n: Regular

EUR 14,72

Env�o por EUR 15,59
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

Condici�n: Fair. Volume 13. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1100grams, ISBN:0540151818.
Imagen del vendedor

Annals of mathematical logic. Volume 6, Number 3/4, March 1974

APT K. R., MAREK W., DEKKER J. C. E., ELLENTUCK E. , LAMBEK J., LEGGETT A., SREBRNY M., RUCKER R. v. B.

Publicado por Amsterdam - 1974, 1974

Librería: Sylvain Par�, Montolieu, Francia

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Antiguo o usado - Tapa blanda

EUR 20,00

Env�o por EUR 15,20
Se env�a de Francia a Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

Ed. North-Holland, Amsterdam - 1974, in-8, broch�, 243 pages (table des mati�res sur la photo) Bon �tat - Pour les envois hors de France, la tafication �livre & brochure� pour les frais de port a disparue.Les frais de port annonc�s correspondent � une moyenne. Ils seront calcul�s au plus juste en fonction du poids de votre article.
Imagen de archivo

Constraint Logic Programming Using Eclipse (Hb 2007)

Apt R.K.

Idioma: Ingl�s

Publicado por Cambridge University Press, 2007

ISBN 10: 0521866286 ISBN 13: 9780521866286

Librería: Basi6 International, Irving, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Nuevo - Tapa dura
Condici�n: Nuevo

EUR 55,91

Gastos de env�o gratis
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 8 disponibles
A�adir al carrito

Condici�n: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Imagen del vendedor

Boys' Adventure Book

T.C. Bridges, R.S. Lyons, Apt. K. Maclure, etc Various

Publicado por New Century Press, 1930

Librería: HALCYON BOOKS, LONDON, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Antiguo o usado - Tapa dura
Condici�n: Bueno

EUR 17,13

Env�o por EUR 20,64
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

Hardcover. Condici�n: Very Good. Pages clean, no markings, wear to edges, age toned. Complete with numerous illustrations. Hinges weak. ALL ITEMS ARE DISPATCHED FROM THE UK WITHIN 48 HOURS ( BOOKS ORDERED OVER THE WEEKEND DISPATCHED ON MONDAY) ALL OVERSEAS ORDERS SENT BY TRACKABLE AIR MAIL. IF YOU ARE LOCATED OUTSIDE THE UK PLEASE ASK US FOR A POSTAGE QUOTE FOR MULTI VOLUME SETS BEFORE ORDERING.
Second Order Arithmetic and Related Topics (in) Annals of Mathematical Logic, Volume 6, Numbers 3 &4, March 1974

Apt, K. R.; & W. Marek; (edited by C.C. Chang; A. Mostowski; et al); [from the library of Alonzo Church]

Publicado por North-Holland Publishing Company, Amsterdam, 1974

Librería: About Books, Henderson, NV, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Original o primera edici�n

Antiguo o usado - Tapa blanda
Condici�n: Bueno

EUR 35,40

Env�o por EUR 5,98
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

Paperback. Condici�n: Very Good condition. First Edition. Amsterdam: North-Holland Publishing Company, 1974. Very Good condition. A solid copy -- clean and tight. Bound in the original yellow wrappers, with the spine color uniformly sun-faded to a shade of off-white. Black lettering on the spine remains clear and distinct. Pages are clean. NO underlining. NO highlighting. NO margin notes. Softcover. 16.5 cm wide by 24 cm tall. Among 6 articles in this issue is SECOND ORDER ARITHMETIC AND RELATED TOPICS by K. R. Apt & W. Marek. This is one of several dozen books and periodicals from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature, or a presentation inscription to him. Unfortunately, this copy does not have those signs of his ownership. [But please check our inventory for several others that do]. Alonzo Church (1903 - 1995) was professor of mathematics at Princeton University (1929-1967) and of mathematics and philosophy at UCLA (1967-1990). He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem, Church's Thesis, and the Lambda Calculus. His work was of major importance in mathematical logic, recursion theory, theoretical computer science, and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. He was elected to the National Academy of Sciences, British Academy, and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. [For more on Church's contributions, see items 250, 251, 321, 394, and 533 in Hook and Norman's ORIGINS OF CYBERSPACE, A LIBRARY ON THE HISTORY OF COMPUTING.]. First Edition. Softcover. Very Good condition. pp. 177-423 + 4 pages of ads. Great Packaging, Fast Shipping.
Boys' Adventure Book

T.C. Bridges, R.S. Lyons, Apt. K. Maclure, etc Various

Publicado por New Century Press, 1936

Librería: Border Books, Hebden Bridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Antiguo o usado - Tapa dura
Condici�n: vgc

EUR 7,09

Env�o por EUR 33,25
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

Hardback. Condici�n: vgc. Estado de la sobrecubierta: No Dust Jacket. Various, Kenneth Brookes illustration on the cover Ilustrador. Pictorial Boards, red spine, Kenneth Brookes illustration on the cover, som light board wear and bent corners, inscription dated 1936.
Foundations of Computer Science II Part 1/2.

Apt, K. R.; J. W. de Bakker (eds.):

Publicado por Amsterdam, Mathematical Centre Tracts, ,, 1976

Librería: Antiquariat Gothow & Motzke, Berlin, Alemania

Calificaci�n del vendedor: 3 de 5 estrellas

Contactar al vendedor

Antiguo o usado - Tapa blanda

EUR 40,00

Env�o por EUR 9,95
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

2 B�nde/vols., 147, 149 S./pp., Originalbroschur (publisher's paper covers), Bibliotheksexemplar von guter Erhaltung / fine exlibrary, keine Unterstreichungen oder Anmerkungen/no underlinings or remarks, Sprache: englisch.
Imagen de archivo

Principles of Constraint Programming

Apt, K.R.

Idioma: Ingl�s

Publicado por Cambridge University Press, 2003

ISBN 10: 0521825830 ISBN 13: 9780521825832

Librería: Anybook.com, Lincoln, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Antiguo o usado - Tapa dura
Condici�n: Aceptable

EUR 70,61

Env�o por EUR 15,59
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

Condici�n: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9780521825832.
Imagen del vendedor

Formal description of programming concepts / Erich J. Neuhold ; Manfred Paul (eds.). With contributions by K. R. Apt . / State-of-the-art reports / IFIP

Neuhold, Erich J., Krzysztof R. Apt K.R. Apt u. a.:

Idioma: Ingl�s

Publicado por Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991

ISBN 10: 3540539611 ISBN 13: 9783540539612

Librería: Roland Antiquariat UG haftungsbeschr�nkt, Weinheim, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Antiguo o usado - Tapa dura

EUR 46,90

Env�o por EUR 42,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

Hardcover. 1991. VI, 507 p. ; 24 cm Very good condition. Minimum traces of storage. --- Sehr guter Zustand. Minimale Lagerspuren. 9783540539612 Sprache: Englisch Gewicht in Gramm: 1134.
Foundations of Computer Science II , Part 2 - Mathematical Centre Tracts 82

Apt, K.R. (ed.) / Bakker J.W de (ed.)

Publicado por Mathematisch Centrum Amsterdam 1976, 1976

Librería: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Alemania

Calificaci�n del vendedor: 3 de 5 estrellas

Contactar al vendedor

Antiguo o usado - Tapa blanda

EUR 40,00

Env�o por EUR 15,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

Softcover Sehr gut erhalten.
Foundations of Computer Science II , Part 1 - Mathematical Centre Tracts 81

Apt, K.R. (ed.) / Bakker J.W de (ed.)

Publicado por Mathematisch Centrum Amsterdam 1976, 1976

Librería: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Alemania

Calificaci�n del vendedor: 3 de 5 estrellas

Contactar al vendedor

Antiguo o usado - Tapa blanda

EUR 40,00

Env�o por EUR 15,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

Softcover Sehr gut erhalten.
Imagen del vendedor

Formal Description of Programming Concepts

Neuhold, Erich J. (EDT); Paul, Manfred (EDT); Apt, K. R. (CON); Astesiano, E. (CON); Bjorner, D. (CON)

Idioma: Ingl�s

Publicado por Springer, 1991

ISBN 10: 3540539611 ISBN 13: 9783540539612

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Nuevo - Tapa dura
Condici�n: Nuevo

EUR 114,62

Env�o por EUR 2,27
Se env�a dentro de Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles
A�adir al carrito

Condici�n: New.
Imagen del vendedor

Logic Programming Languages: Constraints, Functions, and Objects

Apt, K.R., J.W. de Bakker and J.J.M.M. Rutten:

Idioma: Ingl�s

Publicado por MIT Press, 1993

ISBN 10: 0262011344 ISBN 13: 9780262011341

Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Antiguo o usado - Tapa dura
Condici�n: Bueno

EUR 110,00

Env�o por EUR 15,95
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

Hardcover-Gro�format. Condici�n: Gut. 204 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (R�ckenschild, Instituts-Stempel.). In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 550.
Imagen del vendedor

Formal Description of Programming Concepts

Neuhold, Erich J. (EDT); Paul, Manfred (EDT); Apt, K. R. (CON); Astesiano, E. (CON); Bjorner, D. (CON)

Idioma: Ingl�s

Publicado por Springer, 1991

ISBN 10: 3540539611 ISBN 13: 9783540539612

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Nuevo - Tapa dura
Condici�n: Nuevo

EUR 113,54

Env�o por EUR 17,20
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles
A�adir al carrito

Condici�n: New.
Edici�n internacional

CONSTRAINT LOGIC PROGRAMMING USING ECLIPSE (HB 2007)

APT R.K.

Idioma: Ingl�s

Publicado por CAMBRIDGE UNIVERSITY PRESS, 2007

ISBN 10: 0521866286 ISBN 13: 9780521866286

Librería: UK BOOKS STORE, London, LONDO, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Edici�n internacional

Nuevo - Tapa dura
Condici�n: Nuevo

EUR 138,27

Env�o por EUR 6,87
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: 2 disponibles
A�adir al carrito

Condici�n: New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Imagen de archivo

Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)

Neuhold, Erich J. [Editor]; Paul, Manfred [Editor]; Apt, K.R. [Contributor]; Astesiano, E. [Contributor]; Bjorner, D. [Contributor]; Broy, M. [Contributor]; Cardelli, L. [Contributor]; Mosses, P.D. [Contributor]; Olderog, E.-R. [Contributor]; Wirsing, M. [Contributor];

Idioma: Ingl�s

Publicado por Springer, 1991

ISBN 10: 3540539611 ISBN 13: 9783540539612

Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Nuevo - Tapa dura
Condici�n: Nuevo

EUR 164,10

Env�o por EUR 5,98
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

hardcover. Condici�n: New. In shrink wrap. Looks like an interesting title!
Imagen de archivo

Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)

Neuhold, Erich J. [Editor]; Paul, Manfred [Editor]; Apt, K.R. [Contributor]; Astesiano, E. [Contributor]; Bjorner, D. [Contributor]; Broy, M. [Contributor]; Cardelli, L. [Contributor]; Mosses, P.D. [Contributor]; Olderog, E.-R. [Contributor]; Wirsing, M. [Contributor];

Idioma: Ingl�s

Publicado por Springer, 1991

ISBN 10: 3540539611 ISBN 13: 9783540539612

Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Nuevo - Tapa dura
Condici�n: Nuevo

EUR 164,10

Env�o por EUR 5,98
Se env�a dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

hardcover. Condici�n: New. In shrink wrap. Looks like an interesting title!
Imagen del vendedor

Formal Description of Programming Concepts

Neuhold, Erich J. (EDT); Paul, Manfred (EDT); Apt, K. R. (CON); Astesiano, E. (CON); Bjorner, D. (CON)

Idioma: Ingl�s

Publicado por Springer, 1991

ISBN 10: 3540539611 ISBN 13: 9783540539612

Librería: GreatBookPricesUK, Woodford Green, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Antiguo o usado - Tapa dura
Condici�n: Como Nuevo

EUR 188,95

Env�o por EUR 17,20
Se env�a de Reino Unido a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles
A�adir al carrito

Condici�n: As New. Unread book in perfect condition.
Imagen del vendedor

Formal Description of Programming Concepts

Neuhold, Erich J. (EDT); Paul, Manfred (EDT); Apt, K. R. (CON); Astesiano, E. (CON); Bjorner, D. (CON)

Idioma: Ingl�s

Publicado por Springer, 1991

ISBN 10: 3540539611 ISBN 13: 9783540539612

Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Contactar al vendedor

Antiguo o usado - Tapa dura
Condici�n: Como Nuevo

EUR 213,08

Env�o por EUR 2,27
Se env�a dentro de Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles
A�adir al carrito

Condici�n: As New. Unread book in perfect condition.
From universal morphisms to megabytes: a Baayen space odyssey

K.R Apt, A Schrijver, & N.M Temme

Publicado por Stichting Mathematisch Centrum. 1994., 1994

Librería: Antiquariaat Ovidius, Bredevoort, Holanda

Calificaci�n del vendedor: 4 de 5 estrellas

Contactar al vendedor

Antiguo o usado - Tapa blanda
Condici�n: Gebraucht / Used

EUR 60,00

Env�o por EUR 22,00
Se env�a de Holanda a Estados Unidos de America

Cantidad disponible: 1 disponibles
A�adir al carrito

Condici�n: Gebraucht / Used. Paperback. Spine slightly creased. Xii,642pp.

�No encuentra su libro?

D�ganos qu� libro busca y le informaremos autom�ticamente por e-mail, en cuanto un ejemplar que corresponda a sus criterios haga entrada en nuestro cat�logo.

Hacer una petici�n

apt k r (21 resultados)

Filtros de b�squeda

Tipo de art�culo

Condici�n M�s informaci�n

Encuadernaci�n

M�s atributos

Idioma (2)

Precio

Gastos de env�o gratis

Ubicaci�n del vendedor

Valoraci�n de los vendedores

�No encuentra su libro?

Ayuda con la b�squeda