Electronic Books

Total Books: 1081 - 1100 /1153
NoIMG
Theoretical Advances and Applications of Fuzzy Logic and Soft Computing

This book comprises a selection of papers from the IFSA 2007 World Congress on theoretical advances and applications of fuzzy ...

Continue reading
978-3-030-59267-7
Theory and Applications of Models of Computation

This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...

Continue reading
978-3-319-59614-3
Theory and Applications of Ordered Fuzzy Numbers

This open access book offers comprehensive coverage on Ordered Fuzzy Numbers, providing readers with both the basic information ...

Continue reading
978-3-540-69224-9
Theory and Applications of Relational Structures as Knowledge Instruments II

This book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...

Continue reading
978-3-030-64375-1
Theory of Cryptography

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...

Continue reading
978-0-387-72250-4
Thermal Processing of Packaged Foods

Thermal Processing of Packaged Foods, Second Edition, discusses the physical and engineering aspects of the thermal processing ...

Continue reading
978-3-540-71400-2
Thermal Stress Resistance of Materials

This book deals with the problem of a bearing capacity and fracture of thermally loaded materials. The treatise is based ...

Continue reading
978-3-540-72532-9
Three-Dimensional Television : Capture, Transmission, Display

3DTV require the integration of a diversity of key technologies from computing to graphics, imaging to display, and signal ...

Continue reading
978-0-8176-4431-4
Time--Frequency and Time--Scale Methods

Developed in this book are several deep connections between time--frequency (Fourier/Gabor) analysis and time--scale (wavelet) ...

Continue reading
978-3-030-72016-2
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

Continue reading
978-3-030-72013-1
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...

Continue reading
978-3-030-17462-0
Tools and Algorithms for the Construction and Analysis of Systems

This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...

Continue reading
NoIMG
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

Continue reading
978-3-540-33213-8
Topics in Acoustic Echo and Noise Control

In this book, an international team of highly qualified experts treats important topics in acoustic echo and noise control ...

Continue reading
978-3-540-77915-5
Towards Affordance-Based Robot Control : International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006. Revised Papers

Today’s mobile robot perception is insufficient for acting goal-directedly in unconstrained, dynamic everyday environments ...

Continue reading
978-3-030-52829-4
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges

This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...

Continue reading
978-3-540-89897-9
Towards a Service-Based Internet : First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings

This volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business ...

Continue reading
978-3-540-79299-4
Transactions on Computational Science I

This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...

Continue reading
978-3-662-61983-4
Transactions on Computational Science XXXVII

This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...

Continue reading
978-3-540-89876-4
Transactions on Rough Sets IX

This book providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions ...

Continue reading
Total Books: 1081 - 1100 /1153