Quality of Information and Communications Technology
This book constitutes the refereed proceedings of the 13th International Conference on the Quality of Information and Communications ...
Weiterlesen
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
This book presents a comprehensive description of theory, algorithms and software for solving nonconvex mixed integer nonlinear ...
Weiterlesen
Reversible Computation
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
Weiterlesen
Software Architecture
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...
Weiterlesen
Software Architecture
This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, ...
Weiterlesen
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Weiterlesen
Software Process Improvement : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings
This book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation ...
Weiterlesen
Strategic Supply Chain Management in Process Industries
More and more often practitioners in process industry have to adapt their global production networks to changes in the competitive ...
Weiterlesen
Supercomputing
This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
Weiterlesen
Systems, Software and Services Process Improvement
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
Weiterlesen
Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
Weiterlesen
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
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 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
Understanding and Using Linear Programming
This is an introductory textbook of linear programming, written mainly for students of computer science and mathematics. ...
Weiterlesen
Windows System Programming / Johnson M. Hart
Covers the stuff that real systems programmers absolutely must know. Recommended."-Chris Sells, Microsoft Corporation"This ...
Weiterlesen
Writing mental ray shaders : A Perceptual Introduction
The word "render" isn't unique to the vocabulary of computer graphics. We can talk about a "watercolor rendering," a ...
Weiterlesen
