» książki » Computers - Computer Engineering
topmenu
 |
Computer-Aided Verification: A Special Issue of Formal Methods in System Design on Computer-Aided Verification
ISBN: 9780792392859 / Angielski / Twarda / 142 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is hardware verification, most of what she reports applies to software verification as well.
Graphical presentation is coming to be a de facto requirement for a friendly' user interface. The second paper presents a generic format for graphical presentations of coordinating... Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts wi...
|
cena:
606,65 |
 |
Computer Network Time Synchronization: The Network Time Protocol on Earth and in Space
ISBN: 9781439814635 / Angielski / Twarda / 494 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Carefully coordinated, reliable, and accurate time synchronization is vital to a wide spectrum of fields from air and ground traffic control, to buying and selling goods and services, to TV network programming. Ill-gotten time could even lead to the unimaginable and cause DNS caches to expire, leaving the entire Internet to implode on the root servers. Written by the original developer of the Network Time Protocol (NTP), Computer Network Time Synchronization: The Network Time Protocol on Earth and in Space, Second Edition addresses the technological infrastructure... Carefully coordinated, reliable, and accurate time synchronization is vital to a wide spectrum of fields from air and ground traffic control, to bu... |
cena:
837,70 |
 |
Formal Methods for Industrial Critical Systems: A Survey of Applications
ISBN: 9780470876183 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner.
Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of... Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general defi...
|
cena:
419,88 |
 |
MATLAB - C# for Engineers
ISBN: 9781452802565 / Angielski / Miękka / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. MATLAB C# Book illustrates the work between C# programming and MATLAB. This book describes very specifically how to use MATLAB built-in functions in C# applications. If you are a C# programmer and want to use the MATLAB built-in functions in your C# applications to solve mathematical problems in C# programming code, then this book is what you're looking for. The features of this book are designed to handle following projects: 1. C# functions use MATLAB built-in functions from classes created from MATLAB M-files to solve mathematical problems 2. C# Windows applications use MATLAB built-in...
MATLAB C# Book illustrates the work between C# programming and MATLAB. This book describes very specifically how to use MATLAB built-in functions in C...
|
cena:
322,77 |
 |
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions
ISBN: 9780470905395 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sensor networking related issues, researchers have been putting various efforts and coming up with innovative ideas. Within the last few years, we have seen a steep growth of research works particularly on various sensor node organization issues. The objective of this book is to gather recent advancements in the fields of self-organizing wireless sensor networks as well as to provide the readers with the essential information about sensor networking.
In the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sensor networking related issues,...
|
cena:
570,31 |
 |
Web Information Systems and Technologies: 5th International Conference, WEBIST 2009, Lisbon, Portugal, March 23-26, 2009, Revised Selected Papers
ISBN: 9783642124358 / Angielski / Miękka / 311 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains a selection of the best papers from WEBIST 2009 (the 5th Int- national Conference on Web Information Systems and Technologies), held in Lisbon, Portugal, in 2009, organized by the Institute for Systems and Technologies of Inf- mation, Control and Communication (INSTICC), in collaboration with ACM SIGMIS and co-sponsored by the Workflow Management Coalition (WFMC). The purpose of the WEBIST series of conferences is to bring together researchers, engineers and practitioners interested in the technological advances and business applications of Web-based information systems....
This book contains a selection of the best papers from WEBIST 2009 (the 5th Int- national Conference on Web Information Systems and Technologies), hel...
|
cena:
303,30 |
 |
Software Business: First International Conference, ICSOB 2010, Jyväskylä, Finland, June 21-23, 2010, Proceedings
ISBN: 9783642136320 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The advancementof the softwareindustry has hada substantialimpact notonly onproductivityandonGDPgrowthglobally, butalsoonourdailyworkandlife. Software business refers to commercial activity of the software industry, aimed at generating income from delivery of software products and software services. Although software business shares common features with other international knowledge-intensive businesses, it carries many inherent features making it an intriguing and challenging domain for research. Until now, however, software business has received little attention from the academic community....
The advancementof the softwareindustry has hada substantialimpact notonly onproductivityandonGDPgrowthglobally, butalsoonourdailyworkandlife. Software...
|
cena:
202,19 |
 |
