Mueller silvia m (38 resultados)

Condición: Very Good. 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.

Condición: Good. 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.

Condición: 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.

Hardback or Cased Book. Condición: New. Computer Architecture: Complexity and Correctness. Book.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Condición: Used. pp. 572 68:B&W 7 x 10 in or 254 x 178 mm Case Laminate on White w/Gloss Lam.

Condición: Used. pp. 572.

Condición: Used. pp. 572.

2000. 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.

Condición: New.

Taschenbuch. Condición: 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.…

Paperback. Condición: Brand New. reprint edition. 566 pages. 9.25x7.25x1.28 inches. In Stock.

Condición: New. pp. xiii + 553.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. …

Taschenbuch. Condición: Neu. The Complexity of Simple Computer Architectures | Silvia M. Müller (u. a.) | Taschenbuch | xii | Englisch | 1995 | Springer | EAN 9783540605805 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condición: 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. …

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 292 | Sprache: Englisch | Produktart: Bücher | 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.…

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Springer, Berlin, 2000. XIII, 553 pages with 214 Figures and 185 Tables, hardcover----former library book in good condition- 1180 Gramm.

Hardcover. Condición: 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. …

Hardcover. Condición: 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.…

Condición: new. Questo è un articolo print on demand.

PF. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. 292 pp. Englisch.…

Condición: New. Print on Demand.

Condición: 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.…

Condición: 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.…

Kartoniert / Broschiert. Condición: 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.…