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