01141nam--2200373---450-99000296173020331620070807183110.03-540-22265-0000296173USA01000296173(ALEPH)000296173USA0100029617320070807d2004----km-y0itay0103----baengDEa|||||||001yyValidation of stochastic systemsa guide to current researchChristel Baier...[et al.] (Eds.)Berlin [etc.]Springercopyr. 2004384 p.ill.24 cm.Lecture notes in computer science2925Tutoral2001Lecture notes in computer science2925Tutoral2001001-------2001Informatica005.1BAIER,Christel312039ITsalbcISBD990002961730203316001 LNCS 292531014/CBS001 LNCS00215316BKSCISENATORE9020070807USA011831Validation of stochastic systems1026841UNISA01166nas# 22002891i 450 UON0001279720231205101940.90620020107a1969 |0itac50 baengUS|||| 1||||aT|||||||||African Studies Bulletin African Studies CenterBoston : African Studies Center19..-v. ; 24 cmQuadrimestraleDescrizione basata su: vol. 12(1969) n. 2USBostonUONL000139USSTATI UNITI - PERIODICIADONOPERIODICI - DONOAPERIODICI NON ATTIVIPERIODICI - NON ATTIVIAITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSI1967 *index vol. 1>10 (1958/67)* 12(1969) *2*Per Misc 53 GEOGRAFIA 6°PIANO ;UON00012797SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI 1967 *index vol. 1>10 (1958/67)* 12(1969) *2*SI A Per Misc 53 1969 SI SA 77179 7 1969 African Studies Bulletin1321756UNIOR