00928cam0 2200277 450 E60020003239320200707091210.0883390685X20071213d1992 |||||ita|0103 baitaIT<<La >>ricerca del significatoper una psicologia culturaleJerome BrunerTorinoBollati Boringhieri1992160 p.22 cmSaggi scientifici001LAEC000218672001 *Saggi scientificiBruner, JeromeAF00012122070545329ITUNISOB20200707RICAUNISOBUNISOB500|Coll|5|K74701E600200032393M 102 Monografia moderna SBNM500|Coll|5|K000022SI74701acquistopregresso3UNISOBUNISOB20071213090719.020160722103943.0rovitoRicerca del significato1687961UNISOB02144nam2-2200385---450 99000560891020331620220120115505.0000560891USA01000560891(ALEPH)000560891USA0100056089119981214d1952----|||y0itaa50------bagernl0 00|||<<Band 4: >> Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie. 2. Buch: Phänomenologische Untersuchungen zur KonstitutionEdmund Husserlherausgegeben von Marly BiemelHaagNijhoff1952XX, 426 p.21 cm001000560888101ita102it2001Idee per una fenomenologia pura e per una filosofia fenomenologicaEdmund Husserla cura di Enrico Filippini205Torino : Einaudi1965210XLV, 982 p.21 cm215Contiene: 1. Introduzione generale alla fenomenologia pura2. Ricerche fenomenologiche sopra la costituzione ; 3. La fenomenologia e i fondamenti delle scienze. Trad. di: Ideen zu einer Phänomenologie und phänomenlogischen Philosophie00100056089201088-060-4472-9101ita102it2001Idee per una fenomenologia pura e per una filosofia fenomenologicaEdmund Husserla cura di Enrico Filippini205Torino : Einaudi19762103 v.20 cm215Contiene: 1. Introduzione generale alla fenomenologia pura2. Ricerche fenomenologiche sopra la costituzione ; 3. La fenomenologia e i fondamenti delle scienze.0010001139702001Husserliana4DEN HAAG142.7HUSSERL,Edmund35554BIEMEL,MarlyITSA20111219990005608910203316Dipar.to di Filosofia - SalernoDFF.V. HUS 42334 FILXV.17. 401 4 (F.V. HUS 4)2334 FILXV.17462302BKFVER20121027USA01152520121027USA011614Ideen zu einer reinen Phänomenologie und phänomenologischen Philosophie. 2. Buch: Phänomenologische Untersuchungen zur Konstitution1133030UNISA03743nam 22006491 450 991079087530332120230803022307.01-61499-207-X(CKB)2550000001150977(EBL)1477301(SSID)ssj0000967836(PQKBManifestationID)12374379(PQKBTitleCode)TC0000967836(PQKBWorkID)10977399(PQKB)11113632(MiAaPQ)EBC1477301(Au-PeEL)EBL1477301(CaPaEBR)ebr10785476(CaONFJC)MIL988908(OCoLC)863822120(EXLCZ)99255000000115097720131022h20132013 uy 0engur|n|---|||||txtccrEngineering dependable software systems /edited by Manfred Broy, Doron Peled and Georg KalusAmsterdam ;Washington, D. C. :IOS Press,[2013]©20131 online resource (376 p.)NATO science for peace and security series. Sub-series D, Information and communication security ;volume 34"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso."Published in cooperation with NATO Emerging Security Challenges Division."1-61499-206-1 Includes bibliographical references and indexes.ENGINEERING DEPENDABLE SOFTWARE SYSTEMS; Preface; Contents; A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views; Mastering System Analysis and Design through Abstraction and Refinement; Data Abstraction in VCC; Families of software systems: a model checking approach; A Tutorial on Runtime Verification; Model Checking Meets Probability: A Gentle Introduction; Risk-driven Engineering of Requirements for Dependable Systems; Model-Based Verication, Optimization, Synthesis and Performance Evaluation of Real-Time SystemsModel-Driven Engineering and Model Transformation: for Fun and ProfitSymbolic Execution and Software Testing; Model Checking Basics; Subject Index; Author IndexBecause almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research.This book contains the lectures from the NATO Advanced Study Institute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany, in July and August 20NATO science for peace and security series.Sub-series D,Information and communication security ;v. 34.Computer softwareVerificationCongressesComputer systemsVerificationCongressesComputer softwareVerificationComputer systemsVerification005.1/4Broy M.1949-1475626Kalus Georg1475627Peled Doron1962-67500NATO Emerging Security Challenges Division.NATO Advanced Study Institute on Engineering Dependable Software SystemsMiAaPQMiAaPQMiAaPQBOOK9910790875303321Engineering dependable software systems3689872UNINA