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 ...
Lire la suite
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 ...
Lire la suiteText 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 ...
Lire la suite
The Agent Modeling Language - AML
During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Lire la suite
The Agent Modeling Language - AML
During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...
Lire la suite
The Algorithm Design Manual
The reader-friendly Algorithm Design Manual provides straightforward access to combinatorial algorithms technology, stressing ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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. ...
Lire la suite
The Career Programmer
This guide, delivered with the wit and aplomb to make a serious topic entertaining and palatable, will help you survive the ...
Lire la suite
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 ...
Lire la suite
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. ...
Lire la suite
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, ...
Lire la suite
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, ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
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. ...
Lire la suite
The Definitive Guide to ImageMagick
An open source project backed by years of continual development, ImageMagick supports over 90 image formats and can perform ...
Lire la suite
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 ...
Lire la suite
