Institutional Login
Welcome!
To use the personalized features of this site, please
log in
or
register
.
If you have forgotten your username or password, we can
help
.
My Menu
Marked Items
Alerts
Order History
Saved Items
All
Favorites
Content Types
All
Publications
Journals
Book Series
Books
Reference Works
Protocols
Subject Collections
Architecture and Design
Behavioral Science
Biomedical and Life Sciences
Business and Economics
Chemistry and Materials Science
Computer Science
Earth and Environmental Science
Engineering
Humanities, Social Sciences and Law
Mathematics and Statistics
Medicine
Physics and Astronomy
Professional and Applied Computing
中文(简体)
中文(繁體)
English
Deutsch
한국어
日本語
Français
Español
العربية
Русский
Journal
Acta Informatica
Publisher
Springer Berlin / Heidelberg
ISSN
0001-5903 (Print) 1432-0525 (Online)
Subject Collection
Computer Science
Subject
Computer Science
,
Logics and Meanings of Programs
,
Computer Systems Organization and Communication Networks
,
Software Engineering/Programming and Operating Systems
,
Data Structures, Cryptology and Information Theory
,
Theory of Computation
and
Information Systems and Communication Service
SpringerLink Date
Friday, April 05, 2002
Add to marked items
Add to saved items
Register for TOC Alerting
Recommend this journal
Editorial Board
About This Journal
Manuscript Submission
Editorial View
Condensed List View
Expanded List View
47 Volumes
First Page
|
Next Page
Current -45
44-43
42-41
40-39
38-37
36-35
34-33
32-31
30-29
28-27
26-25
24-23
22-21
20-19
18-17
16-15
14-13
12-11
10-9
8-7
6-5
4-3
2-1
Online First™ (2)
Volume 47
Number 2 / March, 2010
77-146
Number 1 / February, 2010
1-75
Volume 46
Number 8 / December, 2009
549-607
Number 7 / November, 2009
475-547
Number 6 / October, 2009
403-474
Number 5 / August, 2009
331-401
Number 4 / July, 2009
255-330
Number 3 / May, 2009
169-254
Number 2 / April, 2009
87-168
Number 1 / February, 2009
1-86
Volume 45
Numbers 7-8 / December, 2008
467-608
Number 6 / August, 2008
403-465
Number 5 / July, 2008
321-402
Number 4 / June, 2008
237-320
Number 3 / May, 2008
155-236
Number 2 / April, 2008
79-154
Number 1 / February, 2008
1-78
47 Volumes
First Page
|
Next Page
Current -45
44-43
42-41
40-39
38-37
36-35
34-33
32-31
30-29
28-27
26-25
24-23
22-21
20-19
18-17
16-15
14-13
12-11
10-9
8-7
6-5
4-3
2-1
more options
Find
Query Builder
Close
|
Clear
Title (ti)
Summary (su)
Author (au)
ISSN (issn)
ISBN (isbn)
DOI (doi)
And
Or
Not
(
)
* (wildcard)
"" (exact)
Within all content
Within this journal
Starts With
1,396 Results
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
space
0
1
2
3
4
5
6
7
8
9
Ü
Ö
Ë
Ä
ß
À
Á
Â
Ã
Ç
È
É
Ê
Ì
Í
Î
Ñ
Ò
Ó
Ô
Õ
Ù
Ú
Û
more
Content Status
Online First™ (2)
In Publication (1,394)
SpringerLink Date
In the last two weeks (1)
In the last month (1)
In the last six months (11)
In the last year (42)
Copyright
2010 - 2019 (8)
2000 - 2009 (272)
1990 - 1999 (380)
1980 - 1989 (451)
1970 - 1979 (285)
Author
G. Rozenberg
Grzegorz Rozenberg
C. A. R. Hoare
Joost Engelfriet
Manfred Broy
Amir Pnueli
Zohar Manna
Ugo Montanari
Kurt Mehlhorn
C. K. Wong
Article Category
Original Article (98)
Original article (66)
Original articles (43)
Original Paper (8)
Editorial (4)
Erratum (4)
OriginalPaper (4)
Acknowledgement to Referees (3)
Originalarbeiten (2)
Publisher's Erratum (1)
Message from the Publisher (1)
Remarks on R.D. Tennent's (1)
Corrigenda to (1)
RETRPROV (1)
Frequently asked questions
|
General information on journals and books
|
Send us your feedback
|
Impressum
|
Contact
© Springer.
Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
MetaPress Privacy Policy
Remote Address: 38.107.191.108 • Server: mpweb06
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)