Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal languages and automated theory
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
:
automated theory »
automated theorem
,
automata theory
,
automatic theorem
languages »
language
Showing
161
-
180
of
806
Search:
'formal languages and automated theory'
,
query time: 0.26s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
161
Transactions on Rough Sets XIX
Published 2015
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata
Theory
...
”
Read Now
162
Formal
Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... Semantics of Programming
Languages
: Combinators and Monads --
Formal
Approach to Railway Applications...
”
Read Now
163
Advances in Natural
Language
Processing : Third International Conference, PorTAL 2002, Faro, Portugal, June 23-26, 2002. Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... Scientific Papers --
Language
-Oriented Machine Learning -- Mapping an
Automated
Survey Coding Task into a...
”
Read Now
164
Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... Propagation for Dempster-Shafer Belief Functions -- On bottom-up pre-processing techniques for
automated
...
”
Read Now
165
From Requirements to Java in a Snap : Model-Driven Requirements Engineering in Practice
by
Śmiałek, Michał
,
Nowakowski, Wiktor
Published 2015
Springer International Publishing
Table of Contents:
“
...
Language
-- 3. Defining RSL -- 4. Explaining RSL with Java -- 5. Understanding Model Transformations -- 6...
”
Read Now
166
KI-94: Advances in Artificial Intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, September 18-23, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
...
Formal
methods for
automated
program improvement -- Adapting methods to novel tasks in proof...
”
Read Now
167
Methodologies for Intelligent Systems : 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 - 19, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... control of approximate reasoning: A decision theoretic approach --
Formal
models of selection in genetic...
”
Read Now
168
Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... Möbius transforms of monotone capacities --
Automated
reasoning with merged contradictory information...
”
Read Now
169
Graph Grammars and Their Application to Computer Science : 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings
Published 1991
Springer Berlin Heidelberg
Table of Contents:
“
... for analyzing graph grammars -- An algebraic
theory
of graph reduction -- Programming with very large graphs...
”
Read Now
170
Applied
Formal
Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... the Software Development Process by
Formal
Methods -- Regular Papers --
Formal
Program Development in Geometric...
”
Read Now
171
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:
“
... in
Formal
Verification of Register-Transfer Logic with ACL2: The Floating Point Adder of the AMD Athlon TM...
”
Read Now
172
Developments in Applied Artificial Intelligence : 15th International Conference on Industrial and Engineering. Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2...
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata
Theory
...
”
Read Now
173
Graph-Grammars and Their Application to Computer Science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
Published 1987
Springer Berlin Heidelberg
Table of Contents:
“
...-order
theory
-- Restricting the complexity of regular DNLC
languages
-- Apex graph grammars -- Graph...
”
Read Now
174
Formal
Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... -- Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques -- A Methodology for the
Formal
...
”
Read Now
175
Logical Foundations of Cyber-Physical Systems
by
Platzer, André
Published 2018
Springer International Publishing
Table of Contents:
“
... and CPS -- Differential Invariants and Proof
Theory
-- Verified Models and Verified Runtime Validation...
”
Read Now
176
Formal
Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... Discovery in Predicate Abstraction --
Automated
Abstraction Refinement for Model Checking Large State Spaces...
”
Read Now
177
Formal
Methods: Foundations and Applications : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
Published 2024
Springer Nature Switzerland
Table of Contents:
“
...Specification and Modeling
Languages
-- A
Formal
Model for Startups Financial Transactions -- A...
”
Read Now
178
Neural Nets : 16th Italian Workshop on Neural Nets, WIRN 2005, International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005,...
Published 2006
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata
Theory
...
”
Read Now
179
Automata,
Languages
and Programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
...
theory
-- The limit of splitn-
language
equivalence -- Divergence and fair testing -- Causality for mobile...
”
Read Now
180
Transactions on Rough Sets XX
Published 2016
Springer Berlin Heidelberg
Table of Contents:
“
...-transitive rough sets -- covering rough sets and
formal
topology – a uniform approach through intensional...
”
4
5
6
7
8
9
10
11
12
13
14
Back
Narrow Search
Year of Publication
From:
To:
Classification
006 - Special computer methods
273
005 - Computer programming, programs & data
247
004 - Data processing & computer science
170
003 - Systems
24
511 - General principles of mathematics
21
621 - Applied physics
14
more ...
629 - Other branches of engineering
14
025 - Library operations
11
670 - Manufacturing
10
518 - Numerical analysis
8
519 - Probabilities & applied mathematics
6
620 - Engineering & allied operations
5
500 - Natural sciences & mathematics
4
510 - Mathematics
4
658 - General management
3
000 - Computer science, information & general works
2
330 - Economics
2
516 - Geometry
2
570 - Life sciences; biology
2
650 - Management & auxiliary services
2
070 - News media, journalism & publishing
1
100 - Philosophy & psychology
1
153 - Mental processes & intelligence
1
160 - Logic
1
300 - Social sciences
1
371 - Schools & their activities; special education
1
410 - Linguistics
1
418 - Standard usage & applied linguistics
1
512 - Algebra
1
515 - Analysis
1
601 - Philosophy & theory
1
686 - Printing & related activities
1
see all ...
less ...
Language
English
802
German
4
Collection
Springer eBooks 2005-
463
Springer Book Archives -2004
332
O'Reilly
10
MIT Press eBook Archive
1
Author
Voronkov, Andrei
19
Margaria, Tiziana
11
Peters, James F.
11
Steffen, Bernhard
10
Nerode, Anil
8
Perner, Petra
7
more ...
Ehrig, Hartmut
6
Skowron, Andrzej
6
Artemov, Sergei
5
Hähnle, Reiner
5
Rozenberg, Grzegorz
5
Wang, Dongming
5
Benzmüller, Christoph
4
Furbach, Ulrich
4
Legay, Axel
4
Ras, Zbigniew W.
4
Rudolph, Sebastian
4
Wang, Guoyin
4
Baier, Christel
3
Baumgartner, Peter
3
Bibel, Wolfgang
3
Bjørner, Nikolaj
3
Comon, Hubert
3
Davenport, James H.
3
Dershowitz, Nachum
3
Fitting, Melvin
3
Gabbay, Dov M.
3
Galmiche, Didier
3
Ganzinger, Harald
3
Giunchiglia, Fausto
3
Goertzel, Ben
3
Harrison, John
3
Huang, De-Shuang
3
Jouannaud, Jean-Pierre
3
Kaufmann, Matt
3
Kirchner, Claude
3
Konev, Boris
3
Kroening, Daniel
3
Kuznetsov, Sergei O.
3
Leake, David
3
Liu, Zhiming
3
Maler, Oded
3
Möller, Bernhard
3
Nagl, Manfred
3
Nipkow, Tobias
3
Nivat, Maurice
3
Petrosino, Alfredo
3
Pfenning, Frank
3
Platzer, André
3
Podelski, Andreas
3
Reed, Rick
3
Rosu, Grigore
3
Sattler, Uli
3
Schmidt, Renate A.
3
Schürr, Andy
3
Sofronie-Stokkermans, Viorica
3
Tinelli, Cesare
3
Vanderdonckt, Jean
3
Wirsing, Martin
3
Yao, JingTao
3
Yao, Yiyu
3
Ölveczky, Peter Csaba
3
Ali, Moonis
2
Alla, Hassane
2
Anderson, Michael
2
Antoniou, Grigoris
2
Artho, Cyrille
2
Ayala-Rincón, Mauricio
2
Baader, Franz
2
Bae, Kyungmin
2
Barolli, Leonard
2
Basin, David
2
Beckert, Bernhard
2
Berghammer, Rudolf
2
Biere, Armin
2
Bonacina, Maria Paola
2
Botana, Francisco
2
Brauer, Wilfried
2
Buchberger, Bruno
2
Börger, Egon
2
Cabibihan, John-John
2
Calmet, Jacques
2
Campbell, John A.
2
Campbell, Stephen L.
2
Cantone, Domenico
2
Cavalcanti, Ana
2
Chakraborty, Mihir
2
Champarnaud, Jean-Marc
2
Chancelier, Jean-Philippe
2
Clarke, Edmund M.
2
Cook, Byron
2
Croitoru, Madalina
2
Dams, Dennis
2
David, René
2
Di Gesù, Vito
2
Dori, Dov
2
Dowek, Gilles
2
Eder, Johann
2
Engels, Gregor
2
Esparza, Javier
2
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=9&lookfor=formal+languages+and+automated+theory&type=AllFields
Send by Email
×
Loading...