Formal Methods for Industrial Critical Systems: 29th International Conference, Fmics 2024, Milan, Italy, September 9-13, 2024, Proceedings
ISBN: 9783031681493 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
223,59 zł |
Advancing Openmp for Future Accelerators: 20th International Workshop on Openmp, Iwomp 2024, Perth, Wa, Australia, September 23-25, 2024, Proceedings
ISBN: 9783031725661 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
212,02 zł |
The Joys of Hashing: Hash Table Programming with C
ISBN: 9798868808258 / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
192,74 zł |
Programming Languages and Systems
ISBN: 9789819789429 / Angielski / Miękka / 387 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024. The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative Programming; Quantum Computation; Logical Relations; Verification. This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during Oc... |
|
cena:
212,02 zł |
Compiler Design Using Java(R): An Object-Oriented Approach
ISBN: 9781734139136 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
219,75 zł |
Compiler Design Using Kotlin(TM): An Object-Oriented Approach
ISBN: 9781734139174 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
219,75 zł |
Rust Programming: Safe, Fast, and Fucking Secure
ISBN: 9781779661715 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
527,90 zł |
Introduction to C++ Programming and Graphics
ISBN: 9780387689920 / Angielski / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book offers a venue for rapidly learning the language of C++ by concisely revealing its grammar, syntax and main features, and by explaining the key ideas behind object oriented programming (OOP) with emphasis on scientific computing. The book reviews elemental concepts of computers and computing, describes the primary features of C++, illustrates the use of pointers and user-defined functions, analyzes the construction of classes, and discusses graphics programming based on VOGLE and OpenGL. In short, the book is a basic, concise introduction to C++ programming for everyone from... This book offers a venue for rapidly learning the language of C++ by concisely revealing its grammar, syntax and main features, and by explaining t... |
|
cena:
192,74 zł |
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:
385,52 zł |
Migrating from Pascal to Cp++s
ISBN: 9780387947303 / Angielski / Twarda / 565 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many students and programmers familiar with Pascal are now looking to upgrade their skills to a well-structured object-oriented programming language such as C++. This textbook provides such an "upgrade path" by presenting a course on C++ in the spirit of structured programming. Both authors teach this material to a wide variety of students and include numerous programming exercises to test a reader's understanding and to increase their confidence in programming in C++.
Many students and programmers familiar with Pascal are now looking to upgrade their skills to a well-structured object-oriented programming language s...
|
|
cena:
192,74 zł |
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:
385,52 zł |
The Science of Programming
ISBN: 9780387964805 / Angielski / Miękka / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976), involving a "calculus for the derivation of programs." Directing his materials to the computer programmer with at least one year of experience, Gries presents explicit principles behind program development, and then leads the reader through example programs using those principles. Propositions...
This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a pr...
|
|
cena:
346,96 zł |
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:
385,52 zł |
Programming for Everyone in Java
ISBN: 9780387986838 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a book about computer programming for everyone: artist, poet, student, doctor, accountant, or engineer. This book will show students how to write understandable computer programs in Java. While emphasizing general principles of programming this book: - uses examples from the humanities only, requiring no math or engineering knowledge -explains all programming concepts by means of complete programs -concentrates on exercises solved by writing complete programs -takes the reader from text input/output to object-oriented programming in the equivalent of a one semester class. -gives the...
This is a book about computer programming for everyone: artist, poet, student, doctor, accountant, or engineer. This book will show students how to wr...
|
|
cena:
192,74 zł |
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:
385,52 zł |
Compiling with Continuations
ISBN: 9780521033114 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations.
This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations...
|
|
cena:
549,72 zł |
Ant the Definitive Guide
ISBN: 9780596006099 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Soon after its launch, Ant succeeded in taking the Java world by storm, becoming the most widely used tool for building applications in Java environments. Like most popular technologies, Ant quickly went through a series of early revision cycles. With each new version, more functionality was added, and more complexity was introduced. Ant evolved from a simple-to-learn build tool into a full-fledged testing and deployment environment.Ant: The Definitive Guide has been reworked, revised and expanded upon to reflect this evolution. It documents the new ways that Ant is being applied,... Soon after its launch, Ant succeeded in taking the Java world by storm, becoming the most widely used tool for building applications in Java enviro... |
|
cena:
196,13 zł |
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:
578,30 zł |
Compiler Technology: Tools, Translators and Language Implementation
ISBN: 9780792380184 / Angielski / Twarda / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, many tools have a compiler framework - they accept input in a particular format, perform some processing and present output in another format. Such tools support the abstraction process and are crucial to productive systems development.
The focus of Compiler Technology: Tools, Translators and Language Implementation is to enable quick development of analysis tools. Both lexical scanner and parser generator tools are provided... Compiler technology is fundamental to computer science since it provides the means to implement many other tools. It is interesting that, in fact, man...
|
|
cena:
578,30 zł |
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:
578,30 zł |