Salta al contenuto principale

Sistema Bibliotecario di Ateneo

Sba

Form di ricerca

Cerca nel sito

RISORSE
Libri

Riviste

Accesso dai siti degli editori

Banche dati e altre risorse

Tesi

Archivio fotografico

Tesori in archivio

Strutture in archivio

Eventi in archivio

Museo degli strumenti per il calcolo

LIDUP

Libri in dono

CATALOGHI
SERVIZI
Consultazione

Prestito

Accesso a Internet

Accesso a Risorse Elettroniche

Servizio IDEM/GARR

unipiVPN

Fornitura documenti

Istruzioni NILDE utenti

Prestito interbibliotecario

Modulo Utenti

Modulo Biblioteche

Proposte di acquisto

Assistenza alla ricerca bibliografica

Corsi di informazione bibliografica

Software antiplagio
SBA
Organizzazione

Coordinamento centrale

Segreteria amministrativa

Poli bibliotecari

Archivio generale di Ateneo

Servizio documentazione

Personale

Organi

Organi SBA

Sedute per anno

Organi Poli

Carta dei Servizi

Regolamento

Relazioni annuali

Monitoraggio dei servizi

Formazione professionale

Archivio corsi di formazione

Eventi e attività

Esposizioni e mostre

Progetti

Eventi

Collabora con noi

Collaborazioni part-time

Servizio civile regionale

Tirocini curriculari

Alternanza Scuola-Lavoro (2015-2019)
BIBLIOTECHE
Polo 1

Agraria

Economia

Medicina veterinaria
Polo 2

Giurisprudenza e Scienze politiche
Polo 3

Chimica

Matematica, Informatica, Fisica

Scienze naturali e ambientali
Polo 4

Medicina e chirurgia, Farmacia
Polo 5

Ingegneria
Polo 6

Anglistica

Antichistica, linguistica, germanistica, slavistica

Filosofia e storia

Italianistica e romanistica

Storia delle arti
Archivio generale di Ateneo
Servizio documentazione

CIPEI
Sedi distaccate

Sistemi logistici (LI)

Scienze del turismo (LU)
OPEN ACCESS
OPEN ACCESS e contratti trasformativi

Grafico dei titoli Open Access

Elenco dei titoli Open Access
GUIDE E SUPPORTO
Guide e tutorial

FAQ

Strumenti per bibliografie

Chiedi in biblioteca

Sei in: Formal Methods in System Design

Formal Methods in System Design

Online_ISSN:

1572-8102

Disciplina:

Engineering

OASubject:

Physical Sciences & Engineering

OA Type:

Hybrid OA

Publisher:

Springer Nature

Accesso rapido

Banche dati e altre risorse

Nuove acquisizioni

SEGUICI SU:

SISTEMA BIBLIOTECARIO di ATENEO
Via Curtatone e Montanara 15 - 56126 Pisa
P.I. 00286820501 - C.F. 80003670504
PEC

Unimap
Crediti
Mappa del sito
Note legali