» książki » Computers - Programming - Compilers
topmenu
 |
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:
574,79 |
 |
Goal-Directed Proof Theory
ISBN: 9780792364733 / Angielski / Twarda / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an...
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of whic...
|
cena:
574,79 |
 |
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics: International Conference Ifip Tcs 2000 Sendai, Japan, August 17-19,
ISBN: 9783540678236 / Angielski / Miękka / 636 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Conference IFIP TCS 2000 held in Sendai, Japan in August 2000.The 32 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 70 submissions. The papers are organized in two tracks on algorithms, complexity, and models of computation and on logics, semantics, specification, and verification. The book is devoted to exploring new frontiers of theoretical informatics and addresses all current topics in theoretical computer science.
This book constitutes the refereed proceedings of the International Conference IFIP TCS 2000 held in Sendai, Japan in August 2000.The 32 revised full ...
|
cena:
574,79 |
 |
Essential HTML Fast
ISBN: 9783540761990 / Angielski / Miękka / 133 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Introduction One of the most often-repeated questions of recent years is 'Are you on the Web?' The growth ofthe World Wide Web (WWW or simply 'Web') has been phenomenal. It seems that everyone has a web site, or is at least planning have one, and everyone wants to get on-line with their products and services, accounts of their favourite hobbies, their resumes, or pictures of their loved ones. So that you too can join in the on-line revolution, this book will help you get onto the web: to make informed decisions about developing your own web site, how to plan and design the site, and then how...
Introduction One of the most often-repeated questions of recent years is 'Are you on the Web?' The growth ofthe World Wide Web (WWW or simply 'Web') h...
|
cena:
574,79 |
 |
Compiler Design: Principles, Techniques and Tools
ISBN: 9781635496772 / Angielski / Twarda / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
580,65 |
 |
Introduction to Programming with FORTRAN
ISBN: 9783319755014 / Angielski / Twarda / 956 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
587,37 |
 |
Logic Programming and Nonmonotonic Reasoning: 17th International Conference, Lpnmr 2024, Dallas, Tx, Usa, October 11-14, 2024, Proceedings
ISBN: 9783031742088 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
587,37 |
 |
Loop Transformations for Restructuring Compilers: The Foundations
ISBN: 9780792393184 / Angielski / Twarda / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises great practical rewards. There is a tremendous investment in existing sequential programs, and scientists and engineers continue to write their application programs in sequential languages (primarily in Fortran), but the demand for increasing speed is constant. The job of a restructuring compiler is to discover the dependence structure of a given program and transform the program in a way that is consistent with both that dependence structure and the...
Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises great pra...
|
cena:
629,33 |
 |
Loop Parallelization
ISBN: 9780792394556 / Angielski / Twarda / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises a great practical award. There is a tremendous investment in existing sequential programs, and scientists and engineers continue to write their application programs in sequential languages (primarily in Fortran). The demand for higher speedups increases. The job of a restructuring compiler is to discover the dependence structure and the characteristics of the given machine. Much attention has been focused on the Fortran do loop. This is where...
Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises a great p...
|
cena:
629,33 |
 |
Dependence Analysis
ISBN: 9780792398097 / Angielski / Twarda / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dependence Analysis may be considered to be the second edition of the author's 1988 book, Dependence Analysis for Supercomputing. It is, however, a completely new work that subsumes the material of the 1988 publication. This book is the third volume in the series Loop Transformations for Restructuring Compilers. This series has been designed to provide a complete mathematical theory of transformations that can be used to automatically change a sequential program containing FORTRAN-like do loops into an equivalent parallel form.
In... Dependence Analysis may be considered to be the second edition of the author's 1988 book, Dependence Analysis for Supercomputing. It...
|
cena:
629,33 |
 |
Multi-Agent Programming: Languages, Platforms and Applications
ISBN: 9781441937537 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date developments in MAS programming. While previous research has focused on the development of formal and informal approaches to analyze and specify Multi-Agent Systems, this book focuses on the development of programming languages and tools which not only support MAS programming, but also implement key concepts of MAS in a unified framework. Part I describes approaches that rely on computational logic or process algebra Jason, 3APL, IMPACT, and CLAIM/SyMPA. Part II presents... Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date developments in MAS programming. Wh... |
cena:
629,33 |
 |
