=ADD= =author= Kacsuk; Peter + Kotsis; Gabriele =title= DAPSYS98. Workshop on Distributed and Parallel Systems. Budapest, Hungary, Sep 27 - 29, =year= 1998 =publisher= Universitaet Wien =series= Techreports, Inst. fuer Angewandte Informatik und Informationssysteme =number= TR-98102 =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Heugl; Helmuth + Klinger; Walter + Lechner; Josef =title= Mathematikunterricht mit Computeralgebra-Systemen =year= 1996 =publisher= Addison-Wesley =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Brim; Lubos + Gruska; Jozef + Zlatuska; Jiri =title= MFCS'98. Mathematica Foundations of Computer Science. 23 International Symposium, Brno, Czech Republic, Aug. =year= 1998 =publisher= Springer =series= LNCS =number= 1450 =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Kirchner; Claude + Kirchner; Helene =title= CADE-15. 15th International Conference on Automated Deduction. Lindau, Germany, July. =year= 1998 =publisher= Springer =series= LNAI, LNCS =address= 1421 =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Bjorner; Nikolaj S. + Haenhle; Reiner + Menzel; Wolfram + Reif; Wolfgang + Schmitt; Peter H. =title= Integration of Deductive Systems. International Workshop by CADE-15. Lindau, Germany, July 5 - 6. =year= 1998 =publisher= none =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Mendelson; Elliot =title= Introduction to Mathematical Logic =year= 1997 =publisher= Chapman & Hall =edition= 4 =owner= 3 =reftype= 1 =source= 3 =ADD= =author= Gloor; Oliver =title= ISSAC 98. International Symposium on Symbolic and Algebraic Computation. Rostock, Germany, Aug 13 - 15. =year= 1998 =publisher= ACM Press =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Smolka; Gert =title= CP97. Principles and Practice of Constraint Programming. Third International Conference. Linz, Austria, Oct/Nov. =year= 1997 =publisher= Springer =series= LNCS =number= 1330 =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Stollnitz; Eric J. + Derose; Tony D. + Salesin; David H. =title= Wavelets for Computer Graphics. Theory and Applications. =year= 1996 =publisher= Morgan Kaufmann =series= The Morgan Kaufmann Series in Computer Graphics and Geometric Modelling =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Lachmayer; Herbert + Louis; Eleonora =title= Work and Culture. Buero. Inszenierung von Arbeit. =year= 1998 =publisher= Ritter Verlag =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Breitenecker; F. =title= CASe. Computer Algebra Systeme. Einsatz, Anwndungen, Entwiklungen. Seminar ueber Modellbildung und Simulation. TU Wien, 21 Apr. =year= 1998 =publisher= ARGESIM, TU Wien =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Kajler; N. =title= Computer-Human Interaction in Symbolic Computation =year= 1998 =publisher= Springer =series= Texts and Monographs in Symbolic Computation =note= Selected papers from HISC workshop, Amsterdam 1994. =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Delzanno; Giorgio + Podelski; Andreas =title= Model checking infinite-state systems in CLP =year= 1998 =institution= Max-Planck-Institut fuer Informatik =number= MPI-I-98-2-012 =month= 07 =reftype= 11 =source= 3 =ADD= =author= Degtyarev; Anatoli + Voronkov; Andrei =title= Equality reasoning in sequent-based calculi =year= 1998 =institution= Max-Planck-Institut fuer Informatik =number= MPI-I-98-2-011 =month= 07 =reftype= 11 =source= 3 =ADD= =author= Krysta; Piotr + Lorys; Krzysztof =title= New approximation algorithms for the achromatic number =year= 1998 =institution= Max-Planck-Institut fuer Informatik =number= MPI-I-98-1-016 =month= 07 =reftype= 11 =source= 3 =ADD= =author= Crauser; Andreas + Ferragina; Paolo + Melhorn; Kurt + Meyer; Ulrich + Ramos; Edgar =title= Randomized external-memory algorithms for some geometric problems =year= 1998 =institution= Max-Planck-Institut fuer Informatik =number= MPI-I-98-1-017 =month= 07 =reftype= 11 =source= 3 =ADD= =author= Dubhashi; Devdatt + Ranjan; Desh =title= On positive influence and negative dependence =year= 1998 =institution= Max-Planck-Institut fuer Informatik =number= MPI-I-98-1-018 =month= 07 =reftype= 11 =source= 3 =ADD= =author= Melhorn; Kurt =title= WAE'98: Proceedings of the 2nd Workshop on Algorithm Engineering =year= 1998 =institution= Max-Planck-Institut fuer Informatik =number= MPI-I-98-1-019 =month= 08 =reftype= 11 =source= 3 =ADD= =author= Albers; Susanne + Schmidt; Guenter =title= Scehduling with unexpected machine breakdowns =year= 1998 =institution= Max-Planck-Institut fuer Informatik =number= MPI-I-98-1-021 =month= 09 =reftype= 11 =source= 3 =ADD= =author= Henzinger; Monika R. + Leonardi; Stefano =title= Scheduling multicasts on unit-capacity trees and meshes =year= 1998 =institution= Max-Planck-Institut fuer Informatik =number= MPI-I-98-1-015 =month= 05 =reftype= 11 =source= 3 =ADD= =author= Rueb; Christine =title= On Wallace's method for the generation of normal varieties =year= 1998 =institution= Max-Planck-Institut fuer Informatik =number= MPI-I-98-1-020 =month= 07 =reftype= 11 =source= 3 =ADD= =author= Lie; Sophus =title= Theorie der transformationsgruppen. Erster Abschnitt =year= 1970 =publisher= Chelsea =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Lie; Sophus =title= Theorie der transformationsgruppen. Dritter ind Letzter Abschnitt =year= 1970 =publisher= Chelsea 2 =reftype= 1 =source= 3 =ADD= =author= Lie; Sophus =title= Vorlesungen ueber continuierliche gruppen =year= 1971 =publisher= Chelsea =series= =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Winskel; Glynn =title= LICS'97: 12th annual IEEE Symposium on Logic in Computer Science. Warsaw, Poland =year= 1997 =publisher= IEEE Computer Society =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Pratt; Vaughan =title= LICS'98: 13th annual IEEE Symposium on Logic in Computer Science. Inidianapolis, Indiana =year= 1998 =publisher= IEEE Computer Society =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Anonymus; X. =title= PARS'98 =year= 1998 =publisher= GI Deutschland =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Ivanov; A. V. =title= Study of the double mathematical pendulum - I. Numerical investigation of homoclinic transversal intersections =year= 1998 =institution= Universitat de Barcelona =number= 256 =month= 09 =reftype= 11 =source= 3 =ADD= =author= Kohatsu-Higa; Arturo + Marquez-Carreras; David + Sanz-Sole; Marta =title= Asymptotioc behaviour of the density in a parabolic SPDE =year= 1998 =institution= Universitat de Barcelona =number= 257 =month= 09 =reftype= 11 =source= 3 =ADD= =author= Bonacina; Maria Paola + Furbach; Ulrich =title= FTP97: International Workshop on First Order Theorem Proving. Hagenberg, Austria =year= 1997 =publisher= RISC-Linz =note= RISC techreport 97-50 =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Van Hentenryck; Pascal + Saraswat; Vijay =title= Proceedings of the 1996 ACM Workshop on Strategic Directions in Constraint Programming =year= 1997 =publisher= Kluwer Academic =note= Special issue of Constraints - vol 2, no 1, April 1997 =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Drogemuller; Robin =title= PAP97. 5th International Conference on the Practical Applications of Prolog. =year= 1997 =publisher= PAP =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Wallace; Mark =title= PACT97. Proceedings of the Third International Conference on the Practical Application of Constraint Technology. London. =year= 1997 =publisher= PACT =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Caviness; B. F. + Johnson; J. R. =title= Quantifier Elimination and Cylindrical Algebraic Decomposition. Proceedings of the International Symposium dedicated to George Collins. Oct. 1993, Hagenberg, Austria. =year= 1998 =publisher= Sringer =series= Texts and Monographs in Symbolic Computation =owner= 2 =reftype= 10 =source= 3 =ADD= =author= Vives; Sergi + Salicru; Miquel + Ocana; Jordi =title= Moments of the statistics associated at $(h, \theta)$-entropies =year= 1998 =institution= Universitat de Barcelona =number= 255 =month= 07 =location= 2 =owner= 2 =reftype= 11 =source= 3 =ADD= =author= Hamada; Mohamed Esmail Ali =title= Lazy conditional narrowing calculi and their implementation =year= 1998 =publisher= University of Tsukuba =note= PhD Thesis =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Froeberg; Ralf =title= An introduction to Groebner Bases =year= 1997 =publisher= John Wiley & Sons =series= Pure and Applied Mathematics =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Coplien; James A. + Schmidt; Douglas C. =title= Pattern languages of program design =year= 1995 =publisher= Addison-Wesley =owner= 3 =reftype= 1 =source= 3 =ADD= =author= Pinnock; Jonathan =title= DCOM application development =year= 1998 =publisher= Wrox Press =owner= 3 =reftype= 1 =source= 3 =ADD= =author= Stroustrup; Bjarne =title= The C++ programming language =edition= 3 =year= 1998 =publisher= AT & T =owner= 3 =reftype= 1 =source= 3 =ADD= =author= Law; Averill M. + Kelton; W. David =title= Simulation modeling and analysis =year= 1991 =publisher= McGraw-Hill =owner= 3 =reftype= 1 =source= 3 =ADD= =author= Broy; Manfred + Merz; Stephan + Spies; Katharina =title= Formal Systems Specification. The RPC-Memory Specification Case Study =year= 1996 =publisher= Springer =note= LNCS 1169 =owner= 3 =reftype= 15 =source= 3 =ADD= =author= Apt; Krzystof R. + Olderog; Ernst-Ruediger =title= Verification of sequential and concurrent programs =year= 1997 =edition= 2 =publisher= Springer =series= Graduate Texts in Computer Science =owner= 3 =reftype= 1 =source= 3 =ADD= =author= Goguen; Joseph A. + Malcom; Grant =title= Algebraic Semantics of Imperative Programs =year= 1996 =publisher= MIT Press =series= Foundations of Computing =owner= 3 =reftype= 1 =source= 3 =ADD= =author= none =title= Langenscheidts Grosses Schulwoerterbuch. Englisch-Deutsch. =year= 1996 =publisher= Langenscheidt =owner= 3 =reftype= 1 =source= 3 =ADD= =author= none =title= Langenscheidts Grosses Schulwoerterbuch. Deutsch - Englisch =year= 1996 =publisher= Langenscheidt =owner= 3 =reftype= 1 =source= 3 =ADD= =author= Rogerson; Dale =title= Inside COM. Microsoft's Component Object Model =year= 1997 =publisher= Microsoft Press =note= Uni inventory 14574 =owner= 3 =reftype= 1 =source= 3