» książki » Computers - Programming - Compilers
topmenu
 |
Design and Implementation of Symbolic Computation Systems: International Symposium, Disco '92, Bath, U.K., April 13-15, 1992. Proceedings
ISBN: 9783540572725 / Angielski / Miękka / 223 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. DISCO 92 was held on the Newton Park campus of Bath College of Higher Education, England, April 13-15, 1992. Beside the formal lectures dedicated to design and implementation issues of computer algebra, there were several software demonstrations and an opportunity for system designers to compare systems. This volume presents the proceedings of the conference. It contains 18 papers on a variety of design and implementation issues. One general theme which clearly emerges is the need for interconnections between systems, as no one systems incorporates all the facilities that users want. Various...
DISCO 92 was held on the Newton Park campus of Bath College of Higher Education, England, April 13-15, 1992. Beside the formal lectures dedicated to d...
|
cena:
203,13 |
 |
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding
ISBN: 9783540573166 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains papers selected for presentation at the international conference, Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences.
This volume contains papers selected for presentation at the international conference, Formal Methods in Programming and Their Applications, held in A...
|
cena:
203,13 |
 |
Object-Based Distributed Programming: Ecoop '93 Workshop, Kaiserslautern, Germany, July 26 - 27, 1993. Proceedings
ISBN: 9783540579328 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Interest has grown rapidly over the past dozen years in the application of object-oriented programming and methods to the development of distributed, open systems. This volume presents the proceedings of a workshop intended to assess the current state of research in this field and to facilitate interaction between groups working on very different aspects of object-oriented distributed systems. The workshop was held as part of the 1993 European Conference on Object-Oriented Programming (ECOOP '93). Over fifty people submitted position papers and participated in the workshop, and almost half...
Interest has grown rapidly over the past dozen years in the application of object-oriented programming and methods to the development of distributed, ...
|
cena:
203,13 |
 |
Automata, Languages and Programming: 22nd International Colloquium, Icalp 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings
ISBN: 9783540600848 / Angielski / Miękka / 692 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995.
The volume presents four invited papers and 53 full revised research papers selected from a total of 111 submissions. ICALP traditionally covers the whole area of theoretical computer science; among the topics addressed in the volume are concurrency, automata, formal languages, algorithms, communication protocols, computational complexity, computability, foundations of programming, learning and coding,... This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of ...
|
cena:
406,31 |
 |
Category Theory and Computer Science: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
ISBN: 9783540601647 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.
The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program... This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in A...
|
cena:
203,13 |
 |
ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings
ISBN: 9783540552536 / Angielski / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains selected papers presented at the European Symposium on Programming (ESOP) held jointly with the seventeeth Colloquium on Trees in Algebra and Programming (CAAP) in Rennes, France, February 26-28, 1992 (the proceedings of CAAP appear in LNCS 581). The previous symposiawere held in France, Germany, and Denmark. Every even year, as in 1992, CAAPis held jointly with ESOP. ESOP addresses fundamental issues and important developments in the specification and implementation of programming languages and systems. It continues lines begun in France and Germany under the names...
This volume contains selected papers presented at the European Symposium on Programming (ESOP) held jointly with the seventeeth Colloquium on Trees in...
|
cena:
203,13 |
 |
Object-Based Models and Languages for Concurrent Systems: Ecoop '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution,
ISBN: 9783540594505 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents carefully refereed versions of the best papers presented at the Workshop on Models and Languages for Coordination of Parallelism and Distribution, held during ECOOP '94 in Bologna, Italy in July 1994.
Recently a new class of models and languages for distributed and parallel programming has evolved; all these models share a few basic concepts: simple features for data description and a small number of mechanisms for coordinating the work of agents in a distributed setting. This volume demonstrates that integrating such features with those known from concurrent... This volume presents carefully refereed versions of the best papers presented at the Workshop on Models and Languages for Coordination of Parallelism ...
|
cena:
203,13 |
 |
Grading Knowledge: Extracting Degree Information from Texts
ISBN: 9783540669340 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. If you are sitting in a basement room without a view not to mention the bars in front of the windows and writing a book, then you better have good company. I had the best company you could imagine. Waltraud Hiltl, Katja Markert, Martin Romacker, Klemens Schnattinger, Andreas Klee and I shared very little o?ce space, but plenty of chocolate, co?ee, champagne, and enthusiasm for our research. North German coolness and creativity sprang mostly from my colleagues in the second ?oor. I learned a lot from and laughed a lot with Nobi Br]oker, Susanne (Sue) Schacht, Manfred Klenner, Peter Neuhaus,...
If you are sitting in a basement room without a view not to mention the bars in front of the windows and writing a book, then you better have good com...
|
cena:
203,13 |
 |
Formal Description of Programming Concepts
ISBN: 9783540539612 / Angielski / Twarda / 508 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semantic models and related tools developed to allow a rigorous discussion of the construction of correct programs.
This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semant...
|
cena:
542,78 |
 |
