» książki » Computers - Languages - General
topmenu
 |
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,61 |
 |
Anna a Language for Annotating ADA Programs: Reference Manual
ISBN: 9783540179801 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs.
This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally...
|
cena:
201,72 |
 |
A Review of ADA Tasking
ISBN: 9783540180081 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ada* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the US Department of Defense (DoD) ensures that it will be used extensively for the indefinite future in programming large and complex systems. The growing availability of compilers means that many organisations are already committed to using the language for sizable and significant applications. As a perhaps inevitable result of its design goals, Ada is a "large" language. It has Pascal-like control and type constructs; a mechanism for exception...
Ada* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the ...
|
cena:
201,72 |
 |
PORTAL Language Description
ISBN: 9783540189602 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
201,72 |
 |
ESOP '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
ISBN: 9783540190271 / Angielski / Miękka / 383 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel...
The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, s...
|
cena:
201,72 |
 |
Modular Programming Languages: Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings
ISBN: 9783540407966 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the international Joint Modular Languages Conference, JMLC 2003, held in Klagenfurt, Austria in August 2003.The 17 revised full papers and 10 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from 47 submissions. The papers are organized in topical sections on architectural concepts and education, component architectures, language concepts, frameworks and design principles, compilers and tools, and formal aspects and reflective programming.
This book constitutes the refereed proceedings of the international Joint Modular Languages Conference, JMLC 2003, held in Klagenfurt, Austria in Augu...
|
cena:
201,72 |
 |
Attribute Grammars: Definitions, Systems and Bibliography
ISBN: 9783540500568 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Attribute Grammars have turned into one of the most fundamental formalisms of modern Computer Science. Since 1968 when Knuth introduced the basic concepts, they have been the subject of a very large amount of literature. The book intends to put at the disposal of researchers and students the most important definitions and results in this domain.
Attribute Grammars have turned into one of the most fundamental formalisms of modern Computer Science. Since 1968 when Knuth introduced the basic conc...
|
cena:
201,72 |
 |
Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Pap
ISBN: 9783540503255 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since 1974. The main goal of work in this area is to evolve a methodology to support the design and formal development of reliable software. The particular approach taken builds upon concepts from universal algebra and elementary category theory. The core of this work has now stabilized to a great extent...
The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based o...
|
cena:
201,72 |
 |
Software Reliability Modelling and Identification
ISBN: 9783540506959 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains five tutorial papers based on the lectures given at the intensive course on Software Reliability Modelling and Identification in Como (Italy) from September 2 to 4, 1987. The purpose of this volume is to present some important models used to forecast the reliability growth during the software testing process, and discuss the practical applicability of models in the management of software techniques for model identification from data (parameter estimation, complexity selection, validation, etc.). The basic reliability concepts are also introduced for those readers who are...
This volume contains five tutorial papers based on the lectures given at the intensive course on Software Reliability Modelling and Identification in ...
|
cena:
201,72 |
 |
Parle '89 - Parallel Architectures and Languages Europe: Volume II: Parallel Languages, Eindhoven, the Netherlands, June 12-16, 1989; Proceedings
ISBN: 9783540512851 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARLE '89. The initiative for these conferences was taken by project 415 of ESPRIT (the European Strategic Programme for Research and Development in Information Technology of the Commission of the European Communities). Their scope covers central themes in the area of parallel architectures and languages, including such topics as concurrent, object-oriented, logic and functional programming; MIMD,...
Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the ...
|
cena:
201,72 |
 |
Compiler Compilers and High Speed Compilation: 2nd Cchsc Workshop, Berlin, Gdr, October 10-14, 1988. Proceedings
ISBN: 9783540513643 / Angielski / Miękka / 243 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advances and problems in the field of compiler compilers are the subject of the 2nd CCHSC Workshop which took place in Berlin, GDR, in October 1988. The 18 papers which were selected for the workshop are now included in this volume, among them three invited papers. They discuss the requirements, properties and theoretical aspects of compiler compilers as well as tools and metatools for software engineering. The papers cover a wide spectrum in the field of compiler compilers ranging from overviews of existing compiler compilers and engineering of compiler compilers to special problems of...
Advances and problems in the field of compiler compilers are the subject of the 2nd CCHSC Workshop which took place in Berlin, GDR, in October 1988. T...
|
cena:
201,72 |
 |
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings
ISBN: 9783540518037 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
201,72 |
 |
