topmenu
• Nauka
[3062267]
[2081849]
[57571]
[175464]
• Komiksy
[40055]
[25575]
[770516]
• Hobby
[106322]
[1683]
[246038]
[461]
• Słowniki
[4125]
• Inne
[492372]
[1574]
[179770]
[585123]
• Religia
[637680]
[550]
• Sport
[75252]
• Sztuka
[264853]
[3381]
[247339]
• Zdrowie
[133903]
[128]
• Zabawki
[2660]
[4091]
[267]
[7501]
Programowanie
ilość książek w kategorii: 24634
 |
Ada: The Choice for '92: Ada-Europe International Conference Athens, Greece, May 13-17, 1991
ISBN: 9783540540922 / Angielski / Miękka / 1991 / 416 str. Termin realizacji zamówienia: ok. 16-18 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:
208,33 |
 |
Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006 Budapest, Hungary, September 4-6, 2006 Revised Selected
ISBN: 9783540741299 / Angielski / Miękka / 2007 / 272 str. Termin realizacji zamówienia: ok. 16-18 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:
208,33 |
 |
Programming Languages and Systems: 5th Asian Symposium, Aplas 2007, Singapore, November 28-December 1, 2007, Proceedings
ISBN: 9783540766360 / Angielski / Miękka / 2007 / 436 str. Termin realizacji zamówienia: ok. 16-18 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:
208,33 |
 |
Parallel Computing: Methods, Algorithms and Applications
ISBN: 9780852742242 / Angielski / Twarda / 1989 / 287 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Parallel Computing: Methods, Algorithms and Applications presents a collection of original papers presented at the international meeting on parallel processing, methods, algorithms, and applications at Verona, Italy in September 1989.
Parallel Computing: Methods, Algorithms and Applications presents a collection of original papers presented at the international meeting on parallel p...
|
cena:
470,73 |
 |
Accelerated GWT: Building Enterprise Google Web Toolkit Applications
ISBN: 9781590599754 / Angielski / Miękka / 2008 / 316 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Ajax is a web development technique that takes advantage of JavaScript to display and interact dynamically with information embedded into a web page. Its emergence has made it possible to create web applications that closely resemble their desktop-based brethren. With this exciting new ability came several challenges; not only did developers have to learn JavaScript, but they were also forced to use inefficient development processes, not to mention deal with cross-platform and browser difficulties. But with the release of Google Web Toolkit (GWT), Java developers are able to continue using... Ajax is a web development technique that takes advantage of JavaScript to display and interact dynamically with information embedded into a web pag... |
cena:
78,09 |
 |
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities
ISBN: 9781848000162 / Angielski / Twarda / 2008 / 302 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Abu?erover?owoccurswheninputiswrittenintoamemorybu?erthatisnot large enough to hold the input. Bu?er over?ows may allow a malicious person to gain control over a computer system in that a crafted input can trick the defectiveprogramintoexecutingcodethatisencodedintheinputitself.They are recognised as one of the most widespread forms of security vulnerability, and many workarounds, including new processor features, have been proposed to contain the threat. This book describes a static analysis that aims to prove the absence of bu?er over?ows in C programs. The analysis is conservative in the...
Abu?erover?owoccurswheninputiswrittenintoamemorybu?erthatisnot large enough to hold the input. Bu?er over?ows may allow a malicious person to gain con...
|
cena:
625,08 |
 |
From MDD Concepts to Experiments and Illustrations
ISBN: 9781905209590 / Angielski / Twarda / 2006 / 224 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. In the context of Distributed and Real-time Embedded Systems (DRES), system developers are faced with reducing system development cost and time while developing correct (relating to safe and QoS properties) and increasingly complex systems. To take up this challenge, Model Driven Development (MDD) advocates the intensive use of models and model transformations on several levels of abstraction. This book includes contributions from academic and professional experts on a range of topics related to MDD practices, methods and emerging technologies. After introducing general concepts about...
In the context of Distributed and Real-time Embedded Systems (DRES), system developers are faced with reducing system development cost and time while ...
|
cena:
805,69 |
 |
Performance Tools and Applications to Networked Systems: Revised Tutorial Lectures
ISBN: 9783540219453 / Angielski / Miękka / 2004 / 384 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book presents revised versions of tutorial lectures given at the IEEE/CS Symposium on modeling, analysis, and simulation of computer and telecommunication systems held in Orlando, FL, USA in October 2003.The lectures are grouped into three parts on performance and QoS of modern wired and wireless networks, current advances in performance modeling and simulation, and other specific applications of these methodologies.This tutorial book is targeted to both practitioners and researchers. The practitioner will benefit from numerous pointers to performance and QoS issues; the pedagogical...
This book presents revised versions of tutorial lectures given at the IEEE/CS Symposium on modeling, analysis, and simulation of computer and telecomm...
|
cena:
208,33 |
 |
