» książki » Computers - Logic Design
topmenu
 |
Principles and Practice of Constraint Programming - Cp'96: Second International Conference, Cp '96, Cambridge, Ma, Usa, August 19 - 22, 1996. Proceedi
ISBN: 9783540615514 / Angielski / Miękka / 579 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second International Conference on Principles and Practice of Constraint Programming, CP '96, held in Cambridge, MA, USA in August 1996.
The 36 revised full papers presented in the volume were selected from over 100 submissions; also included are abstracts of 22 selected poster presentations and 3 special lectures. CP is the flagship conference series on constraint processing with a number of satellite activities; thus the volume reflects the state of the art in the field. This book constitutes the refereed proceedings of the Second International Conference on Principles and Practice of Constraint Programming, CP '96, he...
|
cena:
201,24 |
 |
Algebraic and Logic Programming: 5th International Conference, Alp '96, Aachen, Germany, September 25 - 27, 1996. Proceedings
ISBN: 9783540617358 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germany, in September 1996 in conjunction with PLILP and SAS.
The volume presents 21 revised full papers selected from 54 submissions; also included is an invited contribution by Claude Kirchner and Ilies Alouini entitled "Toward the Concurrent Implementation of Computational Systems." The volume is divided into topical sections on logic programming, term rewriting, integration of paradigms, abstract interpretation, Lambda-calculus and rewriting,... This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming, ALP '96, held in Aachen, Germ...
|
cena:
201,24 |
 |
Conceptual Modeling - Er '96: 15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7 - 10, 1996. Proceedings.
ISBN: 9783540617846 / Angielski / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 15th International Conference on Conceptual Modeling, ER '96, held in Cottbus, Germany, in October 1996.
The volume presents three invited contributions together with 29 revised full papers selected from 110 submissions. The papers cover all current aspects of the entity-relationship approach and conceptual modeling; they are organized in sections on advanced schema design, processes, query languages, representation, integration, principles of database design, transformation, enhanced modelling, capturing design information, and... This volume constitutes the refereed proceedings of the 15th International Conference on Conceptual Modeling, ER '96, held in Cottbus, Germany, in Oct...
|
cena:
201,24 |
 |
Implementation of Functional Languages: 8th International Workshop, Ifl'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers
ISBN: 9783540632375 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the strictly refereed post-workshop proceedings originating from the 8th International Workshop on the Implementation of Functional Languages, held in Bad Godesberg, Germany, in September 1996.
The 15 thoroughly revised full papers presented were selected after a second round of reviewing from the 26 contributions accepted for presentation at the workshop. Also included is an overview by the volume editor. The volume addresses various implementational issues of functional languages including parallel implementations, language concepts and design, type systems,... This book contains the strictly refereed post-workshop proceedings originating from the 8th International Workshop on the Implementation of Functional...
|
cena:
201,24 |
 |
Mathematical Foundations of Computer Science 1997: 22nd International Symposium, Mfcs'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings
ISBN: 9783540634379 / Angielski / Miękka / 526 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS '97, held in Bratislava, Slovakia, in August 1997.
The 40 revised full papers presented were carefully selected from a total of 94 submissions. Also included are nine invited papers and two abstracts of invited talks. The papers cover the whole range of theoretical computer science including programming theory, complexity theory, mathematical logic, rewriting, grammars, formal languages, theory of algorithms, computational graph theory, etc. This book constitutes the refereed proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS '97, held in ...
|
cena:
201,24 |
 |
Logical Aspects of Computational Linguistics: First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers
ISBN: 9783540637004 / Angielski / Miękka / 442 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-conference proceedings of the First International Conference on Logical Aspects of Computational Linguistics, LACL '96, held in Nancy, France in April 1996.
The volume presents 18 revised full papers carefully selected and reviewed for inclusion in the book together with four invited contributions by leading authorities and an introductory survey with a detailed bibliography. The papers cover all relevant logical aspects of computational linguistics like logical inference, grammars, logical semantics, natural language processing, formal... This book constitutes the strictly refereed post-conference proceedings of the First International Conference on Logical Aspects of Computational Ling...
|
cena:
201,24 |
 |
Principles and Practice of Constraint Programming - Cp97: Third International Conference, Cp97, Linz, Austria, October 29 - November 1, 1997
ISBN: 9783540637530 / Angielski / Miękka / 572 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Principles and Practice of Constraint Programming, CP'97, held in Linz, Austria in October/November 1997.
The volume presents 37 revised full papers carefully selected from a total of 132 submissions; also included are the abstracts of two invited talks and three tutorials. The papers address all current aspects of constraint programming. Among the topics covered are constraint matching, constraint languages, set constraints, constraint search, constraint satisfaction problems, scheduling, constraint... This book constitutes the refereed proceedings of the Third International Conference on Principles and Practice of Constraint Programming, CP'97, held...
|
cena:
402,53 |
 |
