» książki » Computers - Programming - Compilers
topmenu
 |
Logic Programming: 19th International Conference, Iclp 2003, Mumbai, India, December 9-13, 2003, Proceedings
ISBN: 9783540206422 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th International Conference on Logic Programming, ICLP 2003, held in Mumbai, India in December 2003.The 23 revised full papers and 19 poster papers presented together with 5 invited full contributions and abstracts of 4 invited contributions were carefully reviewed and selected from 81 submissions. All current issues in logic programming are addressed.
This book constitutes the refereed proceedings of the 19th International Conference on Logic Programming, ICLP 2003, held in Mumbai, India in December...
|
cena:
484,18 zł |
 |
Grammatical Inference: Algorithms and Applications: 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings
ISBN: 9783540234104 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 7th International Colloquium on Grammatical Inference (ICGI 2004) was heldintheNationalCentreforScienti?cResearch Demokritos, Athens, Greece on October 11 13, 2004. ICGI 2004 was the seventh in a series of successful biennial international conferences in the area of grammaticalinference. Previous meetings were held in Essex, UK; Alicante, Spain; Montpellier, France; Ames, Iowa, USA; Lisbon, Portugal; and Amsterdam, The Netherlands. This series of conferences seeks to provide a forum for the presentation and discussion of original research papers on all aspects of grammatical inference....
The 7th International Colloquium on Grammatical Inference (ICGI 2004) was heldintheNationalCentreforScienti?cResearch Demokritos, Athens, Greece on Oc...
|
cena:
201,72 zł |
 |
Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the Eacsl, Edinburgh, Scotland, Uk, September
ISBN: 9783540442400 / Angielski / Miękka / 628 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22-25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries...
The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on ...
|
cena:
403,47 zł |
 |
Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
ISBN: 9783540346944 / Angielski / Miękka / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006, held in Bologna, Italy, June 2006. The 17 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics addressed are component connectors, negotiation in service-oriented computing, process algebraic specification, workflow patterns, reactive XML, ubiquitous coordination, type systems, ad-hoc network coordination, choreography, communication coordination, and distributed embedded systems. This book constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006, held in... |
cena:
201,72 zł |
 |
Compiler Construction: 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Softw
ISBN: 9783540433699 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 11th International Conference on Compiler Construction, CC 2002, held in Grenoble, France, in April 2002. The 19 revised full papers presented together with three tool demonstration papers and an invited paper were reviewed and selected from 44 submissions. The papers are organized in topical sections on analysis and optimization, low-level analysis, grammars and parsing, domain-specific languages and tools, energy consumption optimizations, and loop and array optimizations.
This volume constitutes the refereed proceedings of the 11th International Conference on Compiler Construction, CC 2002, held in Grenoble, France, in ...
|
cena:
201,72 zł |
 |
Compiling Natural Semantics
ISBN: 9783540659686 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for implementation, the natural semantics formalism has so far largely been limited to theoretical applications.
This book introduces the rational meta-language RML as a practical language for natural semantics specifications. The main part of the work is devoted to the problem of compiling natural semantics, actually RML, into highly efficient code. For this purpose, an effective compilation strategy for RML... Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due ...
|
cena:
201,72 zł |
 |
Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
ISBN: 9783540665373 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the strictly refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES '98, held under the auspices of the ESPRIT Working Group 21900. The 14 revised full papers presented went through a thorough process of reviewing and revision and were selected from a total of 25 candidate papers. All current aspects of type theory and type systems and their relation to proof theory are addressed.
This text constitutes the strictly refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES '98, held ...
|
cena:
201,72 zł |
 |
Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, Uk, July 10-12, 2000 Proceedings
ISBN: 9783540677789 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000. The 15 revised full papers and three system descriptions presented together with two invited contributions were carefully reviewed and selected from 44 submissions.
This volume constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norw...
|
cena:
201,72 zł |
 |
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
ISBN: 9783540242871 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of refereed papers from participants of the workshop Construction and Analysis of Safe, Secure and Interoperable Smart Devices (CASSIS), held from the 10th to the 13th March 2004 in Marseille, France: http: //www-sop.inria.fr/everest/events/cassis04/ The workshop was organized by INRIA (Institut National de Recherche en InformatiqueetenAutomatique), Franceandthe UniversitydelaM editerran ee, Marseille, France. The workshop was attended by nearly 100 participants, who were invited for their contributions to relevant areas of computer science....
This volume contains a selection of refereed papers from participants of the workshop Construction and Analysis of Safe, Secure and Interoperable Smar...
|
cena:
201,72 zł |
 |
Writing Testbenches: Functional Verification of Hdl Models
ISBN: 9781402074011 / Angielski / Twarda / 478 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. mental improvements during the same period. What is clearly needed in verification techniques and technology is the equivalent of a synthesis productivity breakthrough. In the second edition of Writing Testbenches, Bergeron raises the verification level of abstraction by introducing coverage-driven constrained-random transaction-level self-checking testbenches all made possible through the introduction of hardware verification languages (HVLs), such as e from Verisity and OpenVera from Synopsys. The state-of-art methodologies described in Writing Test benches will contribute greatly to the...
mental improvements during the same period. What is clearly needed in verification techniques and technology is the equivalent of a synthesis producti...
|
cena:
887,69 zł |
 |
Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the Eacsl, Paris, France, September 10-13, 2001 Proce
ISBN: 9783540425540 / Angielski / Miękka / 628 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001. The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.
This text constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Coneren...
|
cena:
403,47 zł |
 |
Grammatical Inference: Algorithms and Applications: 6th International Colloquium: Icgi 2002, Amsterdam, the Netherlands, September 23-25, 2002. Procee
ISBN: 9783540442394 / Angielski / Miękka / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th International Colloquium on Grammatical Inference, ICGI 2002, held in Amsterdam, The Netherlands in September 2002.
The 28 revised full papers presented together with 7 software descriptions were carefully reviewed and selected from 48 submissions. The papers address issues in machine learning, automata, theoretical computer science, computational linguistics, and grammar systems as well as applications in fields like natural language processing, pattern recognition, computational biology, information retrieval, text processing, and... This book constitutes the refereed proceedings of the 6th International Colloquium on Grammatical Inference, ICGI 2002, held in Amsterdam, The Netherl...
|
cena:
201,72 zł |
 |
Principles of Program Analysis
ISBN: 9783540654100 / Angielski / Twarda / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to...
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers ...
|
cena:
302,60 zł |
 |
An Introduction to PHP for Scientists and Engineers: Beyond JavaScript
ISBN: 9781848002364 / Angielski / Miękka / 141 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The best way to become acquainted with a subject is to write a book about it. --Benjamin Disraeli i. Background The purpose of this book is provide an introduction to using a server-side programming language to solve some kinds of computing problems that cannot be solved with a client-side language such as JavaScript. The language is PHP (originally created in 1994 by Danish/Icelandic programmer Rasmus Lerdorf as "Personal Home Page Tools" for dealing with his own web site). The PHP language does not have a formal specification, as C does, for example. It is developed and maintained by a User...
The best way to become acquainted with a subject is to write a book about it. --Benjamin Disraeli i. Background The purpose of this book is provide an...
|
cena:
181,55 zł |
 |
Principles and Practice of Constraint Programming: 14th International Conference, Cp 2008, Sydney, Australia, September 14-18, 2008, Proceedings
ISBN: 9783540859574 / Angielski / Miękka / 648 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) held in Sydney, Australia, September 14 18, 2008. The conference was held in conjunction with the International Conference on Automated Planning and Scheduling (ICAPS 2008) and the International Conference on Knowledge Representation and R- soning (KR 2008). Information about the conference can be found at the w- sitehttp: //www. unimelb. edu. au/cp2008/. Held annually, the CP conference series is the premier international conference on constraint...
This volume contains the proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008) held in Sydne...
|
cena:
464,01 zł |
 |
Research Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17-19, 1991 Proceedings
ISBN: 9783540551607 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains most of the papers presented at a workshop on research directions in high-level parallel programming languages, held at Mont Saint-Michel, France, in June 1991. The motivation for organizing this workshop came from the emergence of a new class of formalisms for describing parallel computations in the last few years. Linda, Unity, Gamma and the Cham are the most significant representatives of this new class. Formalisms of this family promote simple but powerful language features for describing data and programmes. These proposals appear in different contexts and are...
This volume contains most of the papers presented at a workshop on research directions in high-level parallel programming languages, held at Mont Sain...
|
cena:
201,72 zł |
 |
Principles and Practice of Declarative Programming: International Conference, Ppdp'99, Paris, France, September, 29 - October 1, 1999, Proceedings
ISBN: 9783540665403 / Angielski / Miękka / 442 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These are the proceedings of the International Conference on Principles and Practice of Declarative Programming, PPDP'99, held in Paris, France, in September/October 1999. Among the topics covered are type theory logics and logical methods in understanding, defining, integrating, and extending programming paradigms such as functional, logic, object-oriented, constraint, and concurrent programming support for modularity the use of logics in the design of program development tools and development and implementation methods.
These are the proceedings of the International Conference on Principles and Practice of Declarative Programming, PPDP'99, held in Paris, France, in Se...
|
cena:
201,72 zł |
 |
Rewriting Techniques and Applications: 10th International Conference, Rta'99, Trento, Italy, July 2-4, 1999, Proceedings
ISBN: 9783540662013 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), held in Trento, Italy in July 1999 as part of FLoC'99. The 23 revised full papers presented were carefully selected from a total of 53 submissions. Also included are four system descriptions as well as three invited contributions. Among the topics covered are constraint solving, termination, deduction and higher order rewriting, graphs, complexity, tree automata, context-sensitive rewriting, string rewriting and numeration systems.
This volume constitutes the refereed proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), held in Trent...
|
cena:
201,72 zł |
 |
Compiler Construction: 8th International Conference, Cc'99, Held as Part of the Joint European Conferences on Theory and Practice of Software
ISBN: 9783540657170 / Angielski / Miękka / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ETAPS 99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The...
ETAPS 99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was ...
|
cena:
201,72 zł |
 |
Compiler Construction: 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Softw
ISBN: 9783540009047 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
This book constitutes the refereed proceedings of the 12th International Conference on Compiler Construction, CC 2003, held in Warsaw, Poland, in April 2003. The 20 revised full regular papers and one tool demonstration paper presented together with two invited papers were carefully reviewed and selected from 83 submissions. The papers are organized in topical sections on register allocation, language constructs and their implementation, type analysis, Java, pot pourri, and optimization.
This book constitutes the refereed proceedings of the 12th International Conference on Compiler Construction, CC 2003, held in Warsaw, Pol... |
cena:
201,72 zł |
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
