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
261
-
280
of
796
Search:
'(swash OR sat)-place*'
,
query time: 0.10s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
261
Petition of the Right Honourable Basil William Douglas, commonly called Lord Daer, eldest son of the Right Honourable Dunbar Earl of Selkirk
by
Douglas, Basil William
Published 1792
Read Now
262
Grundriss der Pharmaceutischen Maassanalyse
by
Geissler, Ewald
Published 1894
Springer Berlin Heidelberg
Table of Contents:
“
... Analysen -- Aufbewahrung der Maassfllüssigkeiten -- Specieller Theil. --
Sät
tigungsanalysen -- Oxydations...
”
Read Now
263
Logic Functions and Equations : Fundamentals and Applications using the XBOOLE-Monitor
by
Steinbach, Bernd
,
Posthoff, Christian
Published 2022
Springer International Publishing
Table of Contents:
“
... II Applications -- 6. Logic, Arithmetic, and Special Functions -- 7.
SAT
-Problems -- 8. Extremely...
”
Read Now
264
Formal Methods in Computer-Aided Design : Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... -- Checking Safety Properties Using Induction and a
SAT
-Solver -- Combining Stream-Based and State-Based...
”
Read Now
265
Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Published 2012
Springer Berlin Heidelberg
Table of Contents:
“
...Preprocessing and Inprocessing Techniques in
SAT
-- Pioneering the Future of Verification: A Spiral...
”
Read Now
266
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... -- PeRIPLO: A Framework for Producing Effective Interpolants in
SAT
-Based Software Verification...
”
Read Now
267
Complexity of Constraints : An Overview of Current Research Themes
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... and Constraint Satisfaction Problems -- to the Maximum Solution Problem -- Present and Future of Practical
SAT
...
”
Read Now
268
Grammatical Inference : Algorithms, Routines and Applications
by
Wieczorek, Wojciech
Published 2017
Springer International Publishing
Table of Contents:
“
... Introduction to Python -- B. Python’s Tools for Automata, Networks, Genetic Algorithms, and
SAT
Solving -- C...
”
Read Now
269
Applications of Remote Sensing and GIS Based on an Innovative Vision : Proceeding of The First International Conference of Remote Sensing and Space Sciences Applications, Egypt 202...
Published 2023
Springer Nature Switzerland
Table of Contents:
“
...-Software for Cube
Sats
Applications -- Autonomous Payload Imaging System for Remote Sensing Applications...
”
Read Now
270
Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Procee...
Published 2022
Springer International Publishing
Table of Contents:
“
...A Two-Phase Hybrid Approach for the Hybrid Flexible Flowshop with Transportation Times -- A
SAT
...
”
Read Now
271
DNA Computing : 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
...Solving Knapsack Problems in a Sticker Based Model -- A Clause String DNA Algorithm for
SAT
-- A...
”
Read Now
272
Information Security and Privacy : 29th Australasian Conference, ACISP 2024, Sydney, NSW, Australia, July 15–17, 2024, Proceedings, Part I
Published 2024
Springer Nature Singapore
Table of Contents:
“
... on Hyperelliptic Pairings using Hyperelliptic Nets -- Alg
SAT
a
SAT
Method for Verification of Differential Trails...
”
Read Now
273
Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings,...
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... the Filtering of the AtMostNValue -- Single Constant Multiplication for
SAT
-- Towards a Generic Representation...
”
Read Now
274
Computer Science - Theory and Applications : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... -- k-
SAT
Is No Harder Than Decision-Unique-k-
SAT
-- Unique Decipherability in the Monoid of Languages...
”
Read Now
275
Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation --
SAT
-Based...
”
Read Now
276
Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Published 2013
Springer International Publishing
Table of Contents:
“
... Model Checking -- Improving Representative Computation in Expli
SAT
....
”
Read Now
277
Computing and Combinatorics : 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002 Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... of Computing -- Complexity Theory I -- On Higher Arthur-Merlin Classes -- (2 + f(n))-
SAT
and Its Properties...
”
Read Now
278
Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... on Bit-Vectors -- The Math
SAT
5 SMT Solver -- Formula Preprocessing in MUS Extraction -- Proof Tree...
”
Read Now
279
Principles and Practice of Constraint Programming - CP 2009 : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... -- Compiling All Possible Conflicts of a CSP -- On the Power of Clause-Learning
SAT
Solvers with Restarts...
”
Read Now
280
Small Satellites for Earth Observation : Selected Contributions
Published 2008
Springer Netherlands
Table of Contents:
“
... -- Development of the Micro
Sat
Programme at INTA -- Missions (1) -- Moving Towards Commercial Earth Observation...
”
9
10
11
12
13
14
15
16
17
18
19
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=14&lookfor=%28swash+OR+sat%29-place%2A&type=AllFields
Send by Email
×
Loading...