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.
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Hardback or Cased Book. Condizione: New. Computer Architecture: Complexity and Correctness. Book.
EUR 60,36
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 60,36
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 572 68:B&W 7 x 10 in or 254 x 178 mm Case Laminate on White w/Gloss Lam.
Condizione: Used. pp. 572.
EUR 60,83
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 572.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,65
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,65
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,65
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Condizione: New.
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
EUR 42,00
Quantità: 1 disponibili
Aggiungi al carrello2000. 566 p. Unread book. Very good condition. Minimum traces of storage. 9783540674818 Sprache: Englisch Gewicht in Gramm: 1324 Hardcover: 17.8 x 3.2 x 25.4 cm.
Condizione: New. pp. xiii + 553.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2010
ISBN 10: 3642086918 ISBN 13: 9783642086915
Da: Revaluation Books, Exeter, Regno Unito
EUR 85,32
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. reprint edition. 566 pages. 9.25x7.25x1.28 inches. In Stock.
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives for the well-known RISC architecture called DLX are analyzed quantitatively. It is formally proved that the interrupt mechanism proposed for the DLX architecture handles nested interrupts correctly.In an appendix all programs to compute the cost and cycle time of the designs described are listed in C code. Running these simple C programs on a PC is sufficient to verify the results presented. The book addresses design professionals and students in computer architecture.
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Computer Architecture | Complexity and Correctness | Silvia M. Mueller (u. a.) | Taschenbuch | xiii | Englisch | 2010 | Springer | EAN 9783642086915 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 101,48
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Da: Celler Versandantiquariat, Eicklingen, Germania
Membro dell'associazione: GIAQ
EUR 20,00
Quantità: 1 disponibili
Aggiungi al carrelloSpringer, Berlin, 2000. XIII, 553 pages with 214 Figures and 185 Tables, hardcover----former library book in good condition- 1180 Gramm.
Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germania
EUR 69,95
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: gut. 2012 | 5. Auflage. Mit neuem EBRG und den Rechtsänderungen zum 1.1.2012.Das Werk beinhaltet eine Kommentierung des gesamten Arbeitsrechts in einem Band. Kommentiert werden alle für das Arbeitsrecht relevanten Vorschriften aus AGG, AEntG, AEUV, ArbGG, ArbPlSchG, ArbZG, ATZG,AÜG, BBiG, BDSG, BEEG, BetrAVG, BetrVG, BGB, BUrlG, DrittelbG, EBRG, EFZG, EStG, GewO, GG, HGB, InsO, JArbSchG, KSchG, MgVG, MitbestG, MuSchG, NachwG, PflegeZG, Rom-I-VO, SEBG, SGB III, IV, VI, VII, IX undX, SprAuG, TVG, TzBfG, UmwG und WPüG. Das Werk: Die umfangreiche einschlägige nationale und europäische Rechtsprechung, etwa zur Tariffähigkeit von Gewerkschaften, zum Urlaubs-, Befristungs- und Kündigungsrecht sowie zur Altersdiskriminierung, ist ebenso eingearbeitet wie die seit der Vorauflage erfolgten Gesetzesänderungen, darunter das 2. EBRG-ÄndG, die Gesetze zur Änderung des AÜG, das BundesfreiwilligendiensteG, das Gesetz zur Koordinierung der Systeme der sozialen Sicherheit in Europa und das Familienpflegezeitgesetz. Auch die Entwicklungen beim Beschäftigtendatenschutz und die Änderungen im Steuer- und Sozialversicherungsrecht zum Jahresende sind schon berücksichtigt. Insgesamt befindet sich das Werk auf dem Rechtsstand 1.1.2012. Mitarbeit Anpassung von: Georg Annuß, Klaus Bepler, Claudia Bittner, Susanne Clemenz, Martin Diller, Boris Dzida, Benno Alexander Fischer, Hans Jörg Gäntgen, Björn Gaul, Richard Giesen, Michael Gotthardt, Martin Henssler, Carmen Silvia Hergenröder, Curt Wolfgang Hergenröder, Klaus-Stefan Hohenstatt, Heinz-Jürgen Kalb, Michael Kliemt, Rüdiger Krause, Mark Lembke, Josef Molkenbur, Thomas Müller-Bonanni, Bernhard Nimscholz, Susanne Peters-Lange, Martin Quecke, Hermann Reichold, Oliver Ricken, Hans-Jürgen Rupp, Bernd Sandmann, Reinhard Schinz, Johannes Schipp, Harald Schliemann, Werner Schmalenberg, Peter Schrader, Christoph H. Seibt, Heinrich M. Stindt, Kathrin Thies, Gregor Thüsing, Kerstin Tillmanns, Heinz Josef Willemsen, Werner Ziemann Sprache deutsch Maße 170 x 245 mm Gewicht 2565 g Einbandart gebunden Recht Steuern Arbeits- / Sozialrecht Arbeitsrecht Arbeitsrecht Kommentare ISBN-10 3-504-42662-4 / 3504426624 ISBN-13 978-3-504-42662-0 / 9783504426620 In deutscher Sprache. 3316 pages. 170 x 245 mm.
Lingua: Tedesco
Editore: Verlag Phillip von Zabern in Wissenschaftliche Buchgesellschaft, 2004
ISBN 10: 3805333161 ISBN 13: 9783805333160
Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germania
EUR 69,95
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: gut. 2004. Die Erforschung islamischer Kunst begann in Europa vor über 100 Jahren, dabei leistete Deutschland einen wichtigen Beitrag. In dem reich bebilderten Buch wird erstmals versucht, islamische Kunst in Deutschland in ihrer Vielfalt bekannt zu machen. Präsentiert werden Kunst und Kunsthandwerk aller Gattungen, Kalligraphie, Miniaturmalerei und Münzen unterschiedlichster Epochen und zahlreicher Länder von Spanien bis Indien. Die Publikation gibt zudem einen Überblick über Wissenschaftsinstitutionen, die sich mit islamischer Kunst und Kultur beschäftigen. Einzelne Überblicksartikel informieren über die Wege islamischer Kunst nach Deutschland seit den Kreuzzügen und über die Entwicklung des Forschungsgebietes "Islamische Kunstgeschichte". Das Buch möchte anregen zu "Entdeckungen" islamischer Kunst in Deutschland, denn viele hervorragende, weltbekannte Einzelobjekte befinden sich in wenig bekannten und kaum erschlossenen Sammlungen. Neben den Beständen sind Kontaktpersonen, Adressen und öffnungszeiten verzeichnet. Dr. Joachim Gierlichs, seit 1994 Lehraufträge an den Universitäten Berlin, Halle und Bonn, zur Zeit Abschluß der Habilitationsschrift Holzarbeiten der Timuridenzeit in Iran und Mittelasien; Dr. Annette Hagedorn, Forschungen zum Thema Die Einflüsse der islamischen Kunst auf die europäische Keramik, Lehraufträge an den Universitäten Bonn, Mainz und Utrecht In deutscher Sprache. 192 pages. 25,4 x 18 x 1,8 cm.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Da: Majestic Books, Hounslow, Regno Unito
EUR 79,02
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 79,77
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
Da: Majestic Books, Hounslow, Regno Unito
EUR 86,05
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. xiii + 553 214 Illus.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2010
ISBN 10: 3642086918 ISBN 13: 9783642086915
Da: moluna, Greven, Germania
EUR 47,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Based on rigorous mathematical formalismsCompletey modular designCorrectness proofs for almost all componentsCoverage of the relevant issues within a reasonable number of pagesHardware correctness is becoming ever more important in the desig.
Lingua: Inglese
Editore: Springer International Publishing, 2014
ISBN 10: 3319139053 ISBN 13: 9783319139050
Da: moluna, Greven, Germania
EUR 48,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Demonstrates construction of a multi-core machine with pipelined MIPS processor Broadens the understanding of RISC machines Opens the way to the formal verification of synthesizable hardware for multi-core processorsThis monograp.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1995
ISBN 10: 3540605800 ISBN 13: 9783540605805
Da: moluna, Greven, Germania
EUR 48,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, s.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2000
ISBN 10: 3540674810 ISBN 13: 9783540674818
Da: moluna, Greven, Germania
EUR 48,74
Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Based on rigorous mathematical formalismsCompletey modular designCorrectness proofs for almost all componentsCoverage of the relevant issues within a reasonable number of pagesHardware correctness is becoming ever more important in the desig.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 88,03
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. xiii + 553.
Lingua: Inglese
Editore: Springer, Springer Okt 1995, 1995
ISBN 10: 3540605800 ISBN 13: 9783540605805
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives for the well-known RISC architecture called DLX are analyzed quantitatively. It is formally proved that the interrupt mechanism proposed for the DLX architecture handles nested interrupts correctly.In an appendix all programs to compute the cost and cycle time of the designs described are listed in C code. Running these simple C programs on a PC is sufficient to verify the results presented. The book addresses design professionals and students in computer architecture.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 292 pp. Englisch.
Lingua: Inglese
Editore: Springer, Springer Dez 2010, 2010
ISBN 10: 3642086918 ISBN 13: 9783642086915
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Computer Architecture: Complexity and Correctness develops, at the gate level, the complete design of a pipelined RISC processor with delayed branch, forwarding, hardware interlock, precise maskable nested interrupts, caches, and a fully IEEE-compliant floating point unit. In contrast to other design approaches applied in practice and unlike other textbooks available, the design presented here are modular, clean and complete up to the construction of entire complex machines. The authors' systematically basing their approach on rigorous mathematical formalisms allows for rigorous correctness proofs, accurate hardware costs determination, and performance evaluation as well as, generally speaking, for coverage of a broad variety of relevant issues within a reasonable number of pages. The book is written as a text for classes on computer architecture and related topics and will serve as a valuable source of reference for professionals in hardware design.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 568 pp. Englisch.