Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Language"
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
Retain my current filters
dewey-ones:"004 - Data processing & computer science"
product_txtF_mv:"Springer Book Archives -2004"
Showing
61
-
80
of
116
Search:
'"Language"'
,
query time: 0.02s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
61
Set Theory for Computing : From Decision Procedures to Declarative Programming with Sets
by
Cantone, Domenico
,
Omodeo, Eugenio
,
Policriti, Alberto
Published 2001
Springer New York
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
62
Deontic Logic, Agency and Normative Systems : ?EON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996
Published 1996
Springer London
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
63
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
64
Algol-like Languages
by
O'Hearn, Peter
,
Tennent, Robert
Published 1997
Birkhäuser
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
65
Computer Logic : Design Principles and Applications
by
Hsu, John Y.
Published 2002
Springer New York
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
66
Machines, Languages, and Complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988. Selected Contributions
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
67
Logics for Concurrency : Structure versus Automata
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
68
Algol-like Languages
by
O'Hearn, Peter
,
Tennent, Robert
Published 1997
Birkhäuser
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
69
Advanced Topics in Term Rewriting
by
Ohlebusch, Enno
Published 2002
Springer New York
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
70
Handbook of Formal Languages : Volume 2. Linear Modeling: Background and Application
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
71
Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part I
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
72
Algorithmic Language and Program Development
by
Bauer, F.L.
,
Wössner, H.
Published 1982
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
73
Formal Hardware Verification : Methods and Systems in Comparison
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
74
Parallel Execution of Logic Programs : ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
75
Inductive Logic Programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings
Published 2001
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
76
Non-Monotonic Extensions of Logic Programming : Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
77
Computer Science Logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
78
Logic of Computation
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
79
Boolean Functions and Computation Models
by
Clote, Peter
,
Kranakis, Evangelos
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
80
Parallelism, Learning, Evolution : Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989. Workshop on Parallel Processing: Logic, Organization, and...
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
1
2
3
4
5
6
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
005 - Computer programming, programs & data
7
621 - Applied physics
3
Language
English
93
German
23
Collection
Springer Book Archives -2004
Author
Moniz Pereira, Luis
3
Bauer, Friedrich L.
2
Blumenthal, Brad
2
Glesner, Manfred
2
Gornostaev, Juri
2
Gupta, Gopal
2
more ...
Hartenstein, Reiner W.
2
Meuer, Hans W.
2
O'Hearn, Peter
2
Ohlbach, Hans J.
2
Przymusinski, Teodor C.
2
Schwichtenberg, Helmut
2
Tennent, Robert
2
Unger, Claus
2
Wirsing, Martin
2
Alferes, Jose Julio
1
Alves-Foss, James
1
Amara, M.
1
Appelt, Wolfgang
1
Archibald, J.
1
Atluri, Vijay
1
Barth, Andreas
1
Bauer, F. L.
1
Bauer, F.L.
1
Beaumont, Anthony
1
Becker, J.D.
1
Benker, Hans
1
Berger, Ulrich
1
Bezem, Marc
1
Birtwistle, Graham
1
Bolc, Leonard
1
Breu, Michael
1
Brinch Hansen, Per
1
Brown, Mark A.
1
Broy, Manfred
1
Bry, Francois
1
Buchberger, Ernst
1
Busby, Geoffrey
1
Börger, Egon
1
Cantone, Domenico
1
Carmo, Jose
1
Cenoz, Jasone
1
Cheung, Peter Y.K.
1
Christiansen, Henning
1
Clote, Peter
1
Comon, Hubert
1
Connolly, John H.
1
Cori, Robert
1
Cornelius, F.
1
Coulson, Geoff
1
Dalen, Dirk van
1
Danesi, Marcel
1
Danthine, Andre
1
Dassow, Jürgen
1
Dix, Juergen
1
Duric, Zoran
1
Edwards, Alistair
1
Ehrig, Hartmut
1
Eijck, Jan van
1
Eisele, I.
1
Endres, Albert
1
Erk, Katrin
1
Esik, Zoltan
1
Farenc, Christelle
1
Feijen, W.H.J.
1
Feitelson, Dror G.
1
Felscher, Walter
1
Felty, Amy
1
Ferreira Barcelos, A.M.
1
Fingerhut, A.
1
Fitzgerald, Jill
1
Flanders, Harley
1
Flett, Alan
1
Gabbay, Dov M.
1
Galmiche, Didier
1
Garg, Vijay K.
1
Gasteren, A.J.M. van
1
Gmehlich, Rainer
1
Goos, G.
1
Goos, Gerhard
1
Gray, David F.
1
Grebe, Reinhard
1
Grechenig, Thomas
1
Gries, David
1
Große-Rhode, Martin
1
Gunji, T.
1
Gunter, Elsa L.
1
Hasida, K.
1
Hauck, Peter
1
Heinemann, Bernhard
1
Henke, Harold
1
Henze, Nicola
1
Herrmann, Dietmar
1
Hromkovič, Juraj
1
Hsu, John Y.
1
Hufeisen, Britta
1
Hutchison, David
1
Ivory, M.Y.
1
Jajodia, Sushil
1
Jessner, U.
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=4&filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%22Language%22&type=Subject
Send by Email
×
Loading...