![]() |
Power Aware Design Methodologies
ISBN: 9781475785135 / Angielski / Miękka / 522 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Power Aware Design Methodologies was conceived as an effort to bring all aspects of power-aware design methodologies together in a single document. It covers several layers of the design hierarchy from technology, circuit logic, and architectural levels up to the system layer. It includes discussion of techniques and methodologies for improving the power efficiency of CMOS circuits (digital and analog), systems on chip, microelectronic systems, wirelessly networked systems of computational nodes and so on. In addition to providing an in-depth analysis of the sources of... Power Aware Design Methodologies was conceived as an effort to bring all aspects of power-aware design methodologies together in a... |
cena:
799,43 zł |
![]() |
R for Basic Biostatistics in Medical Research
ISBN: 9789819769797 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
799,43 zł |
![]() |
Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12
ISBN: 9780412837609 / Angielski / Twarda / 486 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the Proceedings of the IFIP Working Conference PRO- COMET'98, held 8-12 June 1998 at Shelter Island, N.Y. The conference is organized by the t'wo IFIP TC 2 Working Groups 2.2 Formal Description of Programming Concepts and 2.3 Programming Methodology. WG2.2 and WG2.3 have been organizing these conferences every four years for over twenty years. The aim of such Working Conferences organized by IFIP Working Groups is to bring together leading scientists in a given area of computer science. Participation is by invitation only. As a result, these conferences distinguish...
This book constitutes the Proceedings of the IFIP Working Conference PRO- COMET'98, held 8-12 June 1998 at Shelter Island, N.Y. The conference is orga...
|
cena:
799,43 zł |
![]() |
Estimation of Distribution Algorithms: A New Tool for Evolutionary Computation
ISBN: 9780792374664 / Angielski / Twarda / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Estimation of Distribution Algorithms: A New Tool for Evolutionary Computation is devoted to a new paradigm for evolutionary computation, named estimation of distribution algorithms (EDAs). This new class of algorithms generalizes genetic algorithms by replacing the crossover and mutation operators with learning and sampling from the probability distribution of the best individuals of the population at each iteration of the algorithm. Working in such a way, the relationships between the variables involved in the problem domain are explicitly and effectively captured and...
Estimation of Distribution Algorithms: A New Tool for Evolutionary Computation is devoted to a new paradigm for evolutionary computa...
|
cena:
799,43 zł |
![]() |
Computer-Aided Reasoning: Acl2 Case Studies
ISBN: 9780792378495 / Angielski / Twarda / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. Included here are technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects. The papers deal with a wide variety of ideas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and...
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative...
|
cena:
799,43 zł |
![]() |
Programming Mental Ray(r)
ISBN: 9783211244845 / Angielski / Miękka / 848 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the definitive reference manual for mental ray version 3.4. It starts with a brief overview of the features of mental ray and continues with the specification of the mental ray scene description language, the mental ray shader interface, and the integration interface for third-party applications. All material is presented in reference form, organized by grammar elements and C function call, rather than by feature set. The book is intended for translator writers, shader writers, and integrators, who are familiar with the C and C++ programming languages. This third, completely...
This book is the definitive reference manual for mental ray version 3.4. It starts with a brief overview of the features of mental ray and continues w...
|
cena:
799,43 zł |
![]() |
Workload Characterization of Emerging Computer Applications
ISBN: 9780792373155 / Angielski / Twarda / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The formal study of program behavior has become an essential ingredient in guiding the design of new computer architectures. Accurate characterization of applications leads to efficient design of high performing architectures. Quantitative and analytical characterization of workloads is important to understand and exploit the interesting features of workloads. This book includes ten chapters on various aspects of workload characterizati on. File caching characteristics of the industry-standard web-serving benchmark SPECweb99 are presented by Keller et al. in Chapter 1, while value locality of...
The formal study of program behavior has become an essential ingredient in guiding the design of new computer architectures. Accurate characterization...
|
cena:
799,43 zł |
![]() |
The Codesign of Embedded Systems: A Unified Hardware/Software Representation: A Unified Hardware/Software Representation
ISBN: 9780792396369 / Angielski / Twarda / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths remain independent with very little interaction occurring between them until system integration. In particular, hardware is often specified without fully appreciating the computational requirements of the software. Also, software development does not influence hardware development and does not track changes made during the hardware design phase. Thus, the ability to explore hardware/software tradeoffs is restricted, such as the movement of functionality from the...
Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths remain independent with...
|
cena:
799,43 zł |
![]() |
The Codesign of Embedded Systems: A Unified Hardware/Software Representation: A Unified Hardware/Software Representation
ISBN: 9781461285533 / Angielski / Miękka / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths remain independent with very little interaction occurring between them until system integration. In particular, hardware is often specified without fully appreciating the computational requirements of the software. Also, software development does not influence hardware development and does not track changes made during the hardware design phase. Thus, the ability to explore hardware/software tradeoffs is restricted, such as the movement of functionality from the...
Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths remain independent with...
|
cena:
799,43 zł |
![]() |
Ubiquitous Information Technologies and Applications: Cute 2012
ISBN: 9789400758568 / Angielski / Twarda / 914 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent advances in electronic and computer technologies have paved the way for the proliferation of ubiquitous computing and innovative applications that incorporate these technologies. This proceedings book describes these new and innovative technologies, and covers topics like Ubiquitous Communication and Networks, Security Systems, Smart Devices and Applications, Cloud and Grid Systems, Service-oriented and Web Service Computing, Embedded Hardware and Image Processing and Multimedia.
Recent advances in electronic and computer technologies have paved the way for the proliferation of ubiquitous computing and innovative applications t...
|
cena:
799,43 zł |
![]() |
Software Visualization: From Theory to Practice
ISBN: 9781461350866 / Angielski / Miękka / 442 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software Visualization: From Theory to Practice was initially selected as a special volume for "The Annals of Software Engineering (ANSE) Journal," which has been discontinued. This special edited volume, is the first to discuss software visualization in the perspective of software engineering. It is a collection of 14 chapters on software visualization, covering the topics from theory to practical systems. The chapters are divided into four Parts: Visual Formalisms, Human Factors, Architectural Visualization, and Visualization in...
Software Visualization: From Theory to Practice was initially selected as a special volume for "The Annals of Software Engineering (A...
|
cena:
799,43 zł |
![]() |
Estimation of Distribution Algorithms: A New Tool for Evolutionary Computation
ISBN: 9781461356042 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Estimation of Distribution Algorithms: A New Tool for Evolutionary Computation is devoted to a new paradigm for evolutionary computation, named estimation of distribution algorithms (EDAs). This new class of algorithms generalizes genetic algorithms by replacing the crossover and mutation operators with learning and sampling from the probability distribution of the best individuals of the population at each iteration of the algorithm. Working in such a way, the relationships between the variables involved in the problem domain are explicitly and effectively captured and...
Estimation of Distribution Algorithms: A New Tool for Evolutionary Computation is devoted to a new paradigm for evolutionary computa...
|
cena:
799,43 zł |
![]() |
Workload Characterization of Emerging Computer Applications
ISBN: 9781461356417 / Angielski / Miękka / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The formal study of program behavior has become an essential ingredient in guiding the design of new computer architectures. Accurate characterization of applications leads to efficient design of high performing architectures. Quantitative and analytical characterization of workloads is important to understand and exploit the interesting features of workloads. This book includes ten chapters on various aspects of workload characterizati on. File caching characteristics of the industry-standard web-serving benchmark SPECweb99 are presented by Keller et al. in Chapter 1, while value locality of...
The formal study of program behavior has become an essential ingredient in guiding the design of new computer architectures. Accurate characterization...
|
cena:
799,43 zł |
![]() |
The Object-Z Specification Language
ISBN: 9781461374015 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible.
The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It... Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and poly...
|
cena:
799,43 zł |
![]() |
Case-Based Learning
ISBN: 9781461364184 / Angielski / Miękka / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Case-based reasoning means reasoning based on remembering previous experiences. A reasoner using old experiences (cases) might use those cases to suggest solutions to problems, to point out potential problems with a solution being computed, to interpret a new situation and make predictions about what might happen, or to create arguments justifying some conclusion. A case-based reasoner solves new problems by remembering old situations and adapting their solutions. It interprets new situations by remembering old similar situations and comparing and contrasting the new one to old ones to see...
Case-based reasoning means reasoning based on remembering previous experiences. A reasoner using old experiences (cases) might use those cases to sugg...
|
cena:
799,43 zł |
![]() |
Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6 / Wg6.1 Third International Conference on Formal Methods for Open Object-Based Dist
ISBN: 9781475752663 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation... Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated ...
|
cena:
799,43 zł |
![]() |
Programming Concepts and Methods Procomet '98: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12
ISBN: 9781475762990 / Angielski / Miękka / 486 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the Proceedings of the IFIP Working Conference PRO- COMET'98, held 8-12 June 1998 at Shelter Island, N.Y. The conference is organized by the t'wo IFIP TC 2 Working Groups 2.2 Formal Description of Programming Concepts and 2.3 Programming Methodology. WG2.2 and WG2.3 have been organizing these conferences every four years for over twenty years. The aim of such Working Conferences organized by IFIP Working Groups is to bring together leading scientists in a given area of computer science. Participation is by invitation only. As a result, these conferences distinguish...
This book constitutes the Proceedings of the IFIP Working Conference PRO- COMET'98, held 8-12 June 1998 at Shelter Island, N.Y. The conference is orga...
|
cena:
799,43 zł |
![]() |
Ubiquitous Information Technologies and Applications: Cute 2012
ISBN: 9789402401158 / Angielski / Miękka / 914 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
799,43 zł |
![]() |
Correspondence Analysis and Data Coding with Java and R
ISBN: 9781584885283 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Developed by Jean-Paul Benzerci more than 30 years ago, correspondence analysis as a framework for analyzing data quickly found widespread popularity in Europe. The topicality and importance of correspondence analysis continue, and with the tremendous computing power now available and new fields of application emerging, its significance is greater than ever.
Correspondence Analysis and Data Coding with Java and R clearly demonstrates why this technique remains important and in the eyes of many, unsurpassed as an analysis framework. After presenting some historical background, the author... Developed by Jean-Paul Benzerci more than 30 years ago, correspondence analysis as a framework for analyzing data quickly found widespread popularity ...
|
cena:
804,38 zł |
![]() |
Programming Language Explorations
ISBN: 9781138412897 / Angielski / Twarda / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Programming Language Explorations is a tour of several modern programming languages in use today. The book teaches fundamental language concepts using a language-by-language approach. As each language is presented, the authors introduce new concepts as they appear, and revisit familiar ones, comparing their implementation with those from languages seen in prior chapters. The goal is to present and explain common theoretical concepts of language design and usage, illustrated in the context of practical language overviews.Twelve languages have been carefully chosen to illustrate a wide range of...
Programming Language Explorations is a tour of several modern programming languages in use today. The book teaches fundamental language concepts using...
|
cena:
804,38 zł |