Machine Learning Applications in Software Engineering
ISBN: 9789812560940 / Angielski / Twarda / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Machine learning deals with the issue of how to build computer programs that improve their performance at some tasks through experience. Machine learning algorithms have proven to be of great practical value in a variety of application domains. Not surprisingly, the field of software engineering turns out to be a fertile ground where many software development and maintenance tasks could be formulated as learning problems and approached in terms of learning algorithms. This book deals with the subject of machine learning applications in software engineering. It provides an overview of machine...
Machine learning deals with the issue of how to build computer programs that improve their performance at some tasks through experience. Machine learn...
|
cena:
803,21 |
 |
Developments in Data Storage
ISBN: 9780470501009 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A timely text on the recent developments in data storage, from a materials perspective Ever-increasing amounts of data storage on hard disk have been made possible largely due to the immense technological advances in the field of data storage materials. Developments in Data Storage: Materials Perspective covers the recent progress and developments in recording technologies, including the emerging non-volatile memory, which could potentially become storage technologies of the future. Featuring contributions from experts around the globe, this book provides engineers and... A timely text on the recent developments in data storage, from a materials perspective Ever-increasing amounts of data storage on har... |
cena:
662,62 |
 |
VHDL for Logic Synthesis
ISBN: 9780470688472 / Angielski / Twarda / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Making VHDL a simple and easy-to-use hardware description language
Many engineers encountering VHDL (very high speed integrated circuits hardware description language) for the first time can feel overwhelmed by it. This book bridges the gap between the VHDL language and the hardware that results from logic synthesis with clear organisation, progressing from the basics of combinational logic, types, and operators; through special structures such as tristate buses, register banks and memories, to advanced themes such as developing your own packages, writing test benches and using the... Making VHDL a simple and easy-to-use hardware description language
Many engineers encountering VHDL (very high speed integrated circuits har... |
cena:
342,08 |
 |
Engineering Reliable Service Oriented Architecture: Managing Complexity and Service Level Agreements
ISBN: 9781609604936 / Angielski / Twarda / 422 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Engineering Reliable Service Oriented Architecture: Managing Complexity and Service Level Agreements presents a guide to engineering reliable SOA systems and enhances current understanding of service reliability. It is an essential reference for both practitioners and researchers wishing to explore state-of-the art results from the field of reliable SOA application engineering.
Engineering Reliable Service Oriented Architecture: Managing Complexity and Service Level Agreements presents a guide to engineering reliable SOA syst...
|
cena:
920,01 |
 |
Safety of Computer Architectures
ISBN: 9781848211971 / Angielski / Twarda / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial treatments of the elements that comprise an effective system architecture. It is not so easy to find a single source reference for all these aspects of system design. However, the purpose of this book is to present, in a single volume, a full description of all the constraints (including legal contexts around performance, reliability norms, etc.) and examples of architectures from various fields...
It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependabil...
|
cena:
684,69 |
 |
CMOS Pll Synthesizers: Analysis and Design
ISBN: 9781441936509 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thanks to the advance of semiconductor and communication technology, the wireless communication market has been booming in the last two decades. It evolved from simple pagers to emerging third-generation (3G) cellular phones. In the meanwhile, broadband communication market has also gained a rapid growth. As the market always demands hi- performance and low-cost products, circuit designers are seeking hi- integration communication devices in cheap CMOS technology. The phase-locked loop frequency synthesizer is a critical component in communication devices. It works as a local oscillator for...
Thanks to the advance of semiconductor and communication technology, the wireless communication market has been booming in the last two decades. It ev...
|
cena:
404,42 |
 |
Optical Interconnections and Parallel Processing: Trends at the Interface
ISBN: 9781441947826 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Optical media are now widely used in the telecommunication networks, and the evolution of optical and optoelectronic technologies tends to show that their wide range of techniques could be successfully introduced in shorter-distance interconnection systems. This book bridges the existing gap between research in optical interconnects and research in high-performance computing and communication systems, of which parallel processing is just an example. It also provides a more comprehensive understanding of the advantages and limitations of optics as applied to high-speed communications.
... Optical media are now widely used in the telecommunication networks, and the evolution of optical and optoelectronic technologies tends to show that t...
|
cena:
606,65 |
 |
Virtual Components Design and Reuse
ISBN: 9781441948687 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Design reuse is not just a topic of research but a real industrial necessity in the microelectronic domain and thus driving the competitiveness of relevant areas like for example telecommunication or automotive. Most companies have already dedicated a department or a central unit that transfer design reuse into reality. All main EDA conferences include a track to the topic, and even specific conferences have been established in this area, both in the USA and in Europe.
Virtual Components Design and Reuse presents a selection of articles giving a mature and consolidated... Design reuse is not just a topic of research but a real industrial necessity in the microelectronic domain and thus driving the competitiveness of rel...
|
cena:
606,65 |
 |
Electronic Chips & Systems Design Languages
ISBN: 9781441948847 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Electronic Chips & Systems Design Languagesoutlines and describes the latest advances in design languages. The challenge of System on a Chip (SOC) design requires designers to work in a multi-lingual environment which is becoming increasingly difficult to master. It is therefore crucial for them to learn, almost in real time, from the experiences of their colleagues in the use of design languages and how these languages have become more advanced to cope with system design.
System designers, as well as students willing to become system designers, often do not have the time to... Electronic Chips & Systems Design Languagesoutlines and describes the latest advances in design languages. The challenge of System on a Chip ...
|
cena:
808,88 |
 |
Design of Multi-Bit Delta-SIGMA A/D Converters
ISBN: 9781441952882 / Angielski / Miękka / 226 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Design of Multi-Bit Delta-Sigma A/D Converters discusses both architecture and circuit design aspects of Delta-Sigma A/D converters, with a special focus on multi-bit implementations. The emphasis is on high-speed high-resolution converters in CMOS for ADSL applications, although the material can also be applied for other specification goals and technologies.
Design of Multi-Bit Delta-Sigma A/D Converters starts with a general introduction of the concepts of Delta-Sigma converters. A wide variety of architectures are discussed, ranging from single-loop to cascaded and... Design of Multi-Bit Delta-Sigma A/D Converters discusses both architecture and circuit design aspects of Delta-Sigma A/D converters, with a s...
|
cena:
606,65 |
 |
Designing CMOS Circuits for Low Power
ISBN: 9781441953148 / Angielski / Miękka / 277 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the fourth in a series on novel low power design architectures, methods and design practices. It results from of a large European project started in 1997, whose goal is to promote the further development and the faster and wider industrial use of advanced design methods for reducing the power con- sumption of electronic systems. Low power design became crucial with the wide spread of portable infor- mation and communication terminals, where a small battery has to last for a long period. High performance electronics, in addition, suffers from a per- manent increase of the...
This book is the fourth in a series on novel low power design architectures, methods and design practices. It results from of a large European project...
|
cena:
889,77 |
 |
Power Estimation and Optimization Methodologies for VLIW-based Embedded Systems
ISBN: 9781441953391 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. LOW power design is playing an important role in today ultra-large scale integration (ULSI) design, particularly as we continue to double the number of transistors on a die every two years and increase the frequency of operation at fairly the same rate. Certainly, an important aspect of low power faces with mobile communications and it has a huge impact on our lives, as we are at the start-line of the proliferation of mobile PDA s (Personal Digital Assistants), Wireless LAN and portable multi-media computing. All of these devices are shaping the way we will be interacting with our family,...
LOW power design is playing an important role in today ultra-large scale integration (ULSI) design, particularly as we continue to double the number o...
|
cena:
500,55 |
 |
Low-Voltage CMOS Log Companding Analog Design
ISBN: 9781441953537 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Low-Voltage CMOS Log Companding Analog Design presents in detail state-of-the-art analog circuit techniques for the very low-voltage and low-power design of systems-on-chip in CMOS technologies. The proposed strategy is mainly based on two bases: the Instantaneous Log Companding Theory, and the MOSFET operating in the subthreshold region. The former allows inner compression of the voltage dynamic-range for very low-voltage operation, while the latter is compatible with CMOS technologies and suitable for low-power circuits. The required background on the specific modeling of...
Low-Voltage CMOS Log Companding Analog Design presents in detail state-of-the-art analog circuit techniques for the very low-voltage ...
|
cena:
404,42 |
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
