» książki » Computers - Languages - General
topmenu
 |
Parallel Computation: First International Acpc Conference, Salzburg, Austria, September 30 - October 2, 1991. Proceedings
ISBN: 9783540554370 / Angielski / Miękka / 454 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Austrian Center for Parallel Computation (ACPC) is a cooperative research organization founded in 1989 to promote research and education in the field of software for parallel computer systems. The areas in which the ACPC is active include algorithms, languages, compilers, programming environments, and applications for parallel and high-performance computing systems. This volume contains the proceedings of the First International Conference of the SCPC, held in Salzburg, Austria, September 30 - October 2, 1991. Authors from 15 countries submitted 66 papers, from which 28 were selected and...
The Austrian Center for Parallel Computation (ACPC) is a cooperative research organization founded in 1989 to promote research and education in the fi...
|
cena:
201,72 |
 |
Mathematical Foundations of Programming Semantics: 7th International Conference, Pittsburgh, Pa, Usa, March 25-28, 1991. Proceedings
ISBN: 9783540555117 / Angielski / Miękka / 508 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Seventh International Conferenceon the Mathematical Foundations of Programming Semantics, held at Carnegie Mellon University, March 1991. The conference continued a series of annual meetings, alternating between workshop and conference formats, intended to bring together computer scientists and mathematicians for discussion of research problems, results and directions in programming language semantics and related areas. A major goalof the series is to improve communication and interaction between researchers in these areas and to establish ties...
This volume contains the proceedings of the Seventh International Conferenceon the Mathematical Foundations of Programming Semantics, held at Carnegie...
|
cena:
201,72 |
 |
Compiler Construction: 5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings
ISBN: 9783540578772 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements on languages and target architectures. It also includes language design and programming environment issues which are related to language translation. There is an emphasis on practical and efficient techniques.
This volume contains the papers selected for presentation at CC '94,... The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler ...
|
cena:
201,72 |
 |
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,72 |
 |
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings
ISBN: 9783540587927 / Angielski / Miękka / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming
(META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding,... This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on ...
|
cena:
201,72 |
 |
Vhdl: A Logic Synthesis Approach
ISBN: 9780412616501 / Angielski / Twarda / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is structured in a practical, example-driven, manner. The use of VHDL for constructing logic synthesisers is one of the aims of the book; the second is the application of the tools to the design process. Worked examples, questions and answers are provided together with do and don'ts of good practice. An appendix on logic design the source code are available free of charge over the Internet.
This book is structured in a practical, example-driven, manner. The use of VHDL for constructing logic synthesisers is one of the aims of the book; th...
|
cena:
605,23 |
 |
Programming Language Implementation and Logic Programming: 3rd International Symposium, Plilp '91, Passau, Germany, August 26-28, 1991. Proceedings
ISBN: 9783540544449 / Angielski / Miękka / 435 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of the Third International Symposium on Programming Language Implementation and Logic Programming was to explore declarative concepts, methods and techniques relevant for implementation of all kinds of programming languages. Along with the two invited talks, this book also contains 32 papers, and abstracts of several system demonstrations.
The aim of the Third International Symposium on Programming Language Implementation and Logic Programming was to explore declarative concepts, methods...
|
cena:
201,72 |
 |
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,72 |
 |
Ada-Europe '93: 12th Ada-Europe International Conference, ADA Sans Frontieres, Paris, France, June 14-18, 1993. Proceedings
ISBN: 9783540568025 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The French name Ada sans fronti res symbolizes the unlimitedness and novelty of Ada, as well as Europe-wide interest. This volume contains the proceedings of the twelth Ada-Europe conference, held in France in 1993.
The French name Ada sans fronti res symbolizes the unlimitedness and novelty of Ada, as well as Europe-wide interest. This volume contains the proceed...
|
cena:
201,72 |
 |
Mathematical Foundations of Computer Science 1993: 18th International Symposium, Mfcs'93, Gdańsk, Poland, August 30-September 3, 1993 Proceedings
ISBN: 9783540571827 / Angielski / Miękka / 786 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proceedings of a conference on theoretical computer science, which includes discussion of algorithms, automata theory and the theory of computer languages, the theory of programming, lambda calculus and type theory, semantics, concurrent systems and the logic of programs.
The proceedings of a conference on theoretical computer science, which includes discussion of algorithms, automata theory and the theory of computer l...
|
cena:
201,72 |
 |
Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 22-24, 1993. Proceedings
ISBN: 9783540572640 / Angielski / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA93), held in Padova, Italy, in September 1993. The objective of the international workshop series WSA is to serve as a forum for the discussion of the various aspects of static analysis in different programming paradigms. The clearly increasing mumbers of submitted papers and workshop participants point out the growing importance of static analysis techniques for logical, functional, concurrent and parallel languages as well as for parallel term rewriting systems. This proceedings contains,...
This volume constitutes the proceedings of the third International Workshop on Static Analysis (WSA93), held in Padova, Italy, in September 1993. The ...
|
cena:
201,72 |
 |
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,72 |
 |
Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, La, Usa, April 7 - 10, 1993. Proceedings
ISBN: 9783540580270 / Angielski / Miękka / 654 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic.
This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in ...
|
cena:
403,47 |
 |
