Order Total (1 Item Items):
Shipping Destination:
Mathematical Programming Theory Practice (7 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (7)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (2)
- As New, Fine or Near Fine (1)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (3)
- Not Print on Demand (7)
Language (2)
Free Shipping
- Free Shipping to United Kingdom (No further results match this refinement)
Seller Location
Seller Rating
-
Mathematical Programming in Theory and Practice: Proceedings of the NATO Advanced Study Institute, Figueira Da Foz, Portugal, June 12-23, 1972
Published by Elsevier Science Publishing Co Inc.,U.S., 1974
ISBN 10: 072042819X ISBN 13: 9780720428193
Language: English
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,950grams, ISBN:072042819X.
-
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)
Published by Springer Berlin Heidelberg, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
Language: English
£ 38.24
Convert currency£ 12.14 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
-
Mathematical programming in theory and practice : proceedings of the NATO Advanced Study Institute, Figueira da Foz, Portugal, June 12-23, 1972
Published by North-Holland Pub. Co.American Elsevier Pub. Co., 1974
ISBN 10: 044410741X ISBN 13: 9780444107411
Language: English
£ 40.22
Convert currency£ 20.74 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
-
£ 30.74
Convert currency£ 33.58 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: Very Good. 1st Edition. x, 274, [2] p. [br 29].
-
£ 50.93
Convert currency£ 14.92 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: New.
-
£ 57.98
Convert currency£ 14.92 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: As New. Unread book in perfect condition.
-
£ 40.22
Convert currency£ 16.92 shipping from Netherlands to United KingdomQuantity: 1 available
Add to basketNorth-Holland 1974 cloth, 482 pp. Proceedings NATO symposium 1972. (code Sc-163).
