01432nam--2200385---450 99000089162020331620180312154819.03-540-42556-X0089162USA010089162(ALEPH)000089162USA01008916220020122d2001----km-y0ITAy0103-------baENGDEProcess algebra and probabilistic methodsperformance modelling and verificationjoint International workshop, PAPM-PROBMIV 2001Aachen, Germany, September 12-14, 2001proceedingsLuca de Alfaro ... <et al.> (eds.)Berlin [etc.]Springer-Verlagcopyr. 2001XII, 215 p.ill.20 cmLecture notes in computer science21652001Lecture notes in computer science2165Teorie delle macchine congressi 2000511.3 21de Alfaro,LucaJoint International workshop PAPM-PROBMIV 2001 <2001 ; Aachen, Germany>551594ITACBSISBD990000891620203316001 LNCS (2165)0027201 CBS00100110931BKSCIALANDI9020020122USA010945DIGIUSEPPE9020020307USA01135620020403USA011733PATRY9020040406USA011701Process algebra and probabilistic methods970245UNISA02394nam2 2200385 i 450 CFI021764820251003044135.08820721791IT93-1857 19950722d1992 ||||0itac50 baitaitz01i xxxe z01nFondamenti di architetturaBruno Fadini, Carlo SavyNapoliLiguori1992479 p.24 cm.001CFI02176522001 Fondamenti di informaticaBruno Fadini, Carlo SavyElaboratori elettroniciStrutturaFIRCFIC000902E004ELABORAZIONE DEI DATI. SCIENZA DEGLI ELABORATORI. INFORMATICA14004ELABORAZIONE DEI DATI SCIENZA DEGLI ELABORATORI INFORMATICA21004.2ANALISI E PROGETTAZIONE DEI SISTEMI, ARCHITETTURA DEGLI ELABORATORI, VALUTAZIONE DELLE PRESTAZIONI14004.2ANALISI E PROGETTAZIONE DEI SISTEMI. ARCHITETTURA DEGLI ELABORATORI. VALUTAZIONE DELLE PRESTAZIONI22005.321Fadini, BrunoCFIV099041070541898Savy, CarloCFIV039423070651ITIT-00000019950722IT-BN0095 IT-NA0079 IT-NA0070 NAP BU19 B Propedeutica. Formato cm. 20,1-28.NAP BNMAGAZZINO magazzini correnti divisi per anniCFI0217648Biblioteca Centralizzata di Ateneo1 v. in cinque copie 01SALA DING 004 FAD.foar 0102 0000020235 VMA A4(bis 1 v. (2. copia)A 20071203200712031 v. in cinque copie 01SALA DING 004 FAD.foar 0102 0000020245 VMA A4(ter 1 v. (3. copia)A 20071203200712031 v. in cinque copie 01SALA DING 004 FAD.foar 0102 0000002665 VMA A4 1 v.Y 20071203200712031 v. in cinque copie 01SALA DING 004 FAD.foar 0102 0000030415 VMA A4(quater 1 v. (4. copia; 1. rist. 1996)A 20071203200712031 v. in cinque copie 01SALA DING 004 FAD.foar 0102 0000030425 VMA A4(quinquies 1 v. (5. copia; 1. rist. 1996)A 2007120320071203 01 BN BUFondamenti di architettura1396307UNISANNIO