Search Results - "formale"
Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 60
- Computer science 56
- Software Engineering 55
- Computer networking & communications 32
- Computer programming / software development 28
- Algorithms & data structures 20
- Mathematical theory of computation 20
- Formal Languages and Automata Theory 19
- Machine theory 19
- Research & information: general 15
- Systems analysis & design 14
- Western "classical" music 14
- Computer Science Logic and Foundations of Programming 13
- Software engineering 13
- Artificial Intelligence 12
- linguistics 11
- Technology: general issues 9
- Computer architecture & logic design 8
- Computer modelling & simulation 8
- Development economics & emerging economies 8
- Programming & scripting languages: general 8
- History of engineering & technology 7
- Mathematics & science 7
- Network hardware 6
- Political science & theory 6
- Software testing & verification 6
- Computer Modelling 5
- Computer simulation 5
- Literary studies: general 5
- Literature: history & criticism 5
-
41
Twenty-seven Major American Symphony Orchestras A History and Analysis of Their Repertoires, Seasons 1842-43 through 1969-70
Published 1973Subjects: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
42
The Muses' Concord Literature, Music, and the Visual Arts in the Baroque Age
Published 1976Subjects: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
43
A Catalogue of 18th-Century Symphonies
Published 1988Subjects: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
44
Meter in Music, 1600-1800 Performance, Perception, and Notation
Published 1987Subjects: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
45
E. Power Biggs, Concert Organist
Published 1987Subjects: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
46
Jean-Henry D'Anglebert and the Seventeenth-Century Clavecin School
Published 1985Subjects: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
47
Harpsichord in America A Twentieth-Century Revival
Published 1989Subjects: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
48
Joseph Haydn's Keyboard Music Sources and Style
Published 1986Subjects: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
49
Richard Wagner's Essays on Conducting A New Translation with Critical Commentary
Published 2021Subjects: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
50
Musorgsky Remembered
Published 1991Subjects: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
51
Nineteenth-Century French Song Fauré, Chausson, Duparc, and Debussy
Published 1980Subjects: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
52
Action [poems]
Published 2014Subjects: “…formalism…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
53
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Published 2021Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
54
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
Published 2021Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
55
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
56
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Published 2018Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
57
Jungen als Bildungsgewinner Eine qualitative Studie zu bildungserfolgreichen Jugendlichen in Risikolebenslagen
Published 2021Subjects: “…formal and non-formal settings…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
58
Jungen als Bildungsgewinner Eine qualitative Studie zu bildungserfolgreichen Jugendlichen in Risikolebenslagen
Published 2021Subjects: “…formal and non-formal settings…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
59
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
60
Advances in Proof-Theoretic Semantics
Published 2016Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata
Electronic eBook