Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: (swash OR sat)-place*
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Search alternatives
:
swash »
slash
,
swath
,
smash
sat »
salt
,
satz
Showing
341
-
360
of
796
Search:
'(swash OR sat)-place*'
,
query time: 0.09s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
341
Mut zur Meinung : Genres und Selbstsichten von Meinungsjournalisten
by
Degen, Matthias
Published 2004
VS Verlag für Sozialwissenschaften
Table of Contents:
“
... Kionzuckec,N24/ProSieben/
Sat
.1/Kabel 1...
”
Read Now
342
Proceedings of the 44th Annual American Astronautical Society Guidance, Navigation, and Control Conference, 2022
Published 2024
Springer International Publishing
Table of Contents:
“
...Chapter 10: Advancing Asteroid Spacecraft GNC Technology Using Student Built Cube
Sat
Centrifuge...
”
Read Now
343
Second International Conference on Sustainable Technologies for Computational Intelligence : Proceedings of ICTSCI 2021
Published 2022
Springer Nature Singapore
Table of Contents:
“
... Based on Configuration of Cube
Sats
Used for Communication Technology -- Ontology Driven Software...
”
Read Now
344
Handbook of Mathematical Models and Algorithms in Computer Vision and Imaging : Mathematical Imaging and Vision
Published 2023
Springer International Publishing
Table of Contents:
“
...1. An Overview of
SaT
Segmentation Methodology and Its Applications in Image Processing -- 2...
”
Read Now
345
Sidney and Beatrice Webb : An Academic Biography
by
Reisman, David
Published 2022
Palgrave Macmillan
“
...
sat
on Royal Commissions, permeated local and central government, and were instrumental...
”
Read Now
346
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II
Published 2024
Springer Nature Switzerland
“
... proving and tools;
SAT
, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi...
”
Read Now
347
Recent Advances in Constraints : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Paper...
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... Algorithm for Balanced Incomplete Block Designs -- The Effect of Nogood Recording in DPLL-CBJ
SAT
Algorithms...
”
Read Now
348
Pandas workout : 200 exercises to make you a stronger data analyst
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...
”
Call Number:
QA76.73.P98
Read Now
349
Narzędzie samooceny dla jednostek samorządu lokalnego w Polsce : Wzmacnianie zarządzania na rzecz bardziej efektywnych strategii rozwoju
Published 2021
OECD Publishing
“
...Niniejszy dokument przedstawia Narzędzie samooceny (
SAT
), którego celem jest wspieranie jednostek...
”
Read Now
350
Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
Published 2017
Springer International Publishing
“
... and Applications of Satisfiability Testing (
SAT
2017) and the 33rd International Conference on Logic Programming...
”
Read Now
351
Central Courts in Early Modern Europe and the Americas
Published 2020
Duncker & Humblot
“
..., or equivalent bodies, which
sat
outside the ordinary course of justice. Typically these were empowered on behalf...
”
Read Now
352
Pandas workout
by
Lerner, Reuven
Published 2024
Manning Publications
“
... many sources: the New York taxi fleet, Olympic athletes,
SAT
scores, oil prices, and more. Each can...
”
Call Number:
QA76.73.P98
Read Now
353
Tools and Algorithms for the Construction and Analysis of Systems : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice...
Published 2011
Springer Berlin Heidelberg
“
..., timed and probabilistic systems, interpolations and
SAT
-solvers, learning, model checking, games...
”
Read Now
354
NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Published 2011
Springer Berlin Heidelberg
“
... and stochastic systems,
SAT
and SMT solvers, symbolic execution, abstraction and abstraction refinement...
”
Read Now
355
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Published 2018
Springer International Publishing
“
..., tools, probabilistic systems, static analysis, theory and security,
SAT
, SMT and decisions procedures...
”
Read Now
356
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Published 2018
Springer International Publishing
“
..., tools, probabilistic systems, static analysis, theory and security,
SAT
, SMT and decisions procedures...
”
Read Now
357
Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... -- On-the-Fly Dynamic Dead Variable Analysis --
SAT
-Based Summarization for Boolean Programs -- LTL...
”
Read Now
358
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Published 2020
Springer International Publishing
Table of Contents:
“
... Constraints --
SAT
; SMT and QBF -- An SMT Theory of Fixed-Point Arithmetic -- Covered Clauses...
”
Read Now
359
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2023
Springer Nature Switzerland
Table of Contents:
“
... -- Unsatisfiability Proofs for Distributed Clause-Sharing
SAT
Solvers -- Carcara: An effcient proof checker...
”
Read Now
360
Algorithms and Computation : 8th International Symposium, ISAAC'97, Singapore, December 17-19, 1997, Proceedings.
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
...-scale logistics -- Hard instance generation for
SAT
-- Playing tetris on meshes and multi-dimensional...
”
13
14
15
16
17
18
19
20
21
22
23
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
142
004 - Data processing & computer science
137
006 - Special computer methods
123
780 - Music
29
820 - English & Old English literatures
29
600 - Technology
27
more ...
621 - Applied physics
27
518 - Numerical analysis
24
620 - Engineering & allied operations
21
900 - History & geography
19
330 - Economics
17
629 - Other branches of engineering
16
000 - Computer science, information & general works
15
320 - Political science
14
340 - Law
14
551 - Geology, hydrology & meteorology
13
500 - Natural sciences & mathematics
12
511 - General principles of mathematics
12
380 - Commerce, communications & transportation
11
616 - Diseases
11
658 - General management
11
333 - Economics of land & energy
9
700 - The arts; fine & decorative arts
9
300 - Social sciences
8
519 - Probabilities & applied mathematics
8
910 - Geography & travel
8
550 - Earth sciences
7
570 - Life sciences; biology
7
576 - Genetics & evolution
7
003 - Systems
6
302 - Social interaction
6
153 - Mental processes & intelligence
5
530 - Physics
5
610 - Medicine & health
5
650 - Management & auxiliary services
5
670 - Manufacturing
5
363 - Other social problems & services
4
371 - Schools & their activities; special education
4
580 - Plants (Botany)
4
745 - Decorative arts
4
160 - Logic
3
200 - Religion
3
304 - Factors affecting social behavior
3
360 - Social problems & services; associations
3
370 - Education
3
390 - Customs, etiquette & folklore
3
512 - Algebra
3
520 - Astronomy & allied sciences
3
720 - Architecture
3
800 - Literature & rhetoric
3
100 - Philosophy & psychology
2
120 - Epistemology, causation & humankind
2
140 - Specific philosophical schools
2
150 - Psychology
2
155 - Differential & developmental psychology
2
158 - Applied psychology
2
170 - Ethics
2
220 - Bible
2
240 - Christian moral & devotional theology
2
280 - Christian denominations & sects
2
303 - Social processes
2
338 - Production
2
358 - Air & other specialized forces
2
381 - Commerce
2
414 - Phonology & phonetics
2
510 - Mathematics
2
515 - Analysis
2
523 - Specific celestial bodies & phenomena
2
572 - Biochemistry
2
615 - Pharmacology & therapeutics
2
870 - Italic literatures; Latin literature
2
001 - Knowledge
1
025 - Library operations
1
027 - General libraries
1
070 - News media, journalism & publishing
1
230 - Christianity & Christian theology
1
250 - Christian orders & local church
1
290 - Other religions
1
297 - Islam, Babism & Bahai Faith
1
301 - Sociology & anthropology
1
327 - International relations
1
331 - Labor economics
1
332 - Financial economics
1
337 - International economics
1
339 - Macroeconomics & related topics
1
341 - Law of nations
1
364 - Criminology
1
400 - Language
1
516 - Geometry
1
537 - Electricity & electronics
1
540 - Chemistry & allied sciences
1
553 - Economic geology
1
577 - Ecology
1
579 - Microorganisms, fungi & algae
1
581 - Specific topics in natural history
1
612 - Human physiology
1
617 - Surgery & related medical specialties
1
624 - Civil engineering
1
627 - Hydraulic engineering
1
630 - Agriculture & related technologies
1
see all ...
less ...
Language
English
713
German
57
Latin
6
Italian
2
Undetermined
2
Danish
1
more ...
French
1
Middle French
1
Polish
1
Spanish
1
Welsh
1
see all ...
less ...
Collection
Springer eBooks 2005-
445
Springer Book Archives -2004
158
Eighteenth Century Collections Online / ECCO
71
Directory of Open Access Books
36
O'Reilly
29
Music Online Reference
17
more ...
JSTOR Open Access Books
7
SPIE Conference Proceedings
7
Nomos
5
Making of the Modern World
4
wiso-net eBooks
4
Duncker & Humblot eBooks 2007-
3
OAPEN
2
OECD Books and Papers
2
Edward Elgar eBooks Collection Business & Economics
1
IEEE Conference Proceedings
1
Lecture Notes in Computer Science
1
Making of Modern Law / Legal Treatises
1
National Center for Biotechnology Information
1
VDE NormenBibliothek
1
see all ...
less ...
Author
Lasso, Orlando di
11
Sandberger, Adolf
11
Drechsler, Rolf
8
Voronkov, Andrei
8
SpringerLink (Online service)
7
More, Hannah
6
more ...
Pardalos, Panos M.
6
Swash, Michael
6
Rozenberg, Grzegorz
5
Collet, Pierre
4
Giambene, Giovanni
4
Great Britain Court of King's Bench
4
Hamadi, Youssef
4
Jansen, Klaus
4
Mayr, Ernst W.
4
Schwartz, Martin S.
4
Calmet, Jacques
3
Du, Ding-Zhu
3
Gibbons, John
3
Guo, Qing
3
Havelund, Klaus
3
Huhn, Sebastian
3
Huisman, Marieke
3
Jia, Min
3
Kroening, Daniel
3
Lerner, Reuven
3
Madry, Scott
3
Meng, Weixiao
3
Milano, Michela
3
Moreland, John
3
Pelton, Joseph N.
3
Pillai, Prashant
3
Pärt, Arvo
3
Sofronie-Stokkermans, Viorica
3
Sokolinsky, Leonid
3
Strichman, Ofer
3
Zymbler, Mikhail
3
van der Hoek, Wiebe
3
Ahrendt, Wolfgang
2
Autexier, Serge
2
Bai, Quan
2
Baldoni, Matteo
2
Ball, Thomas
2
Battistini, Simone
2
Beck, J. Christopher
2
Benzmüller, Christoph
2
Beyer, Dirk
2
Biere, Armin
2
Blum, Christian
2
Boehm, Barry
2
Bosnacki, Dragan
2
Bramer, Max
2
Camacho-Lara, Sergio
2
Cavalcanti, Ana
2
Chockler, Hana
2
Chwa, Kyung-Yong
2
Cimatti, Alessandro
2
Creignou, Nadia
2
Dastani, Mehdi
2
Dehne, Frank
2
Dershowitz, Nachum
2
Dilkina, Bistra
2
Ding, Xiaojin
2
Dolev, Shlomi
2
Edelkamp, Stefan
2
Eggersglüß, Stephan
2
Erwin, Daniel
2
Esparza, Javier
2
Fey, Görschwin
2
Furbach, Ulrich
2
Gerdt, Vladimir P.
2
Giunchiglia, Enrico
2
Giunchiglia, Fausto
2
Gottlob, Georg
2
Greco, Gianluigi
2
Grumberg, Orna
2
Gupta, Aarti
2
Hadley, Dawn
2
Halhed, Nathaniel Brassey
2
Hermanns, Holger
2
Heule, Marijn J.H.
2
Holzmann, Gerard
2
Jearanaitanakij, Kietikul
2
Joshi, Rajeev
2
Juvenal
2
Kao, Ming-Yang
2
Kidd, Christopher
2
Kirschbaum, Dalia B.
2
Klawonn, Frank
2
Klügl, Franziska
2
Koepf, Wolfram
2
Kolesnikov, Vladimir
2
Konev, Boris
2
Kucera, Antonin
2
Kummerow, Christian D.
2
Legay, Axel
2
Leite, Joao
2
Levizzani, Vincenzo
2
Lutton, Evelyne
2
Madni, Azad M.
2
see all ...
less ...
Recently Uploaded
Last Month
16
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=18&lookfor=%28swash+OR+sat%29-place%2A&type=AllFields
Send by Email
×
Loading...