Theoretical and Practical Advances in Computer-based Educational Measurement
Presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical ...
Continue reading
Theory and Applications of Satisfiability Testing (vol. # 3542)
This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...
Continue reading
Theory and Applications of Satisfiability Testing (vol. # 3569)
SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...
Continue reading
Theory and Applications of Satisfiability Testing - SAT 2006
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Trustworthy Global Computing
Constitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...
Continue reading
Understanding Statistics and Experimental Design
This textbook provides the background needed to correctly use, interpret and understand statistics and statistical data in ...
Continue reading
Use Case Driven Object Modeling with UML
Use Case Driven Object Modeling with UML: Theory and Practice shows how to drive an object-oriented software design from ...
Continue reading
VEE Pro: Practical Graphical Programming
Each of the 18 lessons introduces new programming objects, concepts or techniques that can be presented in a whole-group ...
Continue reading
VLSI-SOC: From Systems to Chips
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
Vermin, Victims and Disease : British Debates over Bovine Tuberculosis and Badgers
This book provides the first critical history of the controversy over whether to cull wild badgers to control the spread ...
Continue reading
Vlsi-Soc: From Systems To Silicon
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue reading
Web Component Development with Zope 3
New Zope 3 is a web applications server written in Python that allows developing complex web applications rapidly and collaboratively. ...
Continue reading
Web Engineering
This is the first book that looks at Web engineering from a measurement perspective. The result is a self-containing, comprehensive ...
Continue reading
