Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Monographs in Computer Science"
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
Showing
1
-
20
of
74
Search:
'"Monographs in Computer Science"'
,
query time: 5.63s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Adapting Proofs-as-Programs : The Curry--Howard Protocol
by
Poernomo, Iman
,
Crossley, John N.
,
Wirsing, Martin
Published 2005
Springer New York
“
...
Monographs
in
Computer
Science
...
”
Read Now
2
Super-Recursive Algorithms
by
Burgin, Mark
Published 2005
Springer New York
“
...
Monographs
in
Computer
Science
...
”
Read Now
3
Abstraction, Refinement and Proof for Probabilistic Systems
by
McIver, Annabelle
,
Morgan, Charles Carroll
Published 2005
Springer New York
“
...
Monographs
in
Computer
Science
...
”
Read Now
4
Reverse engineering of object oriented code
by
Tonella, Paolo
Published 2005
Springer Science+Business Media
“
...
Monographs
in
computer
science
...
”
Call Number:
QA76.64
Read Now
5
Reliable Computer Systems : Collected Papers of the Newcastle Reliability Project
Published 1985
Springer Berlin Heidelberg
“
...
Monographs
in
Computer
Science
...
”
Read Now
6
Adaptive Information Processing : An Introductory Survey
by
Sampson, Jeffrey R.
Published 1976
Springer Berlin Heidelberg
“
...
Monographs
in
Computer
Science
...
”
Read Now
7
The Origins of Digital Computers : Selected Papers
Published 1973
Springer Berlin Heidelberg
“
...
Monographs
in
Computer
Science
...
”
Read Now
8
Programming in Modula-2
by
Wirth, Niklaus
Published 1988
Springer Berlin Heidelberg
“
...
Monographs
in
Computer
Science
...
”
Read Now
9
Algorithmic Language and Program Development
by
Bauer, F.L.
,
Wössner, H.
Published 1982
Springer Berlin Heidelberg
“
...
Monographs
in
Computer
Science
...
”
Read Now
10
The Origins of Digital Computers : Selected Papers
Published 1982
Springer Berlin Heidelberg
“
...
Monographs
in
Computer
Science
...
”
Read Now
11
Programming in Modula-2
by
Wirth, Niklaus
Published 1985
Springer Berlin Heidelberg
“
...
Monographs
in
Computer
Science
...
”
Read Now
12
Programming in Modula-2
by
Wirth, N.
Published 1983
Springer Berlin Heidelberg
“
...
Monographs
in
Computer
Science
...
”
Read Now
13
Geometrical Methods in Robotics
by
Selig, J.M.
Published 1996
Springer New York
“
...
Monographs
in
Computer
Science
...
”
Read Now
14
On a Method of Multiprogramming
by
Feijen, W.H.J.
,
Gasteren, A.J.M. van
Published 1999
Springer New York
“
...
Monographs
in
Computer
Science
...
”
Read Now
15
Set Theory for Computing : From Decision Procedures to Declarative Programming with Sets
by
Cantone, Domenico
,
Omodeo, Eugenio
,
Policriti, Alberto
Published 2001
Springer New York
“
...
Monographs
in
Computer
Science
...
”
Read Now
16
Panoramic Vision : Sensors, Theory, and Applications
Published 2001
Springer New York
“
...
Monographs
in
Computer
Science
...
”
Read Now
17
A Logical Approach to Discrete Math
by
Gries, David
,
Schneider, Fred B.
Published 1993
Springer New York
“
...
Monographs
in
Computer
Science
...
”
Read Now
18
Prototyping-Oriented Software Development : Concepts and Tools
by
Bischofberger, Walter R.
,
Pomberger, Gustav
Published 1992
Springer Berlin Heidelberg
“
...
Monographs
in
Computer
Science
...
”
Read Now
19
Asynchronous Circuits
by
Brzozowski, Janusz A.
,
Seger, Carl-Johan H.
Published 1995
Springer New York
“
...
Monographs
in
Computer
Science
...
”
Read Now
20
The Design and Analysis of Algorithms
by
Kozen, Dexter C.
Published 1992
Springer New York
“
...
Monographs
in
Computer
Science
...
”
1
2
3
4
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
29
004 - Data processing & computer science
28
006 - Special computer methods
6
621 - Applied physics
4
003 - Systems
3
518 - Numerical analysis
3
more ...
511 - General principles of mathematics
1
516 - Geometry
1
629 - Other branches of engineering
1
see all ...
less ...
Language
English
74
Collection
Springer Book Archives -2004
63
Springer eBooks 2005-
10
Netlibrary
1
Author
Gries, David
4
Alagic, Suad
3
Arbib, Michael A.
2
Dijkstra, Edsger W.
2
Feijen, W.H.J.
2
Gasteren, A.J.M. van
2
more ...
Potrich, Alessandra
2
Randell, B.
2
Reps, Thomas W.
2
Selig, J.M.
2
Teitelbaum, Tim
2
Tonella, Paolo
2
Wirth, Niklaus
2
Abadi, Martin
1
Alexander, Thomas S.
1
Apt, Krzysztof R.
1
Bauer, F.L.
1
Benosman, Ryad
1
Bhanu, Bir
1
Bischofberger, Walter R.
1
Book, Ronald V.
1
Bronstein, Alexander M.
1
Bronstein, Michael M.
1
Broy, Manfred
1
Brzozowski, Janusz A.
1
Burgin, Mark
1
Cai, Xing
1
Cantone, Domenico
1
Cardelli, Luca
1
Castillo, Enrique
1
Christian, Kaare
1
Cohen, Edward
1
Crossley, John N.
1
Dewar, R.B.K.
1
Downey, Rodney G.
1
Dubinsky, E.
1
Fejer, Peter A.
1
Fellows, M.R.
1
Fitting, Melvin
1
Francez, Nissim
1
Frey, P.W.
1
Goos, Gerhard
1
Gregory, R. T.
1
Grune, Dick
1
Gschwind, Hans W.
1
Gutierrez, Jose M.
1
Guttag, John V.
1
Hadi, Ali S.
1
Hehner, Eric C.R.
1
Herbert, Andrew James
1
Heydon, Clark Allan
1
Hofri, Micha
1
Horning, James J.
1
Jacobs, Ceriel J.H.
1
Kang, Sing B.
1
Kimmel, Ron
1
Kozen, Dexter C.
1
Krawiec, Krzysztof
1
Krishnamurthy, E. V.
1
Krishnamurthy, E.V.
1
Leiss, Ernst L.
1
Levin, Roy
1
Li, Ming
1
Lin, Yingqiang
1
Lines, Glenn Terje
1
Luckham, David
1
Manes, Ernest G.
1
Mann, Timothy P.
1
McCluskey, E.J.
1
McIver, Annabelle
1
Mclver, Annabelle
1
Mishra, Bhubaneswar
1
Misra, J.
1
Misra, Jayadev
1
Morgan, Carroll
1
Morgan, Charles Carroll
1
Nerode, Anil
1
New York University
1
Nielsen, Bjørn Frederik
1
Nielson, Flemming
1
Olderog, Ernst-Rüdiger
1
Omodeo, Eugenio
1
Otto, Friedrich
1
Paton, Norman W.
1
Poernomo, Iman
1
Policriti, Alberto
1
Pomberger, Gustav
1
Preparata, Franco P.
1
Ryan, Donna
1
Salomaa, Arto
1
Sampson, Jeffrey R.
1
Schneider, Fred B.
1
Scholten, Carel S.
1
Schonberg, E.
1
Schwartz, J.T.
1
Seger, Carl-Johan H.
1
Shamos, Michael I.
1
Sherman, Alan T.
1
Shore, Richard A.
1
Shrivastava, Santosh K.
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22Monographs+in+Computer+Science%22&type=Series
Send by Email
×
Loading...