![]() |
Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2010 Toronto, Canada, May 10, 2010 Revised, Selected and Invited P
ISBN: 9783642207143 / Angielski / Miękka / 205 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a satellite workshop of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010.The 7 revised full papers presented together with 4 invited lectures were carefully selected during two rounds of reviewing and improvement from 24 initial submissions. DALT aims to make formal methods and declarative technologies and approaches available to and...
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Declarative Agent Languages and Technolog...
|
cena:
201,24 |
![]() |
Variation Tolerant On-Chip Interconnects
ISBN: 9781461401308 / Angielski / Twarda / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents design techniques, analysis and implementation of high performance and power efficient, variation tolerant on-chip interconnects. Given the design paradigm shift to multi-core, interconnect-centric designs and the increase in sources of variability and their impact in sub-100nm technologies, this book will be an invaluable reference for anyone concerned with the design of next generation, high-performance electronics systems.
This book presents design techniques, analysis and implementation of high performance and power efficient, variation tolerant on-chip interconnects. G...
|
cena:
402,53 |
![]() |
Quaternions for Computer Graphics
ISBN: 9780857297594 / Angielski / Twarda / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics. The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis. Quaternions are one of the most documented inventions in the history of mathematics, and this book is about their invention, and how they are used to rotate vectors about an arbitrary axis. Apart from introducing the reader to the... Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics. The Hamiltonian, whic... |
cena:
301,89 |
![]() |
CMOS High Efficiency On-Chip Power Management
ISBN: 9781441995254 / Angielski / Twarda / 120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book will introduce various power management integrated circuits (IC) design techniques to build future energy-efficient "green" electronics. The goal is to achieve high efficiency, which is essential to meet consumers' growing need for longer battery lives. The focus is to study topologies amiable for full on-chip implementation (few external components) in the mainstream CMOS technology, which will reduce the physical size and the manufacturing cost of the devices.
This book will introduce various power management integrated circuits (IC) design techniques to build future energy-efficient "green" electronics. The...
|
cena:
402,53 |
![]() |
Universal Access in Human-Computer Interaction. Applications and Services: 6th International Conference, Uahci 2011, Held as Part of Hci International
ISBN: 9783642216565 / Angielski / Miękka / 688 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 6th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2011, held as Part of HCI International 2011, in Orlando, FL, USA, in July 2011, jointly with 10 other conferences highlighting the human aspects of design and use of computing systems.
Constitutes the refereed proceedings of the 6th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2011, held as Part o...
|
cena:
402,53 |
![]() |
Universal Access in Human-Computer Interaction. Users Diversity: 6th International Conference, Uahci 2011, Held as Part of Hci International 2011, Orl
ISBN: 9783642216626 / Angielski / Miękka / 662 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 6th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2011, held as Part of HCI International 2011, in Orlando, FL, USA, in July 2011, jointly with 10 other conferences highlighting the human aspects of design and use of computing systems.
Constitutes the refereed proceedings of the 6th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2011, held as Part o...
|
cena:
402,53 |
![]() |
Universal Access in Human-Computer Interaction. Context Diversity: 6th International Conference, Uahci 2011, Held as Part of Hci International 2011, O
ISBN: 9783642216657 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 6th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2011, held as Part of HCI International 2011, in Orlando, FL, USA, in July 2011, jointly with 10 other conferences highlighting the human aspects of design and use of computing systems.
Constitutes the refereed proceedings of the 6th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2011, held as Part o...
|
cena:
201,24 |
![]() |
Universal Access in Human-Computer Interaction. Design for All and Einclusion: 6th International Conference, Uahci 2011, Held as Part of Hci Internati
ISBN: 9783642216718 / Angielski / Miękka / 534 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 6th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2011, held as Part of HCI International 2011, in Orlando, FL, USA, in July 2011, jointly with 10 other conferences highlighting the human aspects of design and use of computing systems.
Constitutes the refereed proceedings of the 6th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2011, held as Part o...
|
cena:
201,24 |
![]() |
Introduction to VLSI Systems: A Logic, Circuit, and System Perspective
ISBN: 9781439868591 / Angielski / Twarda / 917 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With the advance of semiconductors and ubiquitous computing, the use of system-on-a-chip (SoC) has become an essential technique to reduce product cost. With this progress and continuous reduction of feature sizes, and the development of very large-scale integration (VLSI) circuits, addressing the harder problems requires fundamental understanding of circuit and layout design issues. Furthermore, engineers can often develop their physical intuition to estimate the behavior of circuits rapidly without relying predominantly on computer-aided design (CAD) tools. Introduction... With the advance of semiconductors and ubiquitous computing, the use of system-on-a-chip (SoC) has become an essential technique to reduce product ... |
cena:
685,68 |
![]() |
VLSI Design: A Practical Guide for FPGA and ASIC Implementations
ISBN: 9781461411192 / Angielski / Miękka / 106 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides insight into the practical design of VLSI circuits. It is aimed at novice VLSI designers and other enthusiasts who would like to understand VLSI design flows. Coverage includes key concepts in CMOS digital design, design of DSP and communication blocks on FPGAs, ASIC front end and physical design, and analog and mixed signal design. The approach is designed to focus on practical implementation of key elements of the VLSI design process, in order to make the topic accessible to novices. The design concepts are demonstrated using software from Mathworks, Xilinx, Mentor...
This book provides insight into the practical design of VLSI circuits. It is aimed at novice VLSI designers and other enthusiasts who would like to un...
|
cena:
261,63 |
![]() |
Transactions on High-Performance Embedded Architectures and Compilers IV
ISBN: 9783642245671 / Angielski / Miękka / 425 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems. Recognizing the convergence of embedded and general-purpose computer systems, this journal publishes original research on systems targeted at specific computing tasks as well as systems with broad application bases. The scope of the journal therefore covers all aspects of computer architecture, code generation and compiler optimization methods of interest to researchers and practitioners designing future embedded...
Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performanc...
|
cena:
201,24 |
![]() |
Testing of Interposer-Based 2.5d Integrated Circuits
ISBN: 9783319547138 / Angielski / Twarda / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The authors describe a set of design-for-test methods to address various challenges posed by the new generation of 2.5D ICs, including pre-bond testing of the silicon interposer, at-speed interconnect testing, built-in self-test architecture, extest scheduling, and a programmable method for low-power scan shift in SoC dies.
The authors describe a set of design-for-test methods to address various challenges posed by the new generation of 2.5D ICs, including pre-bond testin...
|
cena:
402,53 |
![]() |
Current Trends in Theoretical Computer Science: The Challenge of the New Century (in 2 Volumes)
ISBN: 9789812387837 / Angielski / Twarda / 1320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, “Algorithms and Complexity” and “Formal Models and Semantics”, reflecting the traditional division of the field.The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not...
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the ...
|
cena:
1581,96 |
![]() |
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
ISBN: 9789491216589 / Angielski / Twarda / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Suitable for modeling problems with continuous domains, this title shows how ASP techniques can be generalized to FASP, paving the way to implement fuzzy answer set solvers, that can take advantage of existing fuzzy reasoners.
Suitable for modeling problems with continuous domains, this title shows how ASP techniques can be generalized to FASP, paving the way to implement fu...
|
cena:
402,53 |
![]() |
Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
ISBN: 9783642305634 / Angielski / Miękka / 195 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/June 2012, co-located with Tools 2012 Federated Conferences.
Constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012, held in Prague, Czech Republic, in May/Jun...
|
cena:
201,24 |
![]() |
Logic Synthesis for Fsm-Based Control Units
ISBN: 9783642260643 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The control unit is one of the most important parts of any digital system responsible for interplay of other system blocks. Very often, the model of a finite state machine (FSM) is used to represent the behaviour of a control unit. Modern computer-aided design tools include a lot of optimal solutions (library cells) for implementation of such regular blocks of digital systems as decoders, multiplexers, parallel multibit adders and so on. But as a rule, control units have an irregular structure which makes impossible to design their logic circuits using the standard library cells. To use these...
The control unit is one of the most important parts of any digital system responsible for interplay of other system blocks. Very often, the model of a...
|
cena:
603,81 |
![]() |
Logic, Language and Meaning: 18th Amsterdam Colloquium, Amsterdam, the Netherlands, December 19-21, 2011, Revised Selected Papers
ISBN: 9783642314810 / Angielski / Miękka / 482 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands, in December 2011. The 46 thoroughly refereed and revised contributions out of 137 submissions presented together with 2 invited talks are organized in five sections. The first section contains the invited contributions. The second, third and fourth sections incorporate submitted contributions to the three thematic workshops that were hosted by the Colloquium and addressed the following topics: inquisitiveness; formal semantics and pragmatics of sign languages, formal...
This book contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands, in December 2011. The 46 tho...
|
cena:
201,24 |
![]() |
Logikkalküle in Der Informatik: Wie Wird Logik Vom Rechner Genutzt?
ISBN: 9783834818874 / Niemiecki / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Im Mittelpunkt steht das Spannungsverhaltnis zwischen einerseits dem herkommlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalkuls, also zwischen Semantik und Syntax. Wie dieser Graben uberwunden wird, wird fur verschiedene auch nicht-klassische Logiken vorgefuhrt:
Pradikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einfuhrende Ubersicht uber Logiken gegeben, die an manchen Stellen der Informatik benotigt werden, zu deren... Im Mittelpunkt steht das Spannungsverhaltnis zwischen einerseits dem herkommlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und...
|
cena:
112,84 |
![]() |
Data-Driven Methods for Adaptive Spoken Dialogue Systems: Computational Learning for Conversational Interfaces
ISBN: 9781461448020 / Angielski / Twarda / 178 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Data driven methods have long been used in Automatic Speech Recognition (ASR) and Text-To-Speech (TTS) synthesis and have more recently been introduced for dialogue management, spoken language understanding, and Natural Language Generation. Machine learning is now present "end-to-end" in Spoken Dialogue Systems (SDS). However, these techniques require data collection and annotation campaigns, which can be time-consuming and expensive, as well as dataset expansion by simulation. In this book, we provide an overview of the current state of the field and of recent advances, with a specific focus...
Data driven methods have long been used in Automatic Speech Recognition (ASR) and Text-To-Speech (TTS) synthesis and have more recently been introduce...
|
cena:
402,53 |
![]() |
Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra
ISBN: 9781461287926 / Angielski / Miękka / 455 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enough to be influenced by him and his work and to be called his friend or relation, his master, colleague, or pupil. This book contains fifty-four technical contributions in different areas of endeavor, although many of them deal with an area of particular concern to Dijkstra: programming. Each contribution is relatively short and could be digested in one sitting. Together, they form a nice cross section of the discipline of programming at the...
More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enou...
|
cena:
805,10 |