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
81
-
100
of
277
Search:
'"Language"'
,
query time: 0.02s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
81
Practical Use of Mathcad® : Solving Mathematical Problems with a Computer Algebra System
by
Benker, Hans
Published 1999
Springer London
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
82
Turing Machines with Sublogarithmic Space
by
Szepietowski, Andrzej
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
83
Membrane Computing : International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
84
Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement
by
Broy, Manfred
,
Stølen, Ketil
Published 2001
Springer New York
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
85
The Collected Works of J. Richard Büchi
by
Büchi, J. Richard
Published 1990
Springer New York
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
86
Efficient Graph Rewriting and Its Implementation
by
Dörr, Heiko
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
87
Beauty Is Our Business : A Birthday Salute to Edsger W. Dijkstra
Published 1990
Springer New York
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
88
Logic Programming and Knowledge Representation : Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
89
Theoretical Aspects of Computer Software : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
90
Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
91
Computing and Combinatorics : Second Annual International Conference, COCOON '96, Hong Kong, June 17-19, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
92
A Resolution Principle for a Logic with Restricted Quantifiers
by
Bürckert, Hans-Jürgen
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
93
Fundamentals of Computation Theory : 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings
Published 2001
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
94
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
95
Structural Complexity II
by
Balcazar, Jose L.
,
Diaz, Josep
,
Gabarro, Joaquim
Published 1990
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
96
Foundations of Software Technology and Theoretical Computer Science : 15th Conference; Bangalore, India, December 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
97
STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
98
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
Read Now
99
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
100
Logical Foundations of Computer Science : 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...Formal
Languages
and Automata Theory...
”
1
2
3
4
5
6
7
8
9
10
11
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
8
621 - Applied physics
3
Language
English
254
German
23
Collection
Springer Book Archives -2004
Author
Rozenberg, Grzegorz
7
Börger, Egon
5
Nerode, Anil
4
Salomaa, Arto
4
Broy, Manfred
3
Ehrig, Hartmut
3
more ...
Kleine Büning, Hans
3
Moniz Pereira, Luis
3
Olderog, Ernst-Rüdiger
3
Paun, Gheorghe
3
Richter, Michael M.
3
Wang, Dongming
3
Wirsing, Martin
3
Alur, Rajeev
2
Apt, Krzysztof R.
2
Bauer, Friedrich L.
2
Bezem, Marc
2
Blumenthal, Brad
2
Brookes, Stephen
2
Budach, Lothar
2
Choffrut, Christian
2
Cori, Robert
2
Dezani-Ciancaglini, Mariangiola
2
Diekert, Volker
2
Enjalbert, Patrice
2
Finkel, Alain
2
Galil, Zvi
2
Glesner, Manfred
2
Gornostaev, Juri
2
Gupta, Gopal
2
Gurevich, Yuri
2
Hartenstein, Reiner W.
2
Jantke, Klaus P.
2
Jantzen, Matthias
2
Jäger, Gerhard
2
Kelemen, Jozef
2
Kirchner, Helene
2
Kreowski, Hans-Jörg
2
Kropf, Thomas
2
Larsen, Kim G.
2
Lingas, Andrzej
2
Main, Michael
2
Maluszynski, Jan
2
Maurer, Hermann
2
Mayr, Ernst W.
2
Meinke, Karl
2
Melton, Austin
2
Meuer, Hans W.
2
Mislove, Michael
2
Monien, Burkhard
2
Möller, Bernhard
2
Nivat, Maurice
2
O'Hearn, Peter
2
Ohlbach, Hans J.
2
Pnueli, Amir
2
Przymusinski, Teodor C.
2
Puech, Claude
2
Rovan, Branislav
2
Schwichtenberg, Helmut
2
Tennent, Robert
2
Thalheim, Bernhard
2
Thiagarajan, P.S.
2
Unger, Claus
2
Vinay, V.
2
Wagner, Klaus W.
2
Abadi, Martin
1
Abiteboul, Serge
1
Abramsky, S.
1
Adian, Sergei
1
Alagar, V.S.
1
Alferes, Jose Julio
1
Alpigini, James J.
1
Altenkirch, Thorsten
1
Alves-Foss, James
1
Appelt, Wolfgang
1
Arbib, M.A.
1
Arbib, Michael A.
1
Arikawa, Setsuo
1
Atluri, Vijay
1
Ausiello, Giorgio
1
Balcazar, Jose L.
1
Barendregt, Henk
1
Barth, Andreas
1
Bauer, F. L.
1
Bauer, F.L.
1
Beaumont, Anthony
1
Becker, J.D.
1
Ben-Ari, Mordechai
1
Benker, Hans
1
Berger, Ulrich
1
Bergman, Clifford H.
1
Bird, Peter L.
1
Birtwistle, Graham
1
Biswas, Somenath
1
Bjørner, Dines
1
Blanck, Jens
1
Blaschek, Günther
1
Blundo, Carlo
1
Boiten, Eerke A.
1
Bolc, Leonard
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=5&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...