Schwichtenberg helmut (53 Ergebnisse)

122 Seiten, 8°, Halbleinen. Stempel auf Vorsatz, Pappeinband mit Nummerierung, insgesamt aber gut erhalten.

Hardcover. Zustand: Very Good. No Jacket. 1st Edition. 470 pages, a near fine hbk, publisher's laminated white boards (no jacket required). It is an ex-library book, but has clearly been rarely used.[3540585818].

1st ed. 1 online resource (456 p.). Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. NATO science series. Sprache: Englisch.…

Zustand: As New.

Zustand: Fine.

Hardcover. Zustand: Very Good.

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.…

Zustand: New. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001 Editor(s): Schwichtenberg, Helmut; Steinbruggen, Ralf. Series: NATO Science Series II. Num Pages: 415 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 597. . 2002. Softcover reprint of the original 1st ed. 2002. Paperback. . . . . Books ship from the US and Ireland. …

Zustand: Sehr gut. orig. ed. 457 p. In very good condition. ISBN: 9783540645894 Sprache: Englisch Gewicht in Gramm: 788 15,6 x 2,5 x 23,4 cm, hardcover.

Broschiert. Zustand: Gut. 564 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 855. …

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.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Marktoberdorf Summer School 1995 'Logic of Computation' was the 16th in a series of Advanced Study Institutes under the sponsorship of the NATO Scientific Affairs Division held in Marktoberdorf. Its scientific goal was to survey recent progress on the impact of logical methods in software development. The courses dealt with many different aspects of this interplay, where major progress has been made. Of particular importance were the following. - The proofs-as-programs paradigm, which makes it possible to extract verified programs directly from proofs. Here a higher order logic or type theoretic setup of the underlying language has developed into a standard. - Extensions of logic programming, e.g. by allowing more general formulas and/or higher order languages. - Proof theoretic methods, which provide tools to deal with questions of feasibility of computations and also to develop a general mathematical understanding of complexity questions. - Rewrite systems and unification, again in a higher order context. Closely related is the now well-established Grabner basis theory, which recently has found interesting applications. - Category theoretic and more generally algebraic methods and techniques to analyze the semantics of programming languages. All these issues were covered by a team of leading researchers. Their courses were grouped under the following headings.…

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. Logic of Computation | Helmut Schwichtenberg | Taschenbuch | vii | Englisch | 2012 | Springer | EAN 9783642638329 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Hardcover. Zustand: Brand New. 456 pages. 9.50x6.50x1.25 inches. In Stock.

Zustand: New. In English.

Zustand: New. In English.

Hard Cover. Zustand: Good. No Jacket. "Series III: Computer and Systems Sciences - Vol. 200." Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear. 445 pages. Ex-Library.

Zustand: New. In English.

Zustand: New.

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

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2000 is the 14th such annual conference, thus witnessing the importance and sustained international interest in the application of me- ods from mathematical logic to computer science. The current conference was organized by the Mathematics Institute and the Computer Science Institute of the Ludwig-Maximilians-Universit at Munc hen (LMU), with generous nancial supportfromtheDeutscheForschungsgemeinschaft,Forschungsinstitutfur an- wandte Softwaretechnologie (FAST e.V.), Munc hener Universit atsgesellschaft e.V., and Siemens AG. Our sponsors generosity enabled, among other things, stipends for the nancial support of students as well as of researchers from Ea- ern Europe. Topics in the call for papers for CSL2000 included: automated deduction andinteractivetheoremproving,categoricallogicandtopologicalsemantics,c- structivemathematicsandtypetheory,domaintheory,equationallogicandterm rewriting, nite model theory, database theory, higher order logic, lambda and combinatory calculi, logical aspects of computational complexity, logical fo- dations of programming paradigms, logic programming and constraints, linear logic, modal and temporal logics, model checking, program extraction, program logicsandsemantics,programspeci cation,transformationandveri cation.The invited speakers were: Moshe Vardi (Houston), Paul Beame (Washington), - dreas Blass (Ann Arbor), Egon B orger (Pisa), Yuri Gurevich (Redmond), Bruno Poizat (Lyons), Wolfram Schulte (Redmond), Saharon Shelah (Jerusalem), and Colin Sterling (Edinburgh). Special thanks to Moshe Vardi for being willing to speakintheplaceofMikl osAjtai(Almaden),whocouldnotattendthemeeting. The day of 24 August 2000, during the week-long CSL2000 meeting, was reserved for theGurevichSymposium, a special, one-day tribute to the scienti c contributions of Professor Yuri Gurevich, at the occasion of his 60th birthday.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.…

Hardcover. Zustand: Brand New. 1st edition. 480 pages. 9.50x6.25x1.25 inches. In Stock.

Hardcover. Zustand: Brand New. 394 pages. 9.75x6.75x1.00 inches. In Stock.

Gebunden. Zustand: New. Logic is of special importance in computer science, since it provides the basis for giving correct semantics of programs, for specification and verification of software, and for program synthesis.nThe lectures presented here provide the basic knowledge a re.

Zustand: Used. pp. 460.