Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: (slas OR ((sath OR sat) OR space))(-plate OR -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
:
slas »
slabs
,
seas
,
sas
sath »
sathe
,
saith
,
sathi
,
salth
,
satzh
sat »
salt
,
satz
-plate »
-plates
Showing
1
-
20
of
28,445
Search:
'(slas OR ((sath OR sat) OR space))(-plate OR -place)'
,
query time: 0.24s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Cube
Sats
and Nano
Sats
for Remote Sensing
Published 2016
SPIE
Read Now
2
Cube
Sats
and Nano
Sats
for Remote Sensing II
Published 2018
SPIE
Read Now
3
Cube
Sats
and Small
Sats
for Remote Sensing V
Published 2021
SPIE
Read Now
4
Cube
Sats
and Small
Sats
for Remote Sensing III
Published 2019
SPIE
Read Now
5
Cube
Sats
and Small
Sats
for Remote Sensing IV
Published 2020
SPIE
Read Now
6
Cube
Sats
and Small
Sats
for Remote Sensing VI
Published 2022
SPIE
Read Now
7
Contributions to on-board navigation on 1U Cube
Sats
by
Weiß, Sascha
Published 2022
Universitätsverlag der Technischen Universität Berlin
Subjects:
“
...
Space
science / bicssc...
”
Read Now
8
Cube
Sats
, Small
Sats
, and Hosted Payloads for Remote Sensing VII
SPIE
Read Now
9
Voice enabling the data network : H.323, MGCP, SIP, QoS, SLAs, and security
by
Durkin, James F.
Published 2003
Cisco Press
Call Number:
TK5105.8865
Read Now
10
The Sales
Sat
Nav for Media Consultants : The Roadmap to More Revenue in the Sale of Advertising Materials
by
McKenna, Ricky
Published 2023
Springer Fachmedien Wiesbaden
Read Now
11
Theory and Applications of Satisfiability Testing –
SAT
2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Published 2016
Springer International Publishing
Table of Contents:
“
...SpyBug: Automated Bug Detection in the Con_guration
Space
of
SAT
Solvers....
”
Read Now
12
Theory and Applications of Satisfiability Testing -
SAT
2007 : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
...
SAT
: Past and Future -- Encodings of Problems in Effectively Propositional Logic -- Efficient...
”
Read Now
13
SAT
-Based Scalable Formal Verification Solutions
by
Ganai, Malay
,
Gupta, Aarti
Published 2007
Springer US
Table of Contents:
“
... Infrastructure -- Efficient Boolean Representation -- Hybrid DPLL-Style
SAT
Solver -- Falsification --
SAT
-Based...
”
Read Now
14
Theory and Applications of Satisfiability Testing –
SAT
2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
...Modelling Max-CSP as Partial Max-
SAT
-- A Preprocessor for Max-
SAT
Solvers -- A Generalized...
”
Read Now
15
Theory and Applications of Satisfiability Testing --
SAT
2015 : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Published 2015
Springer International Publishing
“
... and Applications of Satisfiability Testing,
SAT
2015, held in Austin, TX, USA, in September 2015. The 21 regular...
”
Read Now
16
Theory and Applications of Satisfiability Testing –
SAT
2017...
Published 2017
Springer International Publishing
“
... and Applications of Satisfiability Testing,
SAT
2017, held in Melbourne, Australia, in August/September 2017...
”
Read Now
17
Theory and Applications of Satisfiability Testing -
SAT
2009 : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
...Building a Hybrid
SAT
Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques...
”
Read Now
18
Theory and Applications of Satisfiability Testing -
SAT
2014...
Published 2014
Springer International Publishing
Table of Contents:
“
...A (Biased) Proof Complexity Survey for
SAT
Practitioners -- Cores in Core Based Max
Sat
Algorithms...
”
Read Now
19
Theory and Applications of Satisfiability Testing -
SAT
2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... and Runtime Distributions in Local Search -- Green-Tao Numbers and
SAT
-- Exact Min
SAT
Solving -- Uniquely...
”
Read Now
20
Theory and Applications of Satisfiability Testing --
SAT
2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Published 2012
Springer Berlin Heidelberg
“
... and Applications of Satisfiability Testing,
SAT
2012, held in Trento, Italy, in June 2012. The 29 revised full...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
515 - Analysis
2,204
330 - Economics
1,890
006 - Special computer methods
1,617
005 - Computer programming, programs & data
1,487
004 - Data processing & computer science
1,395
530 - Physics
1,351
more ...
500 - Natural sciences & mathematics
1,205
621 - Applied physics
1,143
620 - Engineering & allied operations
1,120
520 - Astronomy & allied sciences
1,107
519 - Probabilities & applied mathematics
1,087
600 - Technology
845
629 - Other branches of engineering
747
516 - Geometry
696
658 - General management
693
512 - Algebra
666
300 - Social sciences
613
900 - History & geography
608
333 - Economics of land & energy
604
700 - The arts; fine & decorative arts
601
510 - Mathematics
585
523 - Specific celestial bodies & phenomena
575
320 - Political science
487
000 - Computer science, information & general works
439
003 - Systems
423
304 - Factors affecting social behavior
382
514 - Topology
381
610 - Medicine & health
360
363 - Other social problems & services
349
370 - Education
345
551 - Geology, hydrology & meteorology
327
518 - Numerical analysis
289
616 - Diseases
278
331 - Labor economics
255
306 - Culture & institutions
254
380 - Commerce, communications & transportation
249
302 - Social interaction
237
511 - General principles of mathematics
221
910 - Geography & travel
221
001 - Knowledge
216
140 - Specific philosophical schools
214
338 - Production
214
720 - Architecture
201
550 - Earth sciences
196
745 - Decorative arts
190
301 - Sociology & anthropology
188
340 - Law
170
305 - Social groups
164
617 - Surgery & related medical specialties
164
800 - Literature & rhetoric
162
539 - Modern physics
161
576 - Genetics & evolution
157
100 - Philosophy & psychology
154
341 - Law of nations
150
577 - Ecology
149
570 - Life sciences; biology
146
307 - Communities
137
384 - Communications; telecommunication
132
670 - Manufacturing
129
501 - Philosophy & theory
121
612 - Human physiology
118
820 - English & Old English literatures
107
541 - Physical chemistry
105
531 - Classical mechanics; solid mechanics
101
571 - Physiology & related subjects
100
200 - Religion
91
303 - Social processes
89
770 - Photography, photographs & computer art
89
580 - Plants (Botany)
87
025 - Library operations
83
630 - Agriculture & related technologies
82
400 - Language
81
153 - Mental processes & intelligence
80
332 - Financial economics
80
371 - Schools & their activities; special education
79
624 - Civil engineering
75
780 - Music
73
794 - Indoor games of skill
72
410 - Linguistics
71
327 - International relations
68
581 - Specific topics in natural history
68
540 - Chemistry & allied sciences
67
791 - Public performances
66
381 - Commerce
65
650 - Management & auxiliary services
61
809 - History, description & criticism
60
572 - Biochemistry
51
537 - Electricity & electronics
50
170 - Ethics
48
660 - Chemical engineering
47
690 - Buildings
46
150 - Psychology
45
361 - Social problems & social welfare in general
45
930 - History of ancient world to ca. 499
45
378 - Higher education
44
615 - Pharmacology & therapeutics
43
374 - Adult education
42
535 - Light & infrared & ultraviolet phenomena
42
158 - Applied psychology
39
364 - Criminology
39
see all ...
less ...
Language
English
26,936
German
434
Italian
126
French
56
Spanish
48
Portuguese
29
more ...
No linguistic content
17
Slovenian
12
Russian
10
Undetermined
10
Arabic
7
Latin
7
Finnish
4
Turkish
4
Chinese
2
Dutch
2
Estonian
2
Swedish
2
Bosnian
1
Catalan
1
Danish
1
Lithuanian
1
Middle French
1
Norwegian
1
Polish
1
Tamil
1
Ukrainian
1
Welsh
1
see all ...
less ...
Collection
Springer eBooks 2005-
12,258
Springer Book Archives -2004
7,704
Directory of Open Access Books
1,844
O'Reilly
1,818
International Monetary Fund
627
Cambridge Books Online
571
more ...
JSTOR Open Access Books
457
World Bank E-Library Archive
409
OAPEN
319
DeGruyter MPG Collection
310
SPIE Conference Proceedings
272
Elsevier eBook collection Mathematics
264
Eighteenth Century Collections Online / ECCO
212
OECD Books and Papers
190
Springer Lecture Notes Archiv 1964-1996
135
IEEE Conference Proceedings
122
MIT Press eBook Archive
116
National Center for Biotechnology Information
96
Oxford University Press
93
Emerald Business, Management and Economics eBook Collection Archive
77
Edward Elgar eBooks Collection Business & Economics
74
Edward Elgar eBook Archive
60
Wiley Online Books
38
Elsevier ScienceDirect eBooks
31
Bloomsbury Education and Childhood Studies
28
Netlibrary
27
Making of the Modern World
26
Henry Stewart Talks
25
Oxford Handbook Online
21
Digi20
18
Nomos
18
Music Online Reference
17
Lecture Notes in Mathematics
14
wiso-net eBooks
13
JSTOR Books
12
ACS Symposium Series
11
Standards and Norms (DIN Media)
11
IEEE Standards
10
Duncker & Humblot eBooks 2007-
9
Brill Nijhoff E-Books Collections 2009-2014
8
RSC eBook Collection 1968-2009
8
Ethnographic Video Online Vol. 1
7
Landolt-Börnstein
7
Twentieth Century North American Drama
7
Anthropology Online
6
Lecture Notes in Physics
6
Lecture Notes in Computer Science
5
Making of Modern Law / Legal Treatises
5
Springer Protocols Archive 1981-2004
5
Brill Nijhoff E-Books Collections 2006-2008
4
Central European UP History & Political Science Backlist
4
Int. tables for crystallography
4
BioOne Book Series
2
Elsevier Handbooks in Economics
2
ACS Advances in Chemistry
1
Editoria Italiana Online
1
Karger eBooks Collection 1997-2013
1
MIT Press Direct to Open
1
VDE NormenBibliothek
1
see all ...
less ...
Author
World Bank Group
141
International Monetary Fund
93
International Monetary Fund African Dept
84
Organisation for Economic Co-operation and Development
64
International Monetary Fund European Dept
47
International Monetary Fund Middle East and Central Asia Dept
47
more ...
SpringerLink (Online service)
35
World Bank
32
Pardalos, Panos M.
31
International Monetary Fund Western Hemisphere Dept
30
Froehlich, Annette
29
United States Agency for Healthcare Research and Quality
28
Rassias, Themistocles M.
27
Gohberg, Israel
23
Seedhouse, Erik
23
Gervasi, Osvaldo
22
Murgante, Beniamino
22
International Monetary Fund Asia and Pacific Dept
21
Jost, Jürgen
21
Tymieniecka, Anna-Teresa
21
Albeverio, Sergio
20
Alpay, Daniel
20
Effective Health Care Program (U.S.)
20
Gohberg, I.
20
Vanderbilt Evidence-based Practice Center
20
Koucheryavy, Yevgeni
19
Lang, Serge
19
Farinella, Giovanni Maria
18
Nijkamp, Peter
17
Pelton, Joseph N.
17
Böhme, S.
16
Avidan, Shai
15
Brostow, Gabriel
15
Cissé, Moustapha
15
Shafer, Wade H.
15
Yor, Marc
15
Balandin, Sergey
14
Burgess, Colin
14
Harland, David M.
14
International Monetary Fund Fiscal Affairs Dept
14
Misra, Sanjay
14
Voronkov, Andrei
14
Zaslavski, Alexander J.
14
Rozenberg, Grzegorz
13
Cohen, Robert S.
12
Garau, Chiara
12
Haken, Hermann
12
Heck, Andre
12
Jain, Lakhmi C.
12
Kaashoek, Marinus A.
12
Russell, C.T.
12
Ruzhansky, Michael
12
Schulze, Bert-Wolfgang
12
Abeyratne, Ruwantissa
11
Anastassiou, George A.
11
Böhme, Siegfried
11
Canadian Agency for Drugs and Technologies in Health
11
Dongarra, Jack
11
Drechsler, Rolf
11
Evans, Ben
11
Harvey, Brian
11
International Energy Agency
11
Kacprzyk, Janusz
11
Lasso, Orlando di
11
Nielsen, Frank
11
Patnaik, Srikanta
11
Sandberger, Adolf
11
Abraham, Ajith
10
De Gloria, Alessandro
10
Du, Ding-Zhu
10
Fricke, W.
10
International Transport Forum
10
Kopal, Zdenek
10
Lang, Kenneth R.
10
Pedrycz, Witold
10
Rocha, Ana Maria A. C.
10
Sabadini, Irene
10
Satapathy, Suresh Chandra
10
Andreev, Sergey
9
Badescu, Viorel
9
Da Prato, Giuseppe
9
Esser, U.
9
Heinrich, Inge
9
Kielanowski, Piotr
9
Kubrusly, Carlos S.
9
Kühne, Olaf
9
Lindenstrauss, Joram
9
Marcus, Aaron
9
Mayr, Ernst W.
9
Maz'ya, Vladimir
9
Mitrea, Dorina
9
Mobberley, Martin
9
Nguyen, Ngoc Thanh
9
Peters, James F.
9
Ras, Zbigniew W.
9
Shayler, David J.
9
Stillwell, John
9
Tschinkel, Yuri
9
Vince, John
9
Aliprantis, Charalambos D.
8
see all ...
less ...
Recently Uploaded
Last Month
88
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%28slas+OR+%28%28sath+OR+sat%29+OR+space%29%29%28-plate+OR+-place%29&type=AllFields
Send by Email
×
Loading...