Książka: » Informatyka » Sprzęt komputerowy
Sprzęt komputerowy
ilość książek w kategorii: 2981
 |
Practical Mythtv: Building a Pvr and Media Center PC
ISBN: 9781590597798 / Angielski / Miękka / 2007 / 372 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. MythTV is a powerful open source personal video recorder (PVR) application that runs on Linux. Developed for several years by volunteers, it offers a stable and extensible platform for automating all of the things you would expect from a PVR, and much more. Practical MythTV: Building a PVR and Media Center PC takes a project-based approach to implementing your own MythTV setup. You get to pick and choose the functionality you want to install for your PVR, and will learn the details of everything from selecting hardware to advanced customization. You will learn how to... MythTV is a powerful open source personal video recorder (PVR) application that runs on Linux. Developed for several years by volunteers, it offers... |
cena:
104,87 |
 |
Advanced NXT: The Da Vinci Inventions Book
ISBN: 9781590598436 / Angielski / Miękka / 2007 / 398 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Robots have been a source of fascination to me since my childhood. That was during the time of the first Star Wars trilogy, with very humanlike robots appearing on the screen, such as C-3PO, who still reminds me of some friends of mine, and not so humanlike others, such as R2-D2 (who nev- theless also reminds me of some people I know). There were the books of Stanislaw Lem and Douglas Adams that discuss the philosophical questions related to the creation of artificial beings. Do androids dream of electric sheep? I still wonder. Yet all my attempts to build something similar on my own failed....
Robots have been a source of fascination to me since my childhood. That was during the time of the first Star Wars trilogy, with very humanlike robots...
|
cena:
121,01 |
 |
Advanced Topics in End User Computing, Volume 3
ISBN: 9781591402572 / Angielski / Twarda / 2003 / 378 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This work features research findings dealing with end user computing concepts, issues, and trends. Empirical and theoretical research concerned with all aspects of end user computing including development, utilization, and management are included.
This work features research findings dealing with end user computing concepts, issues, and trends. Empirical and theoretical research concerned with a...
|
cena:
409,75 |
 |
Advanced Topics in End User Computing, Volume 4
ISBN: 9781591404743 / Angielski / Twarda / 2005 / 350 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Advanced Topics in End User Computing is a series of books, which feature the latest research findings dealing with end user computing concepts, issues, and trends. Empirical and theoretical research concerned with all aspects of end user computing including development, utilization, and management are included. Advanced Topics in End User Computing, Volume 4 is a part of this series. Advanced Topics in End User Computing, Volume 4 is divided into three segments which cover such important topics as: organizational and end user computing issues, trends, and successes, collaborative...
Advanced Topics in End User Computing is a series of books, which feature the latest research findings dealing with end user computing concepts, issue...
|
cena:
435,38 |
 |
Rfid+ Study Guide and Practice Exams: Study Guide and Practice Exams
ISBN: 9781597491341 / Angielski / Miękka / 2007 / 326 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Radio Frequency Identification (RFID) is an automatic identification method, relying on storing and remotely retrieving data using devices called RFID tags (also called transponders). This book is a guide to CompTIA's new RFID+ Security exam and includes the following study elements: Exam objectives covered in a chapter are clearly explained in the beginning of the chapter, Notes and Alerts highlight the crucial points, Exam's Eye View emphasizes the important points from the exam's perspective, Key Terms present definitions, Review Questions contain questions modeled after the real exam...
Radio Frequency Identification (RFID) is an automatic identification method, relying on storing and remotely retrieving data using devices called RFID...
|
cena:
162,24 |
 |
Vintage Laptop Computers: First Decade: 1980-89
ISBN: 9781598004892 / Angielski / Miękka / 2006 / 132 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The "Man"and his Machines I hope this book will refresh the memories of the few who were lucky enough to use "laptops" in the early years. Also to spark an interest in a machine which changed the way we live and do business today. I believe this book will be an invaluable aid in furnishing the information required to start a very challenging pursuit of vintage "Laptop" Computers. This could be a fascinating venture which would connect you to our life-changing technological history.
The "Man"and his Machines I hope this book will refresh the memories of the few who were lucky enough to use "laptops" in the early years. Also to spa...
|
cena:
80,73 |
 |
Iccs 2007: Proceedings of the 15th International Workshops on Conceptual Structures
ISBN: 9781846289903 / Angielski / Miękka / 2007 / 236 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The 15th International Workshop on Conceptual Structures ICCS 2007 brings together numerous discussions between international groups of researchers from the field of Information and Communications Technology (ICT). At ICCS 2007 some of the world's best minds in information technology, arts, humanities and social science met to explore novel ways that ICT can augment human intelligence. The workshops include, Rough sets and data mining, and ubiquitous and collaborative computing. The 15th International Workshop on Conceptual Structures ICCS 2007 brings together numerous discussions between international groups of researchers... |
cena:
605,23 |
 |
