01230nam2-2200337li-450-99000295742020331620070712120015.03-540-22164-6000295742USA01000295742(ALEPH)000295742USA010002957422002007071292004----y0itay0103----baengDETypes for proofs and programsInternational workshop, TYPES 2003Torino, Italy, April/May 2003selected papersStefano Berardi ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 2004X, 408 p.ill.23 cmLecture notes in computer science308500100202642001Lecture notes in computer science3085Logica matematicaCongressiTorino2003511.30285elaborazione dei dati applicazione dell'elaborat.BERARDI,StefanoInternational workshop TYPES 2003<2003 ;Torino>753396990002957420203316001 LNCS 308531161/CSB00100215023BKSCISENATORE9020070712USA011200Types for proofs and programs1515538UNISA01456nam 22004813a 450 991024573250332120250203235429.09783038425946303842594X10.3390/books978-3-03842-594-6(CKB)4100000001115759(oapen)https://directory.doabooks.org/handle/20.500.12854/44325(ScCtBLL)a06fd562-e2f3-4be0-a266-295cf713f257(OCoLC)1048171752(oapen)doab44325(EXLCZ)99410000000111575920250203i20172019 uu engurmn|---annantxtrdacontentcrdamediacrrdacarrierCrystal Structure of ElectroceramicsStevin PramanaMDPI - Multidisciplinary Digital Publishing Institute2017Basel, Switzerland :MDPI,2017.1 electronic resource (VIII, 130 p.)9783038425939 3038425931 Crystal Structure of ElectroceramicsChemistrybicsscferroelectriccrystallographymicrostructuredielectricpiezoelectricChemistryPramana Stevin1788062ScCtBLLScCtBLLBOOK9910245732503321Crystal Structure of Electroceramics4322386UNINA