01568nam2 2200349 i 450 VAN005564620231222103515.488-7088-123-720061109d1987 |0itac50 baengIT|||| |||||1Jean-Yves GirardNapoliBibliopolis1987503 p.25 cm001VAN00556482001 Studies in proof theory210 NapoliBibliopolis1001VAN00556472001 Proof theory and logical complexityJean-Yves Girard210 NapoliBibliopolis1987- 215 volumi25 cm103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MFNapoliVANL000005GirardJean Y.VANV044132730488BibliopolisVANV108827650Girard, Jean YvesGirard, Jean Y.VANV060537Girard, J. Y.Girard, Jean Y.VANV060539Girard, J.Y.Girard, Jean Y.VANV060540ITSOL20231229RICA/sebina/repository/catalogazione/documenti/Girard - Proof theory and logical complexity - vol.1.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0055646BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1604 08 5004 I 20061109 13655287UNICAMPANIA01298nam0 22003373i 450 VAN012034020240403104437.39978-12-920257-2-820190222d2014 |0itac50 baengGB|||| |||||Discrete-time signal processingAlan V. Oppenheim, Ronald W. Schafer3. ed.Pearson new international edHarlow, EssexPearson2014II, 1052 p.28 cmGBHarlowVANL000090EssexVANL000227621.382221OppenheimAlan V.VANV0457411514SchaferRonald W.VANV016787331355Pearson <editore>VANV109324650Oppenheim, Alan VictorOppenheim, Alan V.VANV081504Schafer, R. W.Schafer, Ronald W.VANV063126Schafer, R.W.Schafer, Ronald W.VANV063127ITSOL20240405RICABIBLIOTECA DEL DIPARTIMENTO DI INGEGNERIAIT-CE0100VAN05VAN0120340BIBLIOTECA DEL DIPARTIMENTO DI INGEGNERIA05PREST K 621 05UBI601 20190222 BuonoDiscrete-Time Signal Processing378411UNICAMPANIA02357nas 2200625- 450 991027966000332120230426213022.02503-5029(OCoLC)1050971973(CKB)2320000000016502(CONSER)--2020254126(EXLCZ)99232000000001650220180811a199u9999 --- -indur|n|||||||||txtrdacontentcrdamediacrrdacarrierJurnal iptek nuklir ganendraYogyakarta :Pusat Penelitian dan Pengembangan Teknologi Maju, Badan Tenaga Nuklir NasionalYogyakarta :Pusat Teknologi Akselerator dan Proses Bahan, Badan Tenaga Nuklir Nasional1 online resourceTitle from cover.Refereed/Peer-reviewed1410-6957 Study on nuclear science and technology in Indonesia.J. iptek nuklir ganendraGanendraMajalah IPTEK nuklirGanendra majalah IPTEK nuklirGanendraNuclear physicsPeriodicalsNuclear physicsIndustrial applicationsIndonesiaPeriodicalsNuclear energyIndustrial applicationsIndonesiaPeriodicalsNuclear engineeringIndonesiaPeriodicalsNuclear energyIndustrial applicationsfast(OCoLC)fst01039975Nuclear engineeringfast(OCoLC)fst01040032Nuclear physicsfast(OCoLC)fst01040386Nuclear physicsIndustrial applicationsfast(OCoLC)fst01040397IndonesiafastPeriodicals.fastNuclear physicsNuclear physicsIndustrial applicationsNuclear energyIndustrial applicationsNuclear engineeringNuclear energyIndustrial applications.Nuclear engineering.Nuclear physics.Nuclear physicsIndustrial applications.Pusat Penelitian dan Pengembangan Teknologi Maju (Indonesia),Pusat Teknologi Akselerator dan Proses Bahan (Indonesia),JOURNAL9910279660003321Jurnal iptek nuklir ganendra2579656UNINA02790nas 2200877-a 450 991014547740332120240413013436.01782-1541(DE-599)ZDB2242114-2(CKB)1000000000277876(CONSER)sn-88026839-(EXLCZ)99100000000027787619881022b20022011 --- -fretxtrdacontentcrdamediacrrdacarrierScience et motricité revue scientifique de l'Association des chercheurs en activités physiques et sportivesLouvain-la-Neuve :De Boeck Université,2002-2011Les Ulis : EDP Sciences,1 online resourcePrint version: Science et motricité : 1378-1863 (DLC)sn 88026839 (OCoLC)18657008 SMScience & motricité (Les Ulis)Science et motricité (Belgique)Motor abilityPeriodicalsSports medicinePeriodicalsExercisePeriodicalsSportsPeriodicalsMotor abilitySports medicineMovementphysiologyMotor SkillsSports MedicineÉducation physiquePériodiquesExercicePériodiquesSportsPériodiquesActivité motricePériodiquesMédecine du sportPériodiquesActivité motriceMédecine du sportSportsfast(OCoLC)fst01130432Exercisefast(OCoLC)fst00917991Motor abilityfast(OCoLC)fst01027564Sports medicinefast(OCoLC)fst01130709SportgttPeriodical.Periodicals.fastMotor abilitySports medicineExerciseSportsMotor ability.Sports medicine.Movementphysiology.Motor Skills.Sports Medicine.Éducation physiqueExerciceSportsActivité motriceMédecine du sportActivité motrice.Médecine du sport.Sports.Exercise.Motor ability.Sports medicine.Sport.Association des chercheurs en activités physiques et sportives.Institut national du sport et de l'éducation physique (France)JOURNAL9910145477403321exl_impl conversionScience et motricité2195887UNINA