×

Found 216 Documents (Results 1–100)

Introduction to high performance scientific computing. (English) Zbl 1453.65001

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

Finite-state techniques. Automata, transducers and bimachines. (English) Zbl 1465.68006

Cambridge Tracts in Theoretical Computer Science 60. Cambridge: Cambridge University Press (ISBN 978-1-108-48541-8/hbk; 978-1-108-75694-5/ebook). x, 304 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI

A user-friendly hybrid sparse matrix class in C++. (English) Zbl 1397.65343

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 422-430 (2018).
MSC:  65Y15 05C50 65Fxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

C programming and numerical analysis: an introduction. (English) Zbl 1397.65001

Synthesis Lectures on Mechanical Engineering 13. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-68173-313-5/hbk; 978-1-68173-311-1/pbk; 978-1-68173-312-8/ebook). xiii, 184 p. (2018).
MSC:  65-01 68N15
PDF BibTeX XML Cite
Full Text: DOI

How to get an efficient yet verified arbitrary-precision integer library. (English) Zbl 1403.68026

Paskevich, Andrei (ed.) et al., Verified software. Theories, tools, and experiments. 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22–23, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-72307-5/pbk; 978-3-319-72308-2/ebook). Lecture Notes in Computer Science 10712, 84-101 (2017).
MSC:  68N15 68T15
PDF BibTeX XML Cite
Full Text: DOI Link

Programming projects in C for students of engineering, science, and mathematics. (English) Zbl 1308.68004

Computational Science & Engineering 13. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-611973-49-5/pbk; 978-1-61197-350-1/ebook). xv, 393 p. (2014).
MSC:  68-01 65-01 68N15
PDF BibTeX XML Cite
Full Text: DOI

Geometry of pavements. From the conception to the realization on the computer. (Géométrie des pavages. De la conception à la réalisation sur ordinateur.) (French) Zbl 1264.52001

Paris: Hermes; Paris: Lavoisier (ISBN 978-2-7462-4503-7/pbk). 413 p. (2013).
PDF BibTeX XML Cite

Inferring effective types for static analysis of C programs. (English) Zbl 1294.68057

Massé, Damien (ed.) et al., Proceedings of the 3rd international workshop on numerical and symbolic abstract domains, NSAD 2011, Venice, Italy, September 13, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 288, 37-47 (2012).
MSC:  68N30 68N15
PDF BibTeX XML Cite
Full Text: DOI

Concrete memory models for shape analysis. (English) Zbl 1342.68103

Miné, Antoine (ed.) et al., Proceedings of the 2nd international workshop on numerical and symbolic abstract domains: NSAD 2010, Perpignan, France, September 13, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 267, No. 1, 139-150 (2010).
MSC:  68N30 68N15 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Computing with words for hierarchical and distributed decision-making. (English) Zbl 1216.68249

Ruan, Da (ed.), Computational intelligence in complex decision systems. Amsterdam: Atlantis Press; Hackensack, NJ: World Scientific (ISBN 978-90-78677-27-7/hbk). Atlantis Computational Intelligence Systems 2, 233-271 (2010).
MSC:  68T20 68T50 68U35
PDF BibTeX XML Cite

Mathematical objects in C++. Computational tools in a unified object-oriented approach. (English) Zbl 1178.68128

Boca Raton, FL: CRC Press (ISBN 978-1-4398-1147-4/hbk; 978-1-138-11376-3/pbk; 978-1-4398-1148-1/ebook). xxviii, 606 p. (2009).
MSC:  68N15 68N19 68-01
PDF BibTeX XML Cite
Full Text: DOI

C++ with Microsoft Visual C++ 2008. Introduction to Standard-C++, C++/CLI and object-oriented Windows .NET programming. With CD-ROM. (C++ mit Microsoft Visual C++ 2008. Einführung in Standard-C++, C++/CLI und die objektorientierte Windows .NET-Programmierung. Mit CD-ROM.) (German) Zbl 1217.68048

Xpert.press. Berlin: Springer (ISBN 978-3-540-23869-0/hbk; 978-3-540-68844-0/ebook). xxiv, 1335 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI

Numerical linear approximation in C. With CD-Rom. (English) Zbl 1155.65002

Chapman & Hall/CRC Numerical Analysis and Scientific Computing. Boca Raton, FL: CRC Press (ISBN 978-1-58488-978-6/hbk; 978-1-58488-979-3/ebook). xxvi, 936 p. (2008).
PDF BibTeX XML Cite
Full Text: DOI

Numerical recipes. The art of scientific computing. 3rd ed. (English) Zbl 1132.65001

Cambridge: Cambridge University Press (ISBN 978-0-521-88068-8/hbk; 978-0-511-33239-5/ebook). xxi, 1235 p. (2007).
PDF BibTeX XML Cite

Operator algebras and the operational semantics of probabilistic languages. (English) Zbl 1276.68050

Seda, Anthony K. (ed.) et al., Proceedings of the third Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2004), Dublin, Ireland, July 22–23, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 161, 131-150 (2006).
PDF BibTeX XML Cite
Full Text: Link

