Theory and Applications of Satisfiability Testing - SAT 2007
Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
Weiterlesen
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Weiterlesen
Theory and Approach of Information Retrievals from Electromagnetic Scattering and Remote Sensing
This book presents some new progress on the theoretical and numerical approaches for information retrieval of the remote ...
Weiterlesen
Theory and Mathematical Methods for Bioformatics
This monograph addresses, in a systematic and pedagogical manner, the mathematical methods and the algorithms required to ...
Weiterlesen
Theory of Computation
Theory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of ...
Weiterlesen
Theory of Cryptography
TCC 2007, the Fourth Theory of Cryptography Conference, was held in Amsterdam, The Netherlands, from February 21 to 24, 2007, ...
Weiterlesen
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Weiterlesen
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Weiterlesen
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Weiterlesen
Theory of Cryptography : Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings
The papers are organized in 16 sessions dealing with the paradigms, approaches and techniques used to conceptualize, define ...
Weiterlesen
Theory of Evolutionary Computation
Reports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search ...
WeiterlesenTheory of Periodic Conjugate Heat Transfer
A new calculation method is presented for heat transfer in coupled convective-conductive fluid-wall systems under periodical ...
Weiterlesen
Theory of Quantum Computation, Communication, and Cryptography : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
This book focus on theoretical aspects of quantum computation, quantum communication, and quantum cryptography, which are ...
Weiterlesen
Thermodynamic Equilibria and Extrema
This book discusses mathematical models that are based on the concepts of classical equilibrium thermodynamics. They are ...
Weiterlesen
Throughput Optimization in Robotic Cells
Intense global competition in manufacturing has compelled manufacturers to incorporate repetitive processing and automation ...
Weiterlesen
Thyroid Cytopathology
Thyroid Cytopathology uses a simple algorithmic approach to the diagnosis of thyroid fine needle aspirations (FNA). This ...
Weiterlesen
Théorie élémentaire et pratique de la commande par les régimes glissants
This work proposes to apply the Sliding Regimes (RG) algorithms to industrial regulation and servo loops controlled to date ...
Weiterlesen
Time-Dependent Scheduling
Time-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. ...
Weiterlesen
Tooling
The latest instalment in the renowned Pamphlet Architecture series features the technologically progressive young firm Aranda/Lasch, ...
Weiterlesen
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 ...
Weiterlesen
