Sprzęt komputerowy
ilość książek w kategorii: 2592
 |
Formal Hardware Verification: Methods and Systems in Comparison
ISBN: 9783540634751 / Angielski / Miękka / 1997 / 376 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. It describes the approaches supplying the theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, the book aims to provide a fair analysis of the strengths and weaknesses of the various approaches given.
Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that hav...
|
cena:
192,30 zł |
 |
Processor Architecture: From Dataflow to Superscalar and Beyond
ISBN: 9783540647980 / Angielski / Miękka / 1999 / 416 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Today's microprocessors are the powerful descendants of the von Neumann 1 computer dating back to a memo of Burks, Goldstine, and von Neumann of 1946. The so-called von Neumann architecture is characterized by a se quential control flow resulting in a sequential instruction stream. A program counter addresses the next instruction if the preceding instruction is not a control instruction such as, e. g., jump, branch, subprogram call or return. An instruction is coded in an instruction format of fixed or variable length, where the opcode is followed by one or more operands that can be data,...
Today's microprocessors are the powerful descendants of the von Neumann 1 computer dating back to a memo of Burks, Goldstine, and von Neumann of 1946....
|
cena:
346,16 zł |
 |
Introduction to Formal Hardware Verification
ISBN: 9783540654452 / Angielski / Twarda / 1999 / 299 str. Termin realizacji zamówienia: ok. 20 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:
192,30 zł |
 |
Reconfigurable Computing: Architectures, Tools and Applications: Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007, Proce
ISBN: 9783540714309 / Angielski / Miękka / 2007 / 412 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the Third International Workshop on Applied Reconfigurable Computing, ARC 2007, held in Mangaratiba, Brazil, in March 2007. The 27 full papers and 10 short papers presented together with a late-comer contribution from ARC 2006 are organized in topical sections on architectures, mapping techniques and tools, arithmetic, and applications. This book constitutes the refereed proceedings of the Third International Workshop on Applied Reconfigurable Computing, ARC 2007, held in Mangarati... |
cena:
192,30 zł |
 |
Die Informatisierung Des Alltags: Leben in Smarten Umgebungen
ISBN: 9783540714545 / Niemiecki / Twarda / 2007 Termin realizacji zamówienia: ok. 20 dni roboczych. Hochaktuell und spannend: Wir erleben eine standig zunehmende Informatisierung. Informations- und Kommunikationstechnologien werden unseren Alltag kunftig weitaus starker durchdringen als wir es uns vorstellen konnen. Smarte Objekte werden stark an Bedeutung gewinnen. Die Kommunikation mit Alltagsgegenstanden wird selbstverstandlich werden. Die Einsatzmoglichkeiten dieser technischen Neuerungen sind unbegrenzt. Ausfuhrlich stellen die Autoren diese Neuerungen dar. Zudem erlautern sie die Einflusse auf die Gesellschaft und weisen auf Prozesse hin, die ein radikales Umdenken erfordern... Hochaktuell und spannend: Wir erleben eine standig zunehmende Informatisierung. Informations- und Kommunikationstechnologien werden unseren Alltag ... |
cena:
161,75 zł |
 |
Event-based Middleware for Pervasive Computing- Foundations, Concepts, Design
ISBN: 9783836413091 / Angielski / Miękka / 2007 / 196 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
358,42 zł |
 |
How to build a Computer: Building Your Own PC - The Easy, Step-by-Step Guide to Building the Ultimate, Custom Made PC
ISBN: 9789562913256 / Angielski / Miękka / 2006 / 104 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Building a computer can be a very rewarding experience. You can learn a lot about computer hardware by building a computer. Aside from that, you get a totally personalized computer that no OEM (Original Equipment Manufacturer) could match, and there is also the opportunity to save a lot of money in the process. The only downside is that you won't have any technical support number to ring, or any centralized warranty service (each part will have its own warranty/return policy), so there may be a chance that you will have to pay more for service (if you don't repair yourself). So now you've...
Building a computer can be a very rewarding experience. You can learn a lot about computer hardware by building a computer. Aside from that, you get a...
|
cena:
43,53 zł |
 |
Singapore Supercomputing Conference '90: Supercomputing for Strategic Advantage, 11-12 December 1990
ISBN: 9789810207007 / Angielski / Twarda / 1991 / 475 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Supercomputing is a strategic tool for the future. These proceedings examine the most recent advances in effective applications of supercomputing and offer visions of the future. Special focus is given to the spread of applications in both the public and commercial sectors where supercomputing is being increasingly embraced as the ultimate competitive tool in the global arena.
Supercomputing is a strategic tool for the future. These proceedings examine the most recent advances in effective applications of supercomputing and ...
|
cena:
831,52 zł |
 |
Computer Mathematics - Proceedings of the Fourth Asian Symposium (Ascm 2000)
ISBN: 9789810244989 / Angielski / Twarda / 2000 / 336 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. There are 39 peer-reviewed contributions together with full papers and extended abstracts by the four invited speakers, G.H. Gonnet, D. Lazard, W. McCune and W.-T. Wu, and these cover some of the most significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software, and computer-aided geometric design.
This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. There are 39 peer-reviewed contributions togethe...
|
cena:
634,03 zł |
 |
Input/Output System of Minicomputers: I/O Software of Pdp Computers
ISBN: 9789971501907 / Angielski / Miękka / 1989 / 368 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
213,08 zł |
 |
