wille robert (80 Ergebnisse)

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.

Zustand: Sehr gut. 1. 224 S. Alle Bücher & Medienartikel von Book Broker sind stets in gutem & sehr gutem gebrauchsfähigen Zustand. Die Ausgabe des gelieferten Exemplars kann um bis zu 10 Jahre vom angegebenen Veröffentlichungsjahr abweichen und es kann sich um eine abweichende Auflage handeln. Unser Produktfoto entspricht dem hier angebotenen Artikel, dieser weist folgende Merkmale auf: Helle/saubere Seiten in fester Bindung. Mit Namenseintrag. Sprache: Deutsch Gewicht in Gramm: 272 Gebundene Ausgabe, Maße: 12.3 cm x 2.2 cm x 19.2 cm.

Halbleinen, Hardcover. 65 Seiten Leinen Rücken, Ecken/Kanten bestossen, Seiten gebräunt, berieben, Cpver mit Wasserflecken, stark fleckig, vergilbt, verbogen, ExLibris mit handschtigtlichem Namensvermerk beim Aufschlagen, verunreingt, Buchbindung mittig etwas brüchigm Rostfelcken, Frakturschrift, mittel bis eher schlecht Sprache: Deutsch.

Zustand: New. KlappentextrnrnThe Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and available via the College Publication.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 156 | Sprache: Englisch | Produktart: Bücher.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 112 | Sprache: Englisch | Produktart: Bücher.

Zustand: Good. 1st ed. 2019. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.

Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Neuware -This book describes the current state of the art for simulating paint shop applications, their advantages and limitations, as well as corresponding high-performance computing (HPC) methods utilized in this domain. The authors provide a comprehensive introduction to fluid simulations, corresponding optimization methods from the HPC domain, as well as industrial paint shop applications. They showcase how the complexity of these applications bring corresponding fluid simulation methods to their limits and how these shortcomings can be overcome by employing HPC methods. To that end, this book covers various optimization techniques for three individual fluid simulation techniques, namely grid-based methods, volumetric decomposition methods, and particle-based methods.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Thisbook brings together a selection of the best papers from the eighteenth editionof the Forum on specification and Design Languages Conference (FDL), which tookplace on September 14-16, 2015, in Barcelona, Spain. FDL is a well-established international forumdevoted to dissemination of research results, practical experiences and newideas in the application of specification, design and verification languages tothe design, modeling and verification of integrated circuits, complexhardware/software embedded systems, and mixed-technology systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 204 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to various applications. Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed by a software toolkit called RevKit, application of reversible computation to the domain of quantum circuits, and physical realizations of reversible circuits in CMOS technologies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book provides an easy-to-read introduction into quantum computing as well as classical simulation of quantum circuits. The authors showcase the enormous potential that can be unleashed when doing these simulations using decision diagrams¿a data structure common in the design automation community but hardly used in quantum computing yet. In fact, the covered algorithms and methods are able to outperform previously proposed solutions on certain use cases and, hence, provide a complementary solution to established approaches. The award-winning methods are implemented and available as open-source under free licenses and can be easily integrated into existing frameworks such as IBM¿s Qiskit or Atos¿ QLM.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 112 pp. Englisch.

Paperback, 15 x 23 cm, rijk gei?llustreerd, 352 pagina?s. ISBN 9789460043796. Gee?nthousiasmeerd door Darwin en de Duitse embryologie trokken aan het eind van de negentiende eeuw Nederlandse ontwikkelingsbiologen vanuit hun nieuwe laboratoria naar buiten. Hun leidsman was Pieter Harting: dankzij hem bekeken en vergeleken studenten onder de microscoop nauwkeurig de ontwikkelingsstadia van verschillende plant- en diersoorten. Konden zij sporen van het evolutionaire verleden vinden in de wijze waarop flora en fauna zich nu ontwikkelden? Vanaf 1872 reisden Nederlandse studenten naar het prestigieuze internationale zoo?logische station in Napels, pal aan de kust, om daar de nieuwste technieken te leren. Dit kon dankzij een door de overheid ingesteld nationaal stipendium, een primeur. De zoo?logen die daarvan terugkwamen, overtuigden de Nederlandse staat vervolgens om een eigen zoo?logisch station te steunen. In Den Helder kwam zo?n station tot stand dat visserijproblemen in de Rijn en de Noordzee te lijf ging. Plantenembryologen zetten in diezelfde periode in Buitenzorg (nu Bogor) in Nederlands-Indie? een groot botanisch-agronomisch instituut op, inclusief internationaal bezoekersstation, met grote gevolgen voor de koloniale economie. Mannen van de microscoop is de biografie van vier biologen (Pieter Harting, Ambrosius Hubrecht, Paulus Hoek en Melchior Treub) en hun lobby voor nationale en koloniale laboratoriumwetenschap. Zonder hen hadden het Nederlandse e?n het Indonesische wetenschapslandschap er vandaag de dag heel anders uitgezien. 0 g.

