top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Pseudo-boolean programming and applications : presented at the colloquium on mathematics and cybernetics in the economy, Berlin, October 1964 / Petru L. Ivanescu
Pseudo-boolean programming and applications : presented at the colloquium on mathematics and cybernetics in the economy, Berlin, October 1964 / Petru L. Ivanescu
Autore Ivanescu, Petru L.
Pubbl/distr/stampa Berlin [etc.] : Springer, 1965
Descrizione fisica 50 p. ; 30 cm.
Disciplina 001.6
Collana Lecture notes in mathematics
Soggetto topico Programmazione
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000014951
Ivanescu, Petru L.  
Berlin [etc.] : Springer, 1965
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday / Hubert Comon-Lundh, Claude Kirchner, Helene Kirchner (eds.)
Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday / Hubert Comon-Lundh, Claude Kirchner, Helene Kirchner (eds.)
Pubbl/distr/stampa Berlin (etc.) : Springer, copyr. 2007
Descrizione fisica XVI, 272 p. : ill. ; 24 cm
Disciplina 005.1
Collana Lecture notes in computer science, Festschrift
Soggetto topico Programmazione
Soggetto non controllato Sistemi di riscrittura
ISBN 978-3-540-73146-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003092070203316
Berlin (etc.) : Springer, copyr. 2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
The art of computer programming / Donald E. Knuth
The art of computer programming / Donald E. Knuth
Autore Knuth, Donald E.
Pubbl/distr/stampa Reading, : Addison-Wesley, 1973-1981
Descrizione fisica 3 v. : ill. ; 24 cm.
Disciplina 005.1
Soggetto topico Programmazione
Algoritmi mediante elaboratore
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAS-RML0282674
Knuth, Donald E.  
Reading, : Addison-Wesley, 1973-1981
Materiale a stampa
Lo trovi qui: Univ. di Cassino
Opac: Controlla la disponibilità qui
The design of well structured and correct programs / Suad Alagic and Michael A. Arbib
The design of well structured and correct programs / Suad Alagic and Michael A. Arbib
Autore ALAGIC, Suad
Pubbl/distr/stampa New York : Springer Verlag, 1978
Descrizione fisica X, 292 p. : ill. ; 24 cm
Disciplina 001.642
Altri autori (Persone) ARBIB, A.
Collana Texts and monographs in computer science
Soggetto topico Elaboratori elettronici
Programmazione
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000353980203316
ALAGIC, Suad  
New York : Springer Verlag, 1978
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Théorie du controle automatique / I. N. Roitenberg ; Traduit du russe par Velentin Polonski
Théorie du controle automatique / I. N. Roitenberg ; Traduit du russe par Velentin Polonski
Autore ROITENBERG, I. N.
Pubbl/distr/stampa Moscou : Editions M. I. R., 1974
Descrizione fisica 494 p. : ill. ; 22 cm
Disciplina 519.7
Soggetto topico Programmazione
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione fre
Record Nr. UNISA-990003262400203316
ROITENBERG, I. N.  
Moscou : Editions M. I. R., 1974
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui