Languages

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform,...

A complete reference to AppleScript, the popular programming language that gives both power users and sophisticated enterprise customers the important ability to automate repetitive tasks and customize applications. As the Macintosh continues to expand...

Build messaging applications using the power of Spring Boot; use Spring application events over the Web; use WebSocket, SockJS, and STOMP messaging with Spring MVC; and use Spring JMS, Redis Pub/Sub and Spring AMQP for reliable messaging solutions. This...

The best way to learn design in any field is to study examples, and some of the best examples of software design come from the tools programmers use in their own work. Software Design by Example: A Tool-Based Introduction with Python therefore builds...

Learning a computer language like R can be either frustrating, fun or boring. Having fun requires challenges that wake up the learner's curiosity but also provide an emotional reward for overcoming them. The book is designed so that it includes smaller...

Discover a new way of thinking about business applications in light of the massive industry shift toward cloud computing and reactive programming technologies. This book synthesizes technologies and techniques such as event sourcing, command query...

Implement application programming interface (API) usability, security, availability, reliability, and scalability to extend your company's market and potentially generate revenue. Businesses know they need to extend their markets into the digital world,...

Apache is the most popular Web server on the Internet because it is free, reliable, and extensible. The availability of the source code and the modular design of Apache makes it possible to extend Web server functionality through the Apache API. For the...

With more than a million dedicated programmers, Perl has proven to be the best computing language for the latest trends in computing and business. While other languages have stagnated, Perl remains fresh, thanks to its community-based development model,...

Transform games into environments using machine learning and Deep learning with Tensorflow, Keras, and Unity Key Features Learn how to apply core machine learning concepts to your games with Unity Learn the Fundamentals of Reinforcement Learning and...

Java programmers know how finicky Java can be to work with. An omitted semi-colon or the slightest typo will cause the Java command-line compiler to spew pages of annoying error messages across your screen. And it doesn't fix them--that's up to you: fix...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780692653326Author Tim PatrickFormat PaperbackPage Count 580Imprint Owani PressPublisher Owani PressWeight(grams) 984gDimensions(mm) 235mm * 191mm * 30mm

Whether you're an experienced programmer looking to get into Python or grizzled Python veteran who remembers the days when you had to import the string module, Dive Into Python is your 'desert island' Python book. - Joey deVilla, Slashdot contributor ...

This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions. The first section is devoted to...

Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and...

Enter a world of hardcore back-end, server-side enterprise programming on the .NET platform. This book presents some of the important aspects of the C++/CLI language that often become a barrier preventing programmers from exploring further. The C++/CLI...

When it comes to network security, many users and administrators are running scared, and justifiably so. The sophistication of attacks against computer systems increases with each new Internet worm. What's the worst an attacker can do to you? You'd...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780692573426Author Ayesha KhanFormat PaperbackPage Count 114Imprint Anthony DepalmaPublisher Anthony DepalmaWeight(grams) 163gDimensions(mm) 229mm * 152mm *...

Effective, readable, and robust codes in PHP About This Book * Leverage the newest tools available in PHP 7 to build scalable applications * Embrace serverless architecture and the reactive programming paradigm, which are the latest additions to the PHP...

Take your software to the next level and solve real-world data science problems by learning to build production-ready machine-learning solutions using LightGBM and Python. Key Features Start your ML journey with LightGBM, a powerful gradient-boosting...

Want to learn how to program and think like a computer scientist? This practical guide gets you started on your programming journey with the help of Perl 6, the younger sister of the popular Perl programming language. Ideal for beginners, this hands-on...

This text introduces the simple but powerful capabilities of XML-RPC, a system for remote procedure calls built on XML and the HTTP protocol. XML-RPC lets developers connect programs running on different computers with a minimum of fuss, by wrapping...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9788119177134Author Odette WindsorFormat PaperbackPage Count 190Imprint GitforgitsPublisher GitforgitsWeight(grams) 336gDimensions(mm) 235mm * 191mm * 10mm

Familiarize yourself with Octave using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting, and working with files in Octave, which can run MATLAB...

Learn how to apply powerful data analysis techniques with popular open source Python modules About This Book * Find, manipulate, and analyze your data using the Python 3.5 libraries * Perform advanced, high-performance linear algebra and mathematical...

However excellent they are, most computer books are inherently passive--readers simply take in text without having any opportunity to react to it. The Oracle PL/SQL Developer's Workbook is a different kind of animal! It's designed to engage you...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781943872053Author Zak RuvalcabaFormat PaperbackPage Count 620Imprint Mike Murach & Associates Inc.Publisher Mike Murach & Associates Inc.Weight(grams) 1236g

Get a concise introduction to Jasmine, the popular behavior-driven testing framework for JavaScript. This practical guide shows you how to write unit tests with Jasmine that automatically check for bugs in your application. Learn how to write...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780972903356Author Alex DecariaFormat PaperbackPage Count 372Imprint Sundog Publishing, LLCPublisher Sundog Publishing, LLCWeight(grams) 835gDimensions(mm)...

The popular open source KDE desktop environment for Unix was built with Qt, a C++ class library for writing GUI applications that run on Unix, Linux, Windows 95/98, Windows 2000, and Windows NT platforms. Qt emulates the look and feel of Motif, but is...

Learn how to automate unit tests of Python 3 with automation libraries, such as doctest, unittest, nose, nose2, pytest, and selenium. This book explores important concepts in software test automation and demonstrates how to automate, organize, and...

Put your web app design skills to work by learning how to create powerful and portable Chrome Apps. With this practical book, you'll learn how to build Google's unique apps to behave just like native apps so they can interact with hardware devices,...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780692614914Author Keshav PatelFormat PaperbackPage Count 130Imprint Learntoprogram, IncorporatedPublisher Learntoprogram, IncorporatedWeight(grams)...

Given Perl's natural fit for web applications development, it's no surprise that Perl is also a natural choice for web services development. It's the most popular web programming language, with strong implementations of both SOAP and XML-RPC, the leading...

You've probably heard the buzz about Eclipse, the powerful open source platform that gives Java developers a new way to approach development projects. It's like a shiny new car--no longer content to just admire Eclipse, you're now itching to get in and...

Over 80 object-oriented recipes to help you create mind-blowing GUIs in Python About This Book * Use object-oriented programming to develop amazing GUIs in Python * Create a working GUI project as a central resource for developing your Python GUIs *...

Discover the Django web application framework and get started building Python-based web applications. This book takes you from the basics of Django all the way through to cutting-edge topics such as creating RESTful applications. Beginning Django also...

Transform physical phenomena into computer-acceptable data using a truly object-oriented language About This Book * Create your own data acquisition system independently using LabVIEW and build interactive dashboards * Collect data using National...

Build robust and scalable Java applications by learning how to implement every aspect of software architecture Key Features * Understand the fundamentals of software architecture and build production-grade applications in Java * Make smart architectural...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781946383082Author Vibrant PublishersFormat PaperbackPage Count 201Imprint Vibrant PublishersPublisher Vibrant PublishersWeight(grams) 272g