» książki » Computers - Logic Design
topmenu
 |
Applications of Number Theory to Numerical Analysis
ISBN: 9783642678318 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Owing to the developments and applications of computer science, ma thematicians began to take a serious interest in the applications of number theory to numerical analysis about twenty years ago. The progress achieved has been both important practically as well as satisfactory from the theoretical view point. It'or example, from the seventeenth century till now, a great deal of effort was made in developing methods for approximating single integrals and there were only a few works on multiple quadrature until the 1950's. But in the past twenty years, a number of new methods have been devised...
Owing to the developments and applications of computer science, ma thematicians began to take a serious interest in the applications of number theory ...
|
cena:
201,24 |
 |
Nonsequential Processes: A Petri Net View
ISBN: 9783642734854 / Angielski / Miękka / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged. Many papers and anthologies, whose subject matter is net theory and its applications, have appeared to date. There exist at least seven introductory textbooks on the theory. The present monograph augments this literature by offering a mathematical treatment of one of the central aspects of net theory: the modelling of concur rency by partially ordered sets. Occurrence nets - which are special nets as well as special partial orders - are proposed by net theory for this purpose. We study both...
The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged. Many papers and anthologies, whose subject matte...
|
cena:
201,24 |
 |
Programming and Mathematical Method: International Summer School
ISBN: 9783642775741 / Angielski / Miękka / 407 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. In particular mathematical methods for the development of programs as parts of distributed systems were included. Mathematical programming methods are a very important topic for which a lot of research in recent years has been carried out. In the Marktoberdorf Summer School outstanding scientists lectured on mathematical programming methods. The lectures centred around logical and functional calculi for the...
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and suppo...
|
cena:
402,53 |
 |
Abstrakte Modellierung Digitaler Schaltungen: VHDL Vom Funktionalen Modell Bis Zur Gatterebene
ISBN: 9783642796906 / Niemiecki / Miękka / 643 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kommentare von erfahrenen Hardwareentwicklern "Ich kenne kein Buch, dass die Modellierung von Hardware so grundlegend behandelt. Alle mir bekannten Bucher beschreiben die Sprache VHDL und bringen viele Beispiele, gehen aber nicht darauf ein, wie man entwickelt, was beim Umgang mit VHDL und Synthese alles passieren kann und welche Gedanken man sich machen sollte, bevor man beginnt, den Code zu hacken. Endlich einmal alles in einem Buch "
"Das Buch gibt dem unerfahrenen Designer den richtigen Einstieg und dem erfahrenen den richtigen Umstieg. Es ist unglaublich, wie oft die Frage 'Was ist... Kommentare von erfahrenen Hardwareentwicklern "Ich kenne kein Buch, dass die Modellierung von Hardware so grundlegend behandelt. Alle mir bekannten Bu...
|
cena:
206,88 |
 |
Computer Architectures for Spatially Distributed Data
ISBN: 9783642821523 / Angielski / Miękka / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These are the proceedings of a NATO Advanced Study Institute (ASI) held in Cetraro, Italy during 6-17 June 1983. The title of the ASI was Computer Arehiteetures for SpatiaZZy vistributed Vata, and it brouqht together some 60 participants from Europe and America. Presented ere are 21 of the lectures that were delivered. The articles cover a wide spectrum of topics related to computer architecture s specially oriented toward the fast processing of spatial data, and represent an excellent review of the state-of-the-art of this topic. For more than 20 years now researchers in pattern recognition,...
These are the proceedings of a NATO Advanced Study Institute (ASI) held in Cetraro, Italy during 6-17 June 1983. The title of the ASI was Computer Are...
|
cena:
402,53 |
 |
CAD Based Programming for Sensory Robots: Proceedings of the NATO Advanced Research Workshop on CAD Based Programming for Sensory Robots Held in Il Ci
ISBN: 9783642836275 / Angielski / Miękka / 565 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book consists of a collection of works dealing with CAD based robot programming. This is the process where CAD (computer based) models are used for task planning and the development of robot programs. If the program is generated by a programmer interacting with a CAD display of the robot and its workcell environment, the process is called off-line or interactive programming. On the other hand, if the robot program is generated automatically by the computer, then the process is referred to as automatic robot programming. This book is unique in that it focuses on the use of CAD models both...
This book consists of a collection of works dealing with CAD based robot programming. This is the process where CAD (computer based) models are used f...
|
cena:
402,53 |
 |
Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994
ISBN: 9783642871177 / Angielski / Miękka / 447 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation.
The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the... Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the applic...
|
cena:
201,24 |
 |
Computational Logic in Multi-Agent Systems: 13th International Workshop, Clima XIII, Montpellier, France, August 27-28, 2012, Proceedings
ISBN: 9783642328961 / Angielski / Miękka / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.
This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellie...
|
cena:
185,18 |
 |
Integrierte Digitale Schaltungen: Vom Transistor Zur Optimierten Logikschaltung
ISBN: 9783540406006 / Niemiecki / Book / 711 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Behandelt wird der Entwurf von digitalen, integrierten MOS-Bausteinen. Der Leser wird in die Lage versetzt, fur die jeweilige Anwendung die gunstigste Schaltungstechnik auszuwahlen und anzuwenden und so das optimale Ergebnis zu erzielen. In deutscher Sprache wird erstmalig die technologieorientierte und die systemorientierte Schaltungstechnik gemeinsam und zusammenhangend dargestellt. "Behandelt wird der Entwurf von digitalen, integrierten MOS-Bausteinen. Der Leser wird in die Lage versetzt, fur die jeweilige Anwendung die gunstig... |
cena:
526,68 |
 |
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
ISBN: 9783642357213 / Angielski / Miękka / 415 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem...
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego...
|
cena:
201,24 |
 |
