01113nam0-22003491i-450-99000257748040332120130225175954.03-540-51460-0000257748FED01000257748(Aleph)000257748FED0100025774820130225d1989----km-y0itay50------baengDEHarmonic analysis and partial differential equationsproceedings of the International Conference held in El Escorial, Spain, June 9-13, 1987ed. J. Garcia-CuervaBerlinSpringer Verlag1989vi, 213 p.24 cmLecture notes in mathematics1384Analisi armonicaEquazioni differenziali ordinate alle derivate parziali515Garcia-Cuerva,JoséITUNINARICAUNIMARCBK990002577480403321MXXXI-A-2101156MASC-20-(13845644MA1MASMA1Harmonic analysis and partial differential equations80197UNINA01231oam 2200301z- 450 991014434920332120251116234603.0(CKB)1000000000212558(MiAaPQ)EBC3088661(EXLCZ)99100000000021255820201222c2004uuuu -u- -engFormal techniques for networked and distributed systems-- FORTE 2004 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings /David de Frutos-Escrig, Manuel Núñez, editorsSpringer Berlin / Heidelberg3-540-23252-4 Formal methods (Computer science)CongressesElectronic data processingDistributed processingCongressesComputer network protocolsCongressesFormal methods (Computer science)Electronic data processingDistributed processingComputer network protocolsNúñez Manuel0Frutos-Escrig David de867302IFIP Working Group 6.1.BOOK9910144349203321Formal Techniques for Networked and Distributed Systems - FORTE 20041935986UNINA