Key-title  

Formal aspects of computing (Internet)

Identifiers
Resource information
Archival Status
logo Keepers

Title proper: Formal aspects of computing.

Country: United Kingdom

Medium: Online


logo Keepers
Status Publisher Keeper From To Updated Extent of archive
Preserved

Springer

CLOCKSS Archive

1989

2021

25/03/2024

1 to 33
Preserved

Association for Computing Machinery

CLOCKSS Archive

1989

2023

25/03/2024

1 to 35
In Progress

Springer

LOCKSS Archive

2012

2019

25/03/2024

24, 31
Preserved

Springer

LOCKSS Archive

2013

2018

25/03/2024

25 to 30
Preserved

Springer

Library of Congress

2018

2021

23/02/2024

30 (2, 3-4, 5, 6); 31 (1 to 6); 32 (1, 2-3, 4-6); 33 (1 to 3, 6)
Preserved

Springer Nature

National Digital Preservation Program, China

1997

2021

25/07/2023

Preserved : 1 (1 to 5); 2 (1 to 4, 6); 3 (1, 2, 3-4, 5, 6); 9 (1 to 5); 11 (1 to 6); 12 (1 to 6); 13 (1 to 3, 6); 14 (1 to 4); 15 (1, 2, 4); 16 (1 to 4); 17 (1 to 4); 18 (1 to 4); 19 (1 to 4); 21 (1, 3 to 6); 22 (1 to 3, 5, 6); 23 (1 to 6); 24 (1 to 4); 25 (1 to 6); 26 (1 to 6); 27 (1 to 5); 28 (1 to 4, 6); 29 (1 to 6); 31 (1 to 6); 32 (1, 2-3, 4-6); 33 (1 to 3, 4-5, 6)
Preserved

Springer Nature

National Digital Preservation Program, China

1997

2021

08/01/2024

Preserved : 1 (1 to 5); 2 (1 to 4, 6); 3 (1, 2, 3-4, 5, 6); 9 (1 to 5); 11 (1 to 6); 12 (1 to 6); 13 (1 to 3, 6); 14 (1 to 4); 15 (1, 2, 4); 16 (1 to 4); 17 (1 to 4); 18 (1 to 4); 19 (1 to 4); 21 (1, 3 to 6); 22 (1 to 3, 5, 6); 23 (1 to 6); 24 (1 to 4); 25 (1 to 6); 26 (1 to 6); 27 (1 to 5); 28 (1 to 4, 6); 29 (1 to 6); 31 (1 to 6); 32 (1, 2-3, 4-6); 33 (1 to 3, 4-5, 6)
Preserved

Springer Nature

National Digital Preservation Program, China

1997

2021

13/10/2023

Preserved : 1 (1 to 5); 2 (1 to 4, 6); 3 (1, 2, 3-4, 5, 6); 9 (1 to 5); 11 (1 to 6); 12 (1 to 6); 13 (1 to 3, 6); 14 (1 to 4); 15 (1, 2, 4); 16 (1 to 4); 17 (1 to 4); 18 (1 to 4); 19 (1 to 4); 21 (1, 3 to 6); 22 (1 to 3, 5, 6); 23 (1 to 6); 24 (1 to 4); 25 (1 to 6); 26 (1 to 6); 27 (1 to 5); 28 (1 to 4, 6); 29 (1 to 6); 31 (1 to 6); 32 (1, 2-3, 4-6); 33 (1 to 3, 4-5, 6)
Preserved

Springer

National Library of the Netherlands

1998

2019

20/10/2023

Preserved : 10 (1-4, 5-6); 11 (1-6); 12 (1-6); 13 (1, 2, 3-5, 6); 14 (1-4); 15 (1, 2-3, 4); 16 (1-4); 17 (1-4); 18 (1-4); 19 (1-4); 20 (1-3, 4-5, 6); 21 (1-2, 3-6); 22 (1, 2, 3-4, 5, 6); 23 (1-6); 24 (1-3, 4-6); 25 (1-6); 26 (1-6); 27 (1-4, 5-6); 28 (1-6); 29 (1-6); 30 (1, 2, 3-4, 5, 6); 31 (1-5); 2014
Preserved