paperback, 15 x 23 cm, rijk gei?llustreerd, 352 pagina?s. ISBN 9789460043796. Gee?nthousiasmeerd door Darwin en de Duitse embryologie trokken aan het eind van de negentiende eeuw Nederlandse ontwikkelingsbiologen vanuit hun nieuwe laboratoria naar buiten. Hun leidsman was Pieter Harting: dankzij hem bekeken en vergeleken studenten onder de microscoop nauwkeurig de ontwikkelingsstadia van verschillende plant- en diersoorten. Konden zij sporen van het evolutionaire verleden vinden in de wijze waarop flora en fauna zich nu ontwikkelden? Vanaf 1872 reisden Nederlandse studenten naar het prestigieuze internationale zoo?logische station in Napels, pal aan de kust, om daar de nieuwste technieken te leren. Dit kon dankzij een door de overheid ingesteld nationaal stipendium, een primeur. De zoo?logen die daarvan terugkwamen, overtuigden de Nederlandse staat vervolgens om een eigen zoo?logisch station te steunen. In Den Helder kwam zo?n station tot stand dat visserijproblemen in de Rijn en de Noordzee te lijf ging. Plantenembryologen zetten in diezelfde periode in Buitenzorg (nu Bogor) in Nederlands-Indie? een groot botanisch-agronomisch instituut op, inclusief internationaal bezoekersstation, met grote gevolgen voor de koloniale economie. Mannen van de microscoop is de biografie van vier biologen (Pieter Harting, Ambrosius Hubrecht, Paulus Hoek en Melchior Treub) en hun lobby voor nationale en koloniale laboratoriumwetenschap. Zonder hen hadden het Nederlandse e?n het Indonesische wetenschapslandschap er vandaag de dag heel anders uitgezie 0 g.

Zustand: New. In.

Nijmegen, 2019.365 pp. B./w. ills. Softcover. Onderkant boekblok heeft paar vlekjes.

Buch. Zustand: Neu. Neuware -Dieses Buch bietet dem Leser einen einfachen Einstieg in das Quantencomputing sowie in den Entwurf entsprechender Geräte. Die Autoren behandeln verschiedene Entwurfsaufgaben, die für das Quantencomputing wichtig sind, und stellen entsprechende Lösungen vor. Eine Besonderheit des Buches ist, dass diese Aufgaben und Lösungen explizit aus der Perspektive der Entwurfsautomatisierung diskutiert werden, d.h. unter Verwendung von cleveren Algorithmen und Datenstrukturen, die von der Entwurfsautomatisierungs-Community für konventionelle Logik (d.h. für elektronische Geräte und Systeme) entwickelt worden sind und nun für diese neue Technologie angewendet werden. Auf diese Weise können relevante Entwurfsaufgaben wesentlich effizienter als bisher durchgeführt werden, was zu Verbesserungen um mehrere Größenordnungen führt (in Bezug auf die Laufzeit und andere Entwurfsziele).Beschreibt den aktuellen Stand der Technik für den Entwurf von Quantenschaltungen, für deren Simulation und für deren Abbildung auf reale Hardware;Bietet eine erste umfassende Einführung in die Entwurfsautomatisierung für Quantencomputer, die sich mit praxisrelevanten Aufgabenstellungen befasst; Es richtet sich sowohl an die Quantencomputer-Gemeinschaft als auch an die Gemeinschaft der Entwurfsautomatisierung und zeigt, welche beeindruckenden Verbesserungen möglich sind, wenn man das Wissen beider Gemeinschaften kombiniert.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 248 pp. Deutsch.

Zustand: New. In.

Paperback. Zustand: Brand New. 125 pages. 9.00x6.00x0.75 inches. In Stock.

Hardcover. Zustand: Brand New. 121 pages. 9.44x6.61x9.69 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware -This book describes automatic methods for the design of droplet microfluidic networks. The authors discuss simulation and design methods which support the design process of droplet microfluidics in general, as well as design methods for a dedicated droplet routing mechanism, namely passive droplet routing. The methods discussed allow for simulating a microfluidic design on a high-abstraction level, which facilitates early validation of whether a design works as intended, automatically dimensioning a microfluidic design, so that constraints like flow conditions are satisfied, and automatically generating meander designs for the respective needs and fabrication settings. Dedicated methods for passive droplet routing are discussed and allow for designing application-specific architectures for a given set of experiments, as well as generating droplet sequences realizing the respective experiments. Together, these methods provide a comprehensive ¿toolbox' for designers working on droplet microfluidic networks in general and an integrated design flow for the passive droplet routing mechanism in particular.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book describes automatic methods for the design of droplet microfluidic networks. The authors discuss simulation and design methods which support the design process of droplet microfluidics in general, as well as design methods for a dedicated droplet routing mechanism, namely passive droplet routing. The methods discussed allow for simulating a microfluidic design on a high-abstraction level, which facilitates early validation of whether a design works as intended, automatically dimensioning a microfluidic design, so that constraints like flow conditions are satisfied, and automatically generating meander designs for the respective needs and fabrication settings. Dedicated methods for passive droplet routing are discussed and allow for designing application-specific architectures for a given set of experiments, as well as generating droplet sequences realizing the respective experiments. Together, these methods provide a comprehensive ¿toolbox' for designers working on droplet microfluidic networks in general and an integrated design flow for the passive droplet routing mechanism in particular.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book brings together a selection of the best papers from the nineteenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 14-16, 2016, in Bremen, Germany. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Paperback. Zustand: Very Good. First edition. 5 1/2 X 8 inches high. xv, 407 pages. Brown wrappers, as issued, with paper labels on spine and cover. Condition of the book is Very Good; spine slightly faded, spine ends worn, text is very clean, binding is tight. Text in German. Military stacks.

Zustand: New. pp. 255.