01053nam2-2200337---450-99000327168020331620090615133027.0000327168USA01000327168(ALEPH)000327168USA0100032716820090615d1982----km-y0itay50------baengUS||||||||001yyTheory of phase transitions: rigorous resultsYa. G. SinaiOxfordPergamon Presscopyr. 1982VIII, 153 p.ill.24 cmInternational series in natural philosophy1080010003270922001International series in natural philosophy108Meccanica quantistica536.401SINAI,Ya. G.368004ITsalbcISBD990003271680203316530 INP (108)12082/CBS53000223071BKSCIRSIAV79020090615USA011330Theory of phase transitions: rigorous results1118364UNISA01259nam0-2200385---450 99000526477040332120250228184807.02-87031-106-0000526477FED01000526477(Aleph)000526477FED0119990604d1979----km-y0itay50------bafreBEy-------001yyPouvoir politique et dépendance personnelle dans l'antiquité romainegenèse et rôle des rapports de clientèleNorbert RoulandBruxellesLatomus1979658 p.25 cmCollection Latomus166Roma anticaPoliticaClientelismoRoma antica93723itaRouland,Norbert205329ITUNINARICAUNIMARCBK990005264770403321FONDO PROFESSOR ANTONIO GUARINO IV M 344G/2720FGBC937 ROU 2Ist.St.Ant.gr.rom. 3464FLFBCB10-11459P2F-LATOMUS-166Bibl. 52536FLFBCBRAU-38379DDR-XXII A 082DDRFGBCFLFBCDDRPouvoir politique et dépendance personnelle dans l'antiquité romaine237610UNINA03408nam 22007935 450 991048406920332120251226203705.03-319-25945-810.1007/978-3-319-25945-1(CKB)4340000000001191(SSID)ssj0001585601(PQKBManifestationID)16264046(PQKBTitleCode)TC0001585601(PQKBWorkID)14864841(PQKB)10399350(DE-He213)978-3-319-25945-1(MiAaPQ)EBC5578504(PPN)190529318(EXLCZ)99434000000000119120151107d2015 u| 0engurnn|008mamaatxtccrTesting Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings /edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (XIV, 269 p. 69 illus. in color.) Programming and Software Engineering,2945-9168 ;9447Includes index.3-319-25944-X This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015, held in Sharjah and Dubai, United Arab Emirates, in November 2015. The 14 revised full papers and 4 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in topical sections on model based testing, test derivation methods, monitoring and fault localization, model and system testing, and real-time systems.Programming and Software Engineering,2945-9168 ;9447Software engineeringComputer networksCompilers (Computer programs)Computers, Special purposeComputer scienceElectronic data processingManagementSoftware EngineeringComputer Communication NetworksCompilers and InterpretersSpecial Purpose and Application-Based SystemsComputer Science Logic and Foundations of ProgrammingIT OperationsSoftware engineering.Computer networks.Compilers (Computer programs).Computers, Special purpose.Computer science.Electronic data processingManagement.Software Engineering.Computer Communication Networks.Compilers and Interpreters.Special Purpose and Application-Based Systems.Computer Science Logic and Foundations of Programming.IT Operations.005.14El-Fakih Khalededthttp://id.loc.gov/vocabulary/relators/edtBarlas Gerassimosedthttp://id.loc.gov/vocabulary/relators/edtYevtushenko Ninaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484069203321Testing Software and Systems3568350UNINA