Springer

Portico

1989

2021

26/03/2024

Preserved : 1989: 1(1), 1990: 2(1), 1991: 3(1-4), 1992: 4(1, S 1, 2-6), 1993: 5(1-6), 1994: 6(1-6), 1995: 7(1-6), 1996: 8(1-6), 1997: 9(1-6), 1998: 10(1-6), 1999: 11(1-6), 2000: 12(1-6), 2001/2002: 13(1-6), 2002/2003: 14(1-4), 2003: 15(1-4), 2004: 16(1-4), 2005: 17(1-4), 2006: 18(1-4), 2007: 19(1-4), 2008: 20(1-6), 2009: 21(1-6), 2010: 22(1-6), 2011: 23(1-6), 2012: 24(1-6), 2013: 25(1-6), 2014: 26(1-6), 2015: 27(2-6), 2016: 28(1-6), 2017: 29(1-6), 2018: 30(1-6), 2019: 31(1-6), 2019/2020: 32(1-6), 2021: 33(1-6)
Preserved

Springer

Scholars Portal

1989

2021

02/03/2024

Preserved : 1 (1); 2; 3 (2 to 4); 4 (1 to 6); 5 (1 to 6); 6 (1 to 6); 7 (1 to 6); 8 (1 to 6); 9 (1 to 4, 5-6); 10 (1 to 4, 5-6); 11 (1 to 6); 12 (1 to 6); 13 (1, 2, 3-5, 6); 14 (1 to 4); 15 (1, 2-3, 4); 16 (1 to 4); 17 (1 to 4); 18 (1 to 4); 19 (1 to 4); 20 (1 to 3, 4-5, 6); 21 (1-2, 3 to 6); 22 (1, 2, 3-4, 5, 6); 23 (1 to 6); 24 (1 to 3, 4-6); 25 (1 to 6); 26 (1 to 6); 27 (1 to 4, 5-6); 28 (1 to 6); 29 (1 to 6); 30 (1, 2, 3-4, 5, 6); 31 (4 to 6); 32 (1, 2-3, 4-6); 33 (1 to 3, 4-5, 6)
Archival Status
Status Publisher Keeper From To Updated Extent of archive
Preserved

Springer

CLOCKSS Archive

1989

2021

25/03/2024

1 to 33
Preserved

Association for Computing Machinery

CLOCKSS Archive

1989

2023

25/03/2024

1 to 35
In Progress

Springer

LOCKSS Archive

2012

2019

25/03/2024

24, 31
Preserved

Springer

LOCKSS Archive

2013

2018

25/03/2024

25 to 30
Preserved

Springer

Library of Congress

2018

2021

23/02/2024

30 (2, 3-4, 5, 6); 31 (1 to 6); 32 (1, 2-3, 4-6); 33 (1 to 3, 6)
Preserved

Springer Nature

National Digital Preservation Program, China

1997

2021

25/07/2023

Preserved : 1 (1 to 5); 2 (1 to 4, 6); 3 (1, 2, 3-4, 5, 6); 9 (1 to 5); 11 (1 to 6); 12 (1 to 6); 13 (1 to 3, 6); 14 (1 to 4); 15 (1, 2, 4); 16 (1 to 4); 17 (1 to 4); 18 (1 to 4); 19 (1 to 4); 21 (1, 3 to 6); 22 (1 to 3, 5, 6); 23 (1 to 6); 24 (1 to 4); 25 (1 to 6); 26 (1 to 6); 27 (1 to 5); 28 (1 to 4, 6); 29 (1 to 6); 31 (1 to 6); 32 (1, 2-3, 4-6); 33 (1 to 3, 4-5, 6)
Preserved

Springer Nature

National Digital Preservation Program, China

1997

2021

08/01/2024

Preserved : 1 (1 to 5); 2 (1 to 4, 6); 3 (1, 2, 3-4, 5, 6); 9 (1 to 5); 11 (1 to 6); 12 (1 to 6); 13 (1 to 3, 6); 14 (1 to 4); 15 (1, 2, 4); 16 (1 to 4); 17 (1 to 4); 18 (1 to 4); 19 (1 to 4); 21 (1, 3 to 6); 22 (1 to 3, 5, 6); 23 (1 to 6); 24 (1 to 4); 25 (1 to 6); 26 (1 to 6); 27 (1 to 5); 28 (1 to 4, 6); 29 (1 to 6); 31 (1 to 6); 32 (1, 2-3, 4-6); 33 (1 to 3, 4-5, 6)
Preserved

