» książki » Computers - Programming - Compilers
topmenu
 |
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings
ISBN: 9783540411314 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logics have, for many years, laid claim to providing a formal basis for the study of arti?cial intelligence. With the depth and maturity of methodologies, formalisms, procedures, implementations, and their applications available today, this claim is stronger than ever, as witnessed by increasing amount and range of publications in the area, to which the present proceedings accrue. The European series of Workshops on Logics in Arti?cial Intelligence (or Journees Europeennes sur la Logique en Intelligence Arti?cielle JELIA) began in response to the need for a European forum for the discussion...
Logics have, for many years, laid claim to providing a formal basis for the study of arti?cial intelligence. With the depth and maturity of methodolog...
|
cena:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998, Proceedings
ISBN: 9783540650416 / Angielski / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th European Meeting of the Parallel Virtual Machine and Message Passing Interface Users' Group, PVM/MPI '98, held in Liverpool, UK, in September 1998.
The 49 contributed and invited papers presented were carefully reviewed and revised for inclusion in the volume. All current aspects of PVM and MPI are addressed. The papers are organized in topical sections on evaluation and performance, extensions and improvements, implementation issues, tools, and algorithms. This book constitutes the refereed proceedings of the 5th European Meeting of the Parallel Virtual Machine and Message Passing Interface Users' Group,...
|
cena:
209,75 |
 |
Implementation of Functional Languages: 10th International Workshop, IFL'98, London, UK, September 9-11, 1998, Selected Papers
ISBN: 9783540662297 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 1998.
The 15 revised full papers presented were carefully selected during two rounds of reviewing. The volume covers a wide range of topics including parallel process organization, parallel profiling, compilation and semantics of parallel systems, programming methodology, interrupt handling, strictness analysis, concurrency and message passing, and inter-language working. This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languag...
|
cena:
209,75 |
 |
LOGLAN '88 - Report on the Programming Language
ISBN: 9783540523253 / Angielski / Miękka / 135 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. LOGLAN '88 belongs to the family of object oriented programming languages. It embraces all important known tools and characteristics of OOP, i.e. classes, objects, inheritance, coroutine sequencing, but it does not get rid of traditional imperative programming: primitive types do not need to be objects; records, static arrays, subtypes and other similar type contructs are admitted. LOGLAN has non-traditional memory model which accepts programmed deallocation but avoids dangling reference. The LOGLAN semantic model provides multi-level inheritance, which properly cooperates with module...
LOGLAN '88 belongs to the family of object oriented programming languages. It embraces all important known tools and characteristics of OOP, i....
|
cena:
209,75 |
 |
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings
ISBN: 9783540544951 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get concise interpretations of many logical concepts. Links between logic and computer science have been developed now for over twenty years, notably via the Curry-Howard isomorphism which identifies programs with proofs and types with propositions. The triangle category theory - logic - programming...
The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6...
|
cena:
209,75 |
 |
Constraint Databases and Applications: ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September, 8 - 9, 1995. Proceedings
ISBN: 9783540607946 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the ESPRIT Working Group CONTESSA Workshop on Constraint Databases and Applications, held in Friedrichshafen, Germany in September 1995.
The 10 full revised papers selected for inclusion in this volume are written by and for practitioners, researchers, and application users of core constraint database technology; they can be classified in three sections on expressiveness of the various constraint database models; implementation and optimization issues in areas like spatial databases, geographic information systems, scheduling and routing.... This book constitutes the refereed proceedings of the ESPRIT Working Group CONTESSA Workshop on Constraint Databases and Applications, held in Friedri...
|
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
