» książki » Computers - Programming - Compilers
 |
New Opportunities for Software Reuse: 17th International Conference, Icsr 2018, Madrid, Spain, May 21-23, 2018, Proceedings
ISBN: 9783319904207 / Angielski / Miękka / 181 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018. The 9 revised full papers and 2 short papers presented were carefully reviewed and selected from 29 submissions.
This book constitutes the refereed proceedings of the 17th International Conference on Software Reuse, ICSR 2018, held in Madrid, Spain, in May 2018. ...
|
cena:
503,45 |
 |
The World of Programming Languages
ISBN: 9780387964409 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The earth, viewed through the window of an airplane, shows a regularity and reptition of features, for example, hills, valleys, rivers, lakes, and forests. Nevertheless, there is great local variation; Vermont does not look like Utah. Similarly, if we rise above the details of a few programming languages, we can discern features that are common to many languages. This is the programming language landscape; the main features include variables, types, control structures, and input/output. Again, there is local variation; Pascal does not look like Basic. This work is a broad and comprehensive...
The earth, viewed through the window of an airplane, shows a regularity and reptition of features, for example, hills, valleys, rivers, lakes, and for...
|
cena:
503,45 |
 |
Pattern Recognition and Image Processing in C++
ISBN: 9783528054915 / Angielski / Miękka / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parts of this text were used for several years by students in a one term under graduate course in computer science. The students had to prepare projects in small groups (2 4 students).1 This book emphasizes practical experience with image processing. It offers a comprehensive study of image processing and image analysis, basics of speech processing, object oriented programming, software design, and programming in C++. The book is divided into four parts. In the first part we introduce image processing, image analysis, programming tools, and the basics of C++. In the second part we describe...
Parts of this text were used for several years by students in a one term under graduate course in computer science. The students had to prepare projec...
|
cena:
503,45 |
 |
Design and Implementation of the Mtx Operating System
ISBN: 9783319175744 / Angielski / Twarda / 539 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs. Written in an evolutional style, theoretical and practical aspects of operating systems are presented as the design and implementation of a complete operating system is demonstrated. Throughout the text, complete source code and working sample systems are used to exhibit the techniques discussed. The book contains many new materials on the design and use of parallel algorithms in SMP. Complete coverage on... This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like s... |
cena:
503,45 |
 |
Software Product Management: The Ispma(r)-Compliant Study Guide and Handbook
ISBN: 9783662651155 / Angielski / Twarda / 329 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software Product Management (SPM) is a key success factor for software products and software-intensive products. This book gives a comprehensive overview on SPM for beginners as well as best practices, methodology and in-depth discussions for experienced product managers. This includes product strategy, product planning, participation in strategic management activities and orchestration of the functional units of the company. The book is based on the results of the International Software Product Management Association (ISPMA®, SPM Body of Knowledge V.2) which is led by a group of SPM... Software Product Management (SPM) is a key success factor for software products and software-intensive products. This book gives a comprehensive ov... |
cena:
503,45 |
 |
Learning and Reasoning: 4th International Joint Conference on Learning, Ijclr 2024, and 33rd International Conference on Inductive Logic Programming,
ISBN: 9783032090867 / Angielski / Miękka / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
503,45 |
 |
Compiler Construction Using Java, Javacc, and Yacc
ISBN: 9780470949597 / Angielski / Twarda / 664 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of even more vital importance. This book covers every topic essential to learning compilers from the ground up and is accompanied by a powerful and flexible software package for evaluating projects, as well as several tutorials, well-defined projects, and...
Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant ...
|
cena:
524,80 |
 |
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:
530,71 |
 |
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:
530,71 |
 |
Optimizing Compilers for Modern Architectures: A Dependence-Based Approach
ISBN: 9781558602861 / Angielski / Twarda / 790 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modern computer architectures designed with high-performance microprocessors offer tremendous potential gains in performance over previous designs. Yet their very complexity makes it increasingly difficult to produce efficient code and to realize their full potential. This landmark text from two leaders in the field focuses on the pivotal role that compilers can play in addressing this critical issue. The basis for all the methods presented in this book is data dependence, a fundamental compiler analysis tool for optimizing programs on high-performance microprocessors and parallel... Modern computer architectures designed with high-performance microprocessors offer tremendous potential gains in performance over previous designs.... |
cena:
535,97 |
 |
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:
548,94 |
 |
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:
551,85 |
 |
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:
551,85 |
 |
Compiler Und Interpreter F?r H?here Programmiersprachen
ISBN: 9783112717004 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
571,33 |
 |
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% |
|
545,64 |
 |
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:
574,79 |
 |
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:
574,79 |
 |
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:
574,79 |
 |
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:
574,79 |
 |
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:
574,79 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
