Mathematical programming theory practice (14 Ergebnisse)
Weitere Bilder- Hardcover
Anbieter: BoundlessBookstore, Wallingford, Vereinigtes KönigreichBoundlessBookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 23,48
EUR 8,37 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Good. Light wear to boards. Content is clean with slight age tone. DJ with some edge wear and creasing.
- Softcover
- Erstausgabe
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 34,87
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: 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
- Erstausgabe
Anbieter: Katsumi-san Co., Cambridge, MA, USAKatsumi-san Co.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 36,67
EUR 1,74 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Very Good. 1st Edition. x, 274, [2] p. [br 29].
- Hardcover
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, DeutschlandAntiquariat Thomas Haker GmbH & Co. KG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: GIAQ
Zustand: Gebraucht - Gut
EUR 22,00
EUR 20,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Gut. ix ; 241 p. Good. Ex-library with usual markings. Clean pages. Sprache: Englisch Gewicht in Gramm: 530.
Sprache: Englisch
Verlag: London / New York, John Wiley & Sons Ltd. .1971., 1971
- Hardcover
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, DeutschlandAntiquariat Thomas Haker GmbH & Co. KG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: GIAQ
Zustand: Gebraucht - Gut
EUR 24,00
EUR 20,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: 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
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 66,38
EUR 2,35 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: 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
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 69,37
EUR 2,35 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 52,78
EUR 35,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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.…
Verlag: TBD, china, 1970
- Softcover
Anbieter: Sunny Day Bookstore, SINGAPORE, SingapurSunny Day Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Sehr gut
EUR 55,01
EUR 13,35 VersandVersand von Singapur nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Fine. RUA8900091.
Sprache: Englisch
Verlag: North-Holland Pub. Co.American Elsevier Pub. Co., 1974
- Hardcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
SonderangebotAktueller Preis: EUR 45,00
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Sprache: Englisch
Verlag: North-Holland Pub. Co.American Elsevier Pub. Co., 1974
- Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 189,00
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: 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.
- Hardcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Befriedigend
EUR 282,94
EUR 29,99 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
hardcover. Zustand: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
- Print-on-Demand
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 47,57
EUR 7,79 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 20 verfügbar
PF. Zustand: 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.
Anbieter: Moby Dick, Noordwijk, NiederlandeMoby Dick
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 45,00
EUR 49,10 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
In den WarenkorbNorth-Holland 1974 cloth, 482 pp. Proceedings NATO symposium 1972. (code Sc-163).
