» książki » Computers - Computer Engineering
topmenu
 |
Modelling Enterprise Architectures
ISBN: 9781849190770 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book looks at the practical needs of creating and maintaining an effective EA within a 21st century business through the use of pragmatic modelling. Introducing the concepts behind enterprise architectures, it teaches the modelling notation needed to effectively realise an enterprise architecture and explores the concepts more fully through a reallife enterprise architecture.
This book looks at the practical needs of creating and maintaining an effective EA within a 21st century business through the use of pragmatic modelli...
|
cena:
396,52 zł |
 |
Formal Semantics for VHDL
ISBN: 9780792395522 / Angielski / Twarda / 249 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the last few years, resulting in the fact that formal design and verification methods are nowadays supported by several tools, both commercial and academic.
If different tools and users are to generate and read the same language then it is necessary that the same semantics is assigned by them to all constructs and elements of the language. The current IEEE standard VHDL language reference manual (LRM) tries... It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field...
|
cena:
403,47 zł |
 |
Hardware Component Modeling
ISBN: 9780792396864 / Angielski / Twarda / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The VITAL specification addresses the issues of interoperability, backannotation and high performance simulation for sign-off quality ASIC libraries in VHDL. VITAL provides modeling guidelines and a set of pre-defined packages (containing pre-defined routines for modeling functionality and timing) to facilitate the acceleration of designs which use cells from a VITAL library. The VITAL Level-I guidelines constrain the modeling capabilities provided by VHDL in order to facilitate higher performance (Figure I). Accumulating "gains" Constrained "flexibility" Higher performance & Increased...
The VITAL specification addresses the issues of interoperability, backannotation and high performance simulation for sign-off quality ASIC libraries i...
|
cena:
403,47 zł |
 |
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:
605,23 zł |
 |
The Secd Microprocessor: A Verification Case Study
ISBN: 9780792392453 / Angielski / Twarda / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a milestone in machine-assisted microprocessor verification. Gordon 20] and Hunt 32] led the way with their verifications of sim ple designs, Cohn 12, 13] followed this with the verification of parts of the VIPER microprocessor. This work illustrates how much these, and other, pioneers achieved in developing tractable models, scalable tools, and a robust methodology. A condensed review of previous re search, emphasising the behavioural model underlying this style of verification is followed by a careful, and remarkably readable, ac count of the SECD architecture, its formalisation,...
This is a milestone in machine-assisted microprocessor verification. Gordon 20] and Hunt 32] led the way with their verifications of sim ple designs...
|
cena:
403,47 zł |
 |
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:
780,44 zł |
 |
Advanced Selenium in Java: With Examples
ISBN: 9781535485708 / Angielski / Miękka / 270 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is for software developers, automation testers, Devops and engineers working on selenium automation testing project. Whether you are a beginner or an experienced developer, this book will help you master the skills on Selenium. The book starts with introduction of Selenium and then dives into key concepts like setting up project in IntelliJ, integration with Junit and TestNG, integration with build tools like Gradle and Maven. You will also learn how to integrate selenium with Cucumber. In the end, you will learn how to run the Selenium tests on CI servers like TeamCity, Bamboo and...
This book is for software developers, automation testers, Devops and engineers working on selenium automation testing project. Whether you are a begin...
|
cena:
100,84 zł |
 |
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:
420,78 zł |
 |
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 zł |
 |
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:
574,81 zł |
 |
Technische Informatik: Grundlagen Und Anwendungen Boolescher Maschinen
ISBN: 9783663052838 / Niemiecki / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
207,36 zł |
 |
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:
302,60 zł |
 |
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:
201,72 zł |
 |
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:
795,08 zł |
 |
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 zł |
 |
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:
338,63 zł |
 |
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:
919,08 zł |
 |
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:
677,76 zł |
 |
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:
403,47 zł |
 |
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:
605,23 zł |
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
