![]() |
Logic-Based Program Synthesis and Transformation: 27th International Symposium, Lopstr 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Pap
ISBN: 9783319944593 / Angielski / Miękka / 341 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
![]() |
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings
ISBN: 9783319997247 / Angielski / Miękka / 445 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018. The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions.
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 201...
|
cena:
209,75 |
![]() |
Rewriting Logic and Its Applications: 12th International Workshop, Wrla 2018, Held as a Satellite Event of Etaps, Thessaloniki, Greece, June 14-15, 20
ISBN: 9783319998398 / Angielski / Miękka / 261 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018. The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions.
This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessal...
|
cena:
209,75 |
![]() |
Compiler Design: Virtual Machines
ISBN: 9783662506226 / Angielski / Miękka / 187 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
![]() |
Logic-Based Program Synthesis and Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Sel
ISBN: 9783030138370 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
![]() |
Functional and Constraint Logic Programming: 26th International Workshop, Wflp 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Pape
ISBN: 9783030162016 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
![]() |
Foundations of Software Science and Computation Structures: 22nd International Conference, Fossacs 2019, Held as Part of the European Joint Conference
ISBN: 9783030171261 / Angielski / Miękka / 542 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
![]() |
Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco de Nicola on the Occasion of His 65th Birthday
ISBN: 9783030214845 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume was published in honor of Rocco De Nicola's 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy. The papers present many research ideas that have been influenced by Rocco's work. They testify his intellectual curiosity, versatility and tireless research activity, and provide an overview of further developments to come. The volume consists of six sections. The first one contains a laudation illustrating the...
This volume was published in honor of Rocco De Nicola's 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and fr...
|
cena:
209,75 |
![]() |
Unifying Theories of Programming: 7th International Symposium, Utp 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal
ISBN: 9783030310370 / Angielski / Miękka / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
![]() |
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings
ISBN: 9783030323035 / Angielski / Miękka / 481 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
![]() |
Dynamic Logic. New Trends and Applications: Second International Workshop, Dalí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
ISBN: 9783030388072 / Angielski / Miękka / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
![]() |
Trends in Functional Programming: 20th International Symposium, Tfp 2019, Vancouver, Bc, Canada, June 12-14, 2019, Revised Selected Papers
ISBN: 9783030471460 / Angielski / Miękka / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
![]() |
Trends in Functional Programming: 21st International Symposium, Tfp 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers
ISBN: 9783030577605 / Angielski / Miękka / 249 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
![]() |
Reuse in Emerging Software Engineering Practices: 19th International Conference on Software and Systems Reuse, Icsr 2020, Hammamet, Tunisia, December
ISBN: 9783030646936 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
![]() |
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:
209,75 |
![]() |
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:
209,75 |
![]() |
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:
209,75 |
![]() |
c++ toolkit for engineers and scientists
ISBN: 9780387987972 / Angielski / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes the design, construction, and use of a numerical analysis software toolkit. It's written in C+ +, Version 2. 0, and makes essential use of that language's Object-Oriented Programming (OOP) features. Its development environment is the Borland International, Inc., Borland C++ compiler, Version 5. 02, for IBM-compatible personal computers. However, the book describes few features specific to that product. The toolkit and its description and background discussions cover the most fundamental aspects of numerical analysis. At the core of most scientific or engineering...
This book describes the design, construction, and use of a numerical analysis software toolkit. It's written in C+ +, Version 2. 0, and makes essentia...
|
cena:
209,75 |
![]() |
Essential Visual J++ 6.0 Fast: How to Develop Java Applications and Applets with Visual J++
ISBN: 9781852330132 / Angielski / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer. Visual J++ gives you access to the power of Java with all the benefits of a modern visual development environment, for fast programming, and debugging. If you are new to Java or are an existing Java programmer who wants to switch to Visual J++, this book gives you all the essential information you need using lots of examples. Topics covered in this book include: the Java language, polymorphism, inheritance and encapsulation, graphics and animation,...
Java is an object oriented language which allows you to create interactive Web pages, or to write applications which will run on any computer. Visual ...
|
cena:
209,75 |
![]() |
Java for Practitioners
ISBN: 9781852330934 / Angielski / Miękka / 668 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Java for Practitioners doesn just provide an introduction to Java, it also tells you all about object orientation. One of the biggest problems with many of the Java books currently on the market is that they only teach the language and ignore the object orientation aspects (or at best just devote one chapter to it). Not only does John Hunt cover both Java and object orientation thoroughly but he also realises that practitioners learn best by oing'and he writes this book to reflect that. Chapters are dippable-into and ideas and concepts are introduced by exercises and practical...
Java for Practitioners doesn just provide an introduction to Java, it also tells you all about object orientation. One of the biggest problems ...
|
cena:
209,75 |