» książki » Computers - Programming - Compilers
topmenu
 |
Prospects for Functional Programming in Software Engineering
ISBN: 9783540538523 / Angielski / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and program transformation are presented and applied to practical problems.
The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical...
|
cena:
201,24 |
 |
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,24 |
 |
Specification and Transformation of Programs: A Formal Approach to Software Development
ISBN: 9783540525899 / Angielski / Miękka / 493 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An introductory textbook on formal specification and transformational programming as an approach to software development.
An introductory textbook on formal specification and transformational programming as an approach to software development.
|
cena:
201,24 |
 |
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,24 |
 |
Ecoop '91 European Conference on Object-Oriented Programming: Geneva, Switzerland, July 15-19, 1991. Proceedings
ISBN: 9783540542629 / Angielski / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-oriented programming techniques have quickly gained widespread use and popularity. The proceedings of ECOOP '91 include papers discussing language design, specification, databases, concurrency, types, and software development.
Object-oriented programming techniques have quickly gained widespread use and popularity. The proceedings of ECOOP '91 include papers discussing langu...
|
cena:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
Automata, Languages and Programming: 22nd International Colloquium, Icalp 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings
ISBN: 9783540600848 / Angielski / Miękka / 692 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995.
The volume presents four invited papers and 53 full revised research papers selected from a total of 111 submissions. ICALP traditionally covers the whole area of theoretical computer science; among the topics addressed in the volume are concurrency, automata, formal languages, algorithms, communication protocols, computational complexity, computability, foundations of programming, learning and coding,... This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of ...
|
cena:
402,53 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
Formal Description of Programming Concepts
ISBN: 9783540539612 / Angielski / Twarda / 508 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semantic models and related tools developed to allow a rigorous discussion of the construction of correct programs.
This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semant...
|
cena:
402,53 |
 |
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:
201,24 |
 |
Learn to Tango with D
ISBN: 9781590599600 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years, much work has been put into creating programming languages that embody a blend of many of the most admired characteristics of their predecessors. One such language is D, which provides developers with the speed of languages such as C and C++ combined with the power and flexibility of languages such as Ruby and Python. Learn to Tango with D introduces you to the powerful D language, with special attention given to the Tango software library. A concise yet thorough overview of the language's syntax and features is presented, followed by an introduction to... In recent years, much work has been put into creating programming languages that embody a blend of many of the most admired characteristics of thei... |
cena:
102,62 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
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
