×

zbMATH — the first resource for mathematics

Science of Computer Programming

Short Title: Sci. Comput. Program.
Publisher: Elsevier Science B.V. (North-Holland), Amsterdam
ISSN: 0167-6423
Online: http://www.sciencedirect.com/science/journal/01676423
Comments: No longer indexed
Documents indexed: 998 Publications (1981–2014)
References indexed: 196 Publications with 8,012 References
all top 5

Latest Issues

84 (2014)
80, Part A (2014)
78, No. 7 (2013)
78, No. 5 (2013)
78, No. 4 (2013)
78, No. 3 (2013)
78, No. 2 (2013)
78, No. 1 (2012)
77, No. 12 (2012)
77, No. 10-11 (2012)
77, No. 9 (2012)
77, No. 7-8 (2012)
77, No. 6 (2012)
77, No. 5 (2012)
77, No. 4 (2012)
77, No. 3 (2012)
77, No. 2 (2012)
76, No. 12 (2011)
76, No. 11 (2011)
76, No. 10 (2011)
76, No. 9 (2011)
76, No. 8 (2011)
76, No. 7 (2011)
76, No. 6 (2011)
76, No. 5 (2011)
76, No. 4 (2011)
76, No. 3 (2011)
76, No. 2 (2011)
76, No. 1 (2011)
75, No. 12 (2010)
75, No. 11 (2010)
75, No. 10 (2010)
75, No. 9 (2010)
75, No. 8 (2010)
75, No. 7 (2010)
75, No. 6 (2010)
75, No. 5 (2010)
75, No. 4 (2010)
75, No. 3 (2010)
75, No. 1-2 (2010)
74, No. 11-12 (2009)
74, No. 10 (2009)
74, No. 9 (2009)
74, No. 8 (2009)
74, No. 7 (2009)
74, No. 5-6 (2009)
74, No. 4 (2009)
74, No. 3 (2009)
74, No. 1-2 (2008)
73, No. 2-3 (2008)
73, No. 1 (2008)
72, No. 3 (2008)
72, No. 1-2 (2008)
71, No. 3 (2008)
71, No. 2 (2008)
71, No. 1 (2008)
70, No. 2-3 (2008)
70, No. 1 (2008)
69, No. 1-3 (2007)
68, No. 3 (2007)
68, No. 2 (2007)
68, No. 1 (2007)
67, No. 2-3 (2007)
67, No. 1 (2007)
66, No. 3 (2007)
66, No. 2 (2007)
66, No. 1 (2007)
65, No. 3 (2007)
65, No. 2 (2007)
65, No. 1 (2007)
64, No. 3 (2007)
64, No. 2 (2007)
64, No. 1 (2007)
63, No. 3 (2006)
63, No. 2 (2006)
63, No. 1 (2006)
62, No. 3 (2006)
62, No. 2 (2006)
62, No. 1 (2006)
61, No. 3 (2006)
61, No. 2 (2006)
61, No. 1 (2006)
60, No. 3 (2006)
60, No. 2 (2006)
60, No. 1 (2006)
59, No. 3 (2006)
59, No. 1-2 (2006)
58, No. 3 (2005)
58, No. 1-2 (2005)
57, No. 3 (2005)
57, No. 2 (2005)
57, No. 1 (2005)
56, No. 3 (2005)
56, No. 1-2 (2005)
55, No. 1-3 (2005)
54, No. 2-3 (2005)
53, No. 3 (2004)
53, No. 2 (2004)
52, No. 1-3 (2004)
51, No. 3 (2004)
...and 95 more Volumes
all top 5

Authors

26 Rem, Martin
10 Arbab, Farhad
8 Broy, Manfred
8 Canal, Carlos
8 Möller, Bernhard
8 Sirjani, Marjan
7 Cavalcanti, Ana
7 Gibbons, Jeremy
7 Hesselink, Wim H.
7 Lengauer, Christian
7 Viroli, Mirko
6 Backhouse, Roland C.
6 Bird, Richard S.
6 Boiten, Eerke A.
6 Desharnais, Jules
6 Hedin, Görel
6 Kaldewaij, Anne
6 Mili, Ali
6 Pimentel, Ernesto
6 Riis Nielson, Hanne
6 Verhoef, Chris
5 Brogi, Antonio
5 Derrick, John
5 Gries, David
5 Hayes, Ian J.
5 Jacquet, Jean-Marie
5 Johnstone, Adrian
5 Nielson, Flemming
5 Partsch, Helmut A.
5 Sampaio, Augusto C. A.
5 Watson, Bruce William
5 Woodcock, James C. P.
4 Baier, Christel
4 Berghammer, Rudolf
4 Bettini, Lorenzo
4 Burgess, Mark
4 Chung, Lawrence M. L.
4 Clarke, Dave
4 Danvy, Olivier
4 Fiadeiro, José Luiz
4 Frappier, Marc
4 Inverardi, Paola
4 Jeuring, Johan
4 Kurtev, Ivan
4 Maurer, Ward Douglas
4 Morris, Joseph M.
4 Power, James F.
4 Salaün, Gwen
4 Schmidt, David A.
4 Scott, Elizabeth A.
4 Sere, Kaisa
4 Tanter, Éric
4 Vitek, Jan
4 Wehrheim, Heike
4 Wirsing, Martin
4 Zavattaro, Gianluigi
3 Back, Ralph-Johan
3 Barbuti, Roberto
3 Bonsangue, Marcello Maria
3 Brim, Luboš
3 Carette, Jacques
3 Cooper, Kendra
3 Cordy, James R.
3 Curtis, Sharon A.
3 Dai, Lirong
3 Damm, Werner
3 De Nicola, Rocco
3 de Roever, Willem-Paul
3 Duggan, Dominic
3 Durán, Francisco
3 Ebergen, Jo C.
3 Eugster, Patrick Th.
3 Feijs, Loe M. G.
3 Fernandez, Jean-Claude
3 Finance, Jean-Pierre
3 Flanagan, Cormac
3 Fradet, Pascal
3 Francez, Nissim
3 Freitas, Leo
3 Garrido, José Luis
3 Giacobazzi, Roberto
3 Giegerich, Robert
3 Gorla, Daniele
3 Groote, Jan Friso
3 Guttag, John V.
3 Hankin, Chris L.
3 Hehner, Eric C. R.
3 Hinze, Ralf
3 Jouault, Frédéric
3 Katoen, Joost-Pieter
3 Lawall, Julia L.
3 Leavens, Gary T.
3 Levi, Giorgio
3 Manna, Zohar
3 Martin, Alain J.
3 Meng, Sun
3 Morgan, Carroll C.
3 Noguera, Manuel
3 Palsberg, Jens
3 Pepper, Peter
...and 1,564 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription