» książki » Computers - Programming - Compilers
topmenu
 |
Logic Programming: 18th International Conference, Iclp 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings
ISBN: 9783540439301 / Angielski / Miękka / 486 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002.
The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed. This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in J...
|
cena:
209,75 |
 |
Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets
ISBN: 9783540515258 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Focuses on different approaches for the modelling of parallel processes. On the one hand there are the so-called 'process algebras' or 'abstract programming languages' with Milner's Calculus of Communicating Systems (CCS) and the theoretical version of Hoare's Communicating Sequential Processes (CSP) as main representatives.
Focuses on different approaches for the modelling of parallel processes. On the one hand there are the so-called 'process algebras' or 'abstract progr...
|
cena:
209,75 |
 |
Languages and Compilers for Parallel Computing: 11th International Workshop, Lcpc'98, Chapel Hill, Nc, Usa, August 7-9, 1998, Proceedings
ISBN: 9783540664260 / Angielski / Miękka / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. LCPC 98 Steering and Program Committes for their time and energy in - viewing the submitted papers. Finally, and most importantly, we thank all the authors and participants of the workshop. It is their signi cant research work and their enthusiastic discussions throughout the workshopthat made LCPC 98 a success. May 1999 Siddhartha Chatterjee Program Chair Preface The year 1998 marked the eleventh anniversary of the annual Workshop on Languages and Compilers for Parallel Computing (LCPC), an international - rum for leading research groups to present their current research activities and...
LCPC 98 Steering and Program Committes for their time and energy in - viewing the submitted papers. Finally, and most importantly, we thank all the au...
|
cena:
209,75 |
 |
Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Rev
ISBN: 9783540692331 / Angielski / Miękka / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Knowledge means power - but only if it is available at the right time, the right place, and in the hands of the right people. Structured, engineered, repeatable methodsto gather, transport, andapplyknowledgearecollectivelycalledkno- edge management. Declarative programming strives for the ideal of programming by wish: the user states what he or she wants, and the computer ?gures out how to achieve it. Thus, declarative programming splits into two separate parts: methods for humans on how to write wishes, and algorithms for computers that ful?l these wishes....
Knowledge means power - but only if it is available at the right time, the right place, and in the hands of the right people. Structured, engineered, ...
|
cena:
209,75 |
 |
Concur 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
ISBN: 9783540407539 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 14th International Conference on ConcurrencyTheory(CONCUR2003)heldinMarseille, France, September3 5, 2003. The conference was hosted by the UniversitedeProvenceandtheLa- ratoire d Informatique Fondamentale de Marseille (LIF). The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the...
This volume contains the proceedings of the 14th International Conference on ConcurrencyTheory(CONCUR2003)heldinMarseille, France, September3 5, 2003....
|
cena:
209,75 |
 |
Foundations of Software Technology and Theoretical Computer Science: 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings
ISBN: 9783540638766 / Angielski / Miękka / 351 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 18 revised full papers presented here were selected from a total of 68 submissions from the 17th Conference on the Foundations of Software Technology and Theoretical Computer Science. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting and error-correcting codes.
The 18 revised full papers presented here were selected from a total of 68 submissions from the 17th Conference on the Foundations of Software Technol...
|
cena:
209,75 |
 |
Esec '89: 2nd European Software Engineering Conference, University of Warwick, Coventry, Uk, September 11-15, 1989. Proceedings
ISBN: 9783540516354 / Angielski / Miękka / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at the University of Warwick in the United Kingdom in September 1989 and its primary purpose is to summarise the state of the art in software engineering as represented by the papers at that conference. The material covers both submitted papers and a number of invited papers given at the conference. The topics covered include: metrics and measurement, software process modelling, formal methods including their use in industry, software...
The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC...
|
cena:
209,75 |
 |
Logics in Artificial Intelligence: 11th European Conference, Jelia 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
ISBN: 9783540878025 / Angielski / Miękka / 429 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers selected for presentation at the 11th European Conference on Logics in Arti?cial Intelligence (or Journ ees Europ eennes sur la Logique en Intelligence Arti?cielle, JELIA), which was held from September 28 to October 1, 2008, at the Technische Universit] at Dresden, Germany. In total, 98 researchpapers were submitted by researchersfrom 24 countries. Each submission was reviewed by at least three expert reviewers. The ?nal de- sionsonthepapersweretakenduringanelectronicProgramCommitteemeeting held on the Internet. The Program Committee accepted 32 research...
This volume contains the papers selected for presentation at the 11th European Conference on Logics in Arti?cial Intelligence (or Journ ees Europ eenn...
|
cena:
209,75 |
 |
Languages and Compilers for Parallel Computing: 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers
ISBN: 9783540852605 / Angielski / Miękka / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is our pleasure to present the papers from the 20th International Workshop on Languages and Compilers for Parallel Computing For the past 19 years, this workshop has been one of the primary venues for presenting and learning about a wide rangeof currentresearchin parallelcomputing. We believe that tradition has continued in this, the 20th year of the workshop. This year, we received 49 paper submissions from 10 countries. About a quarter of the papers (12 out of 49) included authors from industry. We selected 23 papers to be presented at the workshop, for an acceptancerate of 47%, which...
It is our pleasure to present the papers from the 20th International Workshop on Languages and Compilers for Parallel Computing For the past 19 years...
|
cena:
209,75 |
 |
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
ISBN: 9783540140313 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24-28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin-L]of, one of the founding fathers of the Types community. The afternoon consisted of the following three invited talks: "Constructive Validity Revisited" by Dana...
These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoni...
|
cena:
209,75 |
 |
