=ADD=

=author=
Bajnov; Drumi
=title=
The eighth international colloquium on numerical analysis and computer science with applications
=year=
1999
=publisher=
Mathematical Society,Technical University-Plovdiv 
=owner=
2
=reftype=
10
=source=
3


=ADD=

=author=
Buber; V. + Hietamaeki; A. + Keranen; V.
=title=
Mathematics with Power
IMS'99
=year=
1999
=publisher=
International Mathematica Symposium Sekreteriat
=owner=
2
=reftype=
10
=source=
3


=ADD=

=author=
Tipping; B.H.V.
=title=
Developments in computational mechanics with high performance computing
=year=
1999
=publisher=
Civil-Comp Press
=owner=
2
=reftype=
10
=source=
3


=ADD=

=author=
Dooley; Sam
=title=
International Symposium on Symbolic and Algebraic Computation
=year=
1999
=publisher=
ACM PRESS
=owner=
2
=reftype=
10
=source=
3


=ADD=

=author=
Titsworth; Frances M.
=title=
14th Symposium on Logic in Computer Science
=year=
1999
=publisher=
IEEE
=owner=
2
=reftype=
10
=source=
3


=ADD=
=author=
Dennison; Avery
=title=
Mathematica Developer Conference
=publisher=
Wolfram Research Inc.
=year=
1999
=location=
2
=owner=
2
=source=
3
=reftype=
10


=ADD=

=author=
Amestoy; P. + Berger; P .+ Dayde; M. + Duff; I.+ Fraysse; V. + Giraud; L.+Ruiz; D.
=title=
Euro-Par'99  Parallel Processing
=year=
1999
=publisher=
Springer
=owner=
2
=reftype=
10
=source=
3


=ADD=

=author=
Gottlob; Georg + Grandjean; Etienne + Seyr; Katrin
=title=
Computer Science Logic
=year=
1998
=publisher=
Springer
=owner=
2
=reftype=
10
=source=
3


=ADD=

=author=
Ganzinger; Harald
=title=
Automated Deduction-CADE-16
=year=
1999
=publisher=
Springer
=owner=
2
=reftype=
10
=source=
3


=ADD=

=author=
Narendran; Paliath + Rusinovitch; Michael
=title=
Rewriting Techniques and Applications
=year=
1999
=publisher=
Springer
=owner=
2
=reftype=
10
=source=
3


=ADD=

=author=
Halbwachs; Nicolas + Peled; Doron
=title=
Computer Aided Verification
=year=
1999
=publisher=
Springer
=owner=
2
=reftype=
10
=source=
3