Facing the Multicore-Challenge III: Aspects of New Paradigms and Technologies in Parallel Computing
ISBN: 9783642358920 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This state-of-the-art survey features topics related to the impact of multicore, manycore, and coprocessor technologies in science and large-scale applications in an interdisciplinary environment. The papers included in this survey cover research in mathematical modeling, design of parallel algorithms, aspects of microprocessor architecture, parallel programming languages, hardware-aware computing, heterogeneous platforms, manycore technologies, performance tuning, and requirements for large-scale applications. The contributions presented in this volume are an outcome of an inspiring...
This state-of-the-art survey features topics related to the impact of multicore, manycore, and coprocessor technologies in science and large-scale app...
|
cena:
185,18 |
 |
Handbook of Philosophical Logic: Volume 14
ISBN: 9789048176083 / Angielski / Miękka / 345 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: - a chapter on non-monotonic logic - a chapter on combinatory logic and ?-calculus We felt at the time (1979) that non-monotonic logic was not ready for a chapter yet and that combinatory logic and ?-calculus was too far re- 1 moved. Non-monotonic logic is now a very major area of philosop- cal logic, alongside default logics, labelled deductive systems, ?bring l- ics, multi-dimensional, multimodal and substructural logics. Intensive - examinations of fragments of classical logic have produced fresh insights,...
theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: - a chapter on non-monotonic logic - a chapter on combinatory logic and ?-...
|
cena:
805,10 |
 |
Low-Power Digital VLSI Design: Circuits and Systems
ISBN: 9781461359999 / Angielski / Miękka / 530 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Low-Power Digital VLSI Design: Circuits and Systems addresses both process technologies and device modeling. Power dissipation in CMOS circuits, several practical circuit examples, and low-power techniques are discussed. Low-voltage issues for digital CMOS and BiCMOS circuits are emphasized. The book also provides an extensive study of advanced CMOS subsystem design. A low-power design methodology is presented with various power minimization techniques at the circuit, logic, architecture and algorithm levels.
Features:
Low-Power Digital VLSI Design: Circuits and Systems addresses both process technologies and device modeling. Power dissipation in CMOS circui...
|
cena:
805,10 |
 |
Entwurf Analoger CMOS Schaltungen Für Extrem Niedrige Versorgungsspannungen
ISBN: 9783642621925 / Niemiecki / Miękka / 140 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
263,32 |
 |
Technology Computer Aided Design: Simulation for VLSI MOSFET
ISBN: 9781466512658 / Angielski / Twarda / 462 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Responding to recent developments and a growing VLSI circuit manufacturing market, Technology Computer Aided Design: Simulation for VLSI MOSFET examines advanced MOSFET processes and devices through TCAD numerical simulations. The book provides a balanced summary of TCAD and MOSFET basic concepts, equations, physics, and new technologies related to TCAD and MOSFET. A firm grasp of these concepts allows for the design of better models, thus streamlining the design process, saving time and money. This book places emphasis on the importance of modeling and simulations of VLSI MOS... Responding to recent developments and a growing VLSI circuit manufacturing market, Technology Computer Aided Design: Simulation for VLSI MOSFET<... |
cena:
1004,03 |
 |
Handbook of Philosophical Logic: Volume 17
ISBN: 9789400765993 / Angielski / Twarda / 269 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial intelligence. It shows how the increased demand for philosophical logic from computer science and artificial intelligence and computational linguistics accelerated the development of the subject directly and indirectly. This development in turn, directly pushed research forward, stimulated by the needs of applications. New logic areas...
This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It ...
|
cena:
402,53 |
 |
Winning the Soc Revolution: Experiences in Real Design
ISBN: 9781461350422 / Angielski / Miękka / 301 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 1998-99, at the dawn of the SoC Revolution, we wrote Surviving the SOC Revolution: A Guide to Platform Based Design. In that book, we focused on presenting guidelines and best practices to aid engineers beginning to design complex System-on-Chip devices (SoCs). Now, in 2003, facing the mid-point of that revolution, we believe that it is time to focus on winning. In this book, Winning the SoC Revolution: Experiences in Real Design, we gather the best practical experiences in how to design SoCs from the most advanced design groups, while setting... In 1998-99, at the dawn of the SoC Revolution, we wrote Surviving the SOC Revolution: A Guide to Platform Based Design. In that bo... |
cena:
603,81 |
 |
The Dynamics of Digital Excitation
ISBN: 9781461376347 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The electronic circuit is a proud child of twentieth century natural science. In a hundred short years it has developed to the point that it now enhances nearly every aspect of human life. Yet our basic understanding of electronic-circuit operation, electronic -circuittheory, has not made significant progress during the semiconductor industry's explosive growth from 1950s to the present. This is because the electronic circuit has never been considered to be a challenging research subject by physi- cists. Linear passive circuit theory was established by the late 1940s. After the advent of the...
The electronic circuit is a proud child of twentieth century natural science. In a hundred short years it has developed to the point that it now enhan...
|
cena:
402,53 |
 |
Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers
ISBN: 9783642378898 / Angielski / Miękka / 209 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012. The volume contains 13 revised selected presented at DALT 2012.The papers cover the following topics: declarative languages and technologies, computational logics, declarative approaches to engineering agent-based systems, models of business interactions among agents, and models of...
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DAL...
|
cena:
185,18 |
 |
Specification of Software Systems
ISBN: 9781447126447 / Angielski / Miękka / 646 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to...
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software spec...
|
cena:
201,24 |
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
