Cover Image
Read Now

241
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- Structural Properties of XPath Fragments -- On Reasoning about Structural Equality in XML: A Description...”
Cover Image
Read Now

242
by Drechsler, Rolf, Eggersglüß, Stephan, Fey, Görschwin, Tille, Daniel
Published 2009
Springer Netherlands
Table of Contents: “...Preliminaries -- Boolean Satisfiability -- SAT-Based ATPG -- Learning Techniques -- Multiple-Valued...”
Cover Image
Read Now

246
by Smith, Kevin D., Meng, Xiangxiang
Published 2017
SAS Institute
Table of Contents: “...Installing Python, SAS SWAT, and CAS -- The ten-minute guide to using CAS from Python...”
Cover Image
Read Now

247
Published 2022
Springer Nature Singapore
Table of Contents: “...Hydrological Risk Assessment using SWAT Model and Drastic Method – An Application to Chennai...”
Cover Image
Read Now

248
by McGill, Scott
Published 2005
Oxford University Press
“...The Virgilian centos anticipate the avante-garde and smash the image of a staid, sober and centered...”
Cover Image
Read Now

249
Published 2011
Springer Berlin Heidelberg
Table of Contents: “... and Validation of the Hydrological Component of SWAT in a large Lowland Catchment -- Automatic Calibration...”
Cover Image
Read Now

250
by Broniek, Przemysław
Published 2015
Springer International Publishing
“... over a fixed algebra A has a solution. It examines in detail the two problems this leads to: SysTermSat...”
Cover Image
Read Now

251
by Trimmer, Sarah
Published 1792
printed by John Marshall, at No. 4, Aldermary Church-Yard, Bow-Lane, and No. 17, Queen-Street, Cheapside
Cover Image
Read Now

253
by Flournoy, Don M.
Published 2012
Springer New York
Table of Contents: “...Preface -- Chapter 1: What Is a Solar Power Satellite? -- Chapter 2: What are the Principal SunSat...”
Cover Image
Read Now

254
by Wood, Lesley J.
Published 2012
Cambridge University Press
Table of Contents: “... revolution -- 8. Talking about smashing -- 9. Not like us -- 10. The cops and the courts -- 11. After 9/11...”
Cover Image
Read Now

255
by de Haan, Ronald
Published 2019
Springer Berlin Heidelberg
Table of Contents: “...Complexity Theory and Non-determinism -- Parameterized Complexity Theory -- Fpt-Reducibility to SAT...”
Cover Image
Read Now

256
Published 2019
Springer International Publishing
Table of Contents: “...SAT and SMT -- Decomposing Farkas Interpolants -- Parallel SAT Simplification on GPU Architectures...”
Cover Image
Read Now

257
by Harold, Elliotte Rusty
Published 2004
O'Reilly
Table of Contents: “... on the Web -- XSL transformations (XSLT) -- XPath -- XLinks -- XPointers -- XInclude -- Cascading Style...”
Cover Image
Read Now

258
by Baues, Hans J.
Published 1981
Cambridge University Press
“... homotopy operations (composition and addition of maps, smash products, Whitehead products and higher order...”
Cover Image
Read Now

259
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Netlists via Synergistic Reparameterization and Localization Strategies -- A New SAT-Based Algorithm...”
Cover Image
Read Now

260
by Schneider, Armin
Published 2021
Walhalla u. Praetoria Verlag GmbH & Co. KG
“..., Xenia Roth, Dr. Andy Schieler, Lara Schindler, Prof. Dr. Armin Schneider, Dr. Marina Swat, Michael...”