Languages and Compilers for Parallel Computing: 28th International Workshop, Lcpc 2015, Raleigh, Nc, Usa, September 9-11, 2015, Revised Selected Paper
ISBN: 9783319297774 / Angielski / Miękka / 319 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, in September 2015. This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Paralle... |
|
cena:
191,85 zł |
A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
ISBN: 9783319309354 / Angielski / Miękka / 479 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift. We attempt to summarize Phil Wadler's scientific achievements. In addition, we describe the personal style and enthusiasm that Phil has brought to the subject. This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. T... |
|
cena:
191,85 zł |
Programming by Case Studies: An ALGOL Primer
ISBN: 9780333101469 / Angielski / Miękka / 90 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
306,98 zł |
Thought Vibration
ISBN: 9780692637869 / Angielski / Miękka / 120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The New Thought movement of the early 20th century vehemently believed in the concept of -mind over matter, - and one of the most influential thinkers of this early -New Age- philosophy promises to show you how to harness the extraordinary mental powers you already possess.
The New Thought movement of the early 20th century vehemently believed in the concept of -mind over matter, - and one of the most influential thinkers...
|
|
cena:
24,66 zł |
Learning ArcGIS for Desktop
ISBN: 9781782175797 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
256,08 zł |
Verified Functional Programming in Agda
ISBN: 9781970001242 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural induction. In internal verification, we specify properties of programs through rich types for the programs themselves. This often necessitates including proofs inside code, to show the type checker that the specified properties hold. The power to...
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of prog...
|
|
cena:
418,87 zł |
Verified Functional Programming in Agda
ISBN: 9781970001273 / Angielski / Twarda / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural induction. In internal verification, we specify properties of programs through rich types for the programs themselves. This often necessitates including proofs inside code, to show the type checker that the specified properties hold. The power to...
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of prog...
|
|
cena:
576,04 zł |
The Librarian's Introduction to Programming Languages: A Lita Guide
ISBN: 9781442263338 / Angielski / Miękka / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Librarian s Introduction to Programming Languages presents case studies and practical applications for using the top programming languages in library and information settings. While there are books and Web sites devoted to teaching programming, there are few works that address multiple programming languages or address the specific reasons why programming is a critical area of learning for library and information science professionals. There are many books on programming languages but no recent items directly written for librarians that span a variety of programs. Many practicing...
The Librarian s Introduction to Programming Languages presents case studies and practical applications for using the top programming languages in libr...
|
|
cena:
290,48 zł |
The Librarian's Introduction to Programming Languages: A Lita Guide
ISBN: 9781442263321 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Librarian s Introduction to Programming Languages presents case studies and practical applications for using the top programming languages in library and information settings. While there are books and Web sites devoted to teaching programming, there are few works that address multiple programming languages or address the specific reasons why programming is a critical area of learning for library and information science professionals. There are many books on programming languages but no recent items directly written for librarians that span a variety of programs. Many practicing...
The Librarian s Introduction to Programming Languages presents case studies and practical applications for using the top programming languages in libr...
|
|
cena:
496,46 zł |
Nominal Game Semantics
ISBN: 9781680831061 / Angielski / Miękka / 94 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Nominal Game Semantics complements existing introductory literature to game semantics, which highlight the then new structural components necessary to model higher-order computation; for example, arenas, justification pointers, and innocence. In contrast, this monograph focuses on explaining the nominal content of our games. It begins by covering the basics of nominal sets before proceeding to introduce the programming language of study, called GroundML. GroundML is a higher-order language with references capable of storing integers, references to integers, references to references to...
Nominal Game Semantics complements existing introductory literature to game semantics, which highlight the then new structural components necessary to...
|
|
cena:
419,13 zł |
Learn to Implement Games with Code
ISBN: 9781498753388 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Game development is one of the most rewarding crafts of modern times. Not only is making games a wonderful lifelong hobby, but employment opportunities exist at many levels. Learn to Implement Games with Code guides you through the development process as you put together a release-ready game. It is written in a friendly and conversational tone, which is suitable for a wide audience of aspiring game developers, such as yourself. You will gain practical, hands-on experience with implementing game components using code. Gradually, you will build a complete game that you can... Game development is one of the most rewarding crafts of modern times. Not only is making games a wonderful lifelong hobby, but employment opportuni... |
|
cena:
285,95 zł |
Programmieren: Software entwickeln für Einsteiger: Lernen Sie die Grundlagen von Java, SQL und C++
ISBN: 9781530518500 / Niemiecki / Miękka / 188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ihre kompakte Anleitung zum fundamentalem Computer programmieren In einer von Technologien dominierten Welt scheint es notig sich stetig weiterzubilden und Gelerntes in die Praxis umzusetzen. Mit dem Beginn des Computerzeitalters scheint nun alles automatisch immer einfacher zu werden. Was wir heutzutage genieen konnen und immense Vorteile fur unseren Alltag erhalten, wurde von einer kleinen Anzahl an intelligenten Individuen in Form von Computerprogrammen entwickelt. Gehoren Sie den leidenschaftlichen Individuen an, welche zu der Computerwelt... Ihre kompakte Anleitung zum fundamentalem Computer programmieren In einer von Technologien dominierten Welt scheint es notig sich... |
|
cena:
87,28 zł |
Instruction Level Parallelism
ISBN: 9781489977953 / Angielski / Twarda / 255 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book precisely formulates and simplifies the presentation of Instruction Level Parallelism (ILP) compilation techniques. It uniquely offers consistent and uniform descriptions of the code transformations involved. Due to the ubiquitous nature of ILP in virtually every processor built today, from general purpose CPUs to application-specific and embedded processors, this book is useful to the student, the practitioner and also the researcher of advanced compilation techniques. With an emphasis on fine-grain instruction level parallelism, this book will also prove interesting to researchers...
This book precisely formulates and simplifies the presentation of Instruction Level Parallelism (ILP) compilation techniques. It uniquely offers consi...
|
|
cena:
326,17 zł |
Pro Hadoop Data Analytics: Designing and Building Big Data Systems Using the Hadoop Ecosystem
ISBN: 9781484219096 / Angielski / Miękka / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn advanced analytical techniques and leverage existing tool kits to make your analytic applications more powerful, precise, and efficient. This book provides the right combination of architecture, design, and implementation information to create analytical systems that go beyond the basics of classification, clustering, and recommendation. Pro Hadoop Data Analytics emphasizes best practices to ensure coherent, efficient development. A complete example system will be developed using standard third-party components that consist of the tool kits, libraries, visualization... Learn advanced analytical techniques and leverage existing tool kits to make your analytic applications more powerful, precise, and efficient. This... |
|
cena:
153,47 zł |
Agile Swift: Swift Programming Using Agile Tools and Techniques
ISBN: 9781484221013 / Angielski / Miękka / 173 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Make your Swift apps agile and sound with this short step by step guide. You'll learn about unit testing, mocking and continuous integration and how to get these key ingredients running in your Swift projects. This book also looks at how to write your Swift apps using test driven development (TDD).
Agile practices have made major inroads in iOS development, however it's very unusual to see something as basic as unit testing on a Swift application. Done correctly, Agile development results in a significant increase in development efficiency and a reduction in the number of defects. Apple... Make your Swift apps agile and sound with this short step by step guide. You'll learn about unit testing, mocking and continuous integration and how t...
|
|
cena:
126,61 zł |
.Net Development Using the Compiler API
ISBN: 9781484221105 / Angielski / Miękka / 158 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the first book to describe the recent significant changes to the .NET compilation process and demonstrate how .NET developers can use the new Compiler API to create compelling applications. As an open source compiler, the Compiler API now makes its code available for anyone to use. In this book, you'll get a concise, focused view of this tremendous resource for developers, who can now use any part of the platform implementation to their advantage in analyzing applications, improving code generation, and providing enforceable patterns, all under an OSS model.
You will learn how to... This is the first book to describe the recent significant changes to the .NET compilation process and demonstrate how .NET developers can use the new ...
|
|
cena:
126,61 zł |
Temporal Logics in Computer Science: Finite-State Systems
ISBN: 9781107028364 / Angielski / Twarda / 752 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.
A comprehensive, modern and technically precise exposition of the theory and main applications of temporal logics in computer science.
|
|
cena:
514,91 zł |
Bash Cookbook: Solutions and Examples for Bash Users
ISBN: 9781491975336 / Angielski / Miękka / 726 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This thoroughly revised edition of bash Cookbook teaches shell scripting the way Unix masters practice the craft. It's full of useful scripts that you can use right away, along with examples that explain how to create better scripts.
This thoroughly revised edition of bash Cookbook teaches shell scripting the way Unix masters practice the craft. It's full of useful scripts that you...
|
|
cena:
253,46 zł |
Automated Trading with R: Quantitative Research and Platform Development
ISBN: 9781484221778 / Angielski / Miękka / 205 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn to trade algorithmically with your existing brokerage, from data management, to strategy optimization, to order execution, using free and publicly available data. Connect to your brokerage's API, and the source code is plug-and-play. Automated Trading with R explains automated trading, starting with its mathematics and moving to its computation and execution. You will gain a unique insight into the mechanics and computational considerations taken in building a back-tester, strategy optimizer, and fully functional trading platform. The platform built in this... Learn to trade algorithmically with your existing brokerage, from data management, to strategy optimization, to order execution, using free and pub... |
|
cena:
287,79 zł |
Computer Safety, Reliability, and Security: 35th International Conference, Safecomp 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
ISBN: 9783319454764 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anomaly detection and resilience, cyber security, fault trees, and safety analysis.
This book constitutes the refereed proceedings of the 35th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016, held...
|
|
cena:
191,85 zł |