Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Logics And Meanings Of Programs"
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
Search alternatives
:
meanings »
meaning
programs »
program
Showing
61
-
80
of
467
Search:
'"Logics And Meanings Of Programs"'
,
query time: 0.23s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
61
Informatik : Eine einführende Übersicht Erster Teil
by
Bauer, F. L.
,
Goos, G.
Published 1973
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
62
Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
63
Grundlegende Algorithmen mit Java : Lern- und Arbeitsbuch für Informatiker und Mathematiker
by
Logofătu, Doina
Published 2014
Springer Fachmedien Wiesbaden
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
64
Computing in Object-Oriented Parallel Environments : Second International Symposium, ISCOPE 98 Santa Fe, NM, USA, December 8–11, 1998 Proceedings
by
Caromel, Denis
Published 1998
Springer-Verlag
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
65
Object-Oriented Technology ECOOP’99 Workshop Reader : ECOOP’99 Workshops, Panels, and Posters Lisbon, Portugal, June 14–18, 1999 Proceedings
by
Demeyer, Serge
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
66
Randomness and Completeness in Computational Complexity
by
Melkebeek, Dieter
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
67
Sprachlogische Aspekte rekonstruierten Denkens, Redens und Handelns : Aufbau einer Wissenschaftstheorie der Wirtschaftsinformatik
by
Heinemann, Elisabeth
Published 2006
Deutscher Universitätsverlag
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
68
Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
69
The Design of Requirements Modelling Languages : How to Make Formalisms for Problem Solving in Requirements Engineering
by
Jureta, Ivan
Published 2015
Springer International Publishing
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
70
Component-Based Software Engineering : 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings
by
Crnkovic, Ivica
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
71
Grammatical Inference: Algorithms and Applications : 6th International Colloquium, ICGI 2002 Amsterdam, The Netherlands, September 23–25, 2002 Proceedings
by
Adriaans, Pieter
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
72
Embedded Software : Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings
by
Sangiovanni-Vincentelli, Alberto
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
73
Grammatical Inference: Algorithms and Applications : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings
by
Paliouras, Georgios
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
74
Research and Advanced Technology for Digital Libraries : First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings
by
Peters, Carol
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
75
Logical Aspects of Computational Linguistics : First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers
by
Retore, Christian
Published 1997
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
76
Modular Specification and Verification of Object-Oriented Programs
by
Müller, Peter
Published 2002
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
77
Reflection and Software Engineering
by
Cazzola, Walter
Published 2000
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
78
Static Analysis : 6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings
by
Cortesi, Agostino
Published 1999
Springer-Verlag Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
79
A Tight, Practical Integration of Relations and Functions
by
Boley, Harold
Published 1999
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
Read Now
80
Automated Deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
by
Kirchner, Claude
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Logics
and
Meanings
of
Programs
...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
414
005 - Computer programming, programs & data
43
511 - General principles of mathematics
4
006 - Special computer methods
3
003 - Systems
1
510 - Mathematics
1
more ...
519 - Probabilities & applied mathematics
1
see all ...
less ...
Language
English
41
German
14
Collection
Lecture Notes in Computer Science
412
Springer Book Archives -2004
37
Springer eBooks 2005-
18
Author
Rozenberg, Grzegorz
8
Ehrig, Hartmut
7
Hermanns, Holger
5
Katoen, Joost-Pieter
5
Voronkov, Andrei
5
Graf, Susanne
4
more ...
Lau, Kung-Kiu
4
Steffen, Bernhard
4
Thalheim, Bernhard
4
Woodcock, Jim
4
Alur, Rajeev
3
Backhouse, Roland
3
Boley, Harold
3
Brinksma, Ed
3
Broy, Manfred
3
Bruynooghe, Maurice
3
Clack, Chris
3
Comon, Hubert
3
Cortesi, Agostino
3
Davies, Jim
3
Felici, Massimo
3
Hinchey, Michael G
3
Karhumäki, Juhani
3
Laddaga, Robert
3
Leue, Stefan
3
Maibaum, Tom
3
Meyer, John-Jules Ch
3
Nielsen, Mogens
3
Nipkow, Tobias
3
Palamidessi, Catuscia
3
Robertson, Paul
3
Rossi, Francesca
3
Schewe, Klaus-Dieter
3
Stevens, Perdita
3
Weber, Herbert
3
Wirsing, Martin
3
Zamulin, Alexandre V
3
Anderson, Stuart
2
Antoniou, Grigoris
2
Apt, Krzysztof R
2
Arts, Thomas
2
Baaz, Matthias
2
Baier, Christel
2
Basin, David
2
Bauer, F. L.
2
Bernardo, Marco
2
Bert, Didier
2
Boiten, Eerke
2
Bowen, Jonathan P
2
Brauer, Wilfried
2
Cardelli, Luca
2
Ciancarini, Paolo
2
Dahl, Veronica
2
Damm, Werner
2
Davie, Tony
2
Derrick, John
2
Dershowitz, Nachum
2
Desel, Jörg
2
Dignum, Frank
2
Dong, Jin Song
2
Dybjer, Peter
2
Focardi, Riccardo
2
Ganzinger, Harald
2
Gibbons, Jeremy
2
Glaser, Hugh
2
Goos, Gerhard
2
Gorrieri, Roberto
2
Hammond, Kevin
2
Henzinger, Thomas A
2
Hu, Alan J
2
Jeuring, Johan
2
Koopman, Pieter
2
Kozen, Dexter
2
Kropf, Thomas
2
Kuchen, Herbert
2
Kurt-Gödel-Gesellschaft
2
Kutsche, Ralf-Detlef
2
Küchlin, Wolfgang
2
Larsen, Kim G
2
Lee, Jaeho
2
Levi, Giorgio
2
Maciaszek, Leszek A.
2
Margaria, Tiziana
2
Matsuoka, Satoshi
2
McAllester, David
2
Meinke, Karl
2
Middeldorp, Aart
2
Mohnen, Markus
2
Moreira, Ana
2
Mosses, Peter D
2
Mukhopadhyay, Supratik
2
Möller, Bernhard
2
Müller, Jörg P
2
Nagl, Manfred
2
Najm, Elie
2
Nerode, Anil
2
Nestmann, Uwe
2
Odell, James
2
Odersky, Martin
2
Ohori, Atsushi
2
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=4&lookfor=%22Logics+And+Meanings+Of+Programs%22&type=Subject
Send by Email
×
Loading...