» książki » Computers - Logic Design
topmenu
 |
Runtime Verification
ISBN: 9783540773948 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as model checking. Research in runtime veri?cation deals with formal languages suitable for expressing system properties that are checkable at run time; algorithms for checking of formal properties over an execution trace; low-overhead means of extracting information from the running system that is su?cient for checking of the property. Applications of runtime veri?cation technology include po- deployment monitoring of system correctness and...
Runtime veri?cation is a recent direction in formal methods research, which is complementary to such well-established formal veri?cation methods as mo...
|
cena:
201,24 |
 |
Practical Aspects of Declarative Languages: 10th International Symposium, Padl 2008, San Francisco, Ca, Usa, January 7-8, 2008, Proceedings
ISBN: 9783540774419 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the refereed proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008, held in San Francisco, CA, USA, in January 2008. The 20 revised full papers along with the abstract of 1 invited talk were carefully reviewed and selected from 44 submissions. The papers address all current aspects of declarative programming. This book, complete with online files and updates, covers a hugely important area of study in computing. It constitutes the refereed proceedings of... |
cena:
201,24 |
 |
Job Scheduling Strategies for Parallel Processing: Ipps '96 Workshop, Honolulu, Hawaii, April 16, 1996. Proceedings
ISBN: 9783540618645 / Angielski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Job Scheduling Strategies for Parallel Processing, held in conjunction with IPPS '96 symposium in Honolulu, Hawaii, in April 1996.
The book presents 15 thoroughly revised full papers accepted for inclusion on the basis of the reports of at least five program committee members. The volume is a highly competent contribution to advancing the state-of-the-art in the area of job scheduling for parallel supercomputers. Among the topics addressed are job scheduler, workload evolution, gang... This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Job Scheduling Strategies for Parallel Processi...
|
cena:
201,24 |
 |
Concur'99. Concurrency Theory: 10th International Conference Eindhoven, the Netherlands, August 24-27, 1999 Proceedings
ISBN: 9783540664253 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99, held in Eindhoven, Netherlands in August 1999. The 32 revised full papers presented together with four invited contributions were selected from a total of 91 submissions.
This text constitutes the proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99, held in Eindhoven, Netherlands in August ...
|
cena:
402,53 |
 |
Computer Science Logic: 13th International Workshop, Csl'99, 8th Annual Conference of the Eacsl, Madrid, Spain, September 20-25, 1999, Proceed
ISBN: 9783540665366 / Angielski / Miękka / 588 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 1999 Annual Conference of the European Association for Computer Science Logic, CSL'99, was held in Madrid, Spain, on September 20-25, 1999. CSL'99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL'99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings...
The 1999 Annual Conference of the European Association for Computer Science Logic, CSL'99, was held in Madrid, Spain, on September 20-25, 1999. CSL'99...
|
cena:
201,24 |
 |
Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, Plilp '96, Aachen, Germany, September 24 - 27, 1996. Procee
ISBN: 9783540617563 / Angielski / Miękka / 478 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP '96, held in conjunction with ALP and SAS in Aachen, Germany, in September 1996.
The 30 revised full papers presented in the volume were selected from a total of 97 submissions; also included are one invited contribution by Lambert Meerlens and five posters and demonstrations. The papers are organized in topical sections on typing and structuring systems, program analysis, program transformation, implementation issues, concurrent and... This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, ...
|
cena:
201,24 |
 |
Formal Systems Specification: The Rpc-Memory Specification Case Study
ISBN: 9783540619840 / Angielski / Miękka / 543 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification.
Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion... The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a...
|
cena:
201,24 |
 |
Semantics in Databases
ISBN: 9783540641995 / Angielski / Miękka / 271 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A collection of nine papers on semantics in databases. They address traditional aspects such as dealing with integrity constraints, as well as new areas of databases. Oject-orientation, incomplete information, database transformations and other issues are investigated by applying formal semantics.
A collection of nine papers on semantics in databases. They address traditional aspects such as dealing with integrity constraints, as well as new are...
|
cena:
201,24 |
 |
Fundamental Approaches to Software Engineering: First International Conference, Fase'98, Held as Part of the Joint European Conferences on Theory and
ISBN: 9783540643036 / Angielski / Miękka / 329 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, held in Lisbon, Portugal, in March/April 1998.
Besides two invited presentations and three system demonstrations, this volume presents 18 revised full papers selected from a total of 59 submissions. Among the various fundamental software engineering issues addressed are formal methods, specification languages, refinement, object-oriented modeling, software... This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held ...
|
cena:
201,24 |
 |
Ecoop '98 - Object-Oriented Programming: 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings
ISBN: 9783540647379 / Angielski / Miękka / 648 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th European Conference on Object-Oriented Programming, ECOOP'98, held in Brussels, Belgium, in July 1998.
The book presents 24 revised full technical papers selected for inclusion from a total of 124 submissions; also presented are two invited papers. The papers are organized in topical sections on modelling ideas and experiences; design patterns and frameworks; language problems and solutions; distributed memory systems; reuse, adaption and hardware support; reflection; extensible objects and types; and mixins, inheritance and type... This book constitutes the refereed proceedings of the 12th European Conference on Object-Oriented Programming, ECOOP'98, held in Brussels, Belgium, in...
|
cena:
402,53 |
 |
