UB FFM: Suchergebnisse - Distributed Computing

[1]
zurück
147
148
149
150
151
152
153
154
155
156
157
weiter
[157]

3061

Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions

Bertot, Yves

Berlin [u.a.] : Springer, 2004

Buch

3062

Morphometric tools for landmark data : geometry and biology

Bookstein, Fred L.

Cambridge [u.a.] : Cambridge Univ. Press, 1991

Buch

3063

Telecommunication access networks : technology and service trends

Lemstra, Wolter (Hrsg.)

Amsterdam [u.a.] : North-Holland, 1991

Buch

3064

Operations research '91 : extended abstracts of the 16th Symposium on Operations Research held at the University of Trier at September 9 - 11, 1991

Gritzmann, Peter (Herausgeber)

Heidelberg : Physica-Verlag, 1992

Buch

3065

ECAI 92 : 10th European Conference on Artificial Intelligence ; August 3 - 7, 1992, Vienna ; proceedings

Neumann, Bernd (Herausgeber)

Chichester : Wiley, 1992

Buch

3066

Proceedings / The European Conference on Design Automation : Brussels, Belgium, March 16 - 19, 1992

EDAC (3 : 1992 : Brüssel)

Los Alamitos [u.a.] : IEEE Computer Soc. Press, 1992

Buch

3067

Visualizing argumentation : software tools for collaborative and educational sense making

Kirschner, Paul Arthur (Hrsg.)

London [u.a.] : Springer, 2003

Buch

3068

An introduction to Kolmogorov complexity and its applications

Li, Ming

3. ed.

New York, NY : Springer, 2008

Buch

3069

Proceedings / Seventeenth National Conference on Artificial Intelligence (AAAI-2000), Twelfth Innovative Applications of Artificial Intelligence Conference (IAAI-2000) : [July 30 - August 3, 2000, Austin, Texas, USA]

National Conference on Artificial Intelligence (17 : 2000 : Austin, Tex.)

Menlo Park, Calif. : AAAI Press, 2000

Buch

3070

Logic, algebra and databases

Gray, Peter M. D.

Chichester [u.a.] : Horwood [u.a.], 1984

Buch

3071

Computer Arithmetic

Swartzlander, Earl E.

Stroundsburg : Dowden, Hutchinson & Ross, 1980

Buch

3072

Handbook of multilevel analysis

Leeuw, Jan de (Herausgeber)

New York, NY : Springer, 2008

Buch

3073

Computer simulation and modeling : an introduction

Lehman, Richard S.

Pitman [u.a.] : London, 1977

Buch

3074

Keys to life : philosophy and new mechanisms of evolution and development

Wassermann, Gerhard D.

Aldershot [u.a.] : Avebury, 1997

Buch

3075

Active knowledge modeling of enterprises

Lillehagen, Frank (Verfasser)

Berlin : Springer, 2008

Buch

3076

Digest of technical papers / 1995 IEEE/ACM International Conference on Computer-Aided Design, November 5 - 9, 1995, San Jose, California

International Conference on Computer Aided Design (Institute of Electrical and Electronics Engineers) (13 : 1995 : San José, Calif.)

Los Alamitos, Calif. [u.a.] : IEEE Computer Society Press, 1995

Buch

3077

Systems, decomposition, optimisation and control : [a handbook on the practical optimisation and control of small and large scale systems]

Singh, Madan G. (Hrsg.)

Oxford [u.a] : Pergamon Press, 1978

Buch

3078

Optimization techniques : proceedings of the 8th IFIP Conference, Würzburg, Sept. 5-9, 1977
1.

Stoer, Josef

Berlin [u.a.] : Springer, 1978

Buch

3079

Optimization techniques : proceedings of the 8th IFIP Conference, Würzburg, Sept. 5-9, 1977
2.

Stoer, Josef (Hrsg.)

Berlin [u.a.] : Springer, 1978

Buch

3080

Practical bifurcation and stability analysis

Seydel, Rüdiger

3. ed.

New York [u.a.] : Springer, 2010

Buch

[1]
zurück
147
148
149
150
151
152
153
154
155
156
157
weiter
[157]

Treffer 3.061 - 3.080 von 3.127

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken