Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Vieweg+Teubner Verlag, 1992
ISBN 10: 3528289287ISBN 13: 9783528289287
Anbieter: medimops, Berlin, Deutschland
Buch
Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 49,99
Gebraucht ab EUR 4,71
Mehr entdecken Softcover
Verlag: Springer, 2000
ISBN 10: 354064976XISBN 13: 9783540649762
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Buch
gebundene Ausgabe. Zustand: Gut. 357 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache! Sprache: Englisch Gewicht in Gramm: 600.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 58,10
Gebraucht ab EUR 4,45
Mehr entdecken Hardcover Erstausgabe
Verlag: Springer Verlag, Berlin Heidelberg New York London Paris Tokyo, 1987
ISBN 10: 3540181709ISBN 13: 9783540181705
Anbieter: Kultgut, Berlin, Deutschland
Buch
Softcover. Zustand: Gut. 442 p. = Lecture Notes in Computer Science, 270. Gutes Leseexemplar.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 59,51
Gebraucht ab EUR 10,00
Mehr entdecken Softcover Erstausgabe
Verlag: Vieweg, Braunschweig ; Wiesbaden, 1985
ISBN 10: 3528089288ISBN 13: 9783528089283
Anbieter: Gebrauchtbücherlogistik H.J. Lauterbach, Gummersbach, NRW, Deutschland
Buch
Hardcover. Zustand: Gut. Broschiert XVII, 469 S. : graph. Darst. ; 23 cm. Zustand: Gut min. gebräunt (Innen); Einband (Außen) hat min. leichte Gebrauchsspuren; Schnitt ist gering u. seitlicher stärker braunfleckig; * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt.
Mehr Angebote von anderen Verkäufern bei ZVAB
Gebraucht ab EUR 9,50
Vieweg&Sohn, Wiesbaden, 1985, , 422, Softcover (kartoniert), 8°, ohne Schutzumschlag, , Einband: etwas fleckig,
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verbandsmitglied: BOEV
Verlag: Oxford: Clarendon Press, 1995
Anbieter: Plurabelle Books Ltd, Cambridge, Vereinigtes Königreich
Verbandsmitglied: GIAQ
Buch
Hardcover. Zustand: Good. Series: International Schoolsfor Computer Scientists 460p hardback with yellow laminated cover, as new, from a Cambridge college library, unused, excellent condition Language: English.
Verlag: Würzburg: Königshausen & Neumann ,, 1981
ISBN 10: 3884790226ISBN 13: 9783884790229
Anbieter: modernes antiquariat f. wiss. literatur, Frankfurt am Main, Deutschland
Buch
159 S. Kt. gut erhalten, textsauber.
Mehr Angebote von anderen Verkäufern bei ZVAB
Gebraucht ab EUR 17,95
Verlag: Springer Berlin Heidelberg 2018-04-10, Berlin, 2018
ISBN 10: 3662566397ISBN 13: 9783662566398
Anbieter: Blackwell's, London, Vereinigtes Königreich
Buch
paperback. Zustand: New. Language: ENG.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 65,77
Verlag: Vieweg+Teubner Verlag, 1986
ISBN 10: 3528189282ISBN 13: 9783528189280
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thema dieses Buches sind zwei schon Voh Leibniz als zusammengehörend erkannte Begriffe, deren mathematische Entwicklung von Frege bis Turing das theoretische Fundament der Computerwissenschaft gelegt hat: der Be griff formaler Sprache als Träger präzisen Ausdrucks von Bedeutungen, Sach verhalten, Problemen und der des Algorithmus oder Kalküls, d. h. formal ope rierender Verfahren zur Lösung präzis beschriebener Fragen und Probleme. Das Buch gibt eine einheitliche Einführung in die moderne Theorie dieser Begriffe, wie sie sich zuerst in der mathematischen Logik und der Berechen barkeitstheorie und weiter in der Automatentheorie, der Theorie formaler Sprachen und der Komplexitätstheorie entwickelt hat. Neben der Berücksich tigung eines schon klassisch gewordenen Grundkanons dieser Gebiete ist die Stoffauswahl mit der Absicht getroffen worden, durchgängig Erneuerungen traditioneller Fragestellungen, Ergebnisse und Methoden den Vorrang zu ge ben, die sich aus Bedürfnissen oder Erkenntnissen der Informatik und hier besonders der Komplexitätstheorie heraus entwickelt haben. Die Zielsetzung dieses Buches ist eine doppelte: Lehrbuch zu sein. für Anfängervorlesungen zu den genannten Gebieten, wie sie in fast allen Curri cula der Informatik, der Logik und der Mathematik heute auftreten, aber darüberhinaus auch Monographie, indem in systematischer Absicht in jedem der angesprochenen Gebiete weiterführende Ergebnisse neuerer Forschungen (großenteils erstmalig in lehrbuchartiger Form) vorgeführt werden und über all versucht wird, Analogien und Zusammenhänge zwischen verschiedenen Be griffen und Konstruktionen explizit herauszuarbeiten.
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540876022ISBN 13: 9783540876021
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.
Verlag: Springer Berlin Heidelberg, 1994
ISBN 10: 3540582770ISBN 13: 9783540582779
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.
Verlag: Springer Berlin Heidelberg, 2003
ISBN 10: 3540006249ISBN 13: 9783540006244
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003.The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642629768ISBN 13: 9783642629761
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book grew out of material which was taught at the International Summer School on Architecture Design and Validation Methods, held June 23-July 5, 1997, on the Island of Lipari and directed to graduate students and young researchers. Since then the course notes have been completely elaborated and extended and additional chapters have been added so that this book offers a comprehensive presentation of the state of the art which leads the reader to the forefront of the current research in the area. The chapters, each of which was written by a group of eminent special ists in the field, are self-contained and can be read independently of each other. They cover the wide range of theoretical and practical methods which currently used for the specification, design, validation and verification of are hardware/software architectures. Synthesis methods are the subject of the first three chapters. The chapter on Modeling and Synthesis of Behavior, Control and Data Flow focusses on techniques above the register-transfer level. The chapter on Cell-Based Logic Optimizations concentrates on methods that interface logic design with phys ical design, in particular on techniques for cell-library binding, the back-end of logic synthesis. The chapter on A Design Flow for Performance Planning presents new paradigms for iteration-free synthesis where global wire plans for meeting timing constraints already appear at the conceptual design stage, even before fixing the functionality of the blocks in the plan.
Verlag: Springer Berlin Heidelberg, 1991
ISBN 10: 3540544879ISBN 13: 9783540544876
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The workshop Computer Science Logic '90 was held at theMax-Planck-Haus in Heidelberg, Germany, October 1-5, 1990.It was the fourth in a series of worskhops, following CSL'89 at the University of Kaiserslautern (see LNCS 440), CSL'88 at the University of Duisberg (see LNCS 385), and CSL'87 at the University of Karlsruhe (see LNCS 329). Thisvolume contains 24 papers, chosen by means of a reviewprocedure from the 35 papers presented at the workshop, someof which were invited and some selected from a total of 89submissions. The papers cover a wide range of topics arisingfrom the applications of logic to computer science.
Verlag: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1993
ISBN 10: 3540569928ISBN 13: 9783540569923
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Buch
Broschiert. Zustand: Gut. VIII, 439 S. : graph. Darst. Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 620.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 59,51
Gebraucht ab EUR 9,95
Mehr entdecken Softcover
Verlag: Springer-Verlag, Berlin, 1985., 1989
ISBN 10: 354051659XISBN 13: 9783540516590
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Deutschland
Buch
Softcover. Zustand: gut. 1989. CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science) In deutscher Sprache. 412 pages.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 59,51
Gebraucht ab EUR 59,00
Mehr entdecken Softcover
Verlag: Springer Berlin Heidelberg, 1988
ISBN 10: 3540502416ISBN 13: 9783540502418
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers which were presented to the workshop 'Computer-Science Logic' held in Karlsruhe on October 12-16, 1987. Traditionally Logic, or more specifically, Mathematical Logic splits into several subareas: Set Theory, Proof Theory, Recursion Theory, and Model Theory. In addition there is what sometimes is called Philosophical Logic which deals with topics like nonclassical logics and which for historical reasons has been developed mainly at philosphical departments rather than at mathematics institutions. Today Computer Science challenges Logic in a new way. The theoretical analysis of problems in Computer Science for intrinsic reasons has pointed back to Logic. A broad class of questions became visible which is of a basically logical nature. These questions are often related to some of the traditional disciplines of Logic but normally without being covered adequately by any of them. The novel and unifying aspect of this new branch of Logic is the algorithmic point of view which is based on experiences people had with computers. The aim of the 'Computer-Science Logic' workshop and of this volume is to represent the richness of research activities in this field in the German-speaking countries and to point to their underlying general logical principles.
Verlag: Springer Berlin Heidelberg, 1990
ISBN 10: 3540527532ISBN 13: 9783540527534
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.
Verlag: Springer Berlin Heidelberg, 1992
ISBN 10: 354055789XISBN 13: 9783540557890
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the University of Berne,Switzerland, October 7-11, 1991. This was the fifth in aseries of annual workshops on computer sciencelogic (thefirst four are recorded in LNCS volumes 329, 385, 440, and533).The volume contains 33 invited and selected papers on avariety of logical topics in computer science, includingabstract datatypes, bounded theories, complexity results,cut elimination, denotational semantics, infinitary queries,Kleene algebra with recursion, minimal proofs, normal formsin infinite-valued logic, ordinal processes, persistentPetri nets, plausibility logic, program synthesis systems,quantifier hierarchies, semantics of modularization, stablelogic, term rewriting systems, termination of logicprograms, transitive closure logic, variants of resolution,and many others.
Verlag: Berlin ua Springer 1987, 1987
ISBN 10: 3540181709ISBN 13: 9783540181705
Buch Erstausgabe
IX,442 S. Orig.-Karton. Erste Ausgabe.- (= Lecture Notes in Computer Science - Vol. 270).- Gutes Exemplar.
Verlag: Berlin / Springer Verlag, 1987
Anbieter: Eugen Küpper, Muenster, Deutschland
Broschiert. Lecture Notes in Computer Science - Vol. 270. 442 S. OBrosch. Sprache: Englisch, Schnitt minimal gebräunt; Besitzvermerk auf Titelblatt; sonst guter Zustand! Keine Anstreichungen! 600 Gramm. Buch.
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642621163ISBN 13: 9783642621161
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New.
Verlag: Springer Berlin Heidelberg, 2003
ISBN 10: 3540007024ISBN 13: 9783540007029
Anbieter: moluna, Greven, Deutschland
Buch
Zustand: New.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: Ammareal, Morangis, Frankreich
Buch
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001
ISBN 10: 3540420886ISBN 13: 9783540420880
Anbieter: Ammareal, Morangis, Frankreich
Buch
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Springer Berlin Heidelberg, 2001
ISBN 10: 3540423249ISBN 13: 9783540423249
Anbieter: moluna, Greven, Deutschland
Buch
Kartoniert / Broschiert. Zustand: New. This book, useful to students and researchers alike, is an up-to-date account of a topic of central importance in mathematical logic and theoretical computer scienceThis book, useful to students and researchers alike, is an up-to-date account of a to.