Mathematical Logic for Computer Science
ISBN: 9789971502515 / Angielski / Twarda / 1989 / 260 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Zhongwan (mathematical logic, Academia Sinica, Beijing) presents an overview of both the peculiarities of logical systems and the requirements of computer logic, but does not specifically treat the application of the former to the latter. Topics include sets, inductive definitions and proofs, propos
Zhongwan (mathematical logic, Academia Sinica, Beijing) presents an overview of both the peculiarities of logical systems and the requirements of comp...
|
cena:
420,96 zł |
 |
Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings
ISBN: 9783540603856 / Angielski / Miękka / 1995 / 346 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.
The 20 revised full papers presented were carefully selected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and... This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARM...
|
cena:
192,30 zł |
 |
Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research Working Conference, Charme'93, Arles, France, May 24-26, 1993. Procee
ISBN: 9783540567783 / Angielski / Miękka / 1993 / 275 str. Termin realizacji zamówienia: ok. 20 dni roboczych. These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence, Marseille, in cooperation with IFIP Working Group 10.2. Formal verification is emerging as a plausible alternative to exhaustive simulation for establishing correct digital hardware designs. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems, slowing the arrival of products in the marketplace...
These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, Fr...
|
cena:
192,30 zł |
 |
Information Security: A Manager's Guide to Thwarting Data Thieves and Hackers
ISBN: 9780313345586 / Angielski / Twarda / 2008 / 188 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Organizations with computer networks, Web sites, and employees carrying laptops and Blackberries face an array of security challenges. Among other things, they need to keep unauthorized people out of the network, thwart Web site hackers, and keep data safe from prying eyes or criminal hands. This book provides a high-level overview of these challenges and more. But it is not for the hard-core IT security engineer who works full time on networks. Instead, it is aimed at the nontechnical executive with responsibility for ensuring that information and assets stay safe and private. Written by... Organizations with computer networks, Web sites, and employees carrying laptops and Blackberries face an array of security challenges. Among other ... |
cena:
300,88 zł |
 |
Analog and Mixed-Signal Hardware Description Language
ISBN: 9780792398752 / Angielski / Twarda / 1997 / 158 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Hardware description languages (HDL) such as VHDL and Verilog have found their way into almost every aspect of the design of digital hardware systems. Since their inception they gradually proved to be an essential part of modern design methodologies and design automation tools, ever exceeding their original goals of being description and simulation languages. Their use for automatic synthesis, formal proof, and testing are good examples.
So far, HDLs have been mainly dealing with digital systems. However, integrated systems designed today require more and more analog parts such as A/D... Hardware description languages (HDL) such as VHDL and Verilog have found their way into almost every aspect of the design of digital hardware systems....
|
cena:
384,63 zł |
 |
Creating Cool MINDSTORMS NXT Robots
ISBN: 9781590599662 / Angielski / Miękka / 2008 / 608 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Build and program MINDSTORM NXT robots with Daniele Benedettelli, one of the world's most respected NXT robot builders. He shows you how to build and program them from scratch, starting with the simplest robots and progressing in difficulty to a total of seven award-winning robots You can download all the code, along with low-resolution videos that show how your robot works when it's finished. You don't need to be a programmer to develop these cool robots, because all the code is provided, but advanced developers will enjoy seeing the secrets of Benedettelli's code and...
Build and program MINDSTORM NXT robots with Daniele Benedettelli, one of the world's most respected NXT robot builders. He shows you ...
|
cena:
192,30 zł |
![The Complexity of Simple Computer Architectures Silvia M. Muller Silvia M. M]ller Wolfgang J. Paul 9783540605805 Springer](/the_complexity_of_simple_computer_architectures-9783540605805_thb.jpg "The Complexity of Simple Computer Architectures") |
The Complexity of Simple Computer Architectures
ISBN: 9783540605805 / Angielski / Miękka / 1995 / 273 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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... This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectur...
|
cena:
192,30 zł |
 |
Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
ISBN: 9783540665595 / Angielski / Miękka / 1999 / 376 str. Termin realizacji zamówienia: ok. 20 dni roboczych. CHARME 99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place...
CHARME 99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the desig...
|
cena:
192,30 zł |
 |
Intelligent Wearable Interfaces
ISBN: 9780470179277 / Angielski / Twarda / 2008 / 216 str. Termin realizacji zamówienia: ok. 22 dni roboczych. A thorough introduction to the development and applications of intelligent wearable interfaces
As mobile computing, sensing technology, and artificial intelligence become more advanced and their applications more widespread, the area of intelligent wearable interfaces is growing in importance. This emerging form of human-machine interaction has infinite possibilities for enhancing humans' capabilities in communications, actions, monitoring, and control. Intelligent Wearable Interfaces is a collection of the efforts the authors have made in this area at The Chinese University of Hong... A thorough introduction to the development and applications of intelligent wearable interfaces
As mobile computing, sensing technology, and artific... |
cena:
645,25 zł |
 |
Handbook of Usability Testing: How to Plan, Design, and Conduct Effective Tests
ISBN: 9780470185483 / Angielski / Miękka / 2008 / 384 str. Termin realizacji zamówienia: ok. 12 dni roboczych. Whether it's software, a cell phone, or a refrigerator, your customer wants - no, expects - your product to be easy to use. This fully revised handbook provides clear, step-by-step guidelines to help you test your product for usability. Completely updated with current industry best practices, it can give you that all-important marketplace advantage: products that perform the way users expect. You'll learn to recognize factors that limit usability, decide where testing should occur, set up a test plan to assess goals for your product's usability, and more.
Whether it's software, a cell phone, or a refrigerator, your customer wants - no, expects - your product to be easy to use. This fully revised handboo...
|
cena:
254,56 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