Ada in Europe: First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 - 30, 1994. Proceedings
ISBN: 9783540588221 / Angielski / Miękka / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in September 1994; this symposium series is the merger of the two conference series Ada in Aerospace and Ada-Europe.
The 42 papers accepted for presentation address general Ada-related software engineering aspects as well as Ada language issues; the majority of the papers are stimulated by research and development done in the aerospace and aircraft industry. Among the topics covered are compiler issues, safety, criticality and formal methods, object-orientation, management... This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in September 1994; this symposiu...
|
cena:
201,72 |
 |
Compiler Construction: 6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings.
ISBN: 9783540610533 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the Sixth International Conference on Compiler Construction, CC '96, held in Linkoping, Sweden in April 1996.
The 23 revised full papers included were selected from a total of 57 submissions; also included is an invited paper by William Waite entitled "Compiler Construction: Craftsmanship or Engineering?." The book reports the state of the art in the area of theoretical foundations and design of compilers; among the topics addressed are program transformation, software pipelining, compiler optimization, program analysis, program inference,... This book presents the refereed proceedings of the Sixth International Conference on Compiler Construction, CC '96, held in Linkoping, Sweden in April...
|
cena:
201,72 |
 |
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
ISBN: 9783540642978 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Grobner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric...
This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, ...
|
cena:
201,72 |
 |
Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement
ISBN: 9780471713456 / Angielski / Twarda / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The one resource needed to create reliable software
This text offers a comprehensive and integrated approach to software quality engineering. By following the author's clear guidance, readers learn how to master the techniques to produce high-quality, reliable software, regardless of the software system's level of complexity. The first part of the publication introduces major topics in software quality engineering and presents quality planning as an integral part of the process. Providing readers with a solid foundation in key concepts and practices, the book moves... The one resource needed to create reliable software
This text offers a comprehensive and integrated approach to software quality engineer... |
cena:
523,47 |
 |
Software Architecture Design Patterns in Java
ISBN: 9780849321429 / Angielski / Twarda / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software engineering and computer science students need a resource that explains how to apply design patterns at the enterprise level, allowing them to design and implement systems of high stability and quality.
Software Architecture Design Patterns in Java is a detailed explanation of how to apply design patterns and develop software architectures. It provides in-depth examples in Java, and guides students by detailing when, why, and how to use specific patterns. This textbook presents 42 design patterns, including 23 GoF patterns. Categories include: Basic, Creational, Collectional,... Software engineering and computer science students need a resource that explains how to apply design patterns at the enterprise level, allowing them t...
|
cena:
634,12 |
 |
Software Reliability and Metrics
ISBN: 9781851666751 / Angielski / Twarda / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
806,99 |
 |
Attribute Grammars, Applications and Systems: International Summer School Saga, Prague, Czechoslovakia, June 4-13, 1991. Proceedings
ISBN: 9783540545729 / Angielski / Miękka / 519 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of a summer school aimed at teaching the state of the art in attribute grammars, and their relation to other language specification methods. The papers are suited for self-study and for introductory courses.
This volume presents the proceedings of a summer school aimed at teaching the state of the art in attribute grammars, and their relation to other lang...
|
cena:
201,72 |
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
