Mathematical programming theory practice (9 résultats)

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.

Hardcover. Etat : Very Good. 1st Edition. x, 274, [2] p. [br 29].

Hardcover. Etat : Gut. ix ; 241 p. Good. Ex-library with usual markings. Clean pages. Sprache: Englisch Gewicht in Gramm: 530.

Hardcover. Etat : Gut. 241 p., with figures, Good condition. Library copy with usual marks. Sprache: Englisch Gewicht in Gramm: 580.

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.…

Etat : Fine. RUA8900091.

Etat : Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

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.

North-Holland 1974 cloth, 482 pp. Proceedings NATO symposium 1972. (code Sc-163).