01148nam0 22002891i 450 UON0026297920231205103720.73327-475-8065-220050418d2005 |0itac50 bafreBERFR|||| |||||Enigmes et joutes oratoires de KabylieTimsasraq - Timsal - Izlancommentaire linguistique et ethnographiqueYoucef AlliouiParisHarmattanc2005374 p.24 cm001UON002642722001 Présence berbèredirigée par Larbi RabdiCABILIUONC022535FIFRParisUONL002984965.004933STORIA DEI CABILI IN ALGERIA21ALLIOUIYoucefUONV045092658120L'HarmattanUONV246057650ITSOL20251003RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00262979SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI 1 0410 SI AA 27154 5 0410 Enigmes et joutes oratoires de Kabylie1236556UNIOR03436nam 22007935 450 991048330200332120251225205530.03-319-62105-X10.1007/978-3-319-62105-0(CKB)4340000000061619(DE-He213)978-3-319-62105-0(MiAaPQ)EBC6296628(MiAaPQ)EBC5610343(Au-PeEL)EBL5610343(OCoLC)992167168(PPN)202991091(EXLCZ)99434000000006161920170623d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierEngineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings /edited by Eric Bodden, Mathias Payer, Elias Athanasopoulos1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (X, 241 p. 63 illus.) Security and Cryptology,2946-1863 ;103793-319-62104-1 Cloud security, virtualization for security -- Mobile devices security -- Automated techniques for vulnerability discovery and analysis -- Model checking for security -- Verification techniques for security properties -- Security by design -- Web applications security -- Empirical secure software engineering -- Embedded software security.This book constitutes the refereed proceedings of the 9th International Symposium on Engineering Secure Software and Systems, ESSoS 2017, held in Bonn, Germany in July 2017. The 12 full papers presented together with 3 short papers were carefully reviewed and selected from 32 submissions. The goal of this symposium is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering.Security and Cryptology,2946-1863 ;10379Computer networksData protectionLogic designOperating systems (Computers)Software engineeringCryptographyData encryption (Computer science)Computer Communication NetworksData and Information SecurityLogic DesignOperating SystemsSoftware EngineeringCryptologyComputer networks.Data protection.Logic design.Operating systems (Computers).Software engineering.Cryptography.Data encryption (Computer science).Computer Communication Networks.Data and Information Security.Logic Design.Operating Systems.Software Engineering.Cryptology.005.8Bodden Ericedthttp://id.loc.gov/vocabulary/relators/edtPayer Mathiasedthttp://id.loc.gov/vocabulary/relators/edtAthanasopoulos Eliasedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483302003321Engineering Secure Software and Systems774151UNINA