» książki » Computers - Programming - Compilers
topmenu
 |
Esec '91: 3rd European Software Engineering Conference, Esec '91, Milan, Italy, October 21-24, 1991. Proceedings
ISBN: 9783540547426 / Angielski / Miękka / 536 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume details one of a series of conferences set up by European societies with the aim of providing an international forum for researchers, developers and users of software engineering technology. The need for a meeting point to discuss new results and useful experiences was clear from the large amount of high-quality European software engineering research in recent years, stimulated, for example, through major European research programmes. The papers in these proceedings cover a broad range of themes, such as formal methods and practical experiences with them, special techniques for...
This volume details one of a series of conferences set up by European societies with the aim of providing an international forum for researchers, deve...
|
cena:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
Languages and Compilers for Parallel Computing: 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers
ISBN: 9783540428626 / Angielski / Miękka / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the 13th International Workshop on Languages and Compilers for Parallel Computing. It also contains extended abstracts of submissions that were accepted as posters. The workshop was held at the IBM T. J. Watson Research Center in Yorktown Heights, New York. As in previous years, the workshop focused on issues in optimizing compilers, languages, and software environments for high performance computing. This continues a trend in which languages, compilers, and software environments for high performance computing, and not strictly parallel computing,...
This volume contains the papers presented at the 13th International Workshop on Languages and Compilers for Parallel Computing. It also contains exten...
|
cena:
209,75 |
 |
Formal Syntax and Semantics of Java
ISBN: 9783540661580 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving...
Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can prov...
|
cena:
209,75 |
 |
Implementation of Functional Languages: 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers
ISBN: 9783540678649 / Angielski / Miękka / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999.
The 11 revised full papers presented were carefully selected during two rounds of reviewing. The papers are organized in sections on applications, compilation techniques, language concepts, and parallelism. This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languag...
|
cena:
209,75 |
 |
Attribute Grammar Inversion and Source-To-Source Translation
ISBN: 9783540190721 / Angielski / Miękka / 178 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With the proliferation of computer languages and dialects, it is important to create tools to aid in the construction of source-to-source translators. By allowing users to make use of software (or data) written for another system, these tools form an important component in the quest for software reusability. After discussing the theoretical and practical issues of attribute grammar inversion, this book demonstrates how the technique can be used to build source-to-source translators. This is done by first identifying a common canonical form in which to represent the various source languages...
With the proliferation of computer languages and dialects, it is important to create tools to aid in the construction of source-to-source translators....
|
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
