×

zbMATH — the first resource for mathematics

Found 186 Documents (Results 1–100)

100
MathJax
Software - Environments - Tools 30. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-563-5/pbk). xiii, 455 p. (2019).
PDF BibTeX XML Cite
Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-50016-4/pbk; 978-3-319-50017-1/ebook). xiv, 218 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Bruaset, Are Magnus (ed.) et al., Numerical solution of partial differential equations on parallel computers. Berlin: Springer (ISBN 3-540-29076-1/pbk). Lecture Notes in Computational Science and Engineering 51, 295-325 (2006).
PDF BibTeX XML Cite
Trinder, Phil (ed.) et al., Implementation of functional languages. 15th international workshop, IFL 2003, Edinburgh, UK, September 8–11, 2003. Revised papers. Berlin: Springer (ISBN 3-540-23727-5/pbk). Lecture Notes in Computer Science 3145, 135-151 (2004).
MSC:  68N15 68N18 68W30
PDF BibTeX XML Cite
Full Text: DOI
Ciancarini, Paolo (ed.) et al., Formal methods for open object-based distributed systems. FMOODS, IFIP TC6/ WG6.1 3rd international conference, Florence, Italy, February 15–18, 1999. Boston: Kluwer Academic Publishers. IFIP, International Federation for Information Processing. 10, 3-18 (1999).
MSC:  68N15 68Q10
PDF BibTeX XML Cite
Castellani, Ilaria (ed.) et al., EXPRESS ’98. 5th international workshop on Expressiveness in concurrency, Nice, France, September 7, 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 16.2, electronic paper No. 4 (1998).
MSC:  68Q10 68N15
PDF BibTeX XML Cite
Full Text: Link
Moskaliuk, S. S. (ed.), Methods in mathematical physics. Proceedings of the 12th international Hutsulian workshop, Rakhiv, Ukraine, September 11-17, 1995. Palm Harbor, FL: Hadronic Press. 394-405 (1997).
MSC:  65H10 65Y15 68W30
PDF BibTeX XML Cite
Lecture Notes in Computer Science. 1241. Berlin: Springer. xi, 531 p. (1997).
PDF BibTeX XML Cite
Springer-Lehrbuch. Berlin: Springer-Verlag. xii, 360 p. (1996).
Reviewer: C.Meinel (Trier)
PDF BibTeX XML Cite
Andima, Susan (ed.) et al., Papers on general topology and applications. Papers presented at the 11th summer conference at the University of Southern Maine, Gorham, ME, USA, August 10-13, 1995. New York, NY: The New York Academy of Sciences. Ann. N. Y. Acad. Sci. 806, 11-27 (1996).
MSC:  68Q55 54E50 68Q10
PDF BibTeX XML Cite
Ferreira, Alfonso (ed.) et al., Parallel algorithms for irregular problems: state of the art. Papers from a workshop and summer school on parallel algorithms for irregularly structured problems, IRREGULAR ’94, Geneva, Switzerland, 1994. Dordrecht: Kluwer Academic Publishers. 47-71 (1995).
MSC:  65N50 65Y05 65N30
PDF BibTeX XML Cite
Corradini, Andrea (ed.) et al., Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA ’95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 2, 14 p. (1995).
MSC:  68N15 68W10
PDF BibTeX XML Cite
Full Text: Link
Noguchi, Shoichi (ed.) et al., Transputer/ Occam Japan 6. Proceedings of the 6th Transputer/ Occam International Conference 16th - 17th June 1994, Hachioji-shi, Tokyo, Japan. Amsterdam: IOS Press. Transputer Occam Eng. Ser. 39, 102-116 (1994).
MSC:  68N17 68Q45
PDF BibTeX XML Cite
Andrews, Derek J. (ed.) et al., Semantics of specification languages (SoSL). Proceedings of the International Workshop, Utrecht, the Netherlands, 25-27 October 1993. Berlin: Springer-Verlag. Workshops in Computing. 152-167 (1994).
PDF BibTeX XML Cite
Droste, Manfred (ed.) et al., Semantics of programming languages and model theory. Papers presented at the international conference and Research Center for Computer Science, Schloß Dägstuhl, Germany, June 23-29, 1991. Yverdon: Gordon and Breach Science Publishers. Algebra Log. Appl. 5, 1-42 (1993).
PDF BibTeX XML Cite
Bruynooghe, Maurice (ed.) et al., Programming language implementation and logic programming. 5th international symposium, PLILP ’93, Tallinn, Estonia, August 25-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 714, 246-261 (1993).
Reviewer: R.Moolenaar
MSC:  68N17 68Q10 68N25
PDF BibTeX XML Cite
Dongarra, Jack (ed.) et al., Proceedings of the fifth SIAM conference on parallel processing for scientific computing, held in Houston, TX, USA, March 25-27, 1991. Philadelphia, PA: SIAM. 602-608 (1992).
MSC:  68N15
PDF BibTeX XML Cite
Dongarra, Jack (ed.) et al., Proceedings of the fifth SIAM conference on parallel processing for scientific computing, held in Houston, TX, USA, March 25-27, 1991. Philadelphia, PA: SIAM. 338-344 (1992).
PDF BibTeX XML Cite
Formal description techniques, IV, Proc. IFIP TC6/WG6 4th Int. Conf., Sydney/Australia 1991, 543-558 (1992).
MSC:  68Q10 68N15 68Q60
PDF BibTeX XML Cite
Programming environments for high-level scientific problem solving, Proc. IFIP TC2/WG2.5 Working Conf., Karlsruhe/Germany 1991, 179-189 (1992).
MSC:  68Q10 68N15
PDF BibTeX XML Cite
Arrays, functional languages and parallel systems, Proc. 1st Int. Workshop, Montréal, Québec/Canada 1990, 201-236 (1991).
MSC:  68N15
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