Implementation of Functional Languages: 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers
ISBN: 9783540648499 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Implementation of Functional Languages, IFL'97, held in St. Andrews, Scotland, UK, in September 1997.
The 21 revised full papers presented were selected from the 34 papers accepted for presentation at the workshop during a second round of thorough a-posteriori reviewing. The book is divided in sections on compilation, types, benchmarking and profiling, parallelism, interaction, language design, and garbage collection. This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Implementation of Functional Languages, I...
|
cena:
201,24 |
 |
Algebraic Methodology and Software Technology: 7th International Conference, Amast'98, Amazonia, Brazil, January 4-8, 1999, Proceedings
ISBN: 9783540654629 / Angielski / Miękka / 540 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. AMAST s goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Ten years and seven conferences after the start of the AMAST movement, I believe we are attaining this. The movement has propagated throughout the world, assembling many enthusiastic specialists who have participated not only in the conferences, which are now annual, but also in the innumerable other activities that AMAST promotes and supports. We are now facing the Seventh International Conference on Algebraic Methodology and Software Technology (AMAST 98). The...
AMAST s goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Ten years and seven...
|
cena:
201,24 |
 |
Logic Programming: 20th International Conference, Iclp 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
ISBN: 9783540226710 / Angielski / Miękka / 484 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presentedat the 20th InternationalConference onLogicProgramming, held in Saint-Malo, France, September 6 10,2004.Since the ?rst meeting in this series, held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. This year, we received 70 technical papers from countries all over the world, and the ProgramCommittee accepted 28 of them for presentation;they are included in this volume. A stand-by-your-postersession took place during the conference. It servedas...
This volume contains the papers presentedat the 20th InternationalConference onLogicProgramming, held in Saint-Malo, France, September 6 10,2004.Since...
|
cena:
201,24 |
 |
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
ISBN: 9783540230243 / Angielski / Miękka / 522 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic, heldonSeptember 20 24, 2004 in Karpacz, Poland. The CSL conference series started as the International Workshops on C- puterScienceLogic, andthen, after?vemeetings, becametheAnnualConference of the European Association for Computer Science Logic. This conference was the 18th meeting, and the 13th EACSL conference. Altogether 99 abstracts were submitted, followed by 88 papers. Each of these paperswasrefereedbyatleastthreereviewers.Then, afteratwo-weekelectronic discussion,...
Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic, heldonSeptember 20 24, 2004 i...
|
cena:
201,24 |
 |
Fundamentals of Computation Theory: International Conference Fct '89, Szeged, Hungary, August 21-25, 1989. Proceedings
ISBN: 9783540514985 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the conference on Fundamentals of Computation Theory held in Szeged, Hungary, August 21-25, 1989. The conference is the seventh in the series of the FCT conferences initiated in 1977 in Poznan-Kornik, Poland. The papers collected in this volume are the texts of invited contributions and shorter communications falling into one of the following sections: - Efficient Computation by Abstract Devices: Automata, Computability, Probabilistic Computations, Parallel and Distributed Computing; - Logics and Meanings of Programs: Algebraic and Categorical...
This volume contains the proceedings of the conference on Fundamentals of Computation Theory held in Szeged, Hungary, August 21-25, 1989. The c...
|
cena:
201,24 |
 |
Sdl 2005: Model Driven: 12th International Sdl Forum, Grimstad, Norway, June 20-23, 2005, Proceedings
ISBN: 9783540266129 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 12th International SDL Forum, held in 2005. This book contains papers that deal with the various aspects of using system design languages. They are organized in topical sections on language issues, engineering issues, message sequence charts, applications and tools, model driven architecture, and more.
Constitutes the refereed proceedings of the 12th International SDL Forum, held in 2005. This book contains papers that deal with the various aspects o...
|
cena:
201,24 |
 |
Reasoning Web: First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
ISBN: 9783540278283 / Angielski / Miękka / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the tutorial papers of the Summer School "Reasoning Web,"July25-29,2005(http: //reasoningweb. org). TheSchoolwashostedbythe University of Malta and was organized by the Network of Excellence REWERSE "Reasoning on the Web with Rules and Semantics" (http: //rewerse. net), funded by the EU Commission and by the Swiss Federal O?ce for Edu- tion and Science within the 6th Framework Programme under the project ref- ence number 506779. The objective of the school was to provide an introduction into methods and issues of the Semantic Web, a major endeavor in current Web research,...
This volume contains the tutorial papers of the Summer School "Reasoning Web,"July25-29,2005(http: //reasoningweb. org). TheSchoolwashostedbythe Unive...
|
cena:
201,09 |
 |
Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
ISBN: 9783540353621 / Angielski / Miękka / 239 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third European Performance Engineering Workshop, EPEW 2006, held in Budapest, Hungary in June 2006. The 16 revised full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on stochastic process algebra, workloads and benchmarks, theory of stochastic processes, formal dependability and performance evaluation, as well as queues, theory and practice. This book constitutes the refereed proceedings of the Third European Performance Engineering Workshop, EPEW 2006, held in Budapest, Hungary in June... |
cena:
201,24 |
 |
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 |
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
