01477nam0 2200325 i 450 SUN013285820210414010142.8890.00N978-3-319-03792-920210329d2014 |0engc50 baengCH|||| |||||*Advanced Interferometers and the Search for Gravitational WavesLectures from the First VESF School on Advanced Detectors for Gravitational WavesMassimo Bassan editorCham : Springer, 2014xii387 p.ill. ; 24 cmPubblicazione in formato elettronico001SUN00353762001 *Astrophysics and space science library40400B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]MFSUNC02073283-XXRelativity and gravitational theory [MSC 2020]MFSUNC02324385-XXAstronomy and Astrophysics [MSC 2020]MFSUNC023246CHChamSUNL001889Bassan, MassimoSUNV106700SpringerSUNV000178650ITSOL20210426RICAhttp://doi.org/10.1007/978-3-319-03792-9SUN0132858UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 2036 08eMF2036 20210329 Advanced Interferometers and the Search for Gravitational Waves1770403UNICAMPANIA02948nam 22007095 450 991048313650332120251226195640.03-319-43144-710.1007/978-3-319-43144-4(CKB)3710000000837704(DE-He213)978-3-319-43144-4(MiAaPQ)EBC5579102(PPN)194803880(EXLCZ)99371000000083770420160806d2016 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierInteractive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /edited by Jasmin Christian Blanchette, Stephan Merz1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XVII, 502 p. 88 illus.) Theoretical Computer Science and General Issues,2512-2029 ;98073-319-43143-9 This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.Theoretical Computer Science and General Issues,2512-2029 ;9807Machine theoryComputer scienceAlgorithmsSoftware engineeringElectronic digital computersEvaluationComputer simulationFormal Languages and Automata TheoryComputer Science Logic and Foundations of ProgrammingAlgorithmsSoftware EngineeringSystem Performance and EvaluationComputer ModellingMachine theory.Computer science.Algorithms.Software engineering.Electronic digital computersEvaluation.Computer simulation.Formal Languages and Automata Theory.Computer Science Logic and Foundations of Programming.Algorithms.Software Engineering.System Performance and Evaluation.Computer Modelling.004.015113Blanchette Jasmin Christianedthttp://id.loc.gov/vocabulary/relators/edtMerz Stephanedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483136503321Interactive Theorem Proving2010767UNINA