![]() |
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New Yor
ISBN: 9780387972268 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.
Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop me...
|
cena:
201,24 |
![]() |
Beginning DB2: From Novice to Professional
ISBN: 9781590599426 / Angielski / Twarda / 515 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. IBM's DB2 Express Edition is one of the most capable of the free database platforms available in today's marketplace. In Beginning DB2, author Grant Allen gets you started using DB2 Express Edition for web sites, desktop applications, and more. The author covers the basics of DB2 for developers and database administrators, shows you how to manage data in both XML and relational form, and includes numerous code examples so that you are never in doubt as to how things work. In this book, you'll find:
IBM's DB2 Express Edition is one of the most capable of the free database platforms available in today's marketplace. In Beginning DB2, au... |
cena:
190,38 |
![]() |
Applications and Theory of Petri Nets: 29th International Conference, Petri Nets 2008, Xi'an, China, June 23-27, 2008, Proceedings
ISBN: 9783540687450 / Angielski / Miękka / 429 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume consists of the proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2008). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of conc- rency. They provide a forum for researchers to present and discuss both app- cations and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. In addition, the conf- ences always welcome a range of invited talks that survey...
This volume consists of the proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency ...
|
cena:
201,24 |
![]() |
Logic Synthesis for Compositional Microprogram Control Units
ISBN: 9783540692836 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The control unit is one of the most important parts of any digital system. As a rule, control units have an irregular structure, which makes the processing of their logic circuits design very sophisticated. One possible way to optimise such characteristics as the size or performance of control units is to adapt their structures to the particular properties of interpreted control algorithms. In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator vertices is not less than 75% of the total number of all algorithm vertices.... The control unit is one of the most important parts of any digital system. As a rule, control units have an irregular structure, which makes the pr... |
cena:
603,81 |
![]() |
Building Services Engineering Spreadsheets
ISBN: 9780419226208 / Angielski / Miękka / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a versatile, user-friendly tool for design calculations. Spreadsheet application software is readily understandable since each formula is readeable in the location where it is used. Each step in the development of these engineering solutions is fully explained.
This is a versatile, user-friendly tool for design calculations. Spreadsheet application software is readily understandable since each formula is read...
|
cena:
759,15 |
![]() |
Foundations of Computer Technology
ISBN: 9780412598104 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text is an account of the nature and characteristics of modern computer systems and microprocessors, which integrates components, networks, systems, software and design. The book focuses on a description of the hardware elements within a computer system and the impact of software on its architecture. It discusses practical aspects of computer organization (structure, behaviour and design) and offers the fundamentals for electrical engineering or computer science students.
This text is an account of the nature and characteristics of modern computer systems and microprocessors, which integrates components, networks, syste...
|
cena:
274,23 |
![]() |
Mechatronic System Control, Logic, and Data Acquisition
ISBN: 9780849392603 / Angielski / Twarda / 700 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first comprehensive and up-to-date reference on mechatronics, Robert Bishop's The Mechatronics Handbook was quickly embraced as the gold standard in the field. With updated coverage on all aspects of mechatronics, The Mechatronics Handbook, Second Edition is now available as a two-volume set. Each installment offers focused coverage of a particular area of mechatronics, supplying a convenient and flexible source of specific information. This seminal work is still the most exhaustive, state-of-the-art treatment of the field available. Focusing on the most rapidly changing areas of...
The first comprehensive and up-to-date reference on mechatronics, Robert Bishop's The Mechatronics Handbook was quickly embraced as the gold standard ...
|
cena:
832,62 |
![]() |
Object-Oriented Engineering: Building Engineering Systems Usig Smalltalk-80
ISBN: 9780256112108 / Angielski / Twarda / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an introduction to the understanding and use of object-oriented methodologies for engineering problem solving with a specific emphasis on analysis and design. (Object-oriented programming is a general computer language methodology. The name comes from the focus on describing problems in terms of objects, both physical and conceptual).
This book provides an introduction to the understanding and use of object-oriented methodologies for engineering problem solving with a specific empha...
|
cena:
132,18 |
![]() |
Numerical Analysis and Parallel Processing: Lectures given at The Lancaster Numerical Analysis Summer School 1987
ISBN: 9783540516453 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Each week of this three week meeting was a self-contained event, although each had the same underlying theme - the effect of parallel processing on numerical analysis. Each week provided the opportunity for intensive study to broaden participants' research interests or deepen their understanding of topics of which they already had some knowledge. There was also the opportunity for continuing individual research in the stimulating environment created by the presence of several experts of international stature. This volume contains lecture notes for most of the major courses of lectures...
Each week of this three week meeting was a self-contained event, although each had the same underlying theme - the effect of parallel processing on nu...
|
cena:
140,70 |
![]() |
Beautiful Architecture
ISBN: 9780596517984 / Angielski / Miękka / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What are the ingredients of robust, elegant, flexible, and maintainable software architecture? Beautiful Architecture answers this question through a collection of intriguing essays from more than a dozen of today's leading software designers and architects. In each essay, contributors present a notable software architecture, and analyze what makes it innovative and ideal for its purpose. What are the ingredients of robust, elegant, flexible, and maintainable software architecture? Beautiful Architecture answers this questio... |
cena:
185,55 |
![]() |
Distributed and Parallel Embedded Systems: Ifip Wg10.3/Wg10.5 International Workshop on Distributed and Parallel Embedded Systems (Dipes'98) October 5
ISBN: 9780792386148 / Angielski / Twarda / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Embedded systems are becoming one of the major driving forces in computer science. Furthermore, it is the impact of embedded information technology that dictates the pace in most engineering domains. Nearly all technical products above a certain level of complexity are not only controlled but increasingly even dominated by their embedded computer systems.
Traditionally, such embedded control systems have been implemented in a monolithic, centralized way. Recently, distributed solutions are gaining increasing importance. In this approach, the control task is carried out by a number of... Embedded systems are becoming one of the major driving forces in computer science. Furthermore, it is the impact of embedded information technology th...
|
cena:
805,10 |
![]() |
Design of Reservation Protocols for Multimedia Communication
ISBN: 9780792396697 / Angielski / Twarda / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The advent of multimedia technology is creating a number of new problems in the fields of computer and communication systems. Perhaps the most important of these problems in communication, and certainly the most interesting, is that of designing networks to carry multimedia traffic, including digital audio and video, with acceptable quality. The main challenge in integrating the different services needed by the different types of traffic into the same network (an objective that is made worthwhile by its obvious economic advantages) is to satisfy the performance requirements of continuous...
The advent of multimedia technology is creating a number of new problems in the fields of computer and communication systems. Perhaps the most importa...
|
cena:
603,81 |
![]() |
Making Grids Work: Proceedings of the Coregrid Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and En
ISBN: 9780387784472 / Angielski / Twarda / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Making Grids Work includes selected articles from the CoreGRID Workshop on Grid Programming Models, Grid and P2P Systems Architecture, Grid Systems, Tools and Environments held at the Institute of Computer Science, Foundation for Research and Technology - Hellas in Crete, Greece, June 2007. The workshop brought together representatives of the academic and industrial communities performing Grid research in Europe. The workshop was organized in the context of the CoreGRID Network of Excellence in order to provide a forum for the presentation and exchange of views on the latest developments in...
Making Grids Work includes selected articles from the CoreGRID Workshop on Grid Programming Models, Grid and P2P Systems Architecture, Grid Systems, T...
|
cena:
603,81 |
![]() |
Recent Advances in Parallel Virtual Machine and Message Passing Interface
ISBN: 9783540874744 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Current thinking about state-of-the-art infrastructure for computational science isdominatedbytwoconcepts: computingclustersandcomputationalgrids.Cl- ter architectures consistently hold the majority of slots on the list of Top 500 supercomputersites, andcomputationalGrids, inbothexperimentalandprod- tiondeployments, havebecome commonin academic, governmentandindustrial research communities around the world. The message passing is the dominant programmingparadigmforhigh-performancescienti?ccomputingonthesearc- tectures. MPI and PVM have emerged as standard programming environments in the...
Current thinking about state-of-the-art infrastructure for computational science isdominatedbytwoconcepts: computingclustersandcomputationalgrids.Cl- ...
|
cena:
201,24 |
![]() |
Grid and Services Evolution: Proceedings of the 3rd CoreGRID Workshop on Grid Middleware, June 5-6, 2008, Barcelona, Spain
ISBN: 9780387859651 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Grids are a crucial enabling technology for scientific and industrial development. Grid and Services Evolution, the 11th edited volume of the CoreGRID series, was based on The CoreGRID Middleware Workshop, held in Barcelona, Spain, June 5-6, 2008. Grid and Services Evolution provides a bridge between the application community and the developers of middleware services, especially in terms of parallel computing. This edited volume brings together a critical mass of well-established researchers worldwide, from forty-two institutions active... Grids are a crucial enabling technology for scientific and industrial development. Grid and Services Evolution, the 11th |
cena:
402,53 |
![]() |
Elsevier's Dictionary of Cybernyms: Abbreviations and Acronyms Used in Telecommunications, Electronics and Computer Science
ISBN: 9780444504784 / Angielski / Twarda / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This dictionary was produced in response to the rapidly increasing amount of quasi-industrial jargon in the field of information technology, compounded by the fact that these somewhat esoteric terms are often further reduced to acronyms and abbreviations that are seldom explained. Even when they are defined, individual interpretations continue to diverge.
This dictionary was produced in response to the rapidly increasing amount of quasi-industrial jargon in the field of information technology, compounde...
|
cena:
514,26 |
![]() |
97 Things Every Software Architect Should Know
ISBN: 9780596522698 / Angielski / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this truly unique technical book, today's leading software architects present valuable principles on key development issues that go way beyond technology. More than four dozen architects -- including Neal Ford, Michael Nygard, and Bill de hOra -- offer advice for communicating with stakeholders, eliminating complexity, empowering developers, and many more practical lessons they've learned from years of experience. Among the 97 principles in this book, you'll find useful advice such as:
In this truly unique technical book, today's leading software architects present valuable principles on key development issues that go way beyond t... |
cena:
134,83 |
![]() |
Formal Methods for Embedded Distributed Systems: How to Master the Complexity
ISBN: 9781402079962 / Angielski / Twarda / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization we cannot warrantee the system will meet its requirements. Unfortunately, much more is needed The different notations that can be used must all possess at least one property: formality. The development process must also have important...
The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel-...
|
cena:
402,53 |
![]() |
Higher-Level Hardware Synthesis
ISBN: 9783540213062 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexity every year. In an in?uential article published by Electronics Magazine in 1965, Moore predicted that this trend would continue for the next 10 years. Despite being criticized for its "unrealistic optimism," Moore's prediction has remained valid for far longer than even he imagined: today, chips built using state-- the-art techniques typically contain several million transistors. The advances in fabrication technology that have supported...
In the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexit...
|
cena:
201,24 |
![]() |
Hybrid Systems III: Verification and Control
ISBN: 9783540611554 / Angielski / Miękka / 619 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.
A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor... This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers Unive...
|
cena:
402,53 |