Pagina nr. 233 di 1129

%

Formal language description languages for computer programmming / edited by T. B. Steel jr Amsterdam - North-Holland, 1971 Testo Monografico 1- Formal methods / edited by Walter A. Sedelow and Sally Yeates Sedelow , c1979 Incluso in > Computers in language research Testo Monografico Formal methods for mobile computing - 5th International School on Formal Methods for the Design of Computer, Communication and Software Systems SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 - advanced lectures / Marco Bernardo, Alessandro Bogliolo (eds.) Berlin - Springer, 2005 Testo Monografico Formal methods in human-computer interaction / edited by M. Harrison & H. Thim bleby Cambridge (etc.) - Cambridge University press, 1990 Testo Monografico 2- Formal models and semantics Singapore (etc.) - World Scientific, 2004 Incluso in > Current trends in theoretical computer science - the challenge of the new century / editors G. Paun, G. Rozenberg, A. Salomaa Testo Monografico B- Formal models and semantics / edited by Jan Van Leeuwen Amsterdam etc. - Elsevier ; Cambridge, Mass. - The MIT press, 1990 Incluso in > Handbook of theoretical computer science / edited by Jan Van Leeuwen Testo Monografico Formal semantics of programming languages - courant computer science symposium 2 september 14-16, 1970 / edited by Randall Rustin Englewood Cliffs, NewJersey - Prentice-Hall, c1972 Testo Monografico Formal techniques for computer systems and business processes - european performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005 - Versailles, France, September 1-3, 2005 - proceedings / Mario Bravetti, Leila Kloul, gianluigi Zavattaro (eds.) Berlin (etc.) - Springer, ©2005 Testo Monografico Formalism in AI and computer science / Philip Leith New York ; London - Horwood, 1990 Testo Monografico La formazione archivistica contemporanea Corazzano - Titivillus, stampa 2009 Incluso in > Archivi & computer Testo Monografico La formula della sicurezza / gli attori sono delle classi 3. A Ipsia Galvani Sidoli ... (ed altri) ; la professoressa è Mascia Ruggero ; a cura di Lorella Chiesa ISTIS, Alessandra Lotti IPSIA, Maurizio Tedeschi ITIS ; operatori di ripresa Francesco Delli Colli ; fonico di presa diretta Pietro Di Salvatore ; montaggio Norma Jones ; grafica al computer Gianluca Bertani, Fabio Quartiani ; titolazione Amiga Computer Luciano Guidetti ; selezione musicale Pippo Santachiara ; fotografia Davide Tornasole ; delegato di produzione Luciano Guidetti ; regia Omar Torricelli ; Centro Audiovisivo AUSL Reggio Emilia Reggio Emilia - AUSL di Reggio Emilia Dipartimento di Prevenzione Servizio Prevenzione e sicurezza ambienti di Lavoro ... (ed altri), 1997 Audiovisivo Il Foro Italiano - Fondato nell'anno 1876 da Enrico Scialoja -febbraio 1990 Maurizio Converso - Giudici, computer, Sentenze. , soc. edit. roma 1990 Pubblicazione Periodica 52- Fortieth anniversary volume - Advancing into the 21st century / edited by Marvin V. Zelkowitz San Diego °etc. - Academic Press, ©2000 Incluso in > Advances in computers Testo Monografico FORTRAN/9000 Reference - HP 9000 series 300/400 computers (Europa) - Hewlett Packard, 1991 Testo Monografico Foto computer - la prima rivista di fotografia digitale Sesto Fiorentino - Nuova editrice europea Pubblicazione Periodica