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
181
-
200
of
796
Search:
'(swash OR sat)-place*'
,
query time: 0.08s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
181
Toward a Unified View of the Speed-Accuracy Trade-Off: Behaviour, Neurophysiology and Modelling
by
Richard P. Heitz
Published 2016
Frontiers Media SA
“
...Everyone is familiar with the speed-accuracy trade-off (
SAT
). To make good choices, we need...
”
Read Now
182
Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... -- Deciding Separation Logic Formulae by
SAT
and Incremental Negative Cycle Elimination -- Monotone AC-Tree...
”
Read Now
183
Der Herr erhöre deine Klag
by
Lasso, Orlando di
Published 1927
Breitkopf and Härtel
Read Now
184
Hilff, lieber Herr
by
Lasso, Orlando di
Published 1927
Breitkopf and Härtel
Read Now
185
Ich wil auz gantzem hertzen
by
Lasso, Orlando di
Published 1927
Breitkopf and Härtel
Read Now
186
Ich will dich Herr gebürlich loben
by
Lasso, Orlando di
Published 1927
Breitkopf and Härtel
Read Now
187
Herr, der du meine sterche bist
by
Lasso, Orlando di
Published 1927
Breitkopf and Härtel
Read Now
188
Principles and Practice of Constraint Programming : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
... GPU-based
SAT
Model Counter -- Reducing Bias in Preference Aggregation for Multiagent Soft Constraint...
”
Read Now
189
Da così dotta man
by
Palestrina, Giovanni Pierluigi da
Published 1601
Breitkopf and Härtel
Read Now
190
Ahi che quest' occhi miei
by
Palestrina, Giovanni Pierluigi da
Published 1907
Breitkopf and Härtel
Read Now
191
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
Published 2017
Springer International Publishing
Table of Contents:
“
... -- Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems -- Solving
SAT
and Max
SAT
with a Quantum...
”
Read Now
192
Theoretical Aspects of Computing : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... with Sharing -- Industrial-Strength Certified
SAT
Solving through Verified
SAT
Proof Checking -- Dynamite 2.0...
”
Read Now
193
Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Published 2018
Springer International Publishing
Table of Contents:
“
...Artificial Intelligence, Theorem Proving and
SAT
Solving -- Symbolic and Numerical Computation...
”
Read Now
194
Dependable Software Engineering. Theories, Tools, and Applications : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
Published 2022
Springer Nature Switzerland
Table of Contents:
“
... and concurrent systems -- Theorem Proving and
SAT
....
”
Read Now
195
Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... Constraints by Failure Analysis -- Deciding Separation Formulas with
SAT
-- Probabilistic Verification...
”
Read Now
196
Principles and Practice of Constraint Programming - CP 2007 : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... Hardness Models for
SAT
-- SATzilla-07: The Design and Analysis of an Algorithm Portfolio for
SAT
...
”
Read Now
197
Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Published 2018
Springer International Publishing
Table of Contents:
“
... -- Software Verification --
SAT
Solver -- SMT Solver -- Automation Logic...
”
Read Now
198
Stabat Mater : per soprano, contratenore (alto), tenore, violino, viola e violoncello (1985) :Vokalpartitur
by
Pärt, Arvo
Published 1985
Universal Edition
Read Now
199
Modern amusement
Published 1785
printed by John Fowler
Read Now
200
Bacchus and Venus : A very favourite anacreontic song
Published 1785
Fowler, printer, Salisbury
5
6
7
8
9
10
11
12
13
14
15
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=10&lookfor=%28swash+OR+sat%29-place%2A&type=AllFields
Send by Email
×
Loading...