01231nam1 22002651i 450 UON0038459020231205104544.40820100930d1932 |0itac50 baaraEG|||| 1||||ˆ1: Al-‰asbab al-khafiyah li-l-harbbiqalam Sidney Bradshaw Fay[al-Qahira]Matba'ah al-i'timad bi-shari'[pref. 1932]9, 345 p.24 cm.v. 1 (ex R 7562)IT-UONSI PEIV/028 (1)001UON003845852001 Asbab al-harb al-'alamiyyahbiqalam Sidney Bradshaw Faynaqaluha 'an al-injiliziyah Muhammad Ibrahim al-Dusuqi210 [al-Qahira]Matba'ah al-i'timad[pref. 1932]215 2 v.24 cm.1EGIl CairoUONL000377FAYSidney BradshawUONV125172179157Matba'ah al-i'timadUONV253691650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00384590SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI PE IV 028 (1) SI SA 127886 5 028 (1) v. 1 (ex R 7562)BuonoAsbab al-khafiyah li-l-harb1210160UNIOR03986nam 22008295 450 991048323890332120251226200453.03-642-41533-410.1007/978-3-642-41533-3(CKB)3710000000019200(SSID)ssj0001010881(PQKBManifestationID)11534505(PQKBTitleCode)TC0001010881(PQKBWorkID)11004495(PQKB)10827452(DE-He213)978-3-642-41533-3(MiAaPQ)EBC3092942(PPN)172430674(EXLCZ)99371000000001920020130919d2013 u| 0engurnn#008mamaatxtccrModel-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings /edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (XXVIII, 792 p. 299 illus.)Programming and Software Engineering,2945-9168 ;8107Bibliographic Level Mode of Issuance: Monograph3-642-41532-6 Tool support -- Dependability -- Comprehensibility -- Testing -- Evolution -- Verification -- Product lines -- Semantics -- Domain-specific modeling languages -- Design and architecture -- Model transformation -- Model analysis.- System synthesis.This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis.Programming and Software Engineering,2945-9168 ;8107Compilers (Computer programs)Software engineeringComputer scienceElectronic data processingManagementComputer simulationElectronic digital computersEvaluationCompilers and InterpretersSoftware EngineeringComputer Science Logic and Foundations of ProgrammingIT OperationsComputer ModellingSystem Performance and EvaluationCompilers (Computer programs).Software engineering.Computer science.Electronic data processingManagement.Computer simulation.Electronic digital computersEvaluation.Compilers and Interpreters.Software Engineering.Computer Science Logic and Foundations of Programming.IT Operations.Computer Modelling.System Performance and Evaluation.005.1Moreira Anaedthttp://id.loc.gov/vocabulary/relators/edtSchätz Bernhardedthttp://id.loc.gov/vocabulary/relators/edtGray Jeff(Jeffrey G.),edthttp://id.loc.gov/vocabulary/relators/edtVallecillo Antonioedthttp://id.loc.gov/vocabulary/relators/edtClarke Peteredthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483238903321Model Driven Engineering Languages and Systems772687UNINA