Distributed Applications and Interoperable Systems: 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
ISBN: 9783540262626 / Angielski / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, held in June 2005. The papers in this book are organized in topical sections on context and location, interoperability architectures, methodological aspects, configurable communication, and more.
Constitutes the refereed proceedings of the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, held in Ju...
|
cena:
209,75 |
 |
Functional Programming Languages in Education: 1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. Proceedings
ISBN: 9783540606758 / Angielski / Miękka / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held in Nijmegen, The Netherlands in December 1995.
The 17 revised full papers included represent the current state-of-the-art in using functional languages in computer science education. Most papers report teaching experience in some detail, however, the emphasis is generally on technical issues. Functional languages are increasingly used for teaching in a number of important areas such as algorithms, data structures, compiler construction,... This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held i...
|
cena:
209,75 |
 |
Reasoning with Logic Programming
ISBN: 9783540614883 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.
The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational... As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning...
|
cena:
209,75 |
 |
Concur'97: Concurrency Theory: 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings
ISBN: 9783540631415 / Angielski / Miękka / 428 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997.
The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others. This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1...
|
cena:
209,75 |
 |
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 4th European PVM/MPI User's Group Meeting Cracow, Poland, November 3-5, 1997, Proceedings
ISBN: 9783540636977 / Angielski / Miękka / 523 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parallel virtual machine and message passing interface are popular tools for programming in accordance with the message passing paradigm. This work presents 63 papers from the Fourth European Parallel Virtual Machine/Message Passing Interface Users' Group Meeting in 1997. It seeks to cover the whole range of PVM/MPI issues. The papers are organized in sections on evaluation and performance, extensions and improvements, implementation, tools, algorithms, and applications in science and engineering.
Parallel virtual machine and message passing interface are popular tools for programming in accordance with the message passing paradigm. This work pr...
|
cena:
209,75 |
 |
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
ISBN: 9783540291312 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The... Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their applicat... |
cena:
209,75 |
 |
Typed Lambda Calculi and Applications: 8th International Conference, Tlca 2007, Paris, France, June 26-28, 2007, Proceedings
ISBN: 9783540732273 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, France in June 2007 in conjunction with RTA 2007, the 18th International Conference on Rewriting Techniques and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming.
Constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, TLCA 2007, France in June 2007 in c...
|
cena:
209,75 |
 |
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
ISBN: 9783540403326 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants. The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2... |
cena:
209,75 |
 |
Implementation and Application of Functional Languages: 17th International Workshop, Ifl 2005, Dublin, Ireland, September 19-21, 2005, Revised Selecte
ISBN: 9783540691747 / Angielski / Miękka / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional Languages, IFL 2005, held in Dublin, Ireland in September 2005. Ranging from theoretical and methodological topics to implementation issues and applications in various contexts, the papers address all current issues on functional and function-based languages. This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Implementation and Applications of Functional ... |
cena:
209,75 |
 |
Integrated Formal Methods: 7th International Conference, Ifm 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
ISBN: 9783642002540 / Angielski / Miękka / 367 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ThisvolumecontainsthepaperspresentedattheInternationalConferenceon- tegratedFormalMethods, iFM2009, heldon16-19February2009inDusseldorf ], Germany.Theconferencewastheseventhinaseriesofconferencesonintegrated formal methods, with previous editions in York, Dagstuhl, Turku, Canterbury, Eindhoven and Oxford. The iFM conference series seeks to further research into the combination of di?erent formal methods, both for modelling and analysis, covering all aspects from language design over veri?cation techniques to tools and their integration into software engineering practice. iFM 2009 received 55...
ThisvolumecontainsthepaperspresentedattheInternationalConferenceon- tegratedFormalMethods, iFM2009, heldon16-19February2009inDusseldorf ], Germany.The...
|
cena:
209,75 |
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