Conclog: A Methodological Approach to Concurrent Logic Programming
ISBN: 9783540549383 / Angielski / Miękka / 1991 / 787 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book presents a new concurrent logic programming language called Conclog and a methodology for programming in it. Conclog was designed bytaking the ideal features of logic programming as reference, rather than by concentrating directly on operational tricks to ensure efficiency. This leads to quite easy declarative programming. Concern for soundness and completeness ensures that multi-directional and multi-solution correct procedures can be coded quite straightforwardly. Assuming suitable hypotheses on their uses, they can be transformed into very efficient versions thanks to the...
This book presents a new concurrent logic programming language called Conclog and a methodology for programming in it. Conclog was designed bytaking t...
|
cena:
416,70 |
 |
Mathematical Foundations of Programming Semantics: 7th International Conference, Pittsburgh, Pa, Usa, March 25-28, 1991. Proceedings
ISBN: 9783540555117 / Angielski / Miękka / 1992 / 508 str. Termin realizacji zamówienia: ok. 16-18 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:
208,33 |
 |
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation
ISBN: 9783540566946 / Angielski / Miękka / 1993 / 227 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. A common hazard for implementations of applicative programming languages is the excessive creation of garbage cells during program execution. The available run-time garbage collecting processes are expensive in time and often require a periodic disruption of the program execution. The present book addresses the problem of memory re-use for logic programs through program analysis rather than by run-time garbage collection. The static analysis is constructed as an application of abstract interpretation for logic programs. The starting point is a previously developed application of integrated...
A common hazard for implementations of applicative programming languages is the excessive creation of garbage cells during program execution. The avai...
|
cena:
208,33 |
 |
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 / 1994 / 458 str. Termin realizacji zamówienia: ok. 16-18 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:
208,33 |
 |
Mathematical Foundation of Programming Semantics: International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings
ISBN: 9783540168164 / Angielski / Miękka / 1986 / 400 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
208,33 |
 |
ESOP '92: 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings
ISBN: 9783540552536 / Angielski / Miękka / 1992 / 496 str. Termin realizacji zamówienia: ok. 16-18 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:
208,33 |
 |
Programming Language Implementation and Logic Programming: 5th International Symposium, Plilp '93, Tallinn, Estonia, August 25-27, 1993. Proceedings
ISBN: 9783540571865 / Angielski / Miękka / 1993 / 427 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Part of a series of conferences designed to further research in declarative programming techniques, logic programming and programming language implementation, this volume contains three invited lectures and 24 selected papers on recent developments and future directions.
Part of a series of conferences designed to further research in declarative programming techniques, logic programming and programming language impleme...
|
cena:
208,33 |
 |
Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
ISBN: 9783540578802 / Angielski / Miękka / 1994 / 523 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume contains the papers selected for presentation at the 5th European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994.
This volume contains the papers selected for presentation at the 5th European Symposium on Programming (ESOP '94), which was held jointly with the 19t...
|
cena:
208,33 |
 |
Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, La, Usa, April 7 - 10, 1993. Proceedings
ISBN: 9783540580270 / Angielski / Miękka / 1994 / 654 str. Termin realizacji zamówienia: ok. 16-18 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:
416,70 |
 |
Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
ISBN: 9783540634683 / Angielski / Miękka / 1997 / 424 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.
The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination. This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.<...
|
cena:
208,33 |
 |
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
ISBN: 9783540657651 / Angielski / Miękka / 1999 / 338 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This text presents the refereed post-workshop proceedings of the 8th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR '98 held in Manchester, UK in June 1998. The 16 revised full papers presented were reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical...
This text presents the refereed post-workshop proceedings of the 8th International Workshop on Logic Based Program Synthesis and Transformation, LOPST...
|
cena:
208,33 |
 |
Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
ISBN: 9783540740605 / Angielski / Miękka / 2007 / 469 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms, fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis symposia has served as the primary venue for presentation and discussion of theoretical, practical and innovative advances in the area. This volume contains the papers accepted for presentation at the 14th Int- national Static Analysis Symposium (SAS 2007). The meeting was held August, 22 24, 2007,...
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms, fordesigningsemantics-basedtransformatio...
|
cena:
208,33 |
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
