Vai al contenuto principale della pagina

10th International conference on Automated deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings / M.E. Stickel (ed.)
10th International conference on Automated deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings / M.E. Stickel (ed.)
Autore International conference on Automated deduction, 10., 1990 Kaiserslautern
Editore Berlin [etc.] : Springer, c1990
Collana Lecture notes in computer science
Descrizione fisica XVI, 688 p. 25 cm
Amicus Nr. 617444
Berlin [etc.] : Springer, c1990
Monografie
Disponibilità delle copie:
5th Conference on automated deduction : Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski
5th Conference on automated deduction : Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski
Autore International conference on Automated deduction, 5., 1980 Les Arcs
Editore Berlin [etc.] : Springer, 1980
Collana Lecture notes in computer science
Descrizione fisica VII, 385 p. 25 cm
Amicus Nr. 121429
Berlin [etc.] : Springer, 1980
Monografie
Disponibilità delle copie:
7th International conference on automated deduction : Napa, California, USA, May 14-16, 1984 : proocedings / edited by R.E. Shostak
7th International conference on automated deduction : Napa, California, USA, May 14-16, 1984 : proocedings / edited by R.E. Shostak
Autore International conference on Automated deduction, 7., 1984 Napa
Editore Berlin [etc.] : Springer, 1984
Collana Lecture notes in computer science
Descrizione fisica VI, 508 p. 24 cm
Amicus Nr. 121395
Berlin [etc.] : Springer, 1984
Monografie
Disponibilità delle copie:
8th International conference on automated deduction : Oxford, England, July 27-August 1, 1986, proceedings / edited by Joerg H. Siekmann
8th International conference on automated deduction : Oxford, England, July 27-August 1, 1986, proceedings / edited by Joerg H. Siekmann
Autore International conference on automated deduction, 8., 1986 Oxford
Editore Berlin [etc.] : Springer, c1986
Collana Lecture notes in computer science
Descrizione fisica IX, 708 p. 25 cm
Amicus Nr. 161494
Berlin [etc.] : Springer, c1986
Monografie
Disponibilità delle copie:
9th international conference on Automated deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.)
9th international conference on Automated deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.)
Autore International conference on Automated deduction, 9., 1988 Argonne, Ill.
Editore Berlin [etc.] : Springer, c1988
Collana Lecture notes in computer science
Descrizione fisica X, 775 p. 24 cm
Amicus Nr. 397941
Berlin [etc.] : Springer, c1988
Monografie
Disponibilità delle copie:
Active visual inference of surface shape / Roberto Cipolla
Active visual inference of surface shape / Roberto Cipolla
Autore Cipolla, Roberto
Editore Berlin [etc.] : Springer, c1996
Collana Lecture notes in computer science
Descrizione fisica XII, 193 p. ill. 24 cm
Amicus Nr. 2045603
Berlin [etc.] : Springer, c1996
Monografie
Disponibilità delle copie:
Ada 95 rationale : the language : the standard libraries / John Barnes (ed.)
Ada 95 rationale : the language : the standard libraries / John Barnes (ed.)
Editore Berlin [etc.] : Springer, c1995
Collana Lecture notes in computer science
Descrizione fisica 1 v. (varie sequenze) 24 cm
Amicus Nr. 2969785
Berlin [etc.] : Springer, c1995
Monografie
Disponibilità delle copie:
Ada 95 reference manual : language and standard libraries : international standard ISO/IEC 8652:1995(E) / S. Tucker Taft, Robert A. Duff (eds.)
Ada 95 reference manual : language and standard libraries : international standard ISO/IEC 8652:1995(E) / S. Tucker Taft, Robert A. Duff (eds.)
Editore Berlin [etc.] : Springer, c1995
Collana Lecture notes in computer science
Descrizione fisica XVIII, 526 p. tab. 24 cm
Amicus Nr. 2969635
Berlin [etc.] : Springer, c1995
Monografie
Disponibilità delle copie:
Ada in Europe : second International Eurospace-Ada-Europe symposium : Frankfurt/Main, Germany, October 2-6, 1995 : proceedings / Marcel Toussaint (eds.)
Ada in Europe : second International Eurospace-Ada-Europe symposium : Frankfurt/Main, Germany, October 2-6, 1995 : proceedings / Marcel Toussaint (eds.)
Autore Eurospace
Editore Berlin [etc.] : Springer, c1996
Collana Lecture notes in computer science
Descrizione fisica XI, 455 p. 24 cm
Amicus Nr. 2100322
Berlin [etc.] : Springer, c1996
Monografie
Disponibilità delle copie:
Ada in Europe : first International Eurospace-Ada-Europe symposium : Copenhagen, Denmark, September 26-30, 1994 : proceedings / Marcel Toussaint (ed.)
Ada in Europe : first International Eurospace-Ada-Europe symposium : Copenhagen, Denmark, September 26-30, 1994 : proceedings / Marcel Toussaint (ed.)
Autore International Eurospace-Ada-Europe symposium, 1., 1994 Copehagen
Editore Berlin [etc.] : Springer, c1994
Collana Lecture notes in computer science
Descrizione fisica XII, 521 p. 24 cm
Amicus Nr. 1928812
Berlin [etc.] : Springer, c1994
Monografie
Disponibilità delle copie:

Lingua