Electronic Books

Total Books: 1301 - 1320 /1446

System Modeling and Optimization (vol. # 166)

System Modeling and Optimization is an indispensable reference for anyone interested in the recent advances in these two ...

System Modeling and Optimization (vol. # 199)

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

SystemVerilog for Verification

Provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic ...

Systems and Virtualization Management. Standards and New Technologies : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings

This book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...

Systems, Control, Modeling and Optimization

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Systems, Software and Services Process Improvement

This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...

Taking Your iPod touch to the Max

Fast and fun to read, Taking Your iPod touch to the Max gives you all the tips and techniques you could ever think of to ...

Technical, Economic and Societal Effects of Manufacturing 4.0 Automation, Adaption and Manufacturing in Finland and Beyond

This book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, ...

Temporal Logic and State Systems

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...

Term Rewriting and Applications

This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...

Term Rewriting and Applications (vol. # 3467)

This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...

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, ...

Testing and Tuning Market Trading Systems : Algorithms in C++ / Timothy Masters

Build, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. This book ...

Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...

Tests and Proofs

Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...

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 ...

Total Books: 1301 - 1320 /1446