» książki » Computers - Computer Engineering
topmenu
 |
Software Engineering 3: Domains, Requirements, and Software Design
ISBN: 9783540211518 / Angielski / Twarda / 800 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." This book covers the process from the development of domain descriptions, via the... The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The tex... |
cena:
406,31 |
 |
Testing Commercial-Off-The-Shelf Components and Systems
ISBN: 9783540218715 / Angielski / Twarda / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Industrial development of software systems needs to be guided by recognized engineering principles. Commercial-off-the-shelf (COTS) components enable the systematic and cost-effective reuse of prefabricated tested parts, a characteristic approach of mature engineering disciplines. This reuse necessitates a thorough test of these components to make sure that each works as specified in a real context. Beydeda and Gruhn invited leading researchers in the area of component testing to contribute to this monograph, which covers all related aspects from testing components in a... Industrial development of software systems needs to be guided by recognized engineering principles. Commercial-off-the-shelf (COTS) components enab... |
cena:
406,31 |
 |
Power-Aware Computer Systems: Third International Workshop, Pacs 2003, San Diego, Ca, Usa, December 1, 2003, Revised Papers
ISBN: 9783540240310 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the proceedings of the 3rd Power-Aware Computer Systems (PACS 2003) Workshop held in conjunction with the 36th Annual International Symposium on Microarchitecture (MICRO-36). The increase in power and - ergy dissipation in computer systems has begun to limit performance and has also resulted in higher cost and lower reliability. The increase also implies - ducedbatterylifeinportablesystems.Becauseofthemagnitudeoftheproblem, alllevelsofcomputersystems, includingcircuits, architectures, andsoftware, are being employed to address power and energy issues. PACS 2003 was the third...
Welcome to the proceedings of the 3rd Power-Aware Computer Systems (PACS 2003) Workshop held in conjunction with the 36th Annual International Symposi...
|
cena:
203,13 |
 |
Power-Aware Computer Systems: 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers
ISBN: 9783540297901 / Angielski / Miękka / 181 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contributes the thoroughly refereed post-proceedings of the 4th International Workshop on Power-Aware Computer Systems, PACS 2004, held in Portland, OR, USA in December 2004. The 12 revised full papers presented were carefully reviewed, selected, and revised for inclusion in the book. The papers span a wide spectrum of topics in power-aware systems; they are organized in topical sections on microarchitecture- and circuit-level techniques, power-aware memory and interconnect systems, and frequency- and voltage-scaling techniques. This book contributes the thoroughly refereed post-proceedings of the 4th International Workshop on Power-Aware Computer Systems, PACS 2004, held i... |
cena:
203,13 |
 |
Computer Safety, Reliability, and Security: 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings
ISBN: 9783540411864 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This title constitutes the refereed proceedings of the 19th International Conference on Computer Safety, Reliability, and Security. The 33 revised full papers presented together with three invited papers are organized in topical sections on verification and validation software process improvement formal methods safety guidelines, standards and certification hardware aspects safety assessment design for safety and transport and infrastructure.
This title constitutes the refereed proceedings of the 19th International Conference on Computer Safety, Reliability, and Security. The 33 revised ful...
|
cena:
203,13 |
 |
Rendering, Visualization and Rasterization Hardware
ISBN: 9783540567875 / Angielski / Twarda / 197 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reports the developments in rendering, visualization, and rasterization hardware. This book contains contributions to the Sixth Eurographics Workshop on Graphics Hardware, held in Vienna in September 1991.
Reports the developments in rendering, visualization, and rasterization hardware. This book contains contributions to the Sixth Eurographics Workshop ...
|
cena:
406,31 |
 |
Algorithms and Data Structures in VLSI Design: Obdd - Foundations and Applications
ISBN: 9783540644866 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One of the main problems in chip design is the huge number of possible combinations of individual chip elements, leading to a combinatorial explosion as chips become more complex. New key results in theoretical computer science and in the design of data structures and efficient algorithms, can be applied fruitfully here. The application of ordered binary decision diagrams (OBDDs) has led to dramatic performance improvements in many computer-aided design projects. This textbook provides an introduction to the foundations of this interdisciplinary research area with an emphasis on applications...
One of the main problems in chip design is the huge number of possible combinations of individual chip elements, leading to a combinatorial explosion ...
|
cena:
203,13 |
 |
Architecture Design and Validation Methods
ISBN: 9783540649762 / Angielski / Twarda / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. Based on advanced research ideas and approaches, and written by eminent researchers in the field, seven chapters cover the whole range from computer aided high-level design of VLSI circuits and systems to layout and testable design, including modeling and synthesis of behavior, of control, and of dataflow, cell based logic optimization, machine assisted verification, and virtual machine design. The chapters presuppose only basic familiarity with computer...
This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. Based on advan...
|
cena:
203,13 |
 |
Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties
ISBN: 9783540654315 / Angielski / Twarda / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. N COMPUTER applications we are used to live with approximation. Var I ious notions of approximation appear, in fact, in many circumstances. One notable example is the type of approximation that arises in numer ical analysis or in computational geometry from the fact that we cannot perform computations with arbitrary precision and we have to truncate the representation of real numbers. In other cases, we use to approximate com plex mathematical objects by simpler ones: for example, we sometimes represent non-linear functions by means of piecewise linear ones. The need to solve difficult...
N COMPUTER applications we are used to live with approximation. Var I ious notions of approximation appear, in fact, in many circumstances. One notabl...
|
cena:
345,20 |
 |
