Droga : verso quale intervento? / Marisa Malagoli Togliatti

• Record Nr.: UNINA990009185600403321
• Autore: Malagoli Togliatti, Marisa <1943- >
• Pubbl/distr/stampa: Roma : NIS, 1980
• Descrizione fisica: 119 p. ; 18 cm
• Collana: I tascabili Nis ; 17
• Disciplina: 362.2
• Locazione: DMIGI
• Collocazione: IG 16 E 19
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Methods of feasible directions : A study in linear and non-linear programming / G. Zoutendijk

• Record Nr.: UNINA990002565050403321
• Autore: Zoutendijk, G.
• Pubbl/distr/stampa: Amsterdam : Elsevier, 1960
• Descrizione fisica: 126 p. ; 23 cm
• Disciplina: 519
• Locazione: MAS
• Collocazione: MXVIII-C-17
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Automated deduction - CADE-15 : 15th International conference on automated deduction : Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner ... [et al.] (eds.)

• Record Nr.: UNISA990000202370203316
• Autore: International conference on automated deduction : 15. : 1998
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1998
• ISBN: 3-540-64675-2
• Collana: Lecture notes in artificial intelligence ; 1421
• Disciplina: 005131
• Collocazione: 006.3 LNAI (1421)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: serie principale: lecture notes incomputer science