» książki » Computers - Programming - Compilers
topmenu
 |
Complementary Definitions of Programming Language Semantics
ISBN: 9783540076285 / Angielski / Miękka / 173 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
92,55 |
 |
Automata, Languages and Programming: Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977
ISBN: 9783540083429 / Angielski / Miękka / 572 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
140,86 |
 |
Design and Implementation of Programming Languages: Proceedings of a Dod Sponsored Workshop, Ithaca, October 1976
ISBN: 9783540083603 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
160,99 |
 |
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 |
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
