LATEST ART BOOKSADVANCED SEARCH 
FILTER RESULT OF SEARCH
BY TOPIC
RESULTS OF SEARCH "series: Phd Thesis Series"
Computing in non standard set theories. Vol. 3
Piazza Carla -
Forum, 2002
ISBN: 88-8420-079-2
EAN: 9788884200792
italian text
Dividing and conquering the layered land. Vol. 2
Franceschet Massimo -
Forum, 2002
ISBN: 88-8420-078-4
EAN: 9788884200785
italian text
On the complexity of optimal reduction of functional programming language. Vol. 1
Coppola Paolo -
Forum, 2002
ISBN: 88-8420-077-6
EAN: 9788884200778
italian text
Reasoning about names in higher-order abstract syntax. Vol. 4
Scagnetto Ivan -
Forum, 2002
ISBN: 88-8420-080-6
EAN: 9788884200808
italian text
Some intensional models of lambda calculus
Franco Gianluca -
Forum, 2002
ISBN: 88-8420-092-X
EAN: 9788884200921
italian text
Theories and techniques of structural abstraction for hierarchical model-based diagnosis
Ranon Roberto -
Forum, 2002
ISBN: 88-8420-093-8
EAN: 9788884200938
italian text
Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1
Ciaffaglione Alberto -
Forum, 2003
ISBN: 88-8420-150-0
EAN: 9788884201508
italian text
Local search techniques for scheduling problems: algorithms and software tools
Di Gaspero Luca -
Forum, 2003
ISBN: 88-8420-151-9
EAN: 9788884201515
italian text
Model checking for the concurrent constraint paradigm
Villanueva García Alicia -
Forum, 2003
ISBN: 88-8420-153-5
EAN: 9788884201539
italian text
Retrieving visual concepts in image databases
Gentili Stefania -
Forum, 2003
ISBN: 88-8420-152-7
EAN: 9788884201522
italian text
Adventures in propositional interval temporal logic. Vol. 3: emporal logics
Sciavicco Guido -
Forum, 2004
ISBN: 88-8420-187-X
EAN: 9788884201874
italian text
Intersection types and lambda models. Vol. 2
Motohama Yoko -
Forum, 2004
ISBN: 88-8420-186-1
EAN: 9788884201867
italian text
Investigations in the categorical foundations and applications of coalgebras and hypersets. Vol. 1
Cancila Daniela -
Forum, 2004
ISBN: 88-8420-185-3
EAN: 9788884201850
italian text
top