C++ for mathematicians. An introduction for students and professionals. With CD-ROM. (English) Zbl 1108.68025

Boca Raton, FL: Chapman & Hall/CRC (ISBN 1-58488-584-X/pbk; 978-1-138-41327-6/hbk; 978-1-4200-1098-5/ebook). xxiii, 496 p. (2006).
MSC:  68N15 68-01
PDF BibTeX XML Cite
Full Text: DOI

A generic C++ implementation of composite path algebras. (English) Zbl 1101.68718

Scitovski, Rudolf (ed.) et al., Proceedings of the 10th international conference on operational research – KOI 2004, Trogir, Croatia, September 22-24, 2004. Osijek: Univ. Osijek, Department of Mathematics; Zagreb: Croatian Operational Research Society (ISBN 953-6931-15-X/pbk). 155-164 (2005).
MSC:  68R10 68N15
PDF BibTeX XML Cite

Numerical algorithms. Methods, examples, applications. With 2 CD-ROMs. 9th completely revised and extended ed. (Numerik-Algorithmen. Verfahren, Beispiele, Anwendungen. Mit 2 CD-ROMs.) (German) Zbl 1069.65001

Xpert.press. Berlin: Springer (ISBN 3-540-62669-7/hbk). xxi, 677 p. (2005).
PDF BibTeX XML Cite
Full Text: DOI

Compiling Mercury to high-level C code. (English) Zbl 1051.68683

Horspool, R. Nigel (ed.), Compiler construction. 11th international conference, CC 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Berlin: Springer (ISBN 3-540-43369-4). Lect. Notes Comput. Sci. 2304, 197-212 (2002).
PDF BibTeX XML Cite
Full Text: Link

Symbolic processing of Clifford numbers in C++. (English) Zbl 1036.65037

Dorst, Leo (ed.) et al., Applications of geometric algebra in computer science and engineering. Papers from the conference, AGACSE 2001, Cambridge, UK, July 9–13, 2001. Boston, MA: Birkhäuser (ISBN 0-8176-4267-6/hbk). 157-167 (2002).
MSC:  65F30 15A66 68N19 68W30
PDF BibTeX XML Cite

Programming C#. (Programmieren mit C#. Entwicklung von . NET-Applikationen. Übersetzt aus der 2. englischen Ausgabe von Dorothea Reder und Jörg Staudemeyer.) (German) Zbl 1010.68028

Köln: O’Reilly. xix, 681 S. (2002).
Reviewer: W.Brecht (Berlin)
MSC:  68N15 68N19 68-01
PDF BibTeX XML Cite

C++ using the Borland C++ Builder. An introduction to the ANSI/ ISO standard and the object-oriented Windows programming. (C++ mit dem Borland C++Builder. Einführung in den ANSI/ ISO-Standard und die objektorientierte Windows-Programmierung.) (German) Zbl 0985.68009

Xpert.press. Berlin: Springer. xx, 1116 p. (2002).
PDF BibTeX XML Cite

System-on-chip methodologies & design languages. 3rd international conference, FDL 2000, Tübingen, Germany, 2000. (English) Zbl 0981.68171

Boston: Kluwer Academic Publishers. x, 342 p. (2001).
PDF BibTeX XML Cite

Databases and SQL. A practice-oriented introduction with references to Oracle and MS-Access. 3., durchges. Aufl. (Datenbanken und SQL. Eine praxisorientierte Einführung mit Hinweisen zu Oracle und MS-Access.) (German) Zbl 0957.68036

Stuttgart: Teubner. 351 S. (2000).
MSC:  68P15 68-01
PDF BibTeX XML Cite

An introduction to numerical methods in C++. 2nd, revised ed. (English) Zbl 0960.65001

Oxford: Oxford University Press. xxii, 555 p. (2000).
PDF BibTeX XML Cite

Databases and SQL. A practice-oriented introduction with references to Oracle and MS-Access. 2., überarb. u. erw. Aufl. (Datenbanken und SQL. Eine praxisorientierte Einführung mit Hinweisen zu Oracle und MS-Access.) (German) Zbl 0928.68040

Leipzig: Teubner. 351 S. (1999).
MSC:  68P15 68-01
PDF BibTeX XML Cite

UNIX, C and Internet. Modern data processing in science and technique. 2., überarb. Aufl. (UNIX, C und Internet. Moderne Datenverarbeitung in Wissenschaft und Technik.) (German) Zbl 0914.68036

Berlin: Springer. xxiv, 646 S. (1999).
PDF BibTeX XML Cite

Object oriented modelling and programming with C++. Vol. 2: Advanced techniques and design patterns. (Objektorientierte Modellierung und Programmierung mit C++. Bd 2: Fortgeschrittene Techniken und Design Patterns.) (German) Zbl 0878.68031

München: Oldenbourg. vii p., p. 319-722 (1997).
Reviewer: G.Bauer (Görlitz)
MSC:  68N15 68N99 68-02
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software