Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "symbol"
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"
Search alternatives
:
"symbol" »
"symbols"
,
"symbolic"
Showing
1
-
20
of
356
Search:
'"symbol"'
,
query time: 0.04s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Modular Algorithms in
Symbolic
Summation and
Symbolic
Integration
by
Gerhard, Jürgen
Published 2004
Springer-Verlag Berlin/Heidelberg
Read Now
2
Modular Algorithms in
Symbolic
Summation and
Symbolic
Integration
by
Gerhard, Jürgen
Published 2004
Springer-Verlag Berlin/Heidelberg
Read Now
3
Symbolic
and Algebraic Computation : International Symposium ISSAC '88 Rome, Italy, July 4–8, 1988 Proceedings
by
Gianni, P.
Published 1989
Springer
Read Now
4
Symbolic
and Algebraic Computation : EUROSM '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979
by
Ng, Edward
Published 1979
Springer
Read Now
5
Symbolic
Rewriting Techniques
Published 1998
Birkhäuser
“
...
Symbolic
rewriting techniques are methods for deriving consequences from systems of equations...
”
Read Now
6
Symbolic
and Quantitative Approaches to Uncertainty : European Conference ECSQAU Marseille, France, October 15–17, 1991 Proceedings
by
Kruse, Rudolf
Published 1991
Springer
Read Now
7
Parallel
Symbolic
Languages and Systems : International Workshop PSLS'95 Beaune, France, October 2–4, 1995 Proceedings
by
Halstead, Robert
Published 1996
Springer
Read Now
8
Advanced
Symbolic
Analysis for Compilers : New Techniques and Algorithms for Symbolic Program Analysis and Optimization
by
Fahringer, Thomas
Published 2003
Springer-Verlag Berlin Heidelberg
Read Now
9
Symbolic
Analysis for Parallelizing Compilers
by
Haghighat, Mohammad R.
Published 1995
Springer US
Table of Contents:
“
...Related Work --
Symbolic
Analysis -- Induction Variables -- Interprocedural
Symbolic
Analysis...
”
Read Now
10
Parallel
Symbolic
Languages and Systems : International Workshop, PSLS '95, Beaune, France, October (2-4), 1995. Proceedings
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... the performance of parallel
symbolic
programs -- A debugging scheme for fine-grain threads on massively parallel...
”
Read Now
11
Artificial Intelligence and
Symbolic
Computation : International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers
by
Campbell, John A
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Symbolic
and Algebraic Manipulation...
”
Read Now
12
Artificial Intelligence and
Symbolic
Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings
by
Buchberger, Bruno
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Symbolic
and Algebraic Manipulation...
”
Read Now
13
Artificial Intelligence and
Symbolic
Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
by
Calmet, Jacques
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Symbolic
and Algebraic Manipulation...
”
Read Now
14
Symbolic
and Numerical Scientific Computation : Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers
by
Winkler, Franz
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Symbolic
and Algebraic Manipulation...
”
Read Now
15
Design and Implementation of
Symbolic
Computation Systems : International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings
by
Miola, Alfonso
Published 1990
Springer
Read Now
16
Design and Implementation of
Symbolic
Computation Systems : International Symposium, DISCO '92 Bath, U.K., April 13–15, 1992 Proceedings
by
Fitch, John
Published 1993
Springer
Read Now
17
Artificial Intelligence and
Symbolic
Mathematical Computing : International Conference AISMC-1 Karlsruhe, Germany, August 3–6, 1992 Proceedings
by
Calmet, Jacques
Published 1993
Springer
Read Now
18
Design and Implementation of
Symbolic
Computation Systems : International Symposium, DISCO '93 Gmunden, Austria, September 15–17, 1993 Proceedings
by
Miola, Alfonso
Published 1993
Springer
Read Now
19
Symbolic
and Quantitative Approaches to Reasoning and Uncertainty : European Conference ECSQARU '93 Granada, Spain, November 8–10, 1993 Proceedings
by
Clarke, Michael
Published 1993
Springer
Read Now
20
Design and Implementation of
Symbolic
Computation Systems : International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings
by
Calmet, Jacques
Published 1996
Springer
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
005 - Computer programming, programs & data
28
621 - Applied physics
12
500 - Natural sciences & mathematics
10
658 - General management
4
331 - Labor economics
2
more ...
006 - Special computer methods
1
300 - Social sciences
1
330 - Economics
1
384 - Communications; telecommunication
1
510 - Mathematics
1
670 - Manufacturing
1
745 - Decorative arts
1
see all ...
less ...
Language
English
252
German
30
Collection
Springer Book Archives -2004
141
Springer eBooks 2005-
105
Lecture Notes in Computer Science
74
O'Reilly
20
Springer Lecture Notes Archiv 1964-1996
16
Author
Calmet, Jacques
6
Ito, Takayasu
5
Nerode, Anil
4
Buchberger, Bruno
3
Campbell, John
3
Fossorier, Marc
3
more ...
Gaus, Wilhelm
3
Kronland-Martinet, Richard
3
Kropf, Thomas
3
Kurosu, Masaaki
3
Poli, Alain
3
Rozenberg, Grzegorz
3
Weitz, Edmund
3
Aramaki, Mitsuko
2
Banerjee, Utpal
2
Banzhaf, Wolfgang
2
Bouge, Luc
2
Campbell, John A
2
Cantoni, Virginio
2
Chong, Ilyoung
2
Comon, Hubert
2
Deussen, P.
2
Ehrig, Hartmut
2
Fitch, John
2
Gelernter, David
2
Gerhard, Jürgen
2
Gervasi, Osvaldo
2
Giambene, Giovanni
2
Gottlob, Georg
2
Grabmeier, Johannes
2
Halstead, Robert
2
Halstead, Robert H. Jr
2
Henzinger, Thomas A.
2
Jensen, Kristoffer
2
Kruse, Rudolf
2
Leitsch, Alexander
2
Majumdar, Rupak
2
Makinson, David
2
Manduchi, Roberto
2
Miesenberger, Klaus
2
Miola, Alfonso
2
Murgante, Beniamino
2
Nielsen, Mogens
2
Nipkow, Tobias
2
Otung, Ifiok
2
Pajankar, Ashwin
2
Pfalzgraf, Jochen
2
Pillai, Prashant
2
Queinnec, Christian
2
Rauterberg, Matthias
2
Robert, Yves
2
Salomaa, Arto
2
Schmorrow, Dylan D.
2
Setti, Alessandra
2
Shore, Richard A.
2
Tegolo, Domenico
2
Trujillo, Leonardo
2
Valk, Rüdiger
2
Wallwork, Adrian
2
Weispfenning, Volker
2
Ystad, Sølvi
2
di Gesù, Vito
2
Aagesen, Finn Arve
1
Abadi, Martín
1
Abascal, Julio
1
Abowd, Gregory D.
1
Abramowicz, Witold
1
Abramsky, Samson
1
Adamatzky, Andrew
1
Adian, Sergei
1
Agosti, Maristella
1
Ahlswede, Rudolf
1
Ahmadi, Alireza
1
Albada, Geert Dick van
1
Alur, Rajeev
1
Anderson, Tom
1
Antsaklis, Panos
1
Anutariya, Chutiporn
1
Arcelli, C.
1
Asperti, Andrea
1
Avrithis, Yannis
1
Aydinian, Harout
1
Ayestaran, Sabino
1
Baalsrud Hauge, Jannicke
1
Baaz, Matthias
1
Bachmair, Leo
1
Bakhshi, Rena
1
Baldoni, Roberto
1
Ballarini, Paolo
1
Baranauskas, Cecília
1
Barbot, Benoît
1
Barrett, Kenneth
1
Barthe, Gilles
1
Bartlett, Jonathan
1
Bauer, F.L.
1
Baumgartner, Peter
1
Benferhat, Salem
1
Bengi, Kemal
1
Benhamou, Belaid
1
Benker, Hans
1
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&lookfor=%22symbol%22&type=AllFields
Send by Email
×
Loading...