» książki » Computers - Programming - Compilers
topmenu
 |
Symbolic Analysis for Parallelizing Compilers
ISBN: 9781475783179 / Angielski / Miękka / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In Symbolic Analysis for Parallelizing Compilers the author presents an excellent demonstration of the effectiveness of symbolic analysis in tackling important optimization problems, some of which inhibit loop parallelization. The framework that Haghighat presents has proved extremely successful in induction and wraparound variable analysis, strength reduction, dead code elimination and symbolic constant propagation. The approach can be applied to any program transformation or optimization problem that uses properties and value ranges of program names. Symbolic analysis can be used...
In Symbolic Analysis for Parallelizing Compilers the author presents an excellent demonstration of the effectiveness of symbolic analysis in ...
|
cena:
413,87 |
 |
Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
ISBN: 9789401038591 / Angielski / Miękka / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi.
This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical... Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers p...
|
cena:
413,87 |
 |
Programmer's Guide to FORTRAN 90
ISBN: 9780387945705 / Angielski / Miękka / 445 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Written by members of the Fortran 90 ISO and ANSI committees, this book is the source of the most important information about the powerful Fortran 90 programming language. It is organized so that it may either be read from beginning to end, or studied for particular topics. All of the important new features of Fortran 90 are covered by examples, and case studies are used to illustrate the practical use of features. There are also simple problems designed to enable the reader to exercise their knowledge of the topics learned. Amongst the features of this book are: * Free source form, new do...
Written by members of the Fortran 90 ISO and ANSI committees, this book is the source of the most important information about the powerful Fortran 90 ...
|
cena:
413,87 |
 |
Programming Methodology
ISBN: 9780387953496 / Angielski / Twarda / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this remarkable progress, the voracity of modem applications and user expectations still pushes technology right to the limit. As hardware engineers build ever-more-powerful machines, so too must software become more sophisticated to keep up. Medium- to large-scale programming projects need teams of people...
The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be,...
|
cena:
413,87 |
 |
C Programming: The Essentials for Engineers and Scientists
ISBN: 9780387986326 / Angielski / Twarda / 479 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text teaches the essentials of C programming, concentrating on what readers need to know in order to produce stand-alone programs and so solve typical scientific and engineering problems. It is a learning-by-doing book, with many examples and exercises, and lays a foundation of scientific programming concepts and techniques that will prove valuable for those who might eventually move on to another language. Written for undergraduates who are familiar with computers and typical applications but are new to programming.
This text teaches the essentials of C programming, concentrating on what readers need to know in order to produce stand-alone programs and so solve ty...
|
cena:
413,87 |
 |
Using the STL: The C++ Standard Template Library
ISBN: 9780387988573 / Angielski / Miękka / 594 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A lot has happened since the first edition of this book was written. When the first edition was prepared, there was only one version of the Standard Template Library (STL) available-the Hewlett-Packard version. Since then, several other versions have appeared from major compiler and library vendors. This is in an effort to conform to the recent International Standards Organization/International Electrotechnical Commission (ISO/IEC) C++ standards, which define the STL as part of the Standard C++ Library. As expected, the STL is becoming widely available and an accepted part of C++ program...
A lot has happened since the first edition of this book was written. When the first edition was prepared, there was only one version of the Standard T...
|
cena:
413,87 |
 |
Algol-Like Languages
ISBN: 9780817638801 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory of procedural and object-oriented languages discovered that ALGOL 60 shows how to add procedures and object classes to simple imperative languages in a general and clean way. And, on the other hand, researchers interested in purely functional languages discovered that ALGOL 60 shows how to add imperative mechanisms to functional languages in a way that does not compromise their desirable properties. Unfortunately, many of the key works in this...
In recent years there has been a remarkable convergence of interest in programming languages based on ALGOL 60. Researchers interested in the theory o...
|
cena:
413,87 |
 |
