Results: 1-10    

HOLDINGS (10)

*Formal aspects of computing : The international journal of formal methods

Springer Internat.
Results: 10 Narrow down the search for active libraries
BO411
Biblioteca di Matematica, Fisica e Informatica. Sezione di Matematica
P.zza Porta San Donato 5 40126 Bologna , tel. (051)2094411-2094413 , fax. (051)2094490
Request a document
Holdings: 1992-2005; Issues received
Lacunae: 2001;
Call number: Dep. 84.1.6 - 2005 S.Riv. 11I
Notes: La riv.si trova fisicamente c/o Dip.Mat.ma dal 1997 l'Abbonam.e'stato pagato dal Dip.Sci.Inform.
Last update holding 2022
GE029
Biblioteca della Scuola di scienze matematiche, fisiche e naturali. Sede di Valletta Puggia dell'Università
Via Dodecaneso, 35 16146 Genova , tel. 010 3536759 , fax. 010 3536754
Request a document
Holdings: 1989-2013;
Lacunae: 1991;
Call number: (PER 281)
Notes: Fondi: Sede Valletta Puggia - Scaffale chiuso - Periodici
Last update holding 2021
MI259
Biblioteca di Biologia, Informatica, Chimica e Fisica (BICF). Università degli Studi di Milano
via G. Celoria,18 20133 Milano , tel. 00390250316622
Request a document
Holdings: 1989-2008;
Call number: p_191
Notes: Proveniente dalla ex-biblioteca MI318 - Informatica
Last update holding 2023
PD055
Biblioteca Centrale di Ingegneria dell'Università degli Studi di Padova
Via Loredan, 20 35131 Padova , tel. 049 8274100/5415/6755/7692
Request a document
Holdings: 1992-1996;
Call number: DEI.PER.196
Last update holding 2015
PI027
Biblioteca di Matematica informatica fisica. Polo 3, Università di Pisa
L.go Pontecorvo,3 56127 Pisa , tel. 050 2213701 , fax. 050 2210677
Request a document
Holdings: 1990-2005;
Lacunae: 1995;2002;
Call number: II-22D1
Notes: Il periodico continua dal 2006 con la versione on-line
Last update holding 2023
PI061
Biblioteca dell'Area di Ricerca di Pisa - CNR
via G. Moruzzi 1 56124 Pisa , tel. 050 3152122 , fax. 050 3152282
Request a document
Holdings: 1989-2002;
Call number: ISTI C355
Notes: Il periodico continua dal 2003 con la versione online
Last update holding 2023
RM001
Biblioteca del Consiglio Nazionale delle Ricerche - CNR
Pl. Aldo Moro, 7 00185 Roma , tel. (06) 49933361 , fax. (06) 49933858
Request a document
Holdings: 1989-2003;
Holdings detail: 1(1989)-15(2003);
Call number: PER 4118
Last update holding 2023
RM028
Biblioteca del Dipartimento di Ingegneria informatica, automatica e gestionale Antonio Ruberti - Sapienza Università di Roma
Via Ariosto, 25 00185 Roma , tel. 0677274166 , fax. 0677274177
Request a document
Holdings: 1989-1998;
Last update holding 2020
RM460
Biblioteca di Ricerca sociale, informatica e comunicazione. Sede Informatica - Sapienza Università di Roma
via Salaria, 113 00198 Roma , tel. 0649918455
Request a document
Holdings: 1995-2007;
Holdings detail: 7(1995)-19(2007);
Call number: MAGAZZINO
Last update holding 2016
TO102
Biblioteca del Dipartimento di Informatica dell'Università degli Studi di Torino
Cosro Svizzera, 185 (ingresso da via Pessinetto, 12) 10149 Torino , tel. 011 6706717 , fax. 011 751603
Request a document
Holdings: 1989-2009;
Holdings detail: 1(1989)-21(2009); Issues received
Lacunae: 2003;
Call number: Per.23
Last update holding 2015
Results: 1-10