Recent Advances in Computational Science and Engineering - Proceedings of the International Conference on Scientific and Engineering Computation (IC-S
ISBN: 9781860943454 / Angielski / Miękka / 2002 / 952 str. Termin realizacji zamówienia: ok. 30 dni roboczych. IC-SEC 2002 serves as a forum for engineers and scientists who are involved in the use of high performance computers, advanced numerical strategies, computational methods and simulation in various scientific and engineering disciplines. The conference creates a platform for presenting and discussing the latest trends and findings about the state of the art in their particular field(s) of interest. IC-SEC also provides a forum for the interdisciplinary blending of computational efforts in various diversified areas of science, such as biology, chemistry, physics and materials science, as well...
IC-SEC 2002 serves as a forum for engineers and scientists who are involved in the use of high performance computers, advanced numerical strategies, c...
|
cena:
1232,01 |
 |
Extreme Mindstorms: An Advanced Guide to Lego Mindstorms
ISBN: 9781893115842 / Angielski / Miękka / 2000 / 360 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Three MINDSTORMS experts have joined with the maintainer of the legOS HOWTO to produce the book that all advanced users of LEGO MINDSTORMS have been waiting for. Each author has written material based on his specialty. Dave Baum shows you how to take Not Quite C (NQC) to its limits. Ralph Hempel explains the ins and outs of pbForth. Michael Gasperi teaches you how to build numerous custom sensors with simple, systematic instructions. Luis Villa show you how (and when) to upgrade MINDSTORMS' built-in operating system to... Three MINDSTORMS experts have joined with the maintainer of the legOS HOWTO to produce the book that all advanced users of LEGO MINDSTORMS have bee... |
cena:
104,87 |
 |
Business Process Execution Language for Web Services 2nd Edition
ISBN: 9781904811817 / Angielski / Miękka / 2006 / 372 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book provides detailed coverage of BPEL4WS, its syntax, and where, and how, it is used. It begins with an overview of web services, showing both the foundation of, and need for, BPEL. The web services orchestration stack is explained, including standards such as WS-Security, WS-Coordination, WS-Transaction, WS-Addressing, and others. The BPEL language itself is explained in detail, with Code snippets and complete examples illustrating both its syntax and typical construction. Having covered BPEL itself, the book then goes on to show BPEL is used in context. by providing an overview of...
This book provides detailed coverage of BPEL4WS, its syntax, and where, and how, it is used. It begins with an overview of web services, showing both ...
|
cena:
349,55 |
 |
The Ergonomics of Computer Pointing Devices
ISBN: 9783540199861 / Angielski / Miękka / 1997 / 244 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. We first began looking at pointing devices and human performance in 1990 when the senior author, Sarah Douglas, was asked to evaluate the human performance ofa rather novel device: a finger-controlled isometric joystick placed under a key on the keyboard. Since 1990 we have been involved in the development and evaluation ofother isometric joysticks, a foot-controlled mouse, a trackball, and a wearable computer with head mounted display. We unabashedly believe that design and evaluation of pointing devices should evolve from a broad spectrum of values which place the human being at the center....
We first began looking at pointing devices and human performance in 1990 when the senior author, Sarah Douglas, was asked to evaluate the human perfor...
|
cena:
266,99 |
 |
Formal Hardware Verification: Methods and Systems in Comparison
ISBN: 9783540634751 / Angielski / Miękka / 1997 / 376 str. Termin realizacji zamówienia: ok. 16-18 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:
201,72 |
 |
Processor Architecture: From Dataflow to Superscalar and Beyond
ISBN: 9783540647980 / Angielski / Miękka / 1999 / 416 str. Termin realizacji zamówienia: ok. 16-18 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:
363,12 |
 |
Introduction to Formal Hardware Verification
ISBN: 9783540654452 / Angielski / Twarda / 1999 / 299 str. Termin realizacji zamówienia: ok. 16-18 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:
201,72 |
 |
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. 16-18 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:
201,72 |
 |
Die Informatisierung Des Alltags: Leben in Smarten Umgebungen
ISBN: 9783540714545 / Niemiecki / Twarda / 2007 Termin realizacji zamówienia: ok. 16-18 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:
169,68 |
 |
Event-based Middleware for Pervasive Computing- Foundations, Concepts, Design
ISBN: 9783836413091 / Angielski / Miękka / 2007 / 196 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
316,96 |
 |
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. 16-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:
38,49 |
 |
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. 16-18 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:
201,72 |
 |
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. 16-18 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:
201,72 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
