» książki » Computers - Logic Design
topmenu
 |
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
ISBN: 9783540412854 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This title is organized in topical sections including nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming, nonclassical logics and the lambda calculus, logic and databases, program analysis, mu-calculus, and planning and reasoning about actions.
This title is organized in topical sections including nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, th...
|
cena:
201,24 |
 |
Types for Proofs and Programs: International Workshop, Types'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
ISBN: 9783540415176 / Angielski / Miękka / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lokeberg, Sweden, in June 1999. The eleven revised full papers presented in the volume were carefully reviewed and selected during two rounds of refereeing. All current issues on type theory and type systems and their applications to programming and proof theory are addressed.
This work constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working...
|
cena:
201,24 |
 |
Intelligent Agents: Specification, Modeling, and Application: 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings
ISBN: 9783540424345 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This title constitutes the refereed proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, held in Taipei, Taiwan in July 2001. The volume offers topical sections on specification, modelling, and applications.
This title constitutes the refereed proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, held in Taipei, Taiwan in J...
|
cena:
201,24 |
 |
Implementation of Functional Languages: 13th International Workshop, Ifl 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers
ISBN: 9783540435372 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on the Implementation of Functional Languages, IFL 2001, held in Stockholm, Sweden in September 2001. The 11 revised full papers presented have gone through a thorough round of post-workshop reviewing and were selected from 28 workshop papers. Among the topics covered are relevant aspects of implementing and using functional languages, such as type systems, compilation, program optimization, theorem proving, program correctness, program analysis, parallel compilers, subtyping, and generic...
This text constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on the Implementation of Functional Languages, IFL 2...
|
cena:
201,24 |
 |
Verification, Model Checking, and Abstract Interpretation: Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Paper
ISBN: 9783540436317 / Angielski / Miękka / 331 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002, held in Venice, Italy in January 2002. The 22 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on security and protocols, timed systems and games, static analysis, optimization, types and verification, and temporal logics and systems.
This volume constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Int...
|
cena:
201,24 |
 |
Integrated Formal Methods: Third International Conference, Ifm 2002, Turku, Finland, May 15-18, 2002. Proceedings.
ISBN: 9783540437031 / Angielski / Miękka / 401 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15-17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland. The ? conference was organized jointly by Abo Akademi University and Turku Centre for Computer Science. The theme of IFM 1999 was the integration of state and behavioral based formalisms. For IFM 2000 this was widened to include all aspects pertaining to the integration of formal methods and formal notations. One of the goals of IFM 2002 was to further investigate...
The third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15-17, 2002. Turku, situate...
|
cena:
201,24 |
 |
Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings
ISBN: 9783540438571 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ThisvolumecontainstheproceedingsofMPC2002, thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promote the development of mathematical principles and techniques that are demonstrably useful and usable in the process of constructing c- puter programs (whether implemented in hardware or software). The focus is ontechniquesthatcombineprecisionwith conciseness, enablingprogramsto be constructed by formal calculation. Within this theme, the scope of the series is verydiverse, including programmingmethodology, programspeci?cationand transformation,...
ThisvolumecontainstheproceedingsofMPC2002, thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promot...
|
cena:
201,24 |
 |
Rewriting Techniques and Applications: 8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997. Proceedings
ISBN: 9783540629504 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997.
The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented. All in all, this volume presents the state of the art in the area of rewriting techniques and applications. This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, S...
|
cena:
201,24 |
 |
