» książki » Computers - Languages - General
 |
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
ISBN: 9783540616481 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.
The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification. This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, F...
|
cena:
204,08 |
 |
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Pr
ISBN: 9783540620648 / Angielski / Miękka / 453 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996.
The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented... This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, he...
|
cena:
204,08 |
 |
Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
ISBN: 9783540625032 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages.
The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context. This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. L...
|
cena:
204,08 |
 |
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:
408,20 |
 |
Ecoop '97 - Object-Oriented Programming: 11th European Conference, Jyväskylä, Finland, June 9 - 13, 1997, Proceedings
ISBN: 9783540630890 / Angielski / Miękka / 536 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed proceedings of the 11th European Conference on Object-Oriented Programming, ECOOP'97, held in Jyvaskyla, Finland, in June 1997.
The book presents 20 revised full papers selected from a total of 103 submissions; also included are two full invited presentations and one abstract of an invited talk. The book is divided into topical sections on programming languages, types, metaprogramming, implementation and systems, formal methods and specifications, Java, and patterns. All in all, the volume impressively demonstrates that object-oriented technology... This book constitutes the strictly refereed proceedings of the 11th European Conference on Object-Oriented Programming, ECOOP'97, held in Jyvaskyla, F...
|
cena:
204,08 |
 |
Languages and Compilers for Parallel Computing: 9th International Workshop, Lcpc'96, San Jose, California, Usa, August 8-10, 1996, Proceedings
ISBN: 9783540630913 / Angielski / Miękka / 618 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96, held in San Jose, California, in August 1996.
The book contains 35 carefully revised full papers together with nine poster presentations. The papers are organized in topical sections on automatic data distribution and locality enhancement, program analysis, compiler algorithms for fine-grain parallelism, instruction scheduling and register allocation, parallelizing compilers, communication optimization, compiling HPF, and... This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computi...
|
cena:
408,20 |
 |
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:
204,08 |
 |
Languages and Compilers for Parallel Computing: 21th International Workshop, Lcpc 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected P
ISBN: 9783540897392 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 2008 the Workshop on Languages and Compilers for Parallel Computing left the USA to celebrate its 21st anninversary in Edmonton, Alberta, Canada. Following its long-established tradition, the workshop focused on topics at the frontierofresearchanddevelopmentinlanguages, optimizingcompilers, appli- tions, and programming models for high-performance computing. While LCPC continues to focus on parallel computing, the 2008 edition included the pres- tation of papers on program analysis that are precursors of high performance in parallel environments. LCPC 2008 received 35 paper submissions....
In 2008 the Workshop on Languages and Compilers for Parallel Computing left the USA to celebrate its 21st anninversary in Edmonton, Alberta, Canada. F...
|
cena:
204,08 |
 |
Advances in Software Engineering: Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures
ISBN: 9783540897613 / Angielski / Miękka / 277 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. However, the contributions re?ect the extensive discussions we had during the two weeks in Lipari. Allcontributions, writtenbetweenAugust2007andJanuary2008, havebeen reviewed, revisedandreviewedagainduringtheperiodFebruary August2008. We thank the 21 reviewers for their considerable and very constructive work, althoughasusualtheyhavetoremainanonymous.Lastbutnotleastwethank theauthorsfortheircommitmenttothisvolume.
However, the contributions re?ect the extensive discussions we had during the two weeks in Lipari. Allcontributions, writtenbetweenAugust2007andJanuar...
|
cena:
204,08 |
 |
Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
ISBN: 9783540402541 / Angielski / Miękka / 518 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed. The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2... |
cena:
204,08 |
 |
Advances in Database Technology - EDBT '94: 4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 - 31, 1994. Proceedings
ISBN: 9783540578185 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The fourth international conference on Extending Data Base Technology was held in Cambridge, UK, in March 1994. The biannual EDBT has established itself as the premier European database conference. It provides an international forum for the presentation of new extensions to database technology through research, development, and application. This volume contains the scientific papers of the conference. Following invited papers by C.M. Stone and A. Herbert, it contains 31 papers grouped into sections on object views, intelligent user interface, distributed information servers, transaction...
The fourth international conference on Extending Data Base Technology was held in Cambridge, UK, in March 1994. The biannual EDBT has established itse...
|
cena:
204,08 |
 |