Intelligent Agents IV: Agent Theories, Architectures, and Languages: 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings
ISBN: 9783540641629 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This carefully edited book constitutes the strictly refereed post-workshop proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages, ATAL'97, held in Providence, Rhode Island, USA, in July 1997.
The 25 revised full papers presented were selected from a total of 76 submissions. The book is divided into sections on methodologies, architectures and infrastructures, coordination planning and monitoring, formal methods, theories, and architectures and methodologies. Like its predecessors published in the Intelligent Agents series, this volume specifically... This carefully edited book constitutes the strictly refereed post-workshop proceedings of the 4th International Workshop on Agent Theories, Architectu...
|
cena:
201,24 |
 |
Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
ISBN: 9783540643012 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; normalization; unification; equational logistics; lambda calculus; constraint solving; and functional programming.
A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; ...
|
cena:
201,24 |
 |
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
ISBN: 9783540662228 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the Sixteenth International Conference on Automated Deduction (CADE-16), held in Trento, Italy, July 7{10, 1999, and hosted by Istituto Trentino di Cultura { Centro per la ricerca scientic a e tecnologica (ITC-IRST). The year 1999 marks the 25th anniv- sary of CADE. Since their inception in 1974 at Argonne National Laboratory, the CADE conferences have matured into the major forum for presentation of research in all aspects of automated deduction. CADE-16 was one of the conferences participating in the 1999 Federated LogicConference (FLoC). FLoC...
This volume contains the papers presented at the Sixteenth International Conference on Automated Deduction (CADE-16), held in Trento, Italy, July 7{10...
|
cena:
201,24 |
 |
Advances in Computing Science - Asian'99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings
ISBN: 9783540668565 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999.The 28 revised full papers presented together with two invited contributions and 11 short presentations were carefully reviewed and selected from a total of 114 submissions. Among the topics addressed are programming theory, formal methods, automated reasoning, verification, embedded systems, real-time systems, distributed systems, and mobile computing.
This book constitutes the refereed proceedings of the 5th Asian Computing Science Conference, ASIAN'99, held in Phuket, Thailand, in December 1999.The...
|
cena:
201,24 |
 |
An Introduction to the Pl/Cv2 Programming Logic
ISBN: 9783540114925 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
An Attribute Grammar for the Semantic Analysis of ADA
ISBN: 9783540115717 / Angielski / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
160,99 |
 |
Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, Uk, April 8-12, 1991: Volume
ISBN: 9783540539810 / Angielski / Miękka / 482 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proceedings of TAPSOFT '91 are organized into three parts: Colloquium on Trees in Algebra and Programming (CAAP), contained in Vol. 1, and Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD), both contained in Vol. 2.
The proceedings of TAPSOFT '91 are organized into three parts: Colloquium on Trees in Algebra and Programming (CAAP), contained in Vol. 1, and Advance...
|
cena:
201,24 |
 |
The Generic Development Language Deva
ISBN: 9783540573357 / Angielski / Miękka / 251 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technology. It provides a comprehensive description of the generic development language Deva designed by the authors. Much of the research reported in this monograph is inspired by the work of Michel Sintzoff on formal program development; he contributed an enlightening Foreword. Deva is essentially a typed functional language with certain deduction rules. The difference with ordinary languages is, of course, the application domain: the types serve here...
This book summarizes work done by the authors under the Esprit Tool Use project (1985-1990), at GMD in Karlsruhe and at Berlin University of Technolog...
|
cena:
201,24 |
 |
Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications
ISBN: 9783540580263 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Distributed computing is of great significance in current and future reserach and applications of computer science. As a consequence, in artificial intelligence we can observe rapid growth in the subfield of distributed artificial intelligence (DAI). In particular research on multiagent systems and their potential applications currently attract a lot of interest.
This monograph presents recent research and an introductory survey on multiagent systems and some other aspects of DAI. The author describes these systems as composed of intelligent entities, the agents, with intentions, beliefs,... Distributed computing is of great significance in current and future reserach and applications of computer science. As a consequence, in artificial in...
|
cena:
140,86 |
 |
Application and Theory of Petri Nets 1995: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
ISBN: 9783540600299 / Angielski / Miękka / 518 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995
The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one... This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995...
|
cena:
201,24 |
 |
More Than Moore: Creating High Value Micro/Nanoelectronics Systems
ISBN: 9780387755922 / Angielski / Twarda / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the past decades, the main stream of microelectronics progress has been mainly powered by Moore's law which focuses on IC miniaturization down to nanoscale. While the microelectronics community around the world continues to invent new solutions to keep Moore's law alive, there is a fast increasing need for non-digital and mixed-signal More than Moore (MtM) type technologies that are still based upon or derived from silicon technologies, but do not simply scale with Moore's law. Typical examples are devices incorporating RF, power/high voltage, passive components, sensors and actuators,... In the past decades, the main stream of microelectronics progress has been mainly powered by Moore's law which focuses on IC miniaturization down t... |
cena:
603,81 |
 |
Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996. Proceedings
ISBN: 9783540614647 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.
The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient... This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Bruns...
|
cena:
201,24 |
 |
Algebraic and Logic Programming: 6th International Joint Conference, Alp '97 - Hoa '97, Southhampton, Uk, September 3-5, 1997. Proceedings
ISBN: 9783540634591 / Angielski / Miękka / 297 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.
The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods. This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd Internation...
|
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