Loop Parallelization
ISBN: 9781441951410 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises a great practical award. There is a tremendous investment in existing sequential programs, and scientists and engineers continue to write their application programs in sequential languages (primarily in Fortran). The demand for higher speedups increases. The job of a restructuring compiler is to discover the dependence structure and the characteristics of the given machine. Much attention has been focused on the Fortran do loop. This is where...
Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises a great p...
|
cena:
629,33 |
 |
Abstraction, Refinement and Proof for Probabilistic Systems
ISBN: 9781441923127 / Angielski / Miękka / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
|
cena:
629,33 |
 |
Computational Logic
ISBN: 9783642636707 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of... Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from ma...
|
cena:
629,33 |
 |
Dependence Analysis
ISBN: 9781475770582 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dependence Analysis may be considered to be the second edition of the author's 1988 book, Dependence Analysis for Supercomputing. It is, however, a completely new work that subsumes the material of the 1988 publication. This book is the third volume in the series Loop Transformations for Restructuring Compilers. This series has been designed to provide a complete mathematical theory of transformations that can be used to automatically change a sequential program containing FORTRAN-like do loops into an equivalent parallel form.
In... Dependence Analysis may be considered to be the second edition of the author's 1988 book, Dependence Analysis for Supercomputing. It...
|
cena:
629,33 |
 |
Loop Transformations for Restructuring Compilers: The Foundations
ISBN: 9781475783506 / Angielski / Miękka / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises great practical rewards. There is a tremendous investment in existing sequential programs, and scientists and engineers continue to write their application programs in sequential languages (primarily in Fortran), but the demand for increasing speed is constant. The job of a restructuring compiler is to discover the dependence structure of a given program and transform the program in a way that is consistent with both that dependence structure and the...
Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises great pra...
|
cena:
629,33 |
 |
ADA 2012 Reference Manual. Language and Standard Libraries: International Standard Iso/Iec 8652/2012 (E)
ISBN: 9783642454189 / Angielski / Miękka / 921 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ada 2012 Reference Manual. Language and Standard Libraries
Ada 2012 Reference Manual. Language and Standard Libraries
|
cena:
629,33 |
 |
Internet Programming with Omnimark
ISBN: 9780792372370 / Angielski / Miękka / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "I have been using OmniMark for a decade to solve many different kinds of information management problems. When OmniMark Technologies Corporation added features to their excellent language that allowed server functionality and database access, OmniMark became an even better, more powerful platform for data processing. When they made it free, it made me wonder why anyone is still using Perl.
I have used OmniMark as a very stable middle-tier programming language that is lightning fast, scaleable, and really fun to use. The language has a certain elegance that, once you learn how to think... "I have been using OmniMark for a decade to solve many different kinds of information management problems. When OmniMark Technologies Corporation adde...
|
cena:
629,33 |
 |
Applications of Logic Databases
ISBN: 9780792395331 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity constraints) in a clear, non-operational way, they make the user's task easier, and provide the database system with more opportunities for optimization. Relational database systems offer a striking proof that this premise is indeed valid. The most popular relational query language, SQL, is based upon relational algebra and calculus, i.e., a small fragment of first-order logic, and the ease of writing queries in SQL (in comparison to more...
The premise behind developing powerful declarative database languages is compelling: by enabling users to specify their queries (and their integrity c...
|
cena:
629,33 |
 |
Recent Advances in Formal Languages and Applications
ISBN: 9783540334606 / Angielski / Twarda / 373 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: historical, hints for complete proofs or solutions to exercises and directions for further research. This volume contains applications which have not appeared in any collection of this type. The book is a general source of information in computation theory, at the undergraduate and research level. The contributors present the main results and techniques of their specialties in an easily accessible way accompanied with many references: histori... |
cena:
629,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
