Mathematical programming theory practice (14 résultats)
Autres images- Couverture rigide
Vendeur : BoundlessBookstore, Wallingford, Royaume-UniBoundlessBookstore
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 23,48
EUR 8,37 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible
Hardcover. Etat : Good. Light wear to boards. Content is clean with slight age tone. DJ with some edge wear and creasing.
- Couverture souple
- Édition originale
Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 34,87
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Etat : 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.
- Couverture rigide
- Édition originale
Vendeur : Katsumi-san Co., Cambridge, MA, Etats-UnisKatsumi-san Co.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 36,67
EUR 1,74 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible
Hardcover. Etat : Very Good. 1st Edition. x, 274, [2] p. [br 29].
- Couverture rigide
Vendeur : Antiquariat Thomas Haker GmbH & Co. KG, Berlin, AllemagneAntiquariat Thomas Haker GmbH & Co. KG
Contacter le vendeurVendeur avec une évaluation de 5 étoilesMembre d’une association professionnelle : GIAQ
Etat: Occasion - Assez bon
EUR 22,00
EUR 20,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Hardcover. Etat : Gut. ix ; 241 p. Good. Ex-library with usual markings. Clean pages. Sprache: Englisch Gewicht in Gramm: 530.
Langue : anglais
Edité par London / New York, John Wiley & Sons Ltd. .1971., 1971
- Couverture rigide
Vendeur : Antiquariat Thomas Haker GmbH & Co. KG, Berlin, AllemagneAntiquariat Thomas Haker GmbH & Co. KG
Contacter le vendeurVendeur avec une évaluation de 5 étoilesMembre d’une association professionnelle : GIAQ
Etat: Occasion - Assez bon
EUR 24,00
EUR 20,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponibles
Hardcover. Etat : 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
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 66,38
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponibles
Etat : 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
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 69,37
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 52,78
EUR 35,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Taschenbuch. Etat : 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.…
Edité par TBD, china, 1970
- Couverture souple
Vendeur : Sunny Day Bookstore, SINGAPORE, SingapourSunny Day Bookstore
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Très bon
EUR 55,01
EUR 13,35 expéditionExpédition depuis Singapour vers Etats-UnisQuantité disponible : 1 disponible
Ajouter au panierEtat : Fine. RUA8900091.
Langue : anglais
Edité par North-Holland Pub. Co.American Elsevier Pub. Co., 1974
- Couverture rigide
Vendeur : Buchpark, Trebbin, AllemagneBuchpark
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
Bonne affairePrix actuel : EUR 45,00
EUR 105,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Etat : Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Langue : anglais
Edité par North-Holland Pub. Co.American Elsevier Pub. Co., 1974
- Couverture rigide
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, AllemagneBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 189,00
EUR 39,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Hardcover. Etat : 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.
- Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Satisfaisant
EUR 282,94
EUR 29,99 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible
hardcover. Etat : Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
- Couverture souple
- impression à la demande
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 47,57
EUR 7,79 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 20 disponibles
PF. Etat : New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
Vendeur : Moby Dick, Noordwijk, Pays-BasMoby Dick
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion
EUR 45,00
EUR 49,10 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible
Ajouter au panierNorth-Holland 1974 cloth, 482 pp. Proceedings NATO symposium 1972. (code Sc-163).
