Search alternatives:
swash » slash, swath, smash
sat » salt, satz
Cover Image
Read Now

341
by Degen, Matthias
Published 2004
VS Verlag für Sozialwissenschaften
Table of Contents: “... Kionzuckec,N24/ProSieben/Sat.1/Kabel 1...”
Cover Image
Read Now

342
Published 2024
Springer International Publishing
Table of Contents: “...Chapter 10: Advancing Asteroid Spacecraft GNC Technology Using Student Built CubeSat Centrifuge...”
Cover Image
Read Now

343
Published 2022
Springer Nature Singapore
Table of Contents: “... Based on Configuration of CubeSats Used for Communication Technology -- Ontology Driven Software...”
Cover Image
Read Now

344
Published 2023
Springer International Publishing
Table of Contents: “...1. An Overview of SaT Segmentation Methodology and Its Applications in Image Processing -- 2...”
Cover Image
Read Now

345
by Reisman, David
Published 2022
Palgrave Macmillan
“... sat on Royal Commissions, permeated local and central government, and were instrumental...”
Cover Image
Read Now

346
Published 2024
Springer Nature Switzerland
“... proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi...”
Cover Image
Read Now

347
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Algorithm for Balanced Incomplete Block Designs -- The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms...”
Cover Image
Read Now

348
by Lerner, Reuven
Published 2024
Manning Publications Co.
“... many sources: the New York taxi fleet, Olympic athletes, SAT scores, oil prices, and more. Each can...”
Cover Image
Read Now

349
Published 2021
OECD Publishing
“...Niniejszy dokument przedstawia Narzędzie samooceny (SAT), którego celem jest wspieranie jednostek...”
Cover Image
Read Now

350
Published 2017
Springer International Publishing
“... and Applications of Satisfiability Testing (SAT 2017) and the 33rd International Conference on Logic Programming...”
Cover Image
Read Now

351
Published 2020
Duncker & Humblot
“..., or equivalent bodies, which sat outside the ordinary course of justice. Typically these were empowered on behalf...”
Cover Image
Read Now

352
by Lerner, Reuven
Published 2024
Manning Publications
“... many sources: the New York taxi fleet, Olympic athletes, SAT scores, oil prices, and more. Each can...”
Cover Image
Read Now

353
Published 2011
Springer Berlin Heidelberg
“..., timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games...”
Cover Image
Read Now

354
Published 2011
Springer Berlin Heidelberg
“... and stochastic systems, SAT and SMT solvers, symbolic execution, abstraction and abstraction refinement...”
Cover Image
Read Now

355
Published 2018
Springer International Publishing
“..., tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures...”
Cover Image
Read Now

356
Published 2018
Springer International Publishing
“..., tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures...”
Cover Image
Read Now

357
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- On-the-Fly Dynamic Dead Variable Analysis -- SAT-Based Summarization for Boolean Programs -- LTL...”
Cover Image
Read Now

358
Published 2020
Springer International Publishing
Table of Contents: “... Constraints -- SAT; SMT and QBF -- An SMT Theory of Fixed-Point Arithmetic -- Covered Clauses...”
Cover Image
Read Now

359
Published 2023
Springer Nature Switzerland
Table of Contents: “... -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker...”
Cover Image
Read Now

360
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...-scale logistics -- Hard instance generation for SAT -- Playing tetris on meshes and multi-dimensional...”