» książki » Computers - Programming - Compilers
topmenu
 |
Tempo: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languaues
ISBN: 9783540090854 / Angielski / Miękka / 120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
The Programming Language ADA: Reference Manual. Proposed Standard Document United States Department of Defense
ISBN: 9783540106937 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
Gag: A Practical Compiler Generator
ISBN: 9783540115915 / Angielski / Miękka / 157 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
80,47 |
 |
Diana. an Intermediate Language for ADA: Revised Version
ISBN: 9783540126959 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
92,55 |
 |
International Symposium on Programming: 6th Colloquium, Toulouse, April 17-19, 1984. Proceedings
ISBN: 9783540129257 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Parle Parallel Architectures and Languages Europe: Vol.1: Parallel Architectures, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings
ISBN: 9783540179436 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
Parle Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings
ISBN: 9783540179450 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings
ISBN: 9783540516620 / Angielski / Miękka / 372 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:
189,17 |
 |
CONCUR '90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension
ISBN: 9783540530480 / Angielski / Miękka / 542 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989. The principal aims of the action are to explore the relationships among the different approaches to algebraic concurrency theory, and to develop a formalism applicable to a wide range of case studies. The articles in this volume describe the state of the art in concurrency, the theory of communicating concurrent (or distributed) systems.
This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (T...
|
cena:
201,24 |
 |
Ada: The Choice for '92: Ada-Europe International Conference Athens, Greece, May 13-17, 1991
ISBN: 9783540540922 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The annual Ada-Europe conference is the most important event in Europe for the promotion and development of the Ada programming language and of Ada-based software engineering methodology. A total of 25 papers were selected for the 1991 conference. Technical excellence and originality were the principal selection criteria, but readability and relevance to the conference theme were also taken into account. The papers were organized into eight sections, on language issues, metrics, concurrency and parallelism in Ada, continuous systems, environments and tools, distribution, faces of reuse, and...
The annual Ada-Europe conference is the most important event in Europe for the promotion and development of the Ada programming language and of Ada-ba...
|
cena:
201,24 |
 |
CONCUR 2007 - Concurrency Theory: 18th International Conference, CONCUR 2007 Lisbon, Portugal, September 3-8, 2007 Proceedings
ISBN: 9783540744061 / Angielski / Miękka / 526 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages. This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along... |
cena:
201,24 |
 |
CONCUR '91: 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
ISBN: 9783540544302 / Angielski / Miękka / 549 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. CONCUR '91 is the second international conference on concurrency theory, organized in association with the NFI project, Transfer. This proceedings volume contains four invited and thirty selected papers on all aspects of concurrency.
CONCUR '91 is the second international conference on concurrency theory, organized in association with the NFI project, Transfer. This proceedings vol...
|
cena:
201,24 |
 |
Parallel Execution of Logic Programs: Iclp '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings
ISBN: 9783540550389 / Angielski / Miękka / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers included in this volume were presented at the Workshop on Parallel Logic Programming held as part of the 8th International Conference on Logic Programming. The papers represent the state of the art and report current research, including many new results.
The papers included in this volume were presented at the Workshop on Parallel Logic Programming held as part of the 8th International Conference on Lo...
|
cena:
201,24 |
 |
Distributed Programming Paradigms with Cryptography Applications
ISBN: 9783540584964 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph describes a programming methodology based upon programming paradigms and generic programs and demonstates how distributed application programs can be developed by simple substitution of data structures and sequential procedures. The author introduces generic programs for two paradigms and shows how to derive new distributed programs for several applications related to the RSA cryptosystem, including RSA enciphering and deciphering, prime number generation, and factoring.
The book is well-written and easily accessible to the non-expert. The work is an appealing combination of... This monograph describes a programming methodology based upon programming paradigms and generic programs and demonstates how distributed application p...
|
cena:
201,24 |
 |
Software Engineering - ESEC '95: 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings
ISBN: 9783540604068 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995.
The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re-)engineering, real-time, software metrics, concurrency, version and configuration management, formal methods,... This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in Septembe...
|
cena:
201,24 |
 |
Parallel Symbolic Computing: Languages, Systems, and Applications: Us/Japan Workshop, Cambridge, Ma, Usa, October 14-17, 1992. Proceedings
ISBN: 9783540573968 / Angielski / Miękka / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parallel and distributed computing are becoming increasinglyimportant as cost-effective ways to achieve highcomputational performance. Symbolic computations are notablefor their use of irregular data structures and henceparallel symbolic computing has its own distinctive set oftechnical challenges.The papers in this book are based on presentations made at aworkshop at MIT in October 1992. They present results in awide range of areas including: speculative computation, scheduling techniques, program development tools andenvironments, programming languages and systems, models ofconcurrency and...
Parallel and distributed computing are becoming increasinglyimportant as cost-effective ways to achieve highcomputational performance. Symbolic comput...
|
cena:
201,24 |
 |
Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, Uk, June 2-6, 199
ISBN: 9783540631149 / Angielski / Miękka / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, in June 1997.
The 25 revised full papers presented were carefully selected for inclusion by the program committee. All current issues explored in the Ada community are addressed; beyond the Ada language aspects, software engineering technologies for reliable and for reactive systems are discussed in a more general context. This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, ...
|
cena:
201,24 |
 |
Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
ISBN: 9783540667100 / Angielski / Miękka / 442 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it provides automatic tools for software specialization and is based on rigorous semantic foundations. This book is based on a school held at DIKU Copenhagen, Denmark in summer 1998 during which leading researchers summarized the state of the art in partial evaluation. The lectures presented survey the foundations of partial evaluation in a clear...
As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolutio...
|
cena:
201,24 |
 |
Constraint Databases and Applications: Second International Workshop on Constraint Database Systems, Cdb '97, Delphi, Greece, January 11-12, 1997, Cp'
ISBN: 9783540625018 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the Second International Workshop on Constraint Database Systems, CDB '97, held in Delphi, Greece, in January 1997 together with some papers presented at the CP '96 Workshop on Constraints and Databases, held in Cambridge, Massachussetts, in August 1996.
The 18 revised full papers presented were carefully reviewed and selected for inclusion in the volume; also included are the extended abstract of an invited contribution and two survey papers. The papers are organized in sections on languages, expressiveness of spatial languages, systems,... This book presents the refereed proceedings of the Second International Workshop on Constraint Database Systems, CDB '97, held in Delphi, Greece, in J...
|
cena:
201,24 |
 |
Worldwide Computing and Its Applications: International Conference, Wwca '97, Tsukuba, Japan, March 10-11, 1997 Proceedings.
ISBN: 9783540633433 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-conference proceedings of the International Conference on Worldwide Computing and Its Applications, WWCA'97, held in Tsukuba, Japan, in March 1997.
The volume presents 15 revised full papers selected from 50 submissions as well as 15 revised invited papers by leading researchers in this emerging area and two keynotes. The papers are organized in topical sections on distributed programming languages and systems, distributed object environments, cooperative computation, collaboration support Systems, collaborative media, novel distributed... This book constitutes the strictly refereed post-conference proceedings of the International Conference on Worldwide Computing and Its Applications, W...
|
cena:
201,24 |
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
