melton austin (26 Ergebnisse)

Zustand: Very Good. 1992nd Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

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

Zustand: Poor. Volume 298. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,950grams, ISBN:3540190201.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. pp. 660 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Softcover. 1986. VI, 395 p. Unread book. Very good condition. Minimal traces of storage. Pages slightly yellowed. 9783540168164 Sprache: Englisch Gewicht in Gramm: 777.

Zustand: Good. 1994th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Zustand: Brand New. 1st edition. 439 pages. 9.30x6.40x1.00 inches. In Stock.

Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 8 (weekend SALE item)* 395 pp., softcover, ex library, some wear to cover, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request.

Softcover. 439 p. Unread book. Very good condition. Possibly minimal storage marks. 9783540973751 Sprache: Englisch Gewicht in Gramm: 505.

Zustand: 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.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Standard, storeless semantics for ALGOL-style block structure and call-by-name.- Cartesian closed categories, quasitopoi and topological universes.- Concrete categories and injectivity.- Fixed points in process algebras with internal actions.- A fully abstract semantics and a proof system for an algol-like language with sharing.- Comparing categories of domains.- Galois connections.- Retracts of SFP objects.- Continuous categories.- Free constructions of powerdomains.- Additive domains.- A topological framework for cpos lacking bottom elements.- Detecting local finite breadth in continuous lattices and semilattices.- On the variety concept for -continuous algebras. Application of a general approach.- On denotational semantics of data bases.- Postconditional semantics of data base queries.- What is a model A consumer's perspective on semantic theory.- Modal theory, partial orders, and digital geometry.- An FP domain with infinite objects.- Union complete countable subset systems.- On the syntax and semantics of concurrent computing.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the SeventhInternational Conferenceon the Mathematical Foundations ofProgramming Semantics, held at Carnegie Mellon University,March 1991.The conference continued a series of annual meetings,alternating between workshop and conference formats,intended to bring together computer scientists andmathematicians for discussion of research problems, resultsand directions in programming language semantics and relatedareas. A major goalof the series is to improvecommunication and interaction between researchers in theseareas and to establish ties between related areas ofresearch.The volume contains revised and refereed versions of each ofthe contributed papers and refereed papers by three invitedspeakers:Jon Barwise, John Reynolds, and Mitchell Wand.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st Workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd Workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd Workshop survey as many areas of the Mathematical Foundations of Programming Language Semantics as reasonably possible. The Workshop attracted 49 submitted papers, from which 28 papers were chosen for presentation. The papers ranged in subject from category theory and Lambda-calculus to the structure theory of domains and power domains, to implementation issues surrounding semantics.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 520 | Sprache: Englisch | Produktart: Bücher | This volume contains the proceedings of the SeventhInternational Conferenceon the Mathematical Foundations ofProgramming Semantics, held at Carnegie Mellon University,March 1991.The conference continued a series of annual meetings,alternating between workshop and conference formats,intended to bring together computer scientists andmathematicians for discussion of research problems, resultsand directions in programming language semantics and relatedareas. A major goalof the series is to improvecommunication and interaction between researchers in theseareas and to establish ties between related areas ofresearch.The volume contains revised and refereed versions of each ofthe contributed papers and refereed papers by three invitedspeakers:Jon Barwise, John Reynolds, and Mitchell Wand.

Taschenbuch. Zustand: Neu. Mathematical Foundations of Programming Semantics | 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings | Stephen Brookes (u. a.) | Taschenbuch | x | Englisch | 1994 | Springer | EAN 9783540580270 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic. Recent conferences and workshops have increasingly emphasized applications of the semantics and mathematics. The study of the semantics develops with the mathematics and the mathematics is inspired by the applications in semantics. The volume presents current research in denotational semantics and applications of category theory, logic, and lattice theory to semantics.

Zustand: New. Contains introductory surveys as well as articles containing research and complete proofs devoted mainly to the theoretical and foundational developments of category theory and its applications to other fields. Editor(s): Koslowski, Jurgen; Melton, Austin. Series: Trends in Mathematics. Num Pages: 281 pages, biography. BIC Classification: PBC; PBF; PBPD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 597. . 2001. Hardback. . . . . Books ship from the US and Ireland.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 'Categorical Perspectives' consists of introductory surveys as well as articles containing original research and complete proofs devoted mainly to the theoretical and foundational developments of category theory and its applications to other fields. A number of articles in the areas of topology, algebra and computer science reflect the varied interests of George Strecker to whom this work is dedicated. Notable also are an exposition of the contributions and importance of George Strecker's research and a survey chapter on general category theory. This work is an excellent reference text for researchers and graduate students in category theory and related areas. Contributors: H.L. Bentley \* G. Castellini \* R. El Bashir \* H. Herrlich \* M. Husek \* L. Janos \* J. Koslowski \* V.A. Lemin \* A. Melton \* G. Preuá \* Y.T. Rhineghost \* B.S.W. Schroeder \* L. Schr'der \* G.E. Strecker \* A. Zmrzlina.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 'Categorical Perspectives' consists of introductory surveys as well as articles containing original research and complete proofs devoted mainly to the theoretical and foundational developments of category theory and its applications to other fields. A number of articles in the areas of topology, algebra and computer science reflect the varied interests of George Strecker to whom this work is dedicated. Notable also are an exposition of the contributions and importance of George Strecker's research and a survey chapter on general category theory. This work is an excellent reference text for researchers and graduate students in category theory and related areas. Contributors: H.L. Bentley \* G. Castellini \* R. El Bashir \* H. Herrlich \* M. Husek \* L. Janos \* J. Koslowski \* V.A. Lemin \* A. Melton \* G. Preuá \* Y.T. Rhineghost \* B.S.W. Schroeder \* L. Schr'der \* G.E. Strecker \* A. Zmrzlina.