-
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
This work shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioural properties of a system - what that system is allowed to do. The emphasis here is on safety properties. The second part covers more advanced topics, including liveness and fairness, real time properties, and composition. The books final two parts provide a complete reference manual for the TLA+ language and tools, as well as a mini-manual.
- ASIN: 032114306X
- UPC: 076092021339
- ASIN: 032114306X
- ISBN: 032114306X
- Manufacturer: Addison-Wesley Professional
-
Designing Audio Effect Plug-Ins in C++: With Digital Audio Signal Processing Theory
The professional recording industry is rapidly moving from a hardware paradigm (big studios with expensive gear) to a software paradigm, in which lots of expensive hardware is replaced with a single computer loaded with software plug-ins. Complete albums are now being recorded and engineered "inside the box"-all within a computer without hardware processing or mixing gear. Audio effect plug-ins, which are small software modules that work within audio host applications, like Avid Pro Tools, Apple Logic, Ableton Live, and Steinberg Cubase, are big business. Designing Audio Effect Plug-Ins in C... [Read More]
- ASIN: 0240825152
- ASIN: 0240825152
- ISBN: 0240825152
- Brand: Brand: Focal Press
- Manufacturer: Focal Press
-
Concurrency in .NET: Modern patterns of concurrent and parallel programming
Summary Concurrency in .NET teaches you how to build concurrent and scalable programs in .NET using the functional paradigm. This intermediate-level guide is aimed at developers, architects, and passionate computer programmers who are interested in writing code with improved speed and effectiveness by adopting a declarative and pain-free programming style. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications. About the Technology Unlock the incredible performance built into your multi-processor machines. Concurrent applications run faster ... [Read More]
- ASIN: 1617292990
- ASIN: 1617292990
- ISBN: 9781617292996
- Manufacturer: Manning Publications
-
The Rust Programming Language Stylish Logo Shirt
Programming Rust: Fast, Safe Systems Development. Concurrency with Rust: Confidently build memory-safe, parallel, and efficient software in Rust. Rust is a new systems programming language that combines the performance and low-level control of C and C++ with memory safety and thread safety.
- ASIN: B07JLPPB76
- ASIN: B07JLPPB76
- Brand: Enter the world of Rust
- Size: Male Small
- Manufacturer: Enter the world of Rust
-
Make: Electronics: Learning Through Discovery
"This is teaching at its best!"--Hans Camenzind, inventor of the 555 timer (the world's most successful integrated circuit), and author of Much Ado About Almost Nothing: Man's Encounter with the Electron (Booklocker.com)"A fabulous book: well written, well paced, fun, and informative. I also love the sense of humor. It's very good at disarming the fear. And it's gorgeous. I'll be recommending this book highly."--Tom Igoe, author of Physical Computing and Making Things TalkA "magnificent and rewarding book. ... Every step of this structured instruction is expertly illustrated with photos and cr... [Read More]
- ASIN: B013PVRTEK
- ASIN: B013PVRTEK
- Manufacturer: Maker Media, Inc
-
CUDA by Example: An Introduction to General-Purpose GPU Programming
“This book is required reading for anyone working with accelerator-based computing systems.” –From the Foreword by Jack Dongarra, University of Tennessee and Oak Ridge National Laboratory CUDA is a computing architecture designed to facilitate the development of parallel programs. In conjunction with a comprehensive software platform, the CUDA Architecture enables programmers to draw on the immense power of graphics processing units (GPUs) when building high-performance applications. GPUs, of course, have long been available for demanding graphics and game applications. CUDA now brin... [Read More]
- ASIN: 0131387685
- UPC: 076092047179
- ASIN: 0131387685
- ISBN: 9780131387683
- Manufacturer: Addison-Wesley Professional
-
AIBOO Linkable Under Cabinet LED Lighting 12V Dimmable Puck Lights with Wireless RF Remote Control, Hardwired & Wall Plug in for Kitchen Mood Lighting(6 Lights, Warm White)
Linkable Under Cabinet LED Puck Lights Kit Wall Plug In & Hard Wired Wireless RF Remote Control for Kitchen Counter Closet Accent Lighting @ 2-WAY INSTALLTIONS There can be 2 ways of installations: 1) Wall plug in. 2) Hardwired. The user can easily choose one way to install according to the requirement. @ LINKABLE CONNECTION This creative design of LED under cabinet lighting kit is different from most under cabinet lights kit which normally use a distributor to achieve parallel connections. This set of lights can be self linking, can be connected in both ways: series connection and parallel c... [Read More]
- ASIN: B075GQK3VX
- ASIN: B075GQK3VX
- Brand: AIBOO
- Size: 6 Lights Kit
- Manufacturer: AIBOO
-
WEECOC Smart Robot Toys Gesture Control Remote Control Robot Kids Toys Birthday Can Singing Dancing Speaking Two Walking Models (Blue)
Product name:Robot Toys Specification: Material: high-quality, non-toxic ABS material Robot Colors: Blue/Pink Charging: USB Charging Charging Time: about 2 hours Playing Time: 1 hours in full-power condition Controller Battery: require 2*"1.5V, AA" battery. Robot Size: 10.6x6.5x3.2 inch Packaging Size: 12.2x4.3x12inch Function: 1.Gesture control:Senses gesture control model is a very fun function and it brings more happy to children, because they can command the Robots where it will go by their hand. 2.Touch Control:to offer you an interesting control experience.Except to use the R... [Read More]
- ASIN: B07PSGQ6JF
- UPC: 740385000416
- ASIN: B07PSGQ6JF
- Brand: WEECOC
- Size: m
- Manufacturer: ShenZhen Huan Qiu Trading Development Co.，Ltd
-
Java Concurrency in Practice: JAVA CONCURRENCY PRACT _p1
Threads are a fundamental part of the Java platform. As multicore processors become the norm, using concurrency effectively becomes essential for building high-performance applications. Java SE 5 and 6 are a huge step forward for the development of concurrent applications, with improvements to the Java Virtual Machine to support high-performance, highly scalable concurrent classes and a rich set of new concurrency building blocks. In Java Concurrency in Practice , the creators of these new facilities explain not only how they work and how to use them, but also the motivation and design patter... [Read More]
- ASIN: B004V9OA84
- ASIN: B004V9OA84
- Manufacturer: Addison-Wesley Professional
-
Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming
If you have a working knowledge of Haskell, this hands-on book shows you how to use the language’s many APIs and frameworks for writing both parallel and concurrent programs. You’ll learn how parallelism exploits multicore processors to speed up computation-heavy programs, and how concurrency enables you to write programs with threads for multiple interactions.Author Simon Marlow walks you through the process with lots of code examples that you can run, experiment with, and extend. Divided into separate sections on Parallel and Concurrent Haskell, this book also includes exercises to help ... [Read More]
- ASIN: 1449335942
- ASIN: 1449335942
- ISBN: 1449335942
- Brand: imusti
- Manufacturer: O'Reilly Media
-
Parallel Programming with MPI
A hands-on introduction to parallel programming based on the Message-Passing Interface (MPI) standard, the de-facto industry standard adopted by major vendors of commercial parallel systems. This textbook/tutorial, based on the C language, contains many fully-developed examples and exercises. The complete source code for the examples is available in both C and Fortran 77. Students and professionals will find that the portability of MPI, combined with a thorough grounding in parallel programming principles, will allow them to program any parallel system, from a network of workstations to a para... [Read More]
- ASIN: 1558603395
- ASIN: 1558603395
- ISBN: 1558603395
- Brand: Brand: Morgan Kaufmann
- Manufacturer: Morgan Kaufmann
-
The Rust Programming Language Logo Shirt Distressed
Programming Rust: Fast, Safe Systems Development. Concurrency with Rust: Confidently build memory-safe, parallel, and efficient software in Rust. Rust is a new systems programming language that combines the performance and low-level control of C and C++ with memory safety and thread safety.
- ASIN: B07JL2K2RR
- ASIN: B07JL2K2RR
- Brand: Enter the world of Rust
- Size: Male Small
- Manufacturer: Enter the world of Rust
-
21st Century C: C Tips from the New School
Throw out your old ideas about C and get to know a programming language that’s substantially outgrown its origins. With this revised edition of 21st Century C, you’ll discover up-to-date techniques missing from other C tutorials, whether you’re new to the language or just getting reacquainted.C isn’t just the foundation of modern programming languages; it is a modern language, ideal for writing efficient, state-of-the-art applications. Get past idioms that made sense on mainframes and learn the tools you need to work with this evolved and aggressively simple language. No matter what pr... [Read More]
- ASIN: B00NYBRH30
- ASIN: B00NYBRH30
- Manufacturer: O'Reilly Media
-
Concurrent and Real-Time Programming in Ada
Ada is the only ISO-standard, object-oriented, concurrent, real-time programming language. It is intended for use in large, long-lived applications where reliability and efficiency are essential, particularly real-time and embedded systems. In this book, Alan Burns and Andy Wellings give a thorough, self-contained account of how the Ada tasking model can be used to construct a wide range of concurrent and real-time systems. This is the only book that focuses on an in-depth discussion of the Ada tasking model. Following on from the authors' earlier title Concurrency in Ada, this book brings the... [Read More]
- ASIN: 0521866979
- ASIN: 0521866979
- ISBN: 0521866979
- Manufacturer: Cambridge University Press
-
Thermal Transfer 203 dpi Desktop Barcode Label Printer
The dp-1 is a desktop thermal barcode printer that offers a high performance in a small package. Its extensive suite of barcode labeling features includes faster speed and multiple interfaces, making it an ideal printer for compliance labeling, asset tracking, shipping, receiving and inventory control applications. transfer desktop printer, 203 dpi, 4 IPS, 4.25 inch print width, 5 inch outer diameter, USB/Ethernet/parallel/RS-232 interfaces.
- ASIN: B01N65HXOJ
- UPC: 662578221883
- ASIN: B01N65HXOJ
- Brand: AirTrack
- Manufacturer: AirTrack
-
The Go Programming Language
The Go Programming Language is the authoritative resource for any programmer who wants to learn Go. It shows how to write clear and idiomatic Go to solve real-world problems. The book does not assume prior
- UPC: 44981246
-
Computer Programming Languages & Hacking & Advanced Hacking : 3 Books in 1: The Blueprint: Everything You Need to Know
3 BOOKS IN 1 Ever wonder how easy it is to hack into someone's bank account info while surfing the net at your local Starbucks? Become A Programming Master By Learning These Fundamentals Languages Take
- UPC: 109475444
-
C Programming Language
Introduces the features of the C programming language, discusses data types, variables, operators, control flow, functions, pointers, arrays, and structures, and looks at the UNIX system
- UPC: 525362
- Rating: 4.571
-
The Rust Programming Language
"The official guide to Rust, a community-developed, systems programming language. Begins with a hands-on project to introduce the basics, then explores key concepts in
- UPC: 859037090
-
The C++ Programming Language (Paperback)
Offers information on using the C++ programming languge using the new C++11 standard, covering such topics as concurrency, facilities, standard libraries, and design
- UPC: 21308887
- Rating: 4.0
-
Python Programming : An Easy Guide to Learn Python Programming Language for Absolute Beginners
Learn Python Language, The Fast & Easy Way.. Get your copy of 'Python Programming For Beginners by Marco Robert' and start your Python journey today! 'Python Programming For Beginners: An Easy Guide To Learn Python
- UPC: 250711400
-
Jumpstarting C : Learn the All-Purpose Programming Language for Microcontrollers and Computers
Jumpstarting books provide an avenue for makers to quickly master topical knowledge!Each book starts with instructions on how to install or initialize the hardware or software needed to reach the "Hello, World" stage of getting
- UPC: 576464127
-
Programming in Python 3 : A Complete Introduction to the Python Language
Now fully updated, this edition brings together all the knowledge needed to write programs, use any library, and even create new library modules. The book teaches every aspect of the Python 3 language and covers
- UPC: 11992327
-
The C++ Programming Language (Hardcover)
A complete rewrite and update of the world's most trusted and widely-read book on C++ - by its legendary creator, Bjarne
- UPC: 26583835
- Rating: 4.0
-
Modern X86 Assembly Language Programming : 32-Bit, 64-Bit, Sse, and Avx
Modern X86 Assembly Language Programming shows the fundamentals of x86 assembly language programming. It focuses on the aspects of the x86 instruction set that are most relevant to application software development. The book's structure and
- UPC: 52919211
Parallel Programming Vs Async Programming
Rust Concurrency Explained
Parallel Programming in R and Python
© 10Toply.com - all rights reserved - Sitemap 10Toply.com is a participant in the Amazon Services LLC Associates Program, an affiliate advertising program designed to provide a means for sites to earn advertising fees by advertising and linking to Amazon.com