Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Formal"
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
Showing
1
-
20
of
3,186
Search:
'"Formal"'
,
query time: 0.02s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
by
Nadel, Alexander
Published 2023
TU Wien Academic Press
Subjects:
“
...
Formal
Methods; Computer-Aided System Design; Hardware and System Verification;
Formal
Verification...
”
Read Now
2
Nineteenth-Century French Song : Fauré, Chausson, Duparc, and Debussy
by
Meister, Barbara
Published 1980
Indiana University Press
Subjects:
“
...Art music, orchestral &
formal
music...
”
Read Now
3
Musorgsky Remembered
by
Orlova, Alexandra
Published 1991
Indiana University Press
Subjects:
“
...Art music, orchestral &
formal
music...
”
Read Now
4
Joseph Haydn's Keyboard Music : Sources and Style
by
Brown, A. Peter
Published 1986
Indiana University Press
Subjects:
“
...Art music, orchestral &
formal
music...
”
Read Now
5
Harpsichord in America : A Twentieth-Century Revival
by
Palmer, Larry
Published 1989
Indiana University Press
Subjects:
“
...Art music, orchestral &
formal
music...
”
Read Now
6
The Muses' Concord : Literature, Music, and the Visual Arts in the Baroque Age
by
Jensen, H. James
Published 1976
Indiana University Press
Subjects:
“
...Art music, orchestral &
formal
music...
”
Read Now
7
Orpheus in America
Published 1957
Indiana University Press
Subjects:
“
...Art music, orchestral &
formal
music...
”
Read Now
8
Meter in Music, 1600-1800 : Performance, Perception, and Notation
by
Houle, George
Published 1987
Indiana University Press
Subjects:
“
...Art music, orchestral &
formal
music...
”
Read Now
9
Jean-Henry D'Anglebert and the Seventeenth-Century Clavecin School
by
Scheibert, Beverly
Published 1985
Indiana University Press
Subjects:
“
...Art music, orchestral &
formal
music...
”
Read Now
10
A Catalogue of 18th-Century Symphonies
by
LaRue, Jan
Published 1988
Indiana University Press
Subjects:
“
...Art music, orchestral &
formal
music...
”
Read Now
11
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
by
Griggio, Alberto
Published 2022
TU Wien Academic Press
Subjects:
“
...
Formal
Methods; Computer-Aided System Design; Hardware and System Verification;
Formal
Verification...
”
Read Now
12
Automata theory with modern applications
by
Anderson, James A.
,
Head, Thomas J.
Published 2006
Cambridge University Press
Subjects:
“
...
Formal
languages...
”
Call Number:
QA267
Read Now
13
Formal languages in logic : a philosophical and cognitive analysis
by
Novaes, Catarina Dutilh
Published 2012
Cambridge University Press
Subjects:
“
...
Formal
languages...
”
Call Number:
QA267.3
Read Now
14
Aristotelian Assertoric Syllogistic : Incorporating the Aristotelian Assertoric Syllogistic in the Contemporary Symbolic Logic
by
Amer, Mohamed A.
Published 2021
Springer International Publishing
Subjects:
“
...
Formal
Logic...
”
Read Now
15
Symbolic Logic
by
Makridis, Odysseus
Published 2022
Springer International Publishing
Subjects:
“
...
Formal
Logic...
”
Read Now
16
Manual do Cuidador
by
Manuel Veríssimo
Published 2019
Coimbra University Press
Subjects:
“
...
Formal
caregivers...
”
Read Now
17
Semirings, Automata, Languages
by
Kuich, W.
,
Salomaa, A.
Published 1986
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages and Automata Theory...
”
Read Now
18
Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Published 2016
Springer International Publishing
Subjects:
“
...
Formal
Languages and Automata Theory...
”
Read Now
19
Practical Introduction to Pascal
by
Wilson, I.R.
,
Addyman, A.M.
Published 1978
Macmillan Education UK
Subjects:
“
...Mathematical Logic and
Formal
Languages...
”
Read Now
20
Automata
by
Hopkin, David
,
Moss, Barbara
Published 1976
Macmillan Education UK
Subjects:
“
...Mathematical Logic and
Formal
Languages...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
963
005 - Computer programming, programs & data
915
006 - Special computer methods
689
330 - Economics
140
511 - General principles of mathematics
106
700 - The arts; fine & decorative arts
66
more ...
518 - Numerical analysis
51
900 - History & geography
38
025 - Library operations
36
000 - Computer science, information & general works
32
780 - Music
32
003 - Systems
31
160 - Logic
30
600 - Technology
26
500 - Natural sciences & mathematics
23
620 - Engineering & allied operations
22
370 - Education
21
380 - Commerce, communications & transportation
21
410 - Linguistics
20
333 - Economics of land & energy
18
510 - Mathematics
16
400 - Language
15
512 - Algebra
12
621 - Applied physics
12
320 - Political science
11
340 - Law
11
100 - Philosophy & psychology
10
140 - Specific philosophical schools
10
576 - Genetics & evolution
10
670 - Manufacturing
10
610 - Medicine & health
9
720 - Architecture
9
371 - Schools & their activities; special education
8
530 - Physics
8
570 - Life sciences; biology
8
200 - Religion
7
363 - Other social problems & services
7
658 - General management
7
800 - Literature & rhetoric
7
629 - Other branches of engineering
6
120 - Epistemology, causation & humankind
5
300 - Social sciences
5
374 - Adult education
5
301 - Sociology & anthropology
3
401 - Philosophy & theory
3
519 - Probabilities & applied mathematics
3
745 - Decorative arts
3
304 - Factors affecting social behavior
2
414 - Phonology & phonetics
2
418 - Standard usage & applied linguistics
2
515 - Analysis
2
516 - Geometry
2
551 - Geology, hydrology & meteorology
2
581 - Specific topics in natural history
2
650 - Management & auxiliary services
2
657 - Accounting
2
111 - Ontology
1
142 - Critical philosophy
1
158 - Applied psychology
1
170 - Ethics
1
180 - Ancient, medieval & eastern philosophy
1
297 - Islam, Babism & Bahai Faith
1
302 - Social interaction
1
303 - Social processes
1
305 - Social groups
1
331 - Labor economics
1
338 - Production
1
362 - Social welfare problems & services
1
378 - Higher education
1
384 - Communications; telecommunication
1
398 - Folklore
1
407 - Education, research & related topics
1
501 - Philosophy & theory
1
507 - Education, research & related topics
1
514 - Topology
1
520 - Astronomy & allied sciences
1
541 - Physical chemistry
1
547 - Organic chemistry
1
651 - Office services
1
660 - Chemical engineering
1
801 - Philosophy & theory
1
see all ...
less ...
Language
English
2,711
German
65
Italian
6
Portuguese
3
Spanish
3
Russian
2
more ...
Slovenian
2
Chinese
1
French
1
see all ...
less ...
Collection
Springer eBooks 2005-
1,672
Springer Book Archives -2004
843
Lecture Notes in Computer Science
371
International Monetary Fund
107
Directory of Open Access Books
102
OAPEN
24
more ...
World Bank E-Library Archive
22
O'Reilly
18
Elsevier eBook collection Mathematics
5
MIT Press eBook Archive
4
National Center for Biotechnology Information
4
Cambridge Books Online
3
Digi20
2
Making of Modern Law / Legal Treatises
2
Making of the Modern World
2
ACS Symposium Series
1
JSTOR Open Access Books
1
Netlibrary
1
Primary Sources for Slavic Studies
1
wiso-net eBooks
1
see all ...
less ...
Author
Rozenberg, Grzegorz
39
Voronkov, Andrei
27
International Monetary Fund
23
Salomaa, Arto
19
Paun, Gheorghe
17
Ehrig, Hartmut
16
more ...
Gelbukh, Alexander
16
Nerode, Anil
16
Peters, James F.
16
Skowron, Andrzej
14
International Monetary Fund Independent Evaluation Office
13
Martín-Vide, Carlos
13
Rudolph, Sebastian
12
Nipkow, Tobias
11
Potapov, Igor
11
de Queiroz, Ruy
11
Bowen, Jonathan P.
10
Börger, Egon
10
Gabbay, Dov M.
10
Gottlob, Georg
10
International Monetary Fund Statistics Dept
10
Margaria, Tiziana
10
Narukawa, Yasuo
10
Wang, Dongming
10
Perner, Petra
9
Rossi, Francesca
9
Steffen, Bernhard
9
Wirsing, Martin
9
Bouchon-Meunier, Bernadette
8
Karhumäki, Juhani
8
Liu, Shaoying
8
Meinke, Karl
8
Möller, Bernhard
8
Orlowska, Ewa
8
Zeugmann, Thomas
8
Broy, Manfred
7
Buchberger, Bruno
7
Calude, Cristian S.
7
Comon, Hubert
7
Eiter, Thomas
7
Ganter, Bernhard
7
Kirchner, Helene
7
Kreowski, Hans-Jörg
7
Legay, Axel
7
Li, Wei
7
Liu, Zhiming
7
Nagl, Manfred
7
Richter, Michael M.
7
Schlechta, Karl
7
Stolzmann, Wolfgang
7
Ölveczky, Peter Csaba
7
Artemov, Sergei
6
Bruynooghe, Maurice
6
Calmet, Jacques
6
Croitoru, Madalina
6
Dediu, Adrian-Horia
6
Dershowitz, Nachum
6
Dowek, Gilles
6
Engels, Gregor
6
Faber, Wolfgang
6
Furbach, Ulrich
6
Garoufallou, Emmanouel
6
Gnesi, Stefania
6
Greco, Salvatore
6
Hameurlain, Abdelkader
6
Hanus, Michael
6
Jouannaud, Jean-Pierre
6
Jäger, Gerhard
6
Kleine Büning, Hans
6
Kuznetsov, Sergei O.
6
Leitsch, Alexander
6
Moniz Pereira, Luis
6
Montanari, Ugo
6
Métais, Elisabeth
6
Ojeda-Aciego, Manuel
6
Olderog, Ernst-Rüdiger
6
Ong, Luke
6
Palamidessi, Catuscia
6
Pogodalla, Sylvain
6
Reusch, Bernd
6
Satoh, Ken
6
Schewe, Klaus-Dieter
6
SpringerLink (Online service)
6
Thalheim, Bernhard
6
Thomas, Wolfgang
6
Truthe, Bianca
6
Wang, Guoyin
6
Wood, Derick
6
Yu, Sheng
6
Ésik, Zoltán
6
Bekki, Daisuke
5
Benzmüller, Christoph
5
Bernardo, Marco
5
Blackburn, Patrick
5
Blockeel, Hendrik
5
Butler, Michael
5
Champarnaud, Jean-Marc
5
Deransart, Pierre
5
Diekert, Volker
5
Dix, Jürgen
5
see all ...
less ...
Recently Uploaded
Last Month
5
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22Formal%22&type=Subject
Send by Email
×
Loading...