Treffliste - Pittsburgh International Conference - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

5 treff

Sortering

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings

International Conference on Automated Deduction
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (1831)
Bok Engelsk c2000

Ledig 1/1

Practice and theory of automated timetabling V : 5th international conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers

International Conference on the Practice and Theory of Automated Timetabling
Inngår i serie: Lecture notes in computer science (3616)
Bok Engelsk c2005

Ledig 1/1

Geometric modeling and processing - GMP 2006 : 4th international conference, Pittsburgh, PA, USA, July 26-28, 2006 : proceedings

Geometric Modeling and Processing 2006
Inngår i serie: Lecture notes in computer science (4077)
Bok Engelsk c2006

Ledig 1/1

TOPO 72 - general topology and its applications : Second Pittsburgh International Conference, December 18-22, 1972

Pittsburgh International Conference
Inngår i serie: Lecture notes in mathematics (378)
Bok Språk ikke angitt 1974

Ledig 1/1

Medical image computing and computer-assisted intervention - MICCAI 2000 : third international conference, Pittsburgh, PA, USA, October 11-14, 2000 : proceedings

MICCAI 2000
Inngår i serie: Lecture notes in computer science (1935)
Bok Engelsk c2000

Ledig 2/2

Søk og bestill fra andre bibliotek: Biblioteksøk