Computer Architecture: Complexity and Correctness
ISBN: 9783540674818 / Angielski / Twarda / 553 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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...
Computer Architecture: Complexity and Correctness develops, at the gate level, the complete design of a pipelined RISC processor with delayed branch, ...
|
cena:
203,13 |
 |
Efficient Visual Navigation: A Study by the Example of Hierarchically Structured Graphs
ISBN: 9783836417945 / Angielski / Miękka / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
281,00 |
 |
Stochastic Analysis of Computer Storage
ISBN: 9789027725158 / Angielski / Twarda / 254 str. Termin realizacji zamówienia: 22 dni roboczych Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't see the problem. perhaps you will find the final question. G. K. Chesterton. The Scandal of Fother 'The Hennit Clad in Crane Feathers' in R. Brown 'The point of a Pin'. van GWs The Chinese More Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It...
Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't s...
|
150,81 |
 |
Advanced Computer Performance Modeling and Simulation
ISBN: 9789056995690 / Angielski / Twarda / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Addresses the major issues involved in computer design and architectures. Dealing primarily with theory, tools, and techniques as related to advanced computer systems, it provides tutorials and surveys and relates new important research results. Each chapter provides background information, describes and analyzes important work done in the field, and provides important direction to the reader on future work and further readings. The topics covered include hierarchical design schemes, parallel and distributed modeling and simulation, parallel simulation tools and techniques, theoretical models...
Addresses the major issues involved in computer design and architectures. Dealing primarily with theory, tools, and techniques as related to advanced ...
|
cena:
593,71 |
 |
VLSI Physical Design Automation: Theory and Practice
ISBN: 9789810238834 / Angielski / Twarda / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An introduction to the field of CAD for VLSI. It covers all aspects of physical design, together with such related fields as automatic cell generation, silicon compilation, layout editors and compaction. A problem-solving approach is adopted and each solution is illustrated with examples.
An introduction to the field of CAD for VLSI. It covers all aspects of physical design, together with such related fields as automatic cell generation...
|
cena:
557,26 |
 |
Semantics of Digital Circuits
ISBN: 9783540185406 / Angielski / Miękka / 124 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
93,42 |
 |
Military Avionics Systems
ISBN: 9780470016329 / Angielski / Twarda / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ian Moir and Allan Seabridge
Military avionics is a complex and technically challenging field which requires a high level of competence from all those involved in the aircraft design and maintenance. As the various systems on board an aircraft evolve to become more and more inter-dependent and integrated, it is becoming increasingly important for designers to have a holistic view and knowledge of aircraft systems in order to produce an effective design for their individual components and effectively combine the systems involved. This book introduces the... Ian Moir and Allan Seabridge
Military avionics is a complex and technically challenging field which requires a high level of compe... |
cena:
681,99 |
 |
Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings
ISBN: 9783540574170 / Angielski / Miękka / 367 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task. Automated debugging has seen major developments over the last decade. One successful development is algorithmic debugging, which originated in logic program but was later generalized to concurrent, imperative, and lazy functional languages.
Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task....
|
cena:
203,13 |
 |
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 / 275 str. Termin realizacji zamówienia: ok. 5-8 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:
203,13 |
 |
Evolvable Systems: From Biology to Hardware: First International Conference, Ices '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers
ISBN: 9783540631736 / Angielski / Miękka / 491 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-conference proceedings recording the scientific progress achieved at the First International Conference on Evolvable Systems: From Biology to Hardware, ICES'96, held in Tsukuba, Japan, in October 1996.
The volume presents 33 revised full papers including several invited contributions surveying the state of the art in this emerging area of research and development. The volume is divided into topical sections on evolware, cellular systems, engineering applications of evolvable hardware systems, evolutionary robotics, innovative architectures,... This book constitutes the strictly refereed post-conference proceedings recording the scientific progress achieved at the First International Conferen...
|
cena:
203,13 |
 |
A Designer's Guide to VHDL Synthesis
ISBN: 9780792394723 / Angielski / Twarda / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Designer's Guide to VHDL Synthesis is intended for both design engineers who want to use VHDL-based logic synthesis ASICs and for managers who need to gain a practical understanding of the issues involved in using this technology. The emphasis is placed more on practical applications of VHDL and synthesis based on actual experiences, rather than on a more theoretical approach to the language.
VHDL and logic synthesis tools provide very powerful capabilities for ASIC design, but are also very complex and represent a radical departure from traditional design methods. This... A Designer's Guide to VHDL Synthesis is intended for both design engineers who want to use VHDL-based logic synthesis ASICs and for managers ...
|
cena:
609,48 |
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
