Learn IT - Books tags formal

Art of Computer Programming, Volume 2: Seminumerical Algorithms (3rd Edition)

Addison Wesley, 1997

The bible of all fundamental algorithms and the work that taught many of today's software developers most of what they know about computer programming.

–Byte, September 1995

...

Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science)

Cambridge University Press, 2013

Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of...

Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science)

Cambridge University Press, 2005

This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating new information and getting rid of all outdated information, and yet in the process not disturb any other information in the database? The author has produced a formal method of specifying the...

Computer Science in Perspective: Essays Dedicated to Thomas Ottmann (Lecture Notes in Computer Science)

Springer, 2003

By presenting state-of-the-art aspects of theoretical computer science and practical applications in various fields, this book commemorates the 60th birthday of Thomas Ottmann.

The 26 research papers presented span the whole range of Thomas Ottmann's scientific career, from formal languages to algorithms and data...

Deploying Chromebooks in the Classroom: Planning, Installing, and Managing Chromebooks in Schools and Colleges

Apress, 2018

Learn how to deploy Chromebook computers in a classroom or lab situation and how to navigate the hardware and software choices you face.

This book equips you with the skills and knowledge to plan and execute a deployment of Chromebook computers in the classroom. Teachers and IT administrators at schools will...

Jenkins Fundamentals: Accelerate deliverables, manage builds, and automate pipelines with Jenkins

Packt Publishing, 2018

Continuous integration with Jenkins speeds up your projects and saves you time and money

Key Features

Get a perfect balance of theories and hands-on activities

Apply continuous integration and delivery to your workflow

Explore concepts such as the plugin...

Veracity of Big Data: Machine Learning and Other Approaches to Verifying Truthfulness

Apress, 2018

Examine the problem of maintaining the quality of big data and discover novel solutions. You will learn the four V’s of big data, including veracity, and study the problem from various angles. The solutions discussed are drawn from diverse areas of engineering and math, including machine learning, statistics, formal methods, and...

Complete Guide to Test Automation: Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects

Apress, 2018

Rely on this robust and thorough guide to build and maintain successful test automation. As the software industry shifts from traditional waterfall paradigms into more agile ones, test automation becomes a highly important tool that allows your development teams to deliver software at an ever-increasing pace without compromising...

Mastering 3D Printing in the Classroom, Library, and Lab (Technology in Action)

Apress, 2018

Learn how to manage and integrate the technology of 3D printers in the classroom, library, and lab. With this book, the authors give practical, lessons-learned advice about the nuts and bolts of what happens when you mix 3D printers, teachers, students, and the general public in environments ranging from K-12 and university classrooms...

Complex Enterprise Architecture: A New Adaptive Systems Approach

Apress, 2019

Implement successful and cost-effective enterprise architecture projects. This book provides a new approach to developing enterprise architecture based on the idea of emergent behaviors?where instead of micromanaging system implementation, the enterprise architecture effort establishes clear goals and leaves the details to the...

Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, ... in Information and Communication Technology)

Springer, 2010

Thisvolumecontainstheinvitedandregularpaperspresentedat TCS 2010,the 6thIFIP International Conference on Theoretical Computer Science, organised by IFIP Tech- cal Committee 1 (Foundations of Computer Science) and IFIP WG 2.2 (Formal - scriptions of Programming Concepts) in association with SIGACT and EATCS. TCS 2010 was part of the World...

Advances in Intelligent Networking and Collaborative Systems: The 11th International Conference on Intelligent Networking and Collaborative Systems ... in Intelligent Systems and Computing)

Springer, 2019

This book presents the latest innovative research findings, methods, and development techniques related to intelligent social networks and collaborative systems, intelligent networking systems, mobile collaborative systems, and secure intelligent cloud systems. Offering both theoretical and practical perspectives, it also reveals...

Result Page: 12 11 10 9 8 7 6 5 4 3 2 1