» książki » Computers - Programming - Compilers
topmenu
 |
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:
200,77 |
 |
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:
200,77 |
 |
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:
200,77 |
 |
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:
200,77 |
 |
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:
200,77 |
 |
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:
200,77 |
 |
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:
200,77 |
 |
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:
200,77 |
 |
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Paper
ISBN: 9783642005145 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of the papers presented at the 18th Inter- tionalSymposiumonLogic-BasedProgramSynthesisandTransformation(LOP- STR 2008) held during July 17-18, 2008 in Valencia, Spain. Information about ? the conference can be found at http: //www.informatik.uni-kiel.de/ mh/ lopstr08. Previous LOPSTR symposia were held in Lyngby (2007), Venice (2006 and 1999), London (2005 and 2000), Verona (2004), Uppsala (2003), Madrid (2002), Paphos (2001), Manchester (1998, 1992, and 1991), Leuven (1997), Stockholm (1996), Arnhem (1995), Pisa (1994), and Louvain-la-Neuve (1993). The aim...
This volume contains a selection of the papers presented at the 18th Inter- tionalSymposiumonLogic-BasedProgramSynthesisandTransformation(LOP- STR 200...
|
cena:
200,77 |
 |
Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
ISBN: 9783642004308 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 200...
|
cena:
200,77 |
 |
Fundamental Approaches to Software Engineering: 12th International Conference, Fase 2009, Held as Part of the Joint European Conferences on Theory and
ISBN: 9783642005923 / Angielski / Miękka / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ETAPS 2009 was the 12th instance of the European Joint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, COCV, COMPASS, FESCA, FInCo, FORMED, GaLoP, GT-VMT, HFL, LDTA, MBT, MLQA, OpenCert, PLACES, QAPL, RC, SafeCert, TAASN, TERMGRAPH, andWING), four tutorials, andseveninvitedlectures (excludingthose thatwere speci?c to the satellite events). The ?ve...
ETAPS 2009 was the 12th instance of the European Joint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that wa...
|
cena:
200,77 |
 |
Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, Refsq 2009 Amsterdam, the Netherlands, June 8-9, 200
ISBN: 9783642020490 / Angielski / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers accepted for presentation at the 15th Wo- ing Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2009), held in Amsterdam during June 8-9, 2009. Since 1994, when the ?rstREFSQ tookplace, requirementsengineering (RE) has never ceasedto be a dominantfactor in?uencing the quality of software, s- tems and services. Initially started as a workshop, the REFSQ working conf- ence series has now established itself as one of the leading international forums for discussing RE in its many relations to quality. It seeks reports on novel ideas and...
This volume contains the papers accepted for presentation at the 15th Wo- ing Conference on Requirements Engineering: Foundation for Software Quality ...
|
cena:
200,77 |
 |
Logic Programming: 25th International Conference, Iclp 2009, Pasadena, Ca, Usa, July 14-17, 2009, Proceedings
ISBN: 9783642028458 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 25th International Conference on Logic Programming (ICLP 2009). The conference took place in Pasadena, Ca- fornia during July 14-17, 2009. The ICLP series of conferences is aimed at p- viding a technical forum for presenting and disseminating innovative research results in the ?eld of logic programming. Theconference, whichwasco-locatedwiththeInternationalJointConference on Arti?cial Intelligence (IJCAI), featured technical presentations, tutorials, - vited talks, and a number of special events, including: - The 5th ICLP Doctoral Student Consortium...
This volume contains the proceedings of the 25th International Conference on Logic Programming (ICLP 2009). The conference took place in Pasadena, Ca-...
|
cena:
200,77 |
 |
