» książki » Computers - Hardware - Personal Computers - General
topmenu
 |
Introduction to Formal Hardware Verification
ISBN: 9783642084775 / Angielski / Miękka / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction...
Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete...
|
cena:
200,77 |
 |
The Computer - My Life
ISBN: 9783642081514 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Konrad Zuse is one of the great pioneers of the computer age. He created thefirst fully automated, program controlled, freely programmable computer using binary floating-point calculation. It was operational in 1941. He built his first machines in Berlin during the Second World War, with bombs falling all around, and after the war he built up a company that was taken over by Siemens in 1967. Zuse was an inventor in the traditional style, full of phantastic ideas, but also gifted with a powerful analytical mind. Single-handedly, he developed one of the first programming languages, the Plan...
Konrad Zuse is one of the great pioneers of the computer age. He created thefirst fully automated, program controlled, freely programmable computer us...
|
cena:
228,89 |
 |
Planen für autonome Montageroboter
ISBN: 9783540505303 / Niemiecki / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch behandelt die Robotik aus der Sicht der Kunstlichen Intelligenz (KI) sowohl fur einen einzelnen Roboter als auch fur Roboterverbande (verteilte KI). Dieser Ansatz ist neuartig, da bislang die Roboterbucher diese Disziplin klassisch beschrieben haben (z.B. Transformation zwischen Gelenkwinkeln). Diese erste systematische Darstellung der wissensbasierten Planung und ihrer Bewertung ist mit einer detaillierten Beschreibung zukunftiger Planungseinsatze verbunden. Die neuen Techniken der Expertensysteme und der KI (z.B. Bedingungsausbreitung, Meinungswartung, verteiltes Planen) und ihre...
Das Buch behandelt die Robotik aus der Sicht der Kunstlichen Intelligenz (KI) sowohl fur einen einzelnen Roboter als auch fur Roboterverbande (verteil...
|
cena:
206,40 |
 |
First Book on Unixtm for Executives
ISBN: 9784431700036 / Angielski / Miękka / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A good introduction to a new product or concept is vital. This is particularly true for a versatile software system such as UNIX. UNIX provides the depth and intelligence to make your computer work hard for you. It will help you create software and help you use your office automation equipment to create and edit documents. For your intro duction to UNIX, you want a great little book. That is what this work is meant to be. This book is designed for non-computer specialists, especially for executives, ad ministrators and managers who want to make better use of their software specialists and...
A good introduction to a new product or concept is vital. This is particularly true for a versatile software system such as UNIX. UNIX provides the de...
|
cena:
200,77 |
 |
3d-CAD: Die Produktivität Der Neuen Systemgeneration
ISBN: 9783540566090 / Niemiecki / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die objektorientierte Programmierung setzt sich auch im CAD-Bereich durch. 3D ist nicht mehr Spezialit{t, sondern wird zum Kern der Produktentwicklung. Echte Assoziativit{t zwischen 2D und 3D, CAD und anderen Bereichen ist die softwaretechnische Voraussetzung f}r Concurrent Engineering. Die gro en M-glichkeiten der neuen Systeme, die jetzt nach und nach auf den Markt kommen, lassen sich aber nur realisieren, wenn an verkrusteten Betriebsstrukturen gekratzt wird.
Die objektorientierte Programmierung setzt sich auch im CAD-Bereich durch. 3D ist nicht mehr Spezialit{t, sondern wird zum Kern der Produktentwicklung...
|
cena:
206,40 |
 |
Direktmontage: Handbuch Über Die Verarbeitung Ungehäuster ICS
ISBN: 9783540642039 / Niemiecki / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Direktmontage ungehauster Halbleiter auf Substraten bringt als Systemintegrationsverfahren eine neue Qualitat in die mikroelektronische Aufbau- und Verbindungstechnik. Fur dieses Handbuch wurden die aktuellen Ergebnisse aus den verschiedenen Technologiebereichen der Direktmontage ungehauster Halbleiter durch den Fachausschuss 4.9 der GME zusammengetragen. Da hier Fachleute aus Industrie und Wissenschaft zusammenarbeiteten, konnten Neuentwicklungen nicht nur aufgezeigt, sondern auch deren Umsetzung und Anwendbarkeit technisch und wirtschaftlich beurteilt werden. Die Bewertung der einzelnen...
Die Direktmontage ungehauster Halbleiter auf Substraten bringt als Systemintegrationsverfahren eine neue Qualitat in die mikroelektronische Aufbau- un...
|
cena:
600,51 |
 |
Filtering Techniques for Turbulent Flow Simulation
ISBN: 9783540521372 / Angielski / Miękka / 397 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1. 1 Scope of the Study The detailed and reasonably accurate computation of large scale turbulent flows has become increasingly important in geophysical and engi neering applications in recent years. The definition of water quality management policies for reservoirs, lakes, estuaries, and coastal waters, as well as the design of cooling ponds and solar ponds, requires an ade quate quantitative description of turbulent flows. When the diffusion of some tracer (be it active, such as temperature or salinity, or passive, such as dissolved oxygen) is of relevance to a specific application, the...
1. 1 Scope of the Study The detailed and reasonably accurate computation of large scale turbulent flows has become increasingly important in geophysic...
|
cena:
401,58 |
 |
System Modelling and Optimization: Proceedings of the 14th Ifip-Conference Leipzig, Gdr, July 3-7, 1989
ISBN: 9783540526599 / Angielski / Miękka / 962 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Based on lectures given at the 14th IFIP Conference on System Modelling and Optimization held in Leipzig, July 3-7, 1989 ... sponsored by the International Federation of Automatic Control ... [et al.]"--Foreword.
"Based on lectures given at the 14th IFIP Conference on System Modelling and Optimization held in Leipzig, July 3-7, 1989 ... sponsored by the Interna...
|
cena:
200,77 |
 |
Optimal Control with a Worst-Case Performance Criterion and Applications
ISBN: 9783540528227 / Angielski / Miękka / 139 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph deals with optimal control problems in which the cost functional is a product of powers of definite integrals. In particular, it considers cost functionals of the form of a quotient of definite integrals and their relation to finite-interval H control, performance robustness and model reduction. The book is directed towards graduate students and researchers in modern control theory. It presents a general technique for the synthesis of controllers, and indicates several problems for further research.
This monograph deals with optimal control problems in which the cost functional is a product of powers of definite integrals. In particular, it consid...
|
cena:
200,77 |
 |
Software-Ergonomie in Der Praxis: Richtlinien, Methoden Und Werkzeuge Für Die Gestaltung Interaktiver Systeme
ISBN: 9783540531418 / Angielski / Miękka / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die ergonomische Gestaltung von Software-Systemen ist heute zu einer wesentlichen Voraussetzung fur deren Erfolg geworden. Dadurch ist in der Praxis der Systementwicklung ein wachsender Bedarf an Richtlinien, Methoden und Werkzeugen fur die Gestaltung interaktiver Systeme entstanden. Folgende Tendenzen und Probleme zeichnen sich ab: - Entwicklungswerkzeuge fur interaktive Syteme werden immer wichtiger. - Die bisherigen Software-Engineering-Methoden mussen im Hinblick auf die ergonomische Gestaltung der Systeme erweitert werden. - Bei der Umsetzung von Standards treten besondere Probleme auf....
Die ergonomische Gestaltung von Software-Systemen ist heute zu einer wesentlichen Voraussetzung fur deren Erfolg geworden. Dadurch ist in der Praxis d...
|
cena:
206,40 |
 |
Aeroassisted Orbital Transfer: Guidance and Control Strategies
ISBN: 9783540198192 / Angielski / Miękka / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The concept of aeroassisting for orbital transfer has been recognized as one of the critical technologies for pioneering the space frontier. In space transportation systems, aeroassisting (or aerobraking), defined as the deceleration resulting from the effects of atmospheric drag upon a vehicle during orbital operations, opens new mission opportunities, especially with regard to the establishment of the permanent Space Station Freedom and space explorations to other planets such as Mars. The main areas of research reported in this monograph are atmospheric entry problem by the method of...
The concept of aeroassisting for orbital transfer has been recognized as one of the critical technologies for pioneering the space frontier. In space ...
|
cena:
200,77 |
 |
Experimental Robotics II: The 2nd International Symposium, Toulouse, France, June 25-27 1991
ISBN: 9783540198512 / Angielski / Miękka / 564 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This was the second in a series of international symposia designed to circulate every two years around North America, Europe, and Asia. The objective is to present and discuss in depth the research results and current developments in Robotics. A broad spectrum of fields is presented in the papers, e.g. manipulator control, mobile robots, legged locomotion, perception and vision, and control architectures. The papers in the proceedings provide a unique combination of theoretical foundation and experimental validation. The editors have divided the text into ten sections with a synopsis by the...
This was the second in a series of international symposia designed to circulate every two years around North America, Europe, and Asia. The objective ...
|
cena:
200,77 |
 |
11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems: Sophia-Antipolis, June 15-16-17, 1994
ISBN: 9783540198963 / Angielski / Miękka / 626 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The conference, coorganized by INRIA and Ecole des Mines de Paris, focuses on Discrete Event Systems (DES) and is aimed at engineers, scientists and mathematicians working in the fields of Automatic Control, Operations Research and Statistics who are interested in the modelling, analysis and optimization of DES. Various methods such as Automata theory, Petri nets, etc. are proposed to describe and analyze such systems. Comparison of these different mathematical approaches and the global confrontation of theoretical approaches with applications in manufacturing, telecommunications, parallel...
The conference, coorganized by INRIA and Ecole des Mines de Paris, focuses on Discrete Event Systems (DES) and is aimed at engineers, scientists and m...
|
cena:
200,77 |
 |
Konzepte Silizium-basierter MOS-Bauelemente
ISBN: 9783540234371 / Niemiecki / Book Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch beschreibt die Konzepte siliziumbasierter MOS-Bauelemente fur Logikanwendungen (CMOS), Speicheranwendungen (DRAM, SRAM, EEPROM) und leistungselektronische Anwendungen. Der Autor untersucht die Quellen, die in den vergangenen 30 Jahren diskutiert wurden. Er beschreibt, wie die einzelnen Konzepte technologisch umgesetzt wurden und geht auf die Vor- und Nachteile der Konzepte ein. Er erlautert die Funktionsweise und Charakteristiken der elektronischen Bauelemente, die mit dem jeweiligen Konzept realisiert wurden. Das Buch ist besonders geeignet fur Ingenieure und Physiker, die... Das Buch beschreibt die Konzepte siliziumbasierter MOS-Bauelemente fur Logikanwendungen (CMOS), Speicheranwendungen (DRAM, SRAM, EEPROM) und leistu... |
cena:
450,39 |
 |
Natural Language Communication with Computers
ISBN: 9783540089117 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
200,77 |
 |
Gallium Arsenide Technology in Europe
ISBN: 9783540579069 / Angielski / Miękka / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The strategic nature of GaAs technology has attracted heavy investment from vertically integrated companies in information technology, communication and defence, as well as from semiconductor manufacturers. To gather the European activities fragmented amongst various research groups a number of collaborative projects were established in 1984 under ESPRIT (European Strategic Programme for Research on Information Technology).
This book illustrates some of the recent collaborative activities pursued under various ESPRIT GaAs projects, including applications, MMICs, devices, fabrication... The strategic nature of GaAs technology has attracted heavy investment from vertically integrated companies in information technology, communication a...
|
cena:
200,77 |
 |
Veriloga (R) Hardware Description Language
ISBN: 9780792391265 / Angielski / Twarda / 223 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
474,14 |
 |
Pocket PC Database Development with Embedded Visual Basic
ISBN: 9781893115651 / Angielski / Miękka / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. THERE HASN'T BEEN A better time to begin developing applications for handhelds. In the last four years, we have seen a tremendous leap in the functional capabili- ties offered by handheld computing platforms, which has culminated in the rich interfaces we see in the current crop of Windows CE-embedded systems. The Pocket PC platform is particularly compelling because it is truly portable, and it has a great color interface and solid application integration with its desktop counterparts. In addition, most of these devices have sufficient processing power to incorporate advanced handheld...
THERE HASN'T BEEN A better time to begin developing applications for handhelds. In the last four years, we have seen a tremendous leap in the function...
|
cena:
120,45 |
 |
New Frontiers for Entertainment Computing: Ifip 20th World Computer Congress, First Ifip Entertainment Computing Symposium (Ecs 2008), September 7-10,
ISBN: 9781441935212 / Angielski / Miękka / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of First IFIP Entertainment Computing Symposium held at the 20th World Computer Congress in Milano, Italy on September 7-10, 2008. The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and... This book constitutes the refereed proceedings of First IFIP Entertainment Computing Symposium held at the 20th World Computer Congress in Milano, ... |
cena:
200,77 |
 |
Distributed Systems - Architecture and Implementation: An Advanced Course
ISBN: 9783540105718 / Angielski / Miękka / 510 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
200,77 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
