Mathematical programming theory practice (12 resultados)
- Tapa blanda
- Primera edición
Librería: Better World Books, Mishawaka, IN, Estados Unidos de AmericaBetter World Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 34,82
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Good. 1st Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Tapa dura
- Primera edición
Librería: Katsumi-san Co., Cambridge, MA, Estados Unidos de AmericaKatsumi-san Co.
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 36,61
Envío por EUR 1,73Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponible
Hardcover. Condición: Very Good. 1st Edition. x, 274, [2] p. [br 29].
- Tapa dura
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, AlemaniaAntiquariat Thomas Haker GmbH & Co. KG
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: GIAQ
Condición: Usado - Bueno
EUR 22,00
Envío por EUR 20,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Hardcover. Condición: Gut. ix ; 241 p. Good. Ex-library with usual markings. Clean pages. Sprache: Englisch Gewicht in Gramm: 530.
Idioma: Inglés
Editorial: London / New York, John Wiley & Sons Ltd. .1971., 1971
- Tapa dura
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, AlemaniaAntiquariat Thomas Haker GmbH & Co. KG
Contactar con el vendedorVendedor de 5 estrellasMiembro de asociación: GIAQ
Condición: Usado - Bueno
EUR 24,00
Envío por EUR 20,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Gut. 241 p., with figures, Good condition. Library copy with usual marks. Sprache: Englisch Gewicht in Gramm: 580.
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), Berlin, March 25-29, 1985 : Colloquium on Trees in Algebra and Programming (Caap'85)
Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 64,29
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), Berlin, March 25-29, 1985 : Colloquium on Trees in Algebra and Programming (Caap'85)
Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 69,26
Envío por EUR 2,35Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 46,57
Envío por EUR 35,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Specification and top down design of distributed systems.- Specification languages for distributed systems.- Semantically based programming tools (Summary).- From function level semantics to program transformation and optimization.- Inductively defined functions.- Three approaches to type structure.- On the maximum size of random trees.- Fast searching in a real algebraic manifold with applications to geometric complexity.- Typed categorical combinatory logic.- A path ordering for proving termination of term rewriting systems.- A rewrite rule based approach for synthesizing abstract data types.- 'Delayability' in proofs of strong normalizability in the typed lambda Calculus.- Bisimulations and abstraction homomorphisms.- A metric characterization of fair computations in CCS.- A complete modal proof system for a subset of SCCS.- Amalgamation of graph transformations with applications to synchronization.- Decompilation of control structures by means of graph transformations.- Synchronized bottom-up tree automata and L-systems.- On observational equivalence and algebraic specification.- Parameter preserving data type specifications.- On the parameterized algebraic specification of concurrent systems.- The semantics of shared submodules specifications.- Why Horn formulas matter in computer science: Initial structures and generic examples.- On the implementation of abstract data types by programming language constructs.- A LISP compiler for FP language and its proof via algebraic semantics.…
Editorial: TBD, china, 1970
- Tapa blanda
Librería: Sunny Day Bookstore, SINGAPORE, SingapurSunny Day Bookstore
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Excelente
EUR 54,92
Envío por EUR 13,33Se envía de Singapur a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoCondición: Fine. RUA8900091.
Idioma: Inglés
Editorial: North-Holland Pub. Co.American Elsevier Pub. Co., 1974
- Tapa dura
Librería: Buchpark, Trebbin, AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 45,00
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Condición: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Idioma: Inglés
Editorial: North-Holland Pub. Co.American Elsevier Pub. Co., 1974
- Tapa dura
Librería: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, AlemaniaBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 189,00
Envío por EUR 39,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponible
Hardcover. Condición: gut. Mathematical programming in theory and practice : proceedings of the NATO Advanced Study Institute, Figueira da Foz, Portugal, June 12-23, 1972 In englischer Sprache. pages.
- Tapa dura
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Aceptable
EUR 292,65
Envío por EUR 29,47Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponible
hardcover. Condición: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
Librería: Moby Dick, Noordwijk, HolandaMoby Dick
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 45,00
Envío por EUR 49,10Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponible
Añadir al carritoNorth-Holland 1974 cloth, 482 pp. Proceedings NATO symposium 1972. (code Sc-163).
