×

zbMATH — the first resource for mathematics

Found 173 Documents (Results 1–100)

100
MathJax
Autom. Remote Control 79, No. 11, 2073-2079 (2018); translation from Avtom. Telemekh. 2018, No. 11, 150-158 (2018).
MSC:  90C20 90C22
PDF BibTeX XML Cite
Full Text: DOI
Cousot, Radhia (ed.), Verfication, model checking, and abstract interpretation. 6th international conference, VMCAI 2005, Paris, France, January 17–19, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24297-X/pbk). Lecture Notes in Computer Science 3385, 1-24 (2005).
MSC:  68Q60 68N30 90C22
PDF BibTeX XML Cite
Full Text: DOI
Comput. Math. Model. 11, No. 4, 327-334 (2000); translation from Prikl. Mat. Inf. 3, 11-19 (1999).
MSC:  49J05 49J15 49M20
PDF BibTeX XML Cite
Full Text: DOI
Düsseldorf: Univ. Düsseldorf, Mathematisch-Naturwissenschaftliche Fakultät, 102 p. (1998).
Reviewer: Aus dem Text
PDF BibTeX XML Cite
Stuttgart: Institut für Computeranwendungen der Universität Stuttgart, 107 p. (1997).
PDF BibTeX XML Cite
Deconinck, H. et al., Euler and Navier-Stokes solvers using multi-dimensional upwinds schemes and multigrid acceleration. Results of the BRITE/EURAM projects AERO-CT89-00003 and AER2-CT92-00040, 1989-1995. Wiesbaden: Vieweg. Notes Numer. Fluid Mech. 57, 485-509 (1997).
MSC:  76M25 65N55
PDF BibTeX XML Cite
Morino, Luigi (ed.) et al., Boundary integral methods for nonlinear problems. Proceedings of the IABEM symposium. Pontignano, Italy, May 28–June 3, 1995. Dordrecht: Kluwer Academic Publishers. 179-184 (1997).
MSC:  74S15 74R99
PDF BibTeX XML Cite
Berichte aus der Mathematik. Aachen: Shaker Verlag, Darmstadt: TH Darmstadt, FB Math.,1996. 152 p. (1997).
MSC:  74C99 74S30 74-02 74-05
PDF BibTeX XML Cite
Ecer, A. (ed.) et al., Parallel computational fluid dynamics: new trends and advances. Proceedings of the parallel CFD ’93 conference, Paris, France, May 10-12, 1993. Amsterdam: North-Holland. 109-116 (1995).
MSC:  76M20 76N10 65Y05
PDF BibTeX XML Cite
Deshpande, S. M. (ed.) et al., 14th international conference on numerical methods in fluid dynamics. Proceedings of the Conference, held in Bangalore, India, 11-15 July, 1994. Berlin: Springer-Verlag. Lect. Notes Phys. 453, 161-165 (1995).
Reviewer: E.Krause (Aachen)
MSC:  76M20 76N10
PDF BibTeX XML Cite
Bien, Z. (ed.) et al., Fuzzy logic and its applications to engineering, information sciences, and intelligent systems. Proceedings of the 5th world congress of the International Fuzzy Systems Association (IFSA), Seoul, Korea, July 4–9, 1993. Dordrecht: Kluwer Academic Publishers. Theory Decis. Libr., Ser. D 16, 417-426 (1995).
MSC:  91A05 90C70
PDF BibTeX XML Cite
Tzeng, G. H. (ed.) et al., Multiple criteria decision making. Proceedings of the 10th international conference: Expand and enrich the domains of thinking and application, held at Taipei, Taiwan, July 19-24, 1992. New York: Springer-Verlag. 65-74 (1994).
MSC:  90C05
PDF BibTeX XML Cite
Hannover: Univ. Hannover, FB Mathematik, 129 S. (1992).
MSC:  92C55 68U10 68U99
PDF BibTeX XML Cite
Domain decomposition methods for partial differential equations, Proc. 5th Int. SIAM Symp., Norfolk/VA (USA) 1991, 485-497 (1992).
MSC:  76M25 76D05 65M70
PDF BibTeX XML Cite
Numerical methods in fluid mechanics, Proc. 9th GAMM-Conf., Lausanne/Switz. 1991, Notes Numer. Fluid Mech. 35, 128-137 (1992).
MSC:  76M20 76K05
PDF BibTeX XML Cite
Parallel algorithms for partial differential equations, Proc. 6th GAMM- Semin., Kiel/Ger. 1990, Notes Numer. Fluid Mech. 31, 200-215 (1991).
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software