B plotkin (66 risultati)

Condizione: Good. Springer-Verlag, 1984. This Book is in Good Condition. Light wear to covers and edges, light erasures on Title page, text is clean with no marks, binding tight. Not Ex- Library or Remaindered. 100% Guaranteed. paperback. Good.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Pamphlet. Condizione: Very Good. Soft cover pamphlet with penning on front and light sunfading to cover. Pages clean in great condition.

Hardcover. Condizione: ex library-good. xviii, 502 p. 23 cm. Red hardcover. Ex library with labels on spine and rear pastedown. Ink stamps on top edge and title. Spine faded.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Hard Cover -. Condizione: Very Good. Condizione sovraccoperta: Good. First edition / 1st Printing. First edition / First printing. Inscribed / signed by Hibel on the title-page: "To Barbara and Alan / Leslie / With Warm Wishes / Edna Hibel". Book : lower corners slightly bumped. Jacket : printed title clear. tear at upper left corner of front panel, tear on the lower left hand corner of the rear panel). Protected with new archival quality plastic cover. 23 x 31cm. hard cover. 160pp + supplements 1, 2 & 3 in rear pocket. Size: Folio - over 12" - 15" tall. Illustrated with Color and b&w Reproductions (illustratore). Signed by Illustrator(s). Book.…

Paperback. Condizione: New. Print on Demand. This book presents polynomial and strongly polynomial algorithms for the transshipment problem, which is central to network optimization. The author shows how to use excess scaling algorithms to guide pivot selection for both capacitated and uncapacitated transshipment problems, resulting in a polynomial simplex algorithm with a bounded number of pivots. The author also presents a strongly polynomial version of the algorithm with a strongly polynomial bound on the number of pivots. The insights presented in this book advance the field of network optimization by providing efficient algorithms for solving the transshipment problem. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.…

hardcover. Condizione: Very Good.

Hardcover. Condizione: Very Good. Light wear to cover. Open Books is a nonprofit social venture that provides literacy experiences for thousands of readers each year through inspiring programs and creative capitalization of books.

Gebunden. Condizione: New.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - A kernel language for abstract data types and modules.- A semantics of multiple inheritance.- Understanding Russell a first attempt.- A basic Abstract Semantic Algebra.- Using information systems to solve reoursive domain equations effectively.- The semantics of second order polymorphic lambda calculus.- Polymorphism is not set-theoretic.- A theory of data type representation independence.- Abstract data types and their extensions within a constructive logic.- Deriving structural induction in LCF.- Executable specification of static semantics.- Cartesian closed categories of enumerations for effective type structures.- Type inference and type containment.- F-semantics for intersection type discipline.- The typechecking of programs with implicit type structure.- Partial implementations of abstract data types: A dissenting view on errors.- Building specifications in an arbitrary institution.- A proof system for verifying composability of abstract implementations.- Towards a proof theoryof parameterized specifications.…

Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Taschenbuch. Condizione: Neu. Semantics of Data Types | International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings | G. Kahn (u. a.) | Taschenbuch | viii | Englisch | 1984 | Springer | EAN 9783540133469 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Hardcover. Condizione: Gut. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Sprache: Englisch Gewicht in Gramm: 550.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New. pp. 460.

Condizione: New. pp. 460 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Condizione: New.

Paperback. Condizione: Very Good. Used Very Good -Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Modern algebra, which not long ago seemed to be a science divorced from real life, now has numerous applications. Many fine algebraic structures are endowed with meaningful contents. Now and then practice suggests new and unexpected structures enriching algebra. This does not mean that algebra has become merely a tool for applications. Quite the contrary, it significantly benefits from the new connections. The present book is devoted to some algebraic aspects of the theory of databases. It consists of three parts. The first part contains information about universal algebra, algebraic logic is the subject of the second part, and the third one deals with databases. The algebraic material of the flI'St two parts serves the common purpose of applying algebra to databases. The book is intended for use by mathematicians, and mainly by algebraists, who realize the necessity to unite theory and practice. It is also addressed to programmers, engineers and all potential users of mathematics who want to construct their models with the help of algebra and logic. Nowadays, the majority of professional mathematicians work in close cooperation with representatives of applied sciences and even industrial technology. It is neces sary to develop an ability to see mathematics in different particular situations. One of the tasks of this book is to promote the acquisition of such skills.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Modern algebra, which not long ago seemed to be a science divorced from real life, now has numerous applications. Many fine algebraic structures are endowed with meaningful contents. Now and then practice suggests new and unexpected structures enriching algebra. This does not mean that algebra has become merely a tool for applications. Quite the contrary, it significantly benefits from the new connections. The present book is devoted to some algebraic aspects of the theory of databases. It consists of three parts. The first part contains information about universal algebra, algebraic logic is the subject of the second part, and the third one deals with databases. The algebraic material of the flI'St two parts serves the common purpose of applying algebra to databases. The book is intended for use by mathematicians, and mainly by algebraists, who realize the necessity to unite theory and practice. It is also addressed to programmers, engineers and all potential users of mathematics who want to construct their models with the help of algebra and logic. Nowadays, the majority of professional mathematicians work in close cooperation with representatives of applied sciences and even industrial technology. It is neces sary to develop an ability to see mathematics in different particular situations. One of the tasks of this book is to promote the acquisition of such skills.…