Springer Nature

National Digital Preservation Program, China

1997

2021

13/10/2023

Preserved : 1 (1 to 5); 2 (1 to 4, 6); 3 (1, 2, 3-4, 5, 6); 9 (1 to 5); 11 (1 to 6); 12 (1 to 6); 13 (1 to 3, 6); 14 (1 to 4); 15 (1, 2, 4); 16 (1 to 4); 17 (1 to 4); 18 (1 to 4); 19 (1 to 4); 21 (1, 3 to 6); 22 (1 to 3, 5, 6); 23 (1 to 6); 24 (1 to 4); 25 (1 to 6); 26 (1 to 6); 27 (1 to 5); 28 (1 to 4, 6); 29 (1 to 6); 31 (1 to 6); 32 (1, 2-3, 4-6); 33 (1 to 3, 4-5, 6)
Preserved

Springer

National Library of the Netherlands

1998

2019

20/10/2023

Preserved : 10 (1-4, 5-6); 11 (1-6); 12 (1-6); 13 (1, 2, 3-5, 6); 14 (1-4); 15 (1, 2-3, 4); 16 (1-4); 17 (1-4); 18 (1-4); 19 (1-4); 20 (1-3, 4-5, 6); 21 (1-2, 3-6); 22 (1, 2, 3-4, 5, 6); 23 (1-6); 24 (1-3, 4-6); 25 (1-6); 26 (1-6); 27 (1-4, 5-6); 28 (1-6); 29 (1-6); 30 (1, 2, 3-4, 5, 6); 31 (1-5); 2014
Preserved

Springer

Portico

1989

2021

26/03/2024

Preserved : 1989: 1(1), 1990: 2(1), 1991: 3(1-4), 1992: 4(1, S 1, 2-6), 1993: 5(1-6), 1994: 6(1-6), 1995: 7(1-6), 1996: 8(1-6), 1997: 9(1-6), 1998: 10(1-6), 1999: 11(1-6), 2000: 12(1-6), 2001/2002: 13(1-6), 2002/2003: 14(1-4), 2003: 15(1-4), 2004: 16(1-4), 2005: 17(1-4), 2006: 18(1-4), 2007: 19(1-4), 2008: 20(1-6), 2009: 21(1-6), 2010: 22(1-6), 2011: 23(1-6), 2012: 24(1-6), 2013: 25(1-6), 2014: 26(1-6), 2015: 27(2-6), 2016: 28(1-6), 2017: 29(1-6), 2018: 30(1-6), 2019: 31(1-6), 2019/2020: 32(1-6), 2021: 33(1-6)
Preserved

Springer

Scholars Portal

1989

2021

02/03/2024

Preserved : 1 (1); 2; 3 (2 to 4); 4 (1 to 6); 5 (1 to 6); 6 (1 to 6); 7 (1 to 6); 8 (1 to 6); 9 (1 to 4, 5-6); 10 (1 to 4, 5-6); 11 (1 to 6); 12 (1 to 6); 13 (1, 2, 3-5, 6); 14 (1 to 4); 15 (1, 2-3, 4); 16 (1 to 4); 17 (1 to 4); 18 (1 to 4); 19 (1 to 4); 20 (1 to 3, 4-5, 6); 21 (1-2, 3 to 6); 22 (1, 2, 3-4, 5, 6); 23 (1 to 6); 24 (1 to 3, 4-6); 25 (1 to 6); 26 (1 to 6); 27 (1 to 4, 5-6); 28 (1 to 6); 29 (1 to 6); 30 (1, 2, 3-4, 5, 6); 31 (4 to 6); 32 (1, 2-3, 4-6); 33 (1 to 3, 4-5, 6)
Record information

Last modification date: 07/02/2021

Type of record: Confirmed

ISSN Center responsible of the record: ISSN National Centre for Germany

Links
.........