HomeRecord
Advanced search ROAD search The Keepers search

Identifiers

ISSN :

1433-299X

Linking ISSN (ISSN-L): 0934-5043

Links

Key-title  

Formal aspects of computing (Internet)

Identifiers
ISSN :

1433-299X

Linking ISSN (ISSN-L): 0934-5043

Resource information
Archival Status
logo Keepers

Title proper: Formal aspects of computing.

Country: United Kingdom

Medium: Online

Digital Archives:

CLOCKSS Archive, CLOCKSS Archive, https://clockss.org, Online access with authorization, 1989/2021

CLOCKSS Archive, CLOCKSS Archive, https://clockss.org, Online access with authorization, 1989/2023

LOCKSS Archive, Global LOCKSS Network, https://www.lockss.org, Online access with authorization, 2012/2019, incomplete

LOCKSS Archive, Global LOCKSS Network, https://www.lockss.org, Online access with authorization, 2013/2018

E-depot, KB, nationale bibliotheek, No online access, 1998/2019

Library of Congress, Library of Congress, https://www.loc.gov, Online access with authorization, 2018/2021

NDPP, China, National Science Library, Chinese Academy of Sciences, http://english.las.cas.cn, Online access with authorization, 1997/2021

Scholars Portal, Ontario Council of University Libraries, https://scholarsportal.info, Online access with authorization, 1989/2021

Portico, Portico, https://www.portico.org, Online access with authorization, 1989/1998

Portico, Portico, https://www.portico.org, Online access with authorization, 1989/2021

Portico, Portico, https://www.portico.org, Online access with authorization, 1999/2023


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

 Springer

 CLOCKSS Archive

 1989

 2021

 18/11/2024
1 to 33
Preserved

 Association for Computing Machinery

 CLOCKSS Archive

 1989

 2023

 18/11/2024
1 to 35
In Progress

 Springer

 LOCKSS Archive

 2012

 2019

 18/11/2024
24, 31
Preserved

 Springer

 LOCKSS Archive

 2013

 2018

 18/11/2024
25 to 30
Preserved

 Springer

 Library of Congress

 2018

 2021

 30/08/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

 09/04/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

 21/10/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 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

 17/07/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

 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

 28/04/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

 Association for Computing Machinery

 Portico

 1989

 1998

 28/04/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, S 1, 2-6), 1995: 7(1-6), 1996: 8(1-6), 1997: 9(1-6), 1998: 10(1-5)
Preserved

 Association for Computing Machinery

 Portico

 1999

 2023

 28/04/2024
Preserved : 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-3, 5-6), 2011: 23(1-6), 2012: 24(1-6), 2013: 25(1-6), 2014: 26(1-6), 2015: 27(1-6), 2016: 28(1-6), 2017: 29(1-6), 2018: 30(1-6), 2019: 31(1-6), 2020: 32(1-6), 2021: 33(1-6), 2022: 34(1-4), 2023: 35(1-3)
Preserved

 Springer

 Scholars Portal

 1989

 2021

 02/04/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

 18/11/2024
1 to 33
Preserved

 Association for Computing Machinery

 CLOCKSS Archive

 1989

 2023

 18/11/2024
1 to 35
In Progress

 Springer

 LOCKSS Archive

 2012

 2019

 18/11/2024
24, 31
Preserved

 Springer

 LOCKSS Archive

 2013

 2018

 18/11/2024
25 to 30
Preserved

 Springer

 Library of Congress

 2018

 2021

 30/08/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

 09/04/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

 21/10/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 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

 17/07/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

 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

 28/04/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

 Association for Computing Machinery

 Portico

 1989

 1998

 28/04/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, S 1, 2-6), 1995: 7(1-6), 1996: 8(1-6), 1997: 9(1-6), 1998: 10(1-5)
Preserved

 Association for Computing Machinery

 Portico

 1999

 2023

 28/04/2024
Preserved : 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-3, 5-6), 2011: 23(1-6), 2012: 24(1-6), 2013: 25(1-6), 2014: 26(1-6), 2015: 27(1-6), 2016: 28(1-6), 2017: 29(1-6), 2018: 30(1-6), 2019: 31(1-6), 2020: 32(1-6), 2021: 33(1-6), 2022: 34(1-4), 2023: 35(1-3)
Preserved

 Springer

 Scholars Portal

 1989

 2021

 02/04/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

For all potential issues concerning this bibliographic record (missing or wrong data etc.), please contact the ISSN National Centre mentioned above by clicking on the link.

Links
.........

My Tools

Share
Print Display linked data

Discover all the features of the complete ISSN records

Access the full version of the ISSN Portal