PUMA - CSCE

Pubblicazioni CSCE: N. 71 record(s) trovati

	cnr.csce/1968-B4-009	Andronico A., Baldini A., Casalini P. L., Checcucci M. Il sistema di programmazione simbolica CEP con l'uso di nastri magnetici. In: Internal note, 1968.
	cnr.csce/1968-B4-008	Caracciolo Di Forino A. Elementi di teoria formale dei linguaggi. In: Internal note, 1968.
	cnr.csce/1968-B4-007	Silli C. Sui moti di precessione di un corpo rigido con massa variabile. In: Internal note, 1968.
	cnr.csce/1968-B4-006	Aguzzi G., Pinzani R. On a formalization of a storage allocation mechanism for Fortran. In: Internal note, 1968.
	cnr.csce/1968-B4-005	Caracciolo Di Forino A. Elementi di teoria degli algoritmi : appunti del corso di cibernetica tenuto per conto dell'Università di Pisa. In: Internal note, 1968.
	cnr.csce/1968-B4-004	Caracciolo Di Forino A. Elementi di teoria generale degli automi: appunti del corso di cibernetica tenuto per conto dell'Università di Pisa. In: Internal note, 1968.
	cnr.csce/1968-B4-003	Capriz G. The numerical approach to hydrodynamic problems. In: Internal note, 1968.
	cnr.csce/1968-B4-002	Grasselli A. On the automatic classification of fingerprints. Presented at the International Conference on Methodologies of Pattern Recognition - Honolulu, Hawaii, January 24-26, 1968 (Internal Report n.2 - 64).1968.
	cnr.csce/1968-B4-001	Frosini G., Gerace G. B. The syntesis of pulse input asynchronous sequential circuits. In: Internal note, 1968.
	cnr.csce/1967-B4-026	Musolino G. Progetto di un sistema per l'analisi automatica di segnali elettrobiologici. Tesi di Laurea in Ingegneria Elettronica. I°Relatore: Prof. Ing. G.B. Gerace. II° Relatore: U. Tiberio. III° Relatore: F. Denoth, Prof. Dott. Ferro Milone. Anno accademico 1966-671967.
	cnr.csce/1967-B4-025	Kardasz J. H. On language for dynamic description of continuous systems. In: Internal note, 1967.
	cnr.csce/1967-B4-024	Grasselli A. Insegnamento universitario negli Stati Uniti nel campo dei calcolatori elettronici. In: Internal note, 1967.
	cnr.csce/1967-B4-023	Barbi M. Soluzione numerica diretta del problema dei tre corpi. Un sottoprogramma Fortran per il calcolo numerico degli integrali doppi associati. Tesina di specializzazione in Calcolo Automatico. Relatore Prof. O.G. Mancino. Anno accademico 1966-671967.
	cnr.csce/1967-B4-022	Mazzoncini A. Stima dei parametri di un modello econometrico. Tesina di specializzazione in Calcolo Automatico. Relatore Ing. Sergio Rossi. Anno accademico 1966-671967.
	cnr.csce/1967-B4-021	Starita A. Contributo allo studio della coordinazione neuor=muscolare mediante l'analisi automatica di tracciati eseguiti prima sepratamente e poi simultaneamente. Tesina di specializzazione in Calcolo Automatico. Relatore Prof. Nello Onesto. Anno accademico 1966-671967.
	cnr.csce/1967-B4-020	Scattina A. La tecnica di simulazione applicata ad un problema economico. Tesina di specializzazione in Calcolo Automatico. Relatore Prof. F. Giannessi. Anno accademico 1966-671967.
	cnr.csce/1967-B4-019	Di Filippo C. Risoluzione numerica dei problemi stocastici di programmazione dinamica. Tesina di specializzazione in Calcolo Automatico. Relatore Prof. Franco Giannessi.1967.
	cnr.csce/1967-B4-018	Pagni F. Linguaggi di descrizione di un sistema numerico. Tesina di specializzazione in Calcolo Automatico. Relatore Chiar.mo Ing. Eugenio Morreale. Anno accademico 1966/671967.
	cnr.csce/1967-B4-017	D'Apote M. Sul controllo della produzione (in condizioni di incertezza della domanda e della offerta) con la programmazione dinamica. Tesina di specializzazione in Calcolo Automatico. Relatore Prof. Franco Giannessi. Anno accademico 1966-671967.
	cnr.csce/1967-B4-016	Rebaudo R. Definizione sintattica del linguaggio per ricerca operativa Sanremo. Tesina di specializzazione in Calcolo Automatico. Relatore Chiar.mo Prof. Alfonso Caracciolo di Forino. Anno accademico 1966-19671967.
	cnr.csce/1967-B4-015	Andreussi F. Stabilità: il moto alla Couette di un fluido viscoso. Tesi di laurea. Università degli Studi di Pisa - Facoltà di Scienze Matematiche, Fisiche e Naturali. Relatore Chiar.mo Prof. Gianfranco Capriz. Anno accademico 1966-671967.
	cnr.csce/1967-B4-014	Andronico A., Baldini A., Casalini P. L., Checcucci M., Martelli M. Descrizione formale del linguaggio simbolico CEP. In: Internal note, 1967.
	cnr.csce/1967-B4-013	Baldini A., Casalini P. L., Mancino O. G. Le uscite sulla stampante fuori linea. In: Internal note, 1967.
	cnr.csce/1967-B4-012	Leoni G. Una completa definizione del linguaggio programmativo ALGOL-60 per mezzo di un algoritmo generalizzato di Markov. Tesi di laurea. Università degli Studi di Pisa - Facoltà di Scienze Fisiche, Matematiche e Naturali - Corso di laurea in Matematica. Relatore Chiar.mo Prof. Alfonso Caracciolo di Forino. Anno accademico 1966-671967.
	cnr.csce/1967-B4-011	Capriz G. The numerical approach to hydrodynamic problems. Lezioni tenute al corso estivo del C.I.M.E., luglio 1967: Numerical Analysis of Partial Differential Equations1967.
	cnr.csce/1967-B4-010	Fierli M., Morreale E. Procedure ausiliarie per il compilatore ALCOR-Illinois. In: Internal note, 1967.
	cnr.csce/1967-B4-009	Wolkenstein N. Some remarks on the implementation of PANON-1 B. SICSAM Bulletin - Bulletin N. 7. ACM, 19671967.
	cnr.csce/1967-B4-008	Grasselli A. Insegnamento universitario negli Stati Uniti nel campo dei calcolatori elettronici. In: Internal note, 1967.
	cnr.csce/1967-B4-007	Anzaldi C., Baldacci M. B. Un programma per la sintesi di circuiti sequenziali con ingresso impulsivo. In: Internal note, 1967.
	cnr.csce/1967-B4-006	Piram P. Progetto di un controllo numerico continuo per macchine utensili. Tesi di laurea. Università degli Studi di Pisa - Facoltà di Ingegneria. Relatori Prof. G.B. Gerace, Ing. F. Capparelli. Anno accademico 1966/671967.
	cnr.csce/1967-B4-005	Casaglia G. Il progetto di un sistema numerico con l'ausilio di un calcolatore elettronico. Tesi di laurea. Università degli Studi di Pisa - Facoltà di Ingegneria Elettronica. 1° Relatore Prof. Ing. G.B. Gerace - 2° Relatore Prof. Ing. Ugo Tiberio. Anno accademico 1966-671967.
	cnr.csce/1967-B4-004	Gerace G. B. Digital system design automation - a method for designing a digital system as a sequential network system. In: Internal note, 1967.
	cnr.csce/1967-B4-003	Andronico A., Baldini A., Carobbi A. L'organizzazione della biblioteca dei programmi per la CEP sui nastri magnetici. In: Internal note, 1967.
	cnr.csce/1967-B4-002	Ghelardoni G., Andronico A., Lombardi G. Fondamenti di programmazione lineare. Anno accademico 1966-671967.
	cnr.csce/1967-B4-001	Gerace G. B., Gestri G. Decomposition of synchronous sequential machines into synchronous and asynchronous submachines. In: Internal note, 1967.
	cnr.csce/1966-B4-019	Mennucci M. Utilizzazione dell'aritmetica modulare in una unita' di calcolo. Tesina del Corso di specializzazione in Calcolo Automatico. Relatore Prof. Eugenio Morreale. Anno accademico 1965-661966.
	cnr.csce/1966-B4-018	Sprugnoli R. Un'applicazione del FORMAC a un problema matematico. Tesina Corso di specializzazione in Calcolo Automatico. Relatore Prof. Alfonso Caracciolo di Forino. Anno accademico 1965-661966.
	cnr.csce/1966-B4-017	Menchi O. Calcolo formale dei polinomi. Corso di specializzazione in Calcolo Automatico - Tesina. Relatore Chiar.mo Prof. Alfonso Caracciolo di Forino. Anno accademico 1965/661966.
	cnr.csce/1966-B4-016	Gerace G. B. A formal method for designing a digital a digital system as a sequential network system. In: Internal note, 1966.
	cnr.csce/1966-B4-015	Capovani M., Ghelardoni G., Laratta A., Lombardi G. Seminario di analisi numerica. In: Internal note, 1966.
	cnr.csce/1966-B4-014	Cionini P. Progetto di un elaboratore speciale per il controllo numerico continuo di macchine utensili. Tesi di laurea. Università degli Studi di Pisa, Facoltà di Ingegneria Elettronica. Relatori: Prof. G.B. Gerace, Prof. G.G. Lisini, Ing. G.G. Lisini, Ing. P. Maestrini. Anno accademico 1965-661966.
	cnr.csce/1966-B4-013	Giorgi G. Progetto di un elaboratore di indirizzi di memoria per un calcolatore speciale. Tesi di laurea. Università degli Studi di Pisa, Facoltà di Ingegneria Elettronica. Relatori: Prof. G.B. Gerace, Ing. U. Tiberio. Anno accademico 1965-661966.
	cnr.csce/1966-B4-012	Maestrini P. Algoritmi per l'elaborazione del profilo normalizzato in un sistema per il controllo numerico continuo di macchine utensili. In: Internal note, 1966.
	cnr.csce/1966-B4-011	CSCE . Corso di specializzazione in Calcolo Automatico. Esercitazioni di programmazione svolte presso il Centro Nazionale Universitario di Calcolo Elettronico. In: Internal note, 1966.
	cnr.csce/1966-B4-010	Zlamal M. Lezioni di analisi numerica. In: Internal note, 1966.
	cnr.csce/1966-B4-009	Dall'Antonia L. Descrizione tecnica del sistema di controllo delle misure di fotogrammi di camere a bolle col calcolatore CEP. In: Internal note, 1966.
	cnr.csce/1966-B4-008	Bertini G., Vanni L. Il sistema di alimentatori stabilizzati a semiconduttori del controllo dei nastri magnetici. In: Internal note, 1966.
	cnr.csce/1966-B4-007	Dall'Antonia L., Gerace G. B. Le istruzioni del sistema a nastri magnetici della CEP. In: Internal note, 1966.
	cnr.csce/1966-B4-006	Morreale E. Manuale d'impiego del compilatore Algol-60 dell' Alcor-Illinois presso il Centro Nazionale Universitario di Calcolo Elettronico. In: Internal note, 1966.
	cnr.csce/1966-B4-005	Morreale E. Relazione sull'utilizzazione del linguaggio Algol-60 presso il Centro Nazionale Universitario di Calcolo Elettronico. In: Internal note, 1966.
	cnr.csce/1966-B4-004	Caroti Ghelli F. Analisi statistica dei tempi di commutazione e dei livelli statici di tensione in una rete NOR a diodi transistori. In: Internal note, 1966.
	cnr.csce/1966-B4-003	Caroti Ghelli F. Considerazioni sull'analisi statistica di circuiti di commutazione. In: Internal note, 1966.
	cnr.csce/1966-B4-002	Dall'Antonia L. Descrizione dei circuiti logici ed elettronici della memoria a nastri magnetici della CEP. In: Internal note, 1966.
	cnr.csce/1966-B4-001	Dall'Antonia L., Gerace G. B. Memoria a nastri magnetici della C.E.P. In: Internal note, 1966.
	cnr.csce/1965-B4-009	Maestrini P., Morosi C. Un metodo per la conversione analogico-digitale veloce. Memoria presentata al XII Congresso Scientifico Internazionale per l'Elettronica - Roma, 21-26 Giugno 19651965.
	cnr.csce/1965-B4-008	Casarosa V. Progetto di una unita' di calcolo con procedimenti formali. Tesi di laurea. Università degli Studi di Pisa, Facoltà di Ingegneria Elettronica. Relatori: Prof. G.B. Gerace, Ing. U. Mengali. Anno accademico 1964-651965.
	cnr.csce/1965-B4-007	Molnar G. Problemi di linguaggi di simulazione. Tesina di Giorgio Molnar per il "Corso di Specializzazione in Calcolo Automatico". Anno accademico 1964-651965.
	cnr.csce/1965-B4-006	Mancini P. Un metodo completo di analisi di radiogrammi sperimentali. Tesina di Paolo Mancini per il "Corso di Specializzazione in Calcolo Automatico". Anno accademico 1964-651965.
	cnr.csce/1965-B4-005	Menchi O. Su alcune applicazioni degli algoritmi generalizzati di Markov al calcolo letterale e ad alcuni problemi di traduzione. Tesi di laurea in Matematica. Relatore: Chiar.mo Prof. Alfonso Caracciolo di Forino. Anno accademico 1964-19651965.
	cnr.csce/1965-B4-004	Mercatanti M. Appunti di programmazione lineare. Appunti del corso di Programmazione Lineare1965.
	cnr.csce/1965-B4-003	Caroti Ghelli F. Studio delle distribuzioni dei valori di alcuni parametri del transistore FT2369 e dei diodi FD100 e AAZ13. In: Internal note, 1965.
	cnr.csce/1965-B4-002	Capriz G., Cecchi Morandi M., Mancino O. G., Marzulli P. Seminario di analisi numerica. Anno accademico 1964-651965.
	cnr.csce/1965-B4-001	Gerace G. B. Sequential circuit realizations with pulse input fundamental mode sequential circuits. A reduced version of this paper has been communicated at the " Colloque d'Algebre de Boole", Grenoble, January 11-15, 1965.1965.
	cnr.csce/1964-B4-008	Capriz G., Denison S. A method for the calculation of the response of rotatine shafts to excitation. In: Internal note, 1964.
	cnr.csce/1964-B4-007	Caroti Ghelli F. Calcolo dei tempi di commutazione dei transistori a giunzione. In: Internal note, 1964.
	cnr.csce/1964-B4-006	Caracciolo Di Forino A. Generalized Markov algorithms. Lecture delivered at the International Summer School of Physics Course on Automata Theory (Ravello June 14-30, 1964) (To be published in the proceedings of the School)1964.
	cnr.csce/1964-B4-005	Caracciolo Di Forino A. Algoritmi e calcolabilità. Appunti del corso di Cibernetica tenuto presso l'Università di Pisa. Pisa, anno accademico 1963-64.1964.
	cnr.csce/1964-B4-004	Mancini P. Sistemi iterativi e computabilità. Lavoro presentato come tesi di laurea in Fisica alla Università di Pisa, facoltà di Scienze e svolto al entro Studi Calcolatrici Elettroniche per il relatore A. Caracciolo di Forino1964.
	cnr.csce/1964-B4-003	Caracciolo Di Forino A. M-valued logics and M-ary selection functions. Lecture derived at the International Summer School of Physics, Corse on Automata Theory (Ravello, June 14-30 1964) (To be published in the proceedings of the School)1964.
	cnr.csce/1964-B4-002	Andronico A., Casalini P. L., Baldini A. Descrizione generale dei nastri magnetici e del sistema che ne consente l'uso. In: Internal note, 1964.
	cnr.csce/1964-B4-001	Checcucci M., Casalini P. L., Baldini A., Martelli M. Linguaggio programmativo simbolico Fortran CEP (LPSFC) : descrizione del traduttore simbolico Fortran CEP (TSBCF); descrizione formale del linguaggio LPSFC. In: Internal note, 1964.

Legenda: Icona documento Documento accesso libero Riservato Protetto