Trends in Distributed Systems: CORBA and Beyond: International Workshop Treds '96 Aachen, Germany, October 1 - 2, 1996; Proceedings
ISBN: 9783540618423 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Workshop on Trends in Distributed Systems, TreDS '96, held in Aachen, Germany, in October 1996.
The 21 revised full papers presented were carefully selected from a total of 51 submissions; also included is an invited paper by Sape Mullender and Paul Sijben on quality of service in distributed multimedia systems. Beyond the topic of the CORBA architecture and implementations, the book addresses interoperability issues, formal methods, multimedia communication services, distributed object systems, coordination protocols,... This book constitutes the refereed proceedings of the International Workshop on Trends in Distributed Systems, TreDS '96, held in Aachen, Germany, in ...
|
cena:
203,13 |
 |
Learn to Tango with D
ISBN: 9781590599600 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years, much work has been put into creating programming languages that embody a blend of many of the most admired characteristics of their predecessors. One such language is D, which provides developers with the speed of languages such as C and C++ combined with the power and flexibility of languages such as Ruby and Python. Learn to Tango with D introduces you to the powerful D language, with special attention given to the Tango software library. A concise yet thorough overview of the language's syntax and features is presented, followed by an introduction to... In recent years, much work has been put into creating programming languages that embody a blend of many of the most admired characteristics of thei... |
cena:
103,58 |
 |
Implementation of Functional Languages: 8th International Workshop, Ifl'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers
ISBN: 9783540632375 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the strictly refereed post-workshop proceedings originating from the 8th International Workshop on the Implementation of Functional Languages, held in Bad Godesberg, Germany, in September 1996.
The 15 thoroughly revised full papers presented were selected after a second round of reviewing from the 26 contributions accepted for presentation at the workshop. Also included is an overview by the volume editor. The volume addresses various implementational issues of functional languages including parallel implementations, language concepts and design, type systems,... This book contains the strictly refereed post-workshop proceedings originating from the 8th International Workshop on the Implementation of Functional...
|
cena:
203,13 |
 |
Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
ISBN: 9783540643012 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; normalization; unification; equational logistics; lambda calculus; constraint solving; and functional programming.
A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; ...
|
cena:
203,13 |
 |
Compiler Construction: 7th International Conference, Cc'98, Held as Part of the European Joint Conferences on the Theory and Practice of Soft
ISBN: 9783540643043 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Compiler Construction, CC '98, held as part of the European Joint Conference on the Theory and Practice of Software, ETAPS '98, in Lisbon, Portugal, in March/April 1998. The volume presents 19 revised full papers selected from a total of 50 submissions; also four system demonstrations and an abstract of an invited talk are included. The papers cover the classical issues of compiler construction centered around computer languages and their processors, with an emphasis on practical methods and tools, but also...
This book constitutes the refereed proceedings of the 7th International Conference on Compiler Construction, CC '98, held as part of the European Join...
|
cena:
203,13 |
 |
Languages and Compilers for Parallel Computing: Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. Proceedings
ISBN: 9783540554226 / Angielski / Miękka / 425 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Fourth Workshop on Languages and Compilers for Parallel Computing, held in Santa Clara, California, in August 1991. The purpose of the workshop, held every year since 1988, is to bring together the leading researchers on parallel programming language design and compilation techniques for parallel computers. The papers in this book cover several major topics, including languages and structures to represent programs internally in the compiler, techniques for analyzing and manipulating sequential loops in order to generate a parallel version,...
This volume contains the proceedings of the Fourth Workshop on Languages and Compilers for Parallel Computing, held in Santa Clara, California, in Aug...
|
cena:
203,13 |
 |
Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism
ISBN: 9783540591733 / Angielski / Miękka / 178 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph extends and generalizes the UNITY methodology, introduced in the late 1980s by K. Mani Chandy and Jayadev Misra as a formalism aiding in the specification and verification of parallel programs, in several directions.
This treatise further develops the ideas behind UNITY in order to explore and understand the potential and limitations of this approach: first UNITY is applied to formulate and tackle problems in parallelism such as compositionality; second, the logic and notation of UNITY is generalized in order to increase its range of applicability; finally, paradigms and... This monograph extends and generalizes the UNITY methodology, introduced in the late 1980s by K. Mani Chandy and Jayadev Misra as a formalism aiding i...
|
cena:
203,13 |
 |
Computational Logic
ISBN: 9783540645894 / Angielski / Twarda / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of... Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from ma...
|
cena:
770,98 |
 |
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:
406,31 |
 |
Input/Output Intensive Massively Parallel Computing: Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems
ISBN: 9783540628408 / Angielski / Miękka / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Massively parallel processing is possibly a promising answer to the quest for increased computer performance. This has resulted in the development of new programming languages and programming environments and has stimulated the design and production of massively parallel supercomputers. The efficiency of concurrent computation and input/output essentially depends on the proper utilization of specific architectural features of the underlying hardware. This work focuses on development of runtime systems supporting execution of parallel code and on supercompilers automatically parallelizing code...
Massively parallel processing is possibly a promising answer to the quest for increased computer performance. This has resulted in the development of ...
|
cena:
203,13 |
 |
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:
203,13 |
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