Programming Language Implementation and Logic Programming: International Workshop Plilp `90, Linköping, Sweden, August 20-22, 1990. Proceedings
ISBN: 9783540530107 / Angielski / Miękka / 542 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (PLILP '90) held in Linkoping, Sweden, August 20-22, 1990. The aim of the workshop was to identify concepts and techniques used both in implementation of programming languages, regardless of the underlying programming paradigm, and in logic programming. The intention was to bring together researchers working in these fields. The volume includes 26 selected papers falling into two categories. Papers in the first category present certain...
This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Pro...
|
cena:
201,72 |
 |
Attribute Grammars and Their Applications: International Conference, Paris, France, September 19-21, 1990
ISBN: 9783540531012 / Angielski / Miękka / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities as a specification tool. The aim of this International Workshop on Attribute Grammars and their Applications (WAGA), the first to be entirely devoted to this topic, was to show that they are still the subject of active research and now lead to important, useful and practical applications in various areas. The workshop covered all aspects of attribute grammars, with an emphasis on practical results. This...
Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particular...
|
cena:
201,72 |
 |
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,72 |
 |
Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006 Budapest, Hungary, September 4-6, 2006 Revised Selected
ISBN: 9783540741299 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Fifteen full papers are presented. Each one was submitted to two rounds of reviews to ensure accuracy, thoroughness, and readability. The papers address all current theoretical and methodological issues in functional and function-based languages. This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Fifteen... |
cena:
201,72 |
 |
Programming Languages and Systems: 5th Asian Symposium, Aplas 2007, Singapore, November 28-December 1, 2007, Proceedings
ISBN: 9783540766360 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 84 submissions. The symposium addresses all issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on a broad range of topics. This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in N... |
cena:
201,72 |
 |
Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do
ISBN: 9783540514718 / Angielski / Twarda / 147 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The OrIgIn of this monograph is a course entitled "Semantics directed Compiler Generation" which Professor Neil D. Jones gave in 1982 at Copenhagen University, where I was a student at the time. In this course, he described a compiler generator, called CERES, which he was developing. I immediately felt attracted to the unusual combination of mathematical reasoning about com pilers and the small intricate building blocks that made up the running system. As I came to understand the system I discovered that within the existing mathematical framework one could express compiler generation as a...
The OrIgIn of this monograph is a course entitled "Semantics directed Compiler Generation" which Professor Neil D. Jones gave in 1982 at Copenhagen Un...
|
cena:
403,47 |
 |
Compiler Compilers: Third International Workshop, CC `90. Schwerin, Frg, October 22-24, 1990. Proceedings
ISBN: 9783540536697 / Angielski / Miękka / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advances and problems in the field of compiler compilers are considered in this volume, which presents the proceedings of the third in a series of biannual workshops. Selected papers address the topics of requirements, properties and theoretical aspects of compiler compilers as well as tools and metatools for software engineering. Contributors cover a wide spectrum in the field, ranging from overviews of new compiler compilers for generating quality compilers to special problems of code generation and optimization. Aspects of compilers for parallel systems and knowledge-based development...
Advances and problems in the field of compiler compilers are considered in this volume, which presents the proceedings of the third in a series of bia...
|
cena:
201,72 |
 |
Theoretical Aspects of Computer Software: International Conference Tacs '91, Sendai, Japan, September 24-27, 1991. Proceedings
ISBN: 9783540544159 / Angielski / Miękka / 776 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. TACS 91 is the first International Conference on Theoretical Aspects of Computer Software, held at Tohoku University, Japan. The 38 contributions to this volume offer a representation of active concerns in the theory of programming by an international group of researchers.
TACS 91 is the first International Conference on Theoretical Aspects of Computer Software, held at Tohoku University, Japan. The 38 contributions to t...
|
cena:
403,47 |
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