Guide to the Unified Process featuring UML, Java and Design Patterns
ISBN: 9781852337216 / Angielski / Twarda / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1.1 Introduction This book introduces and guides the you through the use of the Unified Modeling Language (UML) and the Unified Process (both originally devised by Grady Booch, James Rumbaugh and Ivar Jacobson) and their application to Java systems.This means that the book will present you, thereader, withthenotationusedintheUMLandthestepsdescribedbytheUnifiedProcesswith particular reference to the Java environment (including the classes and the syntax). The book itself is structured in three parts. Part 1 introduces object-oriented analysis and design and the Unified Process. The UML is...
1.1 Introduction This book introduces and guides the you through the use of the Unified Modeling Language (UML) and the Unified Process (both original...
|
cena:
413,87 |
 |
Principles and Practice of Constraint Programming - Cp 2006: 12th International Conference, Cp 2006, Nantes, France, September 25-29, 2006, Proceeding
ISBN: 9783540462675 / Angielski / Miękka / 774 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, CP 2006, held in Nantes, France in September 2006. The 42 revised full papers and 21 revised short papers presented together with extended abstracts of four invited talks were carefully reviewed and selected from 142 submissions. All current issues of computing with constraints are addressed. This book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, CP 2006, ... |
cena:
413,87 |
 |
ADA 95 Reference Manual: Language and Standard Libraries: International Standard Iso/Iec 8652:1995 (E)
ISBN: 9783540631446 / Angielski / Miękka / 533 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Ada 95 Reference Manual is essentially identical to the new International Standard ISO/IEC 8652:1995(E) for the Ada programming language. The thorough technical revisions and extensions documented in this manual are built on broad participation from the international Ada community and generous support by leading institutions. Over 750 submitted revision requests were evaluated, and the resulting enhancements make Ada 95 an outstanding language. The flexibility of languages such as C++, modern features such as object orientation, and improved interfacing capabilities have been added to...
This Ada 95 Reference Manual is essentially identical to the new International Standard ISO/IEC 8652:1995(E) for the Ada programming language. The tho...
|
cena:
413,87 |
 |
Automata, Languages and Programming: 22nd International Colloquium, Icalp 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings
ISBN: 9783540600848 / Angielski / Miękka / 692 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995.
The volume presents four invited papers and 53 full revised research papers selected from a total of 111 submissions. ICALP traditionally covers the whole area of theoretical computer science; among the topics addressed in the volume are concurrency, automata, formal languages, algorithms, communication protocols, computational complexity, computability, foundations of programming, learning and coding,... This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of ...
|
cena:
413,87 |
 |
Concur'99. Concurrency Theory: 10th International Conference Eindhoven, the Netherlands, August 24-27, 1999 Proceedings
ISBN: 9783540664253 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99, held in Eindhoven, Netherlands in August 1999. The 32 revised full papers presented together with four invited contributions were selected from a total of 91 submissions.
This text constitutes the proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99, held in Eindhoven, Netherlands in August ...
|
cena:
413,87 |
 |
Concur '96: Concurrency Theory: 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings
ISBN: 9783540616047 / Angielski / Miękka / 759 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996.
The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems. This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1...
|
cena:
413,87 |
 |
Stacs 97: 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceed
ISBN: 9783540626169 / Angielski / Miękka / 621 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lubeck, Germany, in February/March 1997.
The 46 revised full papers included were carefully selected from a total of 139 submissions; also included are three invited full papers. The papers presented span the whole scope of theoretical computer science. Among the topics covered are, in particular, algorithms and data structures, computational complexity, automata and formal languages, structural complexity, parallel and distributed systems, parallel... This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lubeck, Germ...
|
cena:
413,87 |
 |
Towards a Formal Description of ADA
ISBN: 9783540102830 / Angielski / Miękka / 630 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
413,87 |
 |
Fast, Efficient and Predictable Memory Accesses: Optimization Algorithms for Memory Architecture Aware Compilation
ISBN: 9781402048210 / Angielski / Twarda / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The memory system is increasingly turning into a bottleneck in the design of embedded systems. The speed improvements of memory systems are lower than the speed improvements of processors, eventually leading to embedded systems whose performance is limited by the memory. This problem is known as the "memory wall" problem. Furthermore, memory systems may consume the largest share of the system's energy budget and may be the source of unpredictable timing behaviour. Hence, the design of the memory system deserves an increasing amount of attention. Fast, Efficient and... The memory system is increasingly turning into a bottleneck in the design of embedded systems. The speed improvements of memory systems are lower t... |
cena:
413,87 |
 |
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 10th European Pvm/Mpi Users' Group Meeting, Venice, Italy, September 29 - O
ISBN: 9783540201496 / Angielski / Miękka / 716 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Themessagepassingparadigmisconsideredthemoste?ectivewaytodevelop- ?cient parallel applications. PVM (Parallel Virtual Machine) and MPI (Message Passing Interface) are the most frequently used tools for programming message passing applications. This volume includes the selected contributions presented at the 10th - ropean PVM/MPI Users Group Meeting (Euro PVM/MPI 2003), which was held in Venice, Italy, September 29 October 2, 2003. The conference was jointly organized by the Department of Computer Science of the Ca Foscari University of Venice, Italy and the Information Science and...
Themessagepassingparadigmisconsideredthemoste?ectivewaytodevelop- ?cient parallel applications. PVM (Parallel Virtual Machine) and MPI (Message Passin...
|
cena:
413,87 |
 |
Open Source Ecosystems: Diverse Communities Interacting: 5th Ifip Wg 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, J
ISBN: 9783642020315 / Angielski / Twarda / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the 5th International Conference on Open Source Systems It is quite an achievement to reach the five-year mark - that's the sign of a successful enterprise. This annual conference is now being recognized as the primary event for the open source research community, attracting not only high-quality papers, but also building a community around a technical program, a collection of workshops, and (starting this year) a Doctoral Consortium. Reaching this milestone reflects the efforts of many people, including the conference founders, as well as the organizers and participants in the...
Welcome to the 5th International Conference on Open Source Systems It is quite an achievement to reach the five-year mark - that's the sign of a succ...
|
cena:
413,87 |
 |
Model Driven Engineering Languages and Systems: 12th International Conference, Models 2009, Denver, Co, Usa, October 4-9, 2009, Proceedings
ISBN: 9783642044243 / Angielski / Miękka / 756 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The pioneering organizers of the ?rst UML workshop in Mulhouse, France inthe summerof1998couldhardlyhaveanticipatedthat, in littleoveradecade, theirinitiativewouldblossomintotoday'shighlysuccessfulMODELSconference series, the premier annual gathering of researchersand practitioners focusing on a very important new technical discipline: model-based software and system engineering. This expansion is, of course, a direct consequence of the growing signi?cance and success of model-based methods in practice. The conferences have contributed greatly to the heightened interest in the ?eld,...
The pioneering organizers of the ?rst UML workshop in Mulhouse, France inthe summerof1998couldhardlyhaveanticipatedthat, in littleoveradecade, theirin...
|
cena:
413,87 |
 |
FM 2009: Formal Methods
ISBN: 9783642050886 / Angielski / Miękka / 820 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in November 2009 in the course of the first International Formal Methods Week, FMWeek 2009. The 45 revised full papers presented together with 5 invited papers and 3 additional papers from the Industry Day were carefully reviewed and selected from 139 submissions. The papers are organized in topical sections on model checking, compositionality, verification, concurrency, refinement, static analysis,... This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Fo... |
cena:
413,87 |
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
