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