Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Computer Programming"
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:"040 - [Unassigned]"
Search alternatives
:
computer programming »
computer program
,
computer programs
Showing
1
-
20
of
162
Search:
'"Computer Programming"'
,
query time: 0.52s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Verifying Concurrent Processes Using Temporal Logic
by
Hailpern, B. T.
Published 1982
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
2
From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions
by
Snyers, Dominique
,
Thayse, Andre
Published 1987
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
3
International Symposium on Programming : 5th Colloquium, Turin, April 6-8, 1982. Proceedings
Published 1982
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
4
Coping with Selfishness in Congestion Games : Analysis and Design via LP Duality
by
Bilò, Vittorio
,
Vinci, Cosimo
Published 2023
Springer International Publishing
Subjects:
“
...
Computer
programming
...
”
Read Now
5
Automata, Languages and Programming : 10th Colloquium Barcelona, Spain, July 18–22, 1983
Published 1983
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
6
Programs as Data Objects : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985
Published 1986
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
7
Automatic Verification of Sequential Infinite-State Processes
by
Burkart, Olaf
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
8
Recent Trends in Algebraic Development Techniques : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Published 2021
Springer International Publishing
Subjects:
“
...
Computer
programming
...
”
Read Now
9
CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...Compilers (
Computer
programs
)...
”
Read Now
10
Distributed Algorithms : 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13 - 15, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
11
Parallel Problem Solving from Nature - PPSN III : International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Isr...
Published 1994
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
12
Mathematics of Program Construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
13
Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
Published 1990
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
14
Mathematical Models for the Semantics of Parallelism : Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
Published 1987
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
15
Verification of Business Rules Programs
by
Berstel-Da Silva, Bruno
Published 2014
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
16
Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets
by
Reisig, Wolfgang
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
17
Distributed Computing : 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
18
Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Subjects:
“
...Compilers (
Computer
programs
)...
”
Read Now
19
Distributed Algorithms : 7th International Workshop, WDAG `93, Lausanne, Switzerland, September 27-29, 1993. Proceedings
Published 1993
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
Read Now
20
CONCUR 2009 - Concurrency Theory : 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...
Computer
programming
...
”
1
2
3
4
5
6
7
8
9
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 040 - [Unassigned]
Year of Publication
From:
To:
Classification
040 - [Unassigned]
Language
English
162
Collection
Springer eBooks 2005-
95
Springer Book Archives -2004
67
Author
Gavrilova, Marina L.
3
Kumar, Vipin
3
Laganà, Antonio
3
Mun, Youngsong
3
Bitsch, Friedemann
2
Brookes, Stephen
2
more ...
Davenport, James H.
2
Gadducci, Fabio
2
Hung, Dang Van
2
Jeannot, Emmanuel
2
Jones, Cliff
2
Kehrer, Timo
2
Lakhnech, Yassine
2
Main, Michael
2
Melton, Austin
2
Mislove, Michael
2
Namyst, Raymond
2
Potapov, Igor
2
Roman, Jean
2
Schoitsch, Erwin
2
Tonetta, Stefano
2
Abiteboul, Serge
1
Abraham, Erika
1
Abramsky, S.
1
Abramson, David
1
Aceto, Luca
1
Akl, Selim G.
1
Alfa, Attahiru Sule
1
Artho, Cyrille
1
Arvind, V.
1
Bacci, Giorgio
1
Bacci, Giovanni
1
Baeten, Jos C.M.
1
Baltag, Alexandru
1
Bansal, Nikhil
1
Barbier, Franck
1
Barkaoui, Kamel
1
Bartosek, Miroslav
1
Bauer, F.L.
1
Bensalem, Saddek
1
Bernardo, Marco
1
Berstel-Da Silva, Bruno
1
Beyersdorff, Olaf
1
Bilò, Vittorio
1
Bloem, Roderick
1
Bogdanov, Alexander V.
1
Boiten, Eerke
1
Book, Ronald V.
1
Boreale, Michele
1
Bouajjani, Ahmed
1
Bowen, Jonathan P.
1
Branke, Jürgen
1
Bravetti, Mario
1
Bugliesi, Michele
1
Burkart, Olaf
1
Butler, Michael
1
Cagnoni, Stefano
1
Carballal, Adrian
1
Cavalcanti, Ana
1
Cerone, Antonio
1
Chang, Bor-Yuh Evan
1
Chatterjee, Krishnendu
1
Chechik, Marsha
1
Ciardo, Gianfranco
1
Cimatti, Alessandro
1
Colom, Jose-Manuel
1
Cook, Byron
1
Corradini, Flavio
1
Cortesi, Agostino
1
Costa, Ernesto
1
Counsell, Steve
1
Crespi Reghizzi, Stefano
1
D'Ambra, Pasqua
1
Dahl, Ole-Johan
1
Das, Sajal K.
1
Das, Samir R.
1
Das, Swagatam
1
Davidor, Yuval
1
Davies, Jim
1
Dawar, Anuj
1
De Vos, Alexis
1
Degano, Pierpaolo
1
Dehne, Frank
1
Delzanno, Giorgio
1
Deng, Xiaotie
1
Deransart, Pierre
1
Derrick, John
1
Desel, Jörg
1
Dezani-Ciancaglini, M.
1
Dezani-Ciancaglini, Mariangiola
1
Diaz, J.
1
Dierstein, Rüdiger
1
Diks, Krzystof
1
Dimitrova, Rayna
1
Dobnikar, Andrej
1
Dolev, Shlomi
1
Dongarra, Jack J.
1
Du, Dingzhu
1
Duan, Zhenhua
1
Dörr, Heiko
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22040+-+%5BUnassigned%5D%22&lookfor=%22Computer+Programming%22&type=Subject
Send by Email
×
Loading...