» książki » Computers - Programming - Compilers
topmenu
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
Coordination Models and Languages: 5th International Conference, Coordination 2002, York, Uk, April 8-11, 2002 Proceedings
ISBN: 9783540434108 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8-11 April 2002. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an application and the lower-level communication model used in its implementation. Coordinati- based methods provide a clean separation between individual software com- nents and their interactions within their overall software organization. This se- ration, together with the higher-level abstractions o?ered...
This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK,...
|
cena:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
Stacs 97: 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceed
ISBN: 9783540626169 / Angielski / Miękka / 621 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lubeck, Germany, in February/March 1997.
The 46 revised full papers included were carefully selected from a total of 139 submissions; also included are three invited full papers. The papers presented span the whole scope of theoretical computer science. Among the topics covered are, in particular, algorithms and data structures, computational complexity, automata and formal languages, structural complexity, parallel and distributed systems, parallel... This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lubeck, Germ...
|
cena:
383,73 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
Towards a Formal Description of ADA
ISBN: 9783540102830 / Angielski / Miękka / 630 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
383,73 zł |
 |
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:
191,85 zł |
 |
Recent Advances in Formal Languages and Applications
ISBN: 9783540334606 / Angielski / Twarda / 373 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: historical, hints for complete proofs or solutions to exercises and directions for further research. This volume contains applications which have not appeared in any collection of this type. The book is a general source of information in computation theory, at the undergraduate and research level. The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: histori... |
cena:
575,62 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 10th European Pvm/Mpi Users' Group Meeting, Venice, Italy, September 29 - O
ISBN: 9783540201496 / Angielski / Miękka / 716 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Themessagepassingparadigmisconsideredthemoste?ectivewaytodevelop- ?cient parallel applications. PVM (Parallel Virtual Machine) and MPI (Message Passing Interface) are the most frequently used tools for programming message passing applications. This volume includes the selected contributions presented at the 10th - ropean PVM/MPI Users Group Meeting (Euro PVM/MPI 2003), which was held in Venice, Italy, September 29 October 2, 2003. The conference was jointly organized by the Department of Computer Science of the Ca Foscari University of Venice, Italy and the Information Science and...
Themessagepassingparadigmisconsideredthemoste?ectivewaytodevelop- ?cient parallel applications. PVM (Parallel Virtual Machine) and MPI (Message Passin...
|
cena:
383,73 zł |
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
