×

zbMATH — the first resource for mathematics

Found 77 Documents (Results 1–77)

100
MathJax
Berlin: Springer Spektrum (ISBN 978-3-662-62145-5/pbk; 978-3-662-62146-2/ebook). xiv, 221 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Boston, MA: Pearson (ISBN 978-0-321-69459-1/hbk; 978-0-321-75387-8/pbk; 978-0-321-71739-9). 1080 p. (2012).
PDF BibTeX XML Cite
van Benthem, Johan (ed.) et al., Proof, computation and agency. Logic at the crossroads. Dordrecht: Springer (ISBN 978-94-007-0920-1/set; 978-94-007-0079-6/hbk; 978-94-007-0080-2/ebook). Synthese Library 352, 277-307 (2011).
MSC:  91B02 91D99 91E99 93A30
PDF BibTeX XML Cite
Full Text: DOI
Vieweg+Teubner Research. Perspektiven der Mathematikdidaktik. Wiesbaden: Vieweg+Teubner; Hamburg: Univ. Hamburg (Habil. 2009) (ISBN 978-3-8348-1299-5). xii, 187 p. (2011).
MSC:  00A35 97C30 97A70
PDF BibTeX XML Cite
Ramesh, S. (ed.) et al., Next generation design and verification methodologies for distributed embedded control systems. Proceedings of the GM R&D workshop, Bangalore, India, January 2007. Dordrecht: Springer (ISBN 978-1-4020-6253-7/hbk). 157-174 (2007).
MSC:  93A30 93B51
PDF BibTeX XML Cite
Full Text: DOI
Mathematics Education Library 28. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0668-3/hbk). xii, 274 p. (2002).
PDF BibTeX XML Cite
Full Text: DOI
Cerioli, Maura (ed.) et al., Recent trends in algebraic development techniques. 15th international workshop, WADT 2001, joint with the CoFI WG meeting, Genova, Italy, April 1–3, 2001. Selected papers. Berlin: Springer (ISBN 3-540-43159-4). Lect. Notes Comput. Sci. 2267, 176-200 (2001).
MSC:  68Q60 68Q65 68U07
PDF BibTeX XML Cite
Full Text: Link
Horwood Publishing Series: Mathematics and Applications. Chichester: Horwood Publishing. x, 422 p. (2001).
PDF BibTeX XML Cite
Albion Mathematics and Applications Series. Chichester: Albion Publishing. xii, 401 p. (1997).
MSC:  00A35 00A71 00B20
PDF BibTeX XML Cite
Ruan, Da (ed.), Fuzzy logic foundations and industrial applications. Dedicated to Hans-Jürgen Zimmermann. Foreword by George J. Klir. Boston, MA: Kluwer Academic Publishers. Int. Ser. Intell. Technol. 8, 5-26 (1996).
Reviewer: L.Paditz (Dresden)
MSC:  94D05 00A71 93A30 93C42
PDF BibTeX XML Cite
NATO ASI Series. Series F. Computer and Systems Sciences. 117. Berlin: Springer-Verlag. viii, 267 p. (1996).
PDF BibTeX XML Cite
Ersoy, Yaşar (ed.) et al., Mathematical modelling courses for engineering education. Proceedings of the NATO Advanced Research workshop, held in Izmir, Turkey, July 12-16, 1993. Berlin: Springer- Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 132, 75-81 (1994).
MSC:  00A35 00A71
PDF BibTeX XML Cite
Ersoy, Yaşar (ed.) et al., Mathematical modelling courses for engineering education. Proceedings of the NATO Advanced Research workshop, held in Izmir, Turkey, July 12-16, 1993. Berlin: Springer- Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 132, 33-58 (1994).
MSC:  00A35 68W30 00A71
PDF BibTeX XML Cite
Ersoy, Yaşar (ed.) et al., Mathematical modelling courses for engineering education. Proceedings of the NATO Advanced Research workshop, held in Izmir, Turkey, July 12-16, 1993. Berlin: Springer- Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 132, 17-32 (1994).
MSC:  00A35 00A71
PDF BibTeX XML Cite
Amsterdam etc.: North-Holland. XVI, 790 p. (1991).
MSC:  68-06 00B25
PDF BibTeX XML Cite

Filter Results by …

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