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
101
-
120
of
187
Search:
'"Language"'
,
query time: 0.11s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
101
Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
102
STACS 93 : 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
103
STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989; Proceedings
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
104
Meta-Programming in Logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
105
Automated Deduction in Geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
106
Logic of Computation
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
107
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
108
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
109
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
110
Boolean Functions and Computation Models
by
Clote, Peter
,
Kranakis, Evangelos
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
111
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
112
Foundations of Software Technology and Theoretical Computer Science : 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
113
Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
114
Typed Lambda Calculi and Applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
115
Fundamentals of Computation Theory : International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
116
Foundations of Software Technology and Theoretical Computer Science : 13th Conference, Bombay, India, December 15-17, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
117
Fundamentals of Computation Theory : 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
118
Foundations of Software Technology and Theoretical Computer Science : 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
119
Algebraic and Logic Programming : Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
120
Foundations of Software Technology and Theoretical Computer Science : 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
1
2
3
4
5
6
7
8
9
10
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
164
German
23
Collection
Springer Book Archives -2004
Author
Rozenberg, Grzegorz
5
Börger, Egon
3
Moniz Pereira, Luis
3
Nerode, Anil
3
Salomaa, Arto
3
Wirsing, Martin
3
more ...
Bauer, Friedrich L.
2
Bezem, Marc
2
Blumenthal, Brad
2
Broy, Manfred
2
Choffrut, Christian
2
Cori, Robert
2
Diekert, Volker
2
Ehrig, Hartmut
2
Enjalbert, Patrice
2
Glesner, Manfred
2
Gornostaev, Juri
2
Gupta, Gopal
2
Hartenstein, Reiner W.
2
Jantke, Klaus P.
2
Kelemen, Jozef
2
Kleine Büning, Hans
2
Kropf, Thomas
2
Lingas, Andrzej
2
Maurer, Hermann
2
Mayr, Ernst W.
2
Meuer, Hans W.
2
Möller, Bernhard
2
O'Hearn, Peter
2
Ohlbach, Hans J.
2
Paun, Gheorghe
2
Przymusinski, Teodor C.
2
Schwichtenberg, Helmut
2
Tennent, Robert
2
Unger, Claus
2
Wagner, Klaus W.
2
Wang, Dongming
2
Adian, Sergei
1
Alferes, Jose Julio
1
Altenkirch, Thorsten
1
Alur, Rajeev
1
Alves-Foss, James
1
Appelt, Wolfgang
1
Apt, Krzysztof R.
1
Arbib, M.A.
1
Arbib, Michael A.
1
Archibald, J.
1
Arikawa, Setsuo
1
Atluri, Vijay
1
Ausiello, Giorgio
1
Barendregt, Henk
1
Barth, Andreas
1
Bauer, F. L.
1
Beaumont, Anthony
1
Becker, J.D.
1
Ben-Ari, Mordechai
1
Berger, Ulrich
1
Birtwistle, Graham
1
Biswas, Somenath
1
Bjørner, Dines
1
Boiten, Eerke A.
1
Bolc, Leonard
1
Breu, Michael
1
Brinch Hansen, Per
1
Brown, Mark A.
1
Bry, Francois
1
Buchberger, Ernst
1
Budach, Lothar
1
Bukharajev, Rais G.
1
Busby, Geoffrey
1
Bürckert, Hans-Jürgen
1
Callaghan, Paul
1
Camilleri, Juanito
1
Cantone, Domenico
1
Carlsson, Svante
1
Carmo, Jose
1
Cenoz, Jasone
1
Chandru, Vijay
1
Cheung, Peter Y.K.
1
Christiansen, Henning
1
Clote, Peter
1
Comon, Hubert
1
Connolly, John H.
1
Cornelius, F.
1
Coulson, Geoff
1
Crossley, John N.
1
Csirik, Janos
1
Dalen, Dirk van
1
Danesi, Marcel
1
Danthine, Andre
1
Dassow, Jürgen
1
Demetrovics, Janos
1
Dezani-Ciancaglini, Mariangiola
1
Dix, Juergen
1
Dolev, Danny
1
Dowek, Gilles
1
Duric, Zoran
1
Edwards, Alistair
1
Eijck, Jan van
1
Eisele, I.
1
see all ...
less ...
Recently Uploaded
Last Month
13
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=6&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...