» książki » Computers - Programming - Compilers
topmenu
 |
Algol-Like Languages
ISBN: 9781475738537 / Angielski / Miękka / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the semantics of the language. little is said about such struc- turing in compiler texts that are intended to cover a wide variety of program- ming languages. More is said in the Iiterature on semantics-directed compiler construction 1] but here too the viewpoint is very general (though limited to 1 languages with a finite number of syntactic types). On the other handl there is a considerable body of work using the...
To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language...
|
cena:
525,92 |
 |
Instruction Sequences for Computer Science
ISBN: 9789462390492 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean...
This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in compu...
|
cena:
525,92 |
 |
Programming Language Fundamentals by Example
ISBN: 9780849370168 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Written in an informal yet informative style, Programming Language Fundamentals by Example uses active learning techniques, giving students a professional learning experience based on professional methods applied with professional standards. It provides an understanding of the many languages and notations used in computer science, the formal models used to design phases, and the foundations of languages including linguistics and logic.
To give students a thorough, working knowledge of programming languages, this textbook uses a semester-long project in which students create a programming... Written in an informal yet informative style, Programming Language Fundamentals by Example uses active learning techniques, giving students a professi...
|
cena:
531,10 |
 |
Introduction to Automata Theory and Formal Languages: A Logic Building and Problem-Solving Approach
ISBN: 9781041117001 / Angielski / Twarda / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
531,10 |
 |
C Compilers for Asips: Automatic Compiler Generation with Lisa
ISBN: 9781489984050 / Angielski / Miękka / 223 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1. 1 Motivation Digital information technology has revolutionized the world during the last few decades. Todayabout98%ofprogrammabledigitaldevicesareactuallyembedded 132]. Theseembeddedsystemshavebecomethemainapplicationareaofinfor- tiontechnologyhardwareandarethebasistodeliverthesophisticatedfunctionality of today s technical devices. As shown in Fig. 1. 1(a), current forecasts predict a worldwideembeddedsystemmarketof$88billionin2009. Millions of Gates 40 25% 300 2004 35 Available Gates 2009 250 20% Used Gates AAGR% 30 200 Design Productivity Gap 25 15% Design Productivity Gap 20 150 10%...
1. 1 Motivation Digital information technology has revolutionized the world during the last few decades. Todayabout98%ofprogrammabledigitaldevicesarea...
|
cena:
543,99 |
 |
Advanced Debugging Methods
ISBN: 9780792378952 / Angielski / Twarda / 183 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object relationships in modern software systems are becoming increasingly numerous and complex, and program errors due to violations of object relationships are difficult to detect. Programmers need new tools that allow them to explore objects in a large system more efficiently and to detect broken object relationships instantaneously. Such tools incorporate approaches used in such areas as data visualization, pattern matching and extraction, database querying, active databases, and rule-based programming. The query-based debugging approach developed by the author of this book is another...
Object relationships in modern software systems are becoming increasingly numerous and complex, and program errors due to violations of object relatio...
|
cena:
557,33 |
 |
The Interaction of Compilation Technology and Computer Architecture
ISBN: 9780792394518 / Angielski / Twarda / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In brief summary, the following results were presented in this work: A linear time approach was developed to find register requirements for any specified CS schedule or filled MRT. An algorithm was developed for finding register requirements for any kernel that has a dependence graph that is acyclic and has no data reuse on machines with depth independent instruction templates. We presented an efficient method of estimating register requirements as a function of pipeline depth. We developed a technique for efficiently finding bounds on register require ments as a function of pipeline depth....
In brief summary, the following results were presented in this work: A linear time approach was developed to find register requirements for any specif...
|
cena:
557,33 |
 |
Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase, Aarhus, Denmark, May 22 - 26, 1995. Proceeding
ISBN: 9783540592938 / Angielski / Miękka / 820 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development.
The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium... This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held...
|
cena:
557,33 |
 |
Proof in VDM: Case Studies
ISBN: 9783540761860 / Angielski / Miękka / 226 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industrial application of formal methods is becoming increasingly common in a variety of application areas, particularly those with a safety, security or financially critical aspects. Furthermore, in situations where a particularly high level of assurance is required, formal proof is broadly accepted as being of value. Perhaps the major benefit of formalisation is that it enables formal symbolic manip ulation of elements of a design and hence...
Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, t...
|
cena:
557,33 |
 |
Algol-Like Languages
ISBN: 9780817639372 / Angielski / Twarda / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the semantics of the language. little is said about such struc turing in compiler texts that are intended to cover a wide variety of program ming languages. More is said in the Iiterature on semantics-directed compiler construction 1] but here too the viewpoint is very general (though limited to 1 languages with a finite number of syntactic types). On the other handl there is a considerable body of work using the...
To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language...
|
cena:
557,33 |
 |
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:
557,33 |
 |
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:
557,33 |
 |
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:
557,33 |
 |
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:
557,33 |
 |
Compiler Design: Principles, Techniques and Tools
ISBN: 9781635496772 / Angielski / Twarda / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
563,01 |
 |
Compiler
ISBN: 9783110020588 / Niemiecki / Twarda / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
567,17 |
 |
Computer Programming Step by Step
ISBN: 9780197851036 / Angielski / Twarda / 13-02-2027 / 378 str. Książka dostępna od: 13-02-2027 |
|
Termin ukazania się książki: 13-02-2027
Książkę można już zamówić z rabatem 5% |
|
540,72 |
 |
Introduction to Programming with FORTRAN
ISBN: 9783319755014 / Angielski / Twarda / 956 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
582,08 |
 |
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:
582,08 |
 |
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:
623,66 |
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
