Alpuk92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992
ISBN: 9783540197836 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. There are, however, still many outstanding research issues which need to be addressed, and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues which were often by- passed at the larger international conferences. This volume contains the invited papers, refereed papers and...
Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as data...
|
|
cena:
194,97 zł |
Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
ISBN: 9783540401902 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Workshops on the Implementation of Functional Languages (IFL)havebeenrunningfor14yearsnow.Theaimoftheseworkshopsistobring together researchers actively engaged in the implementation and application of functional programming languages to discuss new results and new directions of research. A non-exhaustive list of topics includes: language concepts, type che- ing, compilation techniques, (abstract) interpretation, automatic program g- eration, (abstract) machine architectures, array processing, concurrent/parallel programming and program execution, heap management, runtime...
The International Workshops on the Implementation of Functional Languages (IFL)havebeenrunningfor14yearsnow.Theaimoftheseworkshopsistobring together r...
|
|
cena:
194,97 zł |
Design, Analysis and Test of Logic Circuits Under Uncertainty
ISBN: 9789048196432 / Angielski / Twarda / 124 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Combining theory with practical examples, this volume presents a comprehensive overview of logic circuits. The text presents techniques used to analyze, design and test logic circuits with probabilistic behavior, and provides a multidisciplinary approach to uncertainty.
Combining theory with practical examples, this volume presents a comprehensive overview of logic circuits. The text presents techniques used to analyz...
|
|
cena:
389,98 zł |
Collegium Logicum
ISBN: 9783211826461 / Angielski / Miękka / 122 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contents: P. Vihan: The Last Month of Gerhard Gentzen in Prague. - F.A. Rodriguez-Consuegra: Some Issues on Godel's Unpublished Philosophical Manuscripts. - D.D. Spalt: Vollstandigkeit als Ziel historischer Explikation. Eine Fallstudie. - E. Engeler: Existenz und Negation in Mathematik und Logik. - W.J. Gutjahr: Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse. - R. Hahnle: Automated Deduction and Integer Programming. - M. Baaz, A. Leitsch: Methods of Functional Extension.
Contents: P. Vihan: The Last Month of Gerhard Gentzen in Prague. - F.A. Rodriguez-Consuegra: Some Issues on Godel's Unpublished Philosophical Manuscri...
|
|
cena:
194,97 zł |
Collegium Logicum
ISBN: 9783211827963 / Angielski / Miękka / 140 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajic ek: A Fundamental Problem of Mathematical Logic. - P. Pudlak: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines.
Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. -...
|
|
cena:
194,97 zł |
Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra
ISBN: 9780387972992 / Angielski / Twarda / 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:
780,00 zł |
Datenmodellierung Mit Deduktiven Techniken
ISBN: 9783790807172 / Niemiecki / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch befasst sich mit den Themenbereichen "konzeptionelle Datenmodellierung," "Metamodellierung" und "Datenbankentwurf." In mehrfacher Hinsicht erfolgt dabei eine Abkehr von traditionellen Techniken, die durch einen durchgangigen, auf Abhangigkeiten basierenden Ansatz ersetzt werden. Durch deduktive Ableitung werden aus abstrakten Modellen und Anwendungsmodellen konkrete Anwendungsabhangigkeiten ermittelt, die das Anwendungswissen des konzeptionellen Modells widerspiegeln. In einem gemeinsamen Rahmenwerk werden in diesem Buch folgende Themenkreise behandelt: - die Semantik von...
Dieses Buch befasst sich mit den Themenbereichen "konzeptionelle Datenmodellierung," "Metamodellierung" und "Datenbankentwurf." In mehrfacher Hinsicht...
|
|
cena:
200,43 zł |
Software Language Engineering
ISBN: 9783642194399 / Angielski / Miękka / 417 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Software Language Engineering, SLE 2010, held in Eindhoven, The Netherlands, in October 2010. The 24 papers presented were carefully reviewed and selected from 79 submissions. The book also contains the abstracts of two invited talks. The papers are grouped in topical sections on grammarware, metamodeling, evolution, programming, and domain-specific languages. The short papers and demos included deal with modeling and transformations and translations.
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Software Language Engineering, SLE 2010, held ...
|
|
cena:
194,97 zł |
Transactions on High-Performance Embedded Architectures and Compilers III
ISBN: 9783642194474 / Angielski / Miękka / 299 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:
194,97 zł |
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, Hvc 2010, Haifa, Israel, October 4-7, 2010. Revised
ISBN: 9783642195822 / Angielski / Miękka / 197 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, that was held in Haifa, Israel in October 2010. This book includes 10 full papers together with 7 invited papers that address issues, challenges and future directions of verification for hardware, software, and hybrid systems.
Constitutes the post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, that was held in Haifa, Israel in Octobe...
|
|
cena:
194,97 zł |
FPGA-Based Prototyping Methodology Manual: Best Practices in Design-For-Prototyping
ISBN: 9781617300042 / Angielski / Miękka / 494 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book collects the best practices FPGA-based Prototyping of SoC and ASIC devices into one place for the first time, drawing upon not only the authors' own knowledge but also from leading practitioners worldwide in order to present a snapshot of best practices today and possibilities for the future.
The book is organized into chapters which appear in the same order as the tasks and decisions which are performed during an FPGA-based prototyping project. We start by analyzing the challenges and benefits of FPGA-based Prototyping and how they compare to other prototyping methods. We... This book collects the best practices FPGA-based Prototyping of SoC and ASIC devices into one place for the first time, drawing upon not only the auth...
|
|
cena:
240,25 zł |
Computing in Object-Oriented Parallel Environments: Second International Symposium, Iscope 98, Santa Fe, Nm, Usa, December 8-11, 1998, Proceedings
ISBN: 9783540653875 / Angielski / Miękka / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the Proceedings of the International Symposium on C- puting in Object-Oriented Parallel Environments (ISCOPE '98), held at Santa 1 Fe, New Mexico, USA on December 8{11, 1998. ISCOPE is in its second year, and continues to grow both in attendance and in the diversity of the subjects covered. ISCOPE'97 and its predecessor conferences focused more narrowly on scienti c computing in the high-performance arena. ISCOPE '98 retains this emphasis, but has broadened to include discrete-event simulation, mobile c- puting, and web-based metacomputing. The ISCOPE '98 Program...
This volume contains the Proceedings of the International Symposium on C- puting in Object-Oriented Parallel Environments (ISCOPE '98), held at Santa ...
|
|
cena:
194,97 zł |
Prospects for Hardware Foundations: Esprit Working Group 8533 NADA -- New Hardware Design Methods Survey Chapters
ISBN: 9783540654612 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Preface VI I X Table of Contents B. Moller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and NIL 7 8 The NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The...
Preface VI I X Table of Contents B. Moller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berl...
|
|
cena:
194,97 zł |
Modal and Temporal Properties of Processes
ISBN: 9781441931535 / Angielski / Miękka / 191 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many ...
|
|
cena:
194,97 zł |
16-Bit-Microprocessor Systems: Structure, Behavior, and Programming
ISBN: 9783540151647 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the last few years, a large number of books on microprocessors have appeared on the market. Most of them originated in the context of the 4-bit and the 8-bit microprocessors and their comparatively simple structure. However, the techno-logical development from 8-bit to 16-bit microprossors led to processor components with a substantially more complex structure and with an expanded functionality and also to an increase in the system architecture's complexity. This books takes this advancement into account. It examines 16-bit micro-processor systems and descrihes their structure, their...
In the last few years, a large number of books on microprocessors have appeared on the market. Most of them originated in the context of the 4-bit and...
|
|
cena:
194,97 zł |
Logic Synthesis for Compositional Microprogram Control Units
ISBN: 9783642088797 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The control unit is one of the most important parts of any digital system. As a rule, control units have an irregular structure, which makes the processing of their logic circuits design very sophisticated. One possible way to optimise such characteristics as the size or performance of control units is to adapt their structures to the particular properties of interpreted control algorithms. In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator vertices is not less than 75% of the total number of all algorithm vertices.... The control unit is one of the most important parts of any digital system. As a rule, control units have an irregular structure, which makes the pr... |
|
cena:
585,00 zł |
Design of Low-Voltage, Low-Power Operational Amplifier Cells
ISBN: 9781441951656 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Design of Low-Voltage, Low-Power CMOS Operational Amplifier Cells describes the theory and design of the circuit elements that are required to realize a low-voltage, low-power operational amplifier. These elements include constant-gm rail-to-rail input stages, class-AB rail-to-rail output stages and frequency compensation methods. Several examples of each of these circuit elements are investigated. Furthermore, the book illustrates several silicon realizations, giving their measurement results.
The text focuses on compact low-voltage low-power operational amplifiers with good... Design of Low-Voltage, Low-Power CMOS Operational Amplifier Cells describes the theory and design of the circuit elements that are required t...
|
|
cena:
780,00 zł |
Mathematical Problems from Applied Logic I: Logics for the Xxist Century
ISBN: 9781441921109 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. An overview of the current state as well as open problems and perspectives are clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics, and computability theory. The book contains interesting contributions concerning the role... Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from... |
|
cena:
585,00 zł |
Sub-Threshold Design for Ultra Low-Power Systems
ISBN: 9781441941381 / Angielski / Miękka / 209 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although energy dissipation has improved with each new technology node, because SoCs are integrating tens of million devices on-chip, the energy ex pended per operation has become a critical consideration in digital and ana log integrated circuits. The focus of this book is sub-threshold circuit design, which involves scaling voltages below the device thresholds. In this region, the energy per operation cair be reduced by an order of magnitude compared to conventional operation but at the cost of circuit performance. In many emerging applications such as self-powered RFID, wireless sensors...
Although energy dissipation has improved with each new technology node, because SoCs are integrating tens of million devices on-chip, the energy ex pe...
|
|
cena:
585,00 zł |
Modern Circuit Placement: Best Practices and Results
ISBN: 9781441942319 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book covers advanced techniques in modern circuit placement. It details all of most recent placement techniques available in the field and analyzes the optimality of these techniques. Coverage includes all the academic placement tools that competed against one another on the same industrial benchmark circuits at the International Symposium on Physical Design (ISPD), these techniques are also extensively being used in industrial tools as well. The book provides significant amounts of analysis on each technique such as trade-offs between quality-of-results (QoR) and runtime. This book covers advanced techniques in modern circuit placement. It details all of most recent placement techniques available in the field and ana... |
|
cena:
585,00 zł |