Drawing Programs: The Theory and Practice of Schematic Functional Programming
ISBN: 9781848826175 / Angielski / Miękka / 395 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Drawing Programs: The Theory and Practice of Schematic Functional Programming describes a diagrammatic (schematic) approach to programming. It introduces a sophisticated tool for programmers who would rather work with diagrams than with text. The language is a complete functional language that has evolved into a representation scheme that is unique. The result is a simple coherent description of the process of modelling with the computer. The experience of using this tool is introduced gradually with examples, small projects and exercises. The new computational theory behind the tool is...
Drawing Programs: The Theory and Practice of Schematic Functional Programming describes a diagrammatic (schematic) approach to programming. It introdu...
|
cena:
200,77 |
 |
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008,
ISBN: 9783642031526 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the lecture notes from the courses o?ered at the Inter- tional Summer School on Language Engineering and Rigorous Software De- lopment, held in Piriap olis, Uruguay, from February 25 to March 1, 2008. The aim of the schoolwasthe dissemination of advancedscienti?c knowledge in the areas of programming languages and rigorous methods for software - velopment. The school was oriented to computer science graduate students and researchers, withaninterestinformaltechniquesforthedesignandconstruction of software systems as well as programming languages. The school was organized...
This volume contains the lecture notes from the courses o?ered at the Inter- tional Summer School on Language Engineering and Rigorous Software De- lo...
|
cena:
200,77 |
 |
Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering
ISBN: 9783642037634 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. work for small problems, but it introduces signi?cant accidental complexities when tackling larger problems. Notethattherealchallengehereisnothowtodesignthesystemtotakeap- ticular aspect into account: there is signi?cant design know-how in industry on this and it is often captured in the form of design patterns. Taking into account more than one aspect can be a little harder, but many large scale successful projects in industry provide some evidence that engineers know how di?erent concerns should be handled. The real challenge is reducing the e?ort that the engineerhasto...
work for small problems, but it introduces signi?cant accidental complexities when tackling larger problems. Notethattherealchallengehereisnothowtodes...
|
cena:
200,77 |
 |
Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, Icsr 2009, Falls Church, Va, Usa, September 27-30
ISBN: 9783642042102 / Angielski / Miękka / 297 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ICSR is the premier international conference in the ?eld of software reuse. The main goal of ICSR is to present the advances and improvements within the software reuse domain, as well as to promote interaction between researchers and practitioners. The 11th International Conference on Software Reuse (ICSR 2009) was held during September 27-30, 2009 in Falls Church, VA, USA. 2009 was the year that ICSR went back to its roots. The theme was "Formal Foundations of Reuse and Domain Engineering." We explored the theory and formal foundations that underlie current reuse and domain engineering...
ICSR is the premier international conference in the ?eld of software reuse. The main goal of ICSR is to present the advances and improvements within t...
|
cena:
200,77 |
 |
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
ISBN: 9783642041631 / Angielski / Miękka / 409 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. PeterMosses, renownedresearcherofSemanticsofProgrammingLanguagesand Algebraic Speci?cation Frameworks, turned 60 years old on November 3, 2008. To honor this event, many of Peter's coauthors, collaborators, close colleagues, and former students gathered in Udine, Italy on September 10, 2009 for a s- posium in his honor. The presentations were on subjects related to Peter's many technicalcontributionsand they were a tribute to his lasting impact onthe ?eld. Here is the program of the symposium: - Opening: Jens Palsberg - Session 1: (Chair: Jos e Luiz Fiadeiro) - David Watt, Action Semantics in...
PeterMosses, renownedresearcherofSemanticsofProgrammingLanguagesand Algebraic Speci?cation Frameworks, turned 60 years old on November 3, 2008. To hon...
|
cena:
200,77 |
 |
Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 Krakow, Poland, May 2-5, 2001 Proceedings
ISBN: 9783540419600 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This title constitutes the proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.
This title constitutes the proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland...
|
cena:
200,77 |
 |
Practical Aspects of Declarative Languages
ISBN: 9783642115028 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages. The 22 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 58 submissions. The volume features original work emphasizing novel applications and implementation techniques for all forms of clarative concepts, including functions, relations, logic, and constraints. The papers address all...
This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in M...
|
cena:
200,77 |
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