ADA 2005 Reference Manual. Language and Standard Libraries: International Standard Iso/Iec 8652/1995(e) with Technical Corrigendum 1 and Amendment 1
ISBN: 9783540693352 / Angielski / Miękka / 765 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Ada 2005 Reference Manual combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the Technical Corrigendum 1 approved by ISO in February 2001 and with the Amendment 1 expected to be approved by ISO in late 2006 or early 2007. Both the Technical Corrigendum 1 and the Amendment 1 list only the changes made to the International Standard. The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions as an indispensable working companion for anybody using Ada... The Ada 2005 Reference Manual combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the... |
cena:
408,20 |
 |
Grid Computing: Infrastructure, Service, and Applications
ISBN: 9781420067668 / Angielski / Twarda / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Identifies Recent Technological Developments Worldwide The field of grid computing has made rapid progress in the past few years, evolving and developing in almost all areas, including concepts, philosophy, methodology, and usages. Grid Computing: Infrastructure, Service, and Applications reflects the recent advances in this field, covering the research aspects that involve infrastructure, middleware, architecture, services, and applications. Grid Systems Across the Globe The first section of... Identifies Recent Technological Developments Worldwide The field of grid computing has made rapid progress in the p... |
cena:
1049,48 |
 |
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
ISBN: 9783540857778 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume consists of the proceedings of the Sixth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008). The maingoalof thisseriesofconferencesis to bring togetherdiversecommunitiesof researchers that deal with the timing aspects of computing systems. Both f- damental and practical aspects of timed systems are addressed. Further, three invited talks that survey various aspects of this broad research domain were presented at the conference: "Composing Web Services in an Open World: QoS Issues" (Albert Benveniste); "Recent Results in Metric Temporal Logic"...
This volume consists of the proceedings of the Sixth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008). The ma...
|
cena:
204,08 |
 |
Languages for Embedded Systems and Their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08
ISBN: 9781402097133 / Angielski / Twarda / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research trends, results, and application experiences in computer languages for embedded systems. The book builds upon the most relevant contributions to FDL 08, the premier international conference specializing in this field. These contributions have been selected based on the results of reviews provided by leading experts from research and industry. In many cases, the authors have improved their original work by adding breadth, depth, or... The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research... |
cena:
612,32 |
 |
How to Live on 24 Hours a Day
ISBN: 9781604595079 / Angielski / Miękka / 52 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Bennett address the problem of never having enough time. In this book, he urges hourly workers to use "spare" time to improve their lives, making the best of their time outside of work. He understands that most people are spending as much time as possible working to make more money, thus disliking their lives. "Time is money" seriously understates this matter, more time can generate more money, but money cannot buy you more time
Bennett address the problem of never having enough time. In this book, he urges hourly workers to use "spare" time to improve their lives, making the ...
|
cena:
36,60 |
 |
Transactions on Aspect-Oriented Software Development II: Focus: Aop Systems, Software and Middleware
ISBN: 9783540488903 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents two regular revised papers, a guest editors' introduction, and six papers in a special section that have been through a careful peer reviewing process by the journal's Editorial Board. Besides a wide range of topics from software design to implementation of aspect-oriented languages, the six papers of the special section concentrate on AOP systems, software and middleware. This volume presents two regular revised papers, a guest editors' introduction, and six papers in a special section that have been through a carefu... |
cena:
204,08 |
 |
Integrated Formal Methods: 6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings
ISBN: 9783540732099 / Angielski / Miękka / 662 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application. This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It a... |
cena:
408,20 |
 |
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:
204,08 |
 |
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, Vmcai 2009, Savannah, Ga, Usa, January 18-20, 2009. Proceedi
ISBN: 9783540938996 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, January 18 20, 2009. VMCAI 2009 was the 10th in a series of meetings. Previous meetings were heldinPortJe?erson1997, Pisa1998, Venice2002, NewYork2003, Venice2004, Paris 2005, Charleston 2006, Nice 2007, and San Francisco 2008. VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: veri?cation, model checking, and abstract interpretation. A...
This volume contains the proceedings of the 10th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2009), he...
|
cena:
204,08 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
