=ADD=

=author=
Emiris; Ioannis Z. + Mourrain; Bernard
=title=
SNAP 96. Workshop on Symbolic-Numeric Algebra for Polynomials. INRIA Sophia-Antipolis, France, July 1996.
=year=
1996
=publisher=
INRIA
=owner=
2
=reftype=
10
=source=
3


=ADD=
=author=
Wang; Dongming
=title=
Elimination Methods and Applications
=year=
1999
=publisher=
INPG
=owner=
2
=note=
Habillitation Thesis
=reftype=
1
=source=
3

=ADD=
=author=
Kudlicza; Peter
=title=
Das A bis Z der Elektronik
=year=
1996
=publisher=
FEI
=owner=
2
=reftype=
1
=source=
3

=ADD=
=author=
Brough; Sonia
=title=
Langenscheidts Grosses Schulwoertebuch Deutsch-Englisch
=year=
1996
=publisher=
Langenscheidt
=owner=
3
=note=
Uni inventory 14578
=reftype=
1
=source=
3

=ADD=
=author=
Messinger; Heinz
=title=
Langenscheidts Grosses Schulwoertebuch Englisch-Deutsch
=year=
1996
=publisher=
Langenscheidt
=owner=
3
=note=
Uni inventory 14577
=reftype=
1
=source=
3

=ADD=
=author=
Meinel; Christoph + Theobald; Thorsten
=title=
Algorithms and Data Structures in VLSI Design. OBDD - Foundations and Applications
=year=
1998
=publisher=
Springer
=owner=
3
=note=
Uni inventory 14589
=reftype=
1
=source=
3

=ADD=
=author=
none; none
=title=
Interactive Math Dictionary (CD-ROM)
=year=
1998
=publisher=
Math Resources Inc.
=owner=
1
=note=
CD-ROM. Uni inventory 14950
=reftype=
1
=source=
3

=ADD=
=author=
Hajek; Petr + Pudlak; Pavel
=title=
Metamathematics of First-Order Logic
=year=
1998
=publisher=
Springer
=edition=
2
=owner=
1
=note=
Uni inventory 14582
=reftype=
1
=source=
3

=ADD=
=author=
Bruederlin; B. + Roller; D.
=title=
Geometric Constraint Solving and Applications
=year=
1998
=publisher=
Springer
=owner=
1
=note=
Uni inventory 14588
=reftype=
15
=source=
3

=ADD=
=author=
Harrison; John
=title=
Theorem Proving with the Real Numbers
=year=
1998
=publisher=
Springer
=series=
Distinguished Dissertations
=owner=
1
=note=
Uni inventory 14586
=reftype=
1
=source=
3

=ADD=
=author=
Harris; John W. + Stocker; Horst
=title=
Handbook of Mathematics and Computational Science
=year=
1998
=publisher=
Springer
=owner=
1
=note=
Uni inventory 14587
=reftype=
1
=source=
3

=ADD=
=author=
none; none
=title=
Red Hat Linux 5.1. The Official Red Hat Linux Installation Guide
=year=
1998
=publisher=
Red Hat Software Inc.
=owner=
1
=note=
Uni inventory 14580
=reftype=
1
=source=
3

=ADD=
=author=
Kyas; Othmar
=title=
ATM-Netzwerke. Aufbau - Funktion - Performance
=year=
1996
=edition=
3
=publisher=
DATACOM
=owner=
1
=note=
Uni inventory 14579
=reftype=
1
=source=
3

=ADD=
=author=
Paun; Gheorghe + Rozenberg; Grzegorz + Salomaa; Arto
=title=
DNA Computing. New Computing Paradigms
=year=
1998
=publisher=
Springer
=owner=
1
=note=
Uni inventory 14583
=reftype=
1
=source=
3

=ADD=
=author=
Caviness; B. F. + Johnson; J. R.
=title=
Quantifier Elimination and Cylindrical Algebraic Decomposition. Proceedings of the International Symposium held in Hagenberg, Austria, Oct 1993.
=year=
1998
=publisher=
Springer
=series=
Texts and Monographs in Symbolic Computation
=owner=
1
=note=
Uni inventory 14581
=reftype=
10
=source=
3

=ADD=
=author=
Mora; Teo + Mattson; Harold
=title=
AAECC-12. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. 12th International Symposium, Toulouse, France, June 1997.
=year=
1997
=publisher=
Springer
=series=
LNCS
=number=
1255
=owner=
1
=note=
Uni inventory 14585
=reftype=
10
=source=
3


=ADD=
=author=
Cohen; Gerard + Giusti; Marc
=title=
AAECC-11. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. 11th International Symposium, Paris, France, July 1995.
=year=
1995
=publisher=
Springer
=series=
LNCS
=number=
948
=owner=
1
=note=
Uni inventory 14584
=reftype=
10
=source=
3