Results of search for 'su:{Mathematical Software.}' › Central Library, Shahjalal University of Science & Technology catalog

Results
	21.	Industrial Deployment of System Engineering Methods [electronic resource] / edited by Alexander Romanovsky, Martyn Thomas. by Romanovsky, Alexander [editor.] Thomas, Martyn [editor.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	22.	Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by Bertacco, Valeria [editor.] Legay, Axel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8244 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	23.	The SimCalc Vision and Contributions [electronic resource] : Democratizing Access to Important Mathematics / edited by Stephen J. Hegedus, Jeremy Roschelle. by Hegedus, Stephen J [editor.] Roschelle, Jeremy [editor.] SpringerLink (Online service) Series: Advances in Mathematics Education Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	24.	Implementation and Application of Automata [electronic resource] : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / edited by Stavros Konstantinidis. by Konstantinidis, Stavros [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7982 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	25.	Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by Biere, Armin [editor.] Nahir, Amir [editor.] Vos, Tanja [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7857 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	26.	Realtime Data Mining [electronic resource] : Self-Learning Techniques for Recommendation Engines / by Alexander Paprotny, Michael Thess. by Paprotny, Alexander [author.] Thess, Michael [author.] SpringerLink (Online service) Series: Applied and Numerical Harmonic Analysis Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	27.	Robust Data Mining [electronic resource] / by Petros Xanthopoulos, Panos M. Pardalos, Theodore B. Trafalis. by Xanthopoulos, Petros [author.] Pardalos, Panos M [author.] Trafalis, Theodore B [author.] SpringerLink (Online service) Series: SpringerBriefs in Optimization Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	28.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by Víctor Braberman, Laurent Fribourg. by Braberman, Víctor [editor.] Fribourg, Laurent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8053 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	29.	Fast Compact Algorithms and Software for Spline Smoothing [electronic resource] / by Howard L. Weinert. by Weinert, Howard L [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	30.	Intelligent Routines [electronic resource] : Solving Mathematical Analysis with Matlab, Mathcad, Mathematica and Maple / by George A. Anastassiou, Iuliana F. Iatan. by Anastassiou, George A [author.] Iatan, Iuliana F [author.] SpringerLink (Online service) Series: Intelligent Systems Reference Library ; 39 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	31.	Polyhedral and Algebraic Methods in Computational Geometry [electronic resource] / by Michael Joswig, Thorsten Theobald. by Joswig, Michael [author.] Theobald, Thorsten [author.] SpringerLink (Online service) Series: Universitext Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	32.	CONCUR 2013 – Concurrency Theory [electronic resource] : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings / edited by Pedro R. D’Argenio, Hernán Melgratti. by D’Argenio, Pedro R [editor.] Melgratti, Hernán [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8052 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	33.	Introduction to computational modeling using C and open-source tools / Jose M. Garrido, Kennesaw State University, Kennesaw Georgia, USA. by Garrido, Jose M [author.] Series: Material type: Text; Literary form: Not fiction Online access: Read Online / DOWNLOAD. Availability: No items available. Add to cart (remove)
	34.	Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes. by Pecheur, Charles [editor.] Dierkes, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8187 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	35.	Introduction to computational modeling using C and open-source tools / Jose M. Garrido, Kennesaw State University, Kennesaw Georgia, USA. by Garrido, Jose M [author.] Series: Material type: Text; Literary form: Not fiction Online access: Read Online / DOWNLOAD. Availability: No items available. Add to cart (remove)
	36.	Conversations About Challenges in Computing [electronic resource] / edited by Are Magnus Bruaset, Aslak Tveito. by Bruaset, Are Magnus [editor.] Tveito, Aslak [editor.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	37.	Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. by Ida, Tetsuo [editor.] Fleuriot, Jacques [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7993 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	38.	Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale. by Beyer, Dirk [editor.] Boreale, Michele [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7892 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	39.	Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò. by Veanes, Margus [editor.] Viganò, Luca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7942 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	40.	Automated Reasoning and Mathematics [electronic resource] : Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel. by Bonacina, Maria Paola [editor.] Stickel, Mark E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7788 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Holding libraries

Languages

Your search returned 101 results.