Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lee mas
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lee masText Analytics : An Introduction to the Science and Applications of Unstructured Information Analysis / John Atkinson-Abutridy
A concise and accessible introduction to the science and applications of text analytics (or text mining), which enables automatic ...
Lee mas
The Agent Modeling Language - AML
During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Lee mas
The Agent Modeling Language - AML
During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Lee mas
The Algorithm Design Manual
The reader-friendly Algorithm Design Manual provides straightforward access to combinatorial algorithms technology, stressing ...
Lee mas
The Basics of S-PLUS
This book explains the basics of S-PLUS in a clear style at a level suitable for people with little computing or statistical ...
Lee mas
The Berkeley DB Book
The Berkeley DB Book is a practical guide to the intricacies of the Berkeley DB. This book covers in-depth the complex design ...
Lee mas
The Best Software Writing I
Will appeal to the same (large) audience as Joel on Software * Contains exclusive commentary by Joel * Lots of free publicity ...
Lee mas
The Best of Verity Stob
Verity Stob is the comedienne of the programming world. She has been writing satirical chronicles of techie life since 1988. ...
Lee mas
The Career Programmer
This guide, delivered with the wit and aplomb to make a serious topic entertaining and palatable, will help you survive the ...
Lee mas
The Challenge of Anticipation : A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems
This book proposes a unifying approach for the analysis and design of artificial cognitive systems: The Anticipatory Approach. The ...
Lee mas
The Common Component Modeling Example : Comparing Software Component Models
The Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. ...
Lee mas
The Complete IS-IS Routing Protocol
The book presents a wide range of problems concerning operation of the IS-IS routing protocol based on ISO-OSI standards, ...
Lee mas
The Constitution of Algorithms: Ground-Truthing, Programming, Formulating / Florian Jaton
Offers a new way to study computerized methods, providing an account of where algorithms come from and how they are constituted, ...
Lee mas
The Definitive Guide to Apache MyFaces and Facelets
The Definitive Guide to Apache MyFaces and Facelets is an ideal reference if you're looking to develop real–world applications ...
Lee mas
The Definitive Guide to Building Java Robots
The Definitive Guide to Building Java Robots is for educators, students, hobbyists, and startups looking for Java/hardware ...
Lee mas
The Definitive Guide to Django : Web Development Done Right
Django, the Python–based equivalent to the Ruby on Rails web development framework, is hottest topics in web development. ...
Lee mas
The Definitive Guide to ImageMagick
An open source project backed by years of continual development, ImageMagick supports over 90 image formats and can perform ...
Lee mas
The Definitive Guide to Java Swing
This book shows you the parts of Java Swing API that you will use daily to create graphical user interfaces (GUI). You will ...
Lee mas