Concurrent Reactive Plans: Anticipating and Forestalling Execution Failures
ISBN: 9783540672418 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this title, the author presents a computational model of forestalling common flaws in autonomous robot behaviour and develops a representation for structured reactive plans in which declarative statements for goals, perceptions and beliefs are made explicit.
In this title, the author presents a computational model of forestalling common flaws in autonomous robot behaviour and develops a representation for ...
|
cena:
201,24 |
 |
Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, Ca, Usa, June 29 - July 6, 2000, Proceedings
ISBN: 9783540676683 / Angielski / Miękka / 433 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, California, USA, in June/July 2000. The 20 revised full papers presented were reviewed and selected from 52 submissions. Also included are 2 invited full papers. Various aspects of high-performance implementation and verification of programming languages are addressed, in particular object logics, model checking, constraint solving, abstract interpretation, program transformation, rewriting, confidentiality analysis, typed languages, unified analysis, code...
This volume constitutes the refereed proceedings of the 7th International Static Analysis Symposium, SAS 2000, held in Santa Barbara, California, USA,...
|
cena:
201,24 |
 |
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets
ISBN: 9783540205388 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume, Petri Net Technology for Communication-Based Systems, is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious well-established and new Petri net notions and techniques can be used for m- elingcommunication-basedsystems, withspecialfocusonwork?owmanagement and business processes. In the last 6 years this topic has been studied by the DFG Forschergruppe Petri Net Technology in Berlin in close cooperation with the international c- munity. The main results of this cooperation were presented at the 1st and 2nd...
This volume, Petri Net Technology for Communication-Based Systems, is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious ...
|
cena:
201,24 |
 |
Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, Rissef 2002, Venice, Italy, October 7-11, 2002, Rev
ISBN: 9783540211792 / Angielski / Miękka / 359 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers from the workshop "Radical Innovations of Software and Systems Engineering in the Future." This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the driving factor for new system solutions in many areas ranging from e-commerce to embedded systems. New modeling languages such as UML and new programming languages such as Java and CASE...
This volume contains the papers from the workshop "Radical Innovations of Software and Systems Engineering in the Future." This workshop was the ninth...
|
cena:
201,24 |
 |
Functional and Logic Programming: 7th International Symposium, Flops 2004, Nara, Japan, April 7-9, 2004, Proceedings
ISBN: 9783540214021 / Angielski / Miękka / 307 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004. were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on logic and functional-logic programming, applications, program analysis, rewriting, types and modules, logic and semantics, and functional programming.
This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan...
|
cena:
201,24 |
 |
Multiparadigm Programming in Mozart/Oz: Second International Conference, Moz 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
ISBN: 9783540250791 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. To many readers, Mozart/Oz represents a new addition to the pantheon of p- gramming systems. One way of evaluating a newcomer is through the eyes of the classics, for example Kernighan and Pike's The Practice of Programming, a bookthatconcludeswithsixlastingconcepts: simplicityandclarity, generality, evolution, interfaces, automation, andnotation.KernighanandPikeconcentrate on using standard languages such as C and Java to implement these concepts, but it is instructive to see how a multiparadigm language such as Oz changes the outlook. Oz's concurrency model yields simplicity and clarity...
To many readers, Mozart/Oz represents a new addition to the pantheon of p- gramming systems. One way of evaluating a newcomer is through the eyes of t...
|
cena:
201,24 |
 |
Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
ISBN: 9783540251095 / Angielski / Miękka / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may...
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew met...
|
cena:
201,24 |
 |
Extreme Programming and Agile Processes in Software Engineering: 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings
ISBN: 9783540262770 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Extreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found their way into the mainstream, and at the end of last year we saw the second edition of Kent Beck s book on Extreme Programming, containing a major refactoring of XP. This year, the 6th International Conference on Extreme Programming and Agile Processes in Software Engineering took place June 18 23 in She?eld. As in the yearsbefore, XP 2005provideda unique forum for industry and academic professionals to discuss their needs and ideas on Extreme Programming and - ile...
Extreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found their way into the mainstre...
|
cena:
201,24 |
 |
Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
ISBN: 9783540401742 / Angielski / Miękka / 402 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic program synthesis has attracted the attention of researchers and professionals since the 1970s. This book focusses on inductive program synthesis, and especially on the induction of recursive functions; it is organized into three parts on planning, inductive program synthesis, and analogical problem solving and learning. Besides methodological issues in inductive program synthesis, emphasis is placed on its applications to control rule... Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic pro... |
cena:
201,24 |
 |
Job Scheduling Strategies for Parallel Processing: 7th International Workshop, Jsspp 2001, Cambridge, Ma, Usa, June 16, 2001, Revised Papers
ISBN: 9783540428176 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2001, held in Cambridge, MA, USA, in June 2001.
The 11 revised full papers presented were carefully selected and improved during two rounds of reviewing and revision, and present state-of-the-art results in the area. This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Job Scheduling Strategies for Parallel Processing,...
|
cena:
201,24 |
 |
Fst Tcs 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceeding
ISBN: 9783540430025 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of the Indian Association for Research in Computing Science (IARCS). This year s conference attracted 73 submissions from 20 countries. Each s- mission was reviewed by at least three independent referees. In a departure from previous conferences, the ?nal selection of the papers making up the program was done through an electronic discussion spanning two weeks, without a physical meeting of the Program...
This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (...
|
cena:
201,24 |
 |
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001,
ISBN: 9783540430759 / Angielski / Miękka / 550 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.
The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing,... This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgor...
|
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
