01553nlm0 22004211i 450 9900092555304033219783540788003000925553FED01000925553(Aleph)000925553FED0100092555320100926d2008----km-y0itay50------baengDEdrnn-008mamaaTools and Algorithms for the Construction and Analysis of SystemsRisorsa elettronica14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, MaBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434963Documento elettronicoTestoFormato html, pdfRamakrishnan,C. R.Rehof,JakobITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-78800-3EB990009255530403321Algorithm Analysis and Problem ComplexityComputer Communication NetworksComputer Communication NetworksComputer ScienceComputer softwareLogic designLogics and Meanings of ProgramsSoftware engineeringSoftware EngineeringTools and Algorithms for the Construction and Analysis of Systems772021UNINA01310nam a2200313 i 450099100043494970753620020503180646.0990429s1998 it ||| | ita 8815062645b10077121-39ule_instLE02516066ExLFac. Economiaita330.91722Rosenberg, Nathan10455Come l'occidente è diventato ricco :le trasformazioni economiche del mondo industriale /Nathan Rosenberg, Luther E. BirdzellBologna :Il mulino,c1998411 p. ;22 cmBiblioteca CapitalismoPaesi occidentaliEconomiaBirdzell, Luther E.b1007712123-02-1727-06-02991000434949707536LE016 330.91722 ROS 01.011201600011288le016nE18.00-no 00000.i1480683621-07-08LE025 ECO 330.9 ROS01.0112025000060982le025-E0.00-l- 01010.i1008764327-06-02LE025 ECO 330.9 ROS01.0122025000140578le025-E13.43-l- 00000.i1399747602-02-05Come l'occidente è diventato ricco195351UNISALENTO(2)le016(2)le02501-01-99ma -itait 04