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

Results
	61.	Mathematical and Engineering Methods in Computer Science [electronic resource] : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers / edited by Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš. by Kučera, Antonín [editor.] Henzinger, Thomas A [editor.] Nešetřil, Jaroslav [editor.] Vojnar, Tomáš [editor.] Antoš, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7721 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)
	62.	ECOOP 2013 – Object-Oriented Programming [electronic resource] : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings / edited by Giuseppe Castagna. by Castagna, Giuseppe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7920 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)
	63.	Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran. by Leite, João [editor.] Son, Tran Cao [editor.] Torroni, Paolo [editor.] Torre, Leon van der [editor.] Woltran, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8143 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)
	64.	Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze. by Hinze, Ralf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8241 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)
	65.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. by Giacobazzi, Roberto [editor.] Berdine, Josh [editor.] Mastroeni, Isabella [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7737 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)
	66.	Models, Algorithms, and Technologies for Network Analysis [electronic resource] : Proceedings of the First International Conference on Network Analysis / edited by Boris Goldengorin, Valery A. Kalyagin, Panos M. Pardalos. by Goldengorin, Boris [editor.] Kalyagin, Valery A [editor.] Pardalos, Panos M [editor.] SpringerLink (Online service) Series: Springer Proceedings in Mathematics & Statistics ; 32 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)
	67.	Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by Legay, Axel [editor.] Bensalem, Saddek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8174 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)
	68.	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by McMillan, Ken [editor.] Middeldorp, Aart [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8312 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)
	69.	Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings / edited by Alexander Dudin, Koen De Turck. by Dudin, Alexander [editor.] Turck, Koen De [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7984 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)
	70.	Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by Blazy, Sandrine [editor.] Paulin-Mohring, Christine [editor.] Pichardie, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7998 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)
	71.	Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by Abdulla, Parosh Aziz [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8169 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)
	72.	Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert. by Albert, Elvira [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7844 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)
	73.	Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / edited by Shaoying Liu. by Liu, Shaoying [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7787 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)
	74.	Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran. by Qadeer, Shaz [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7687 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)
	75.	Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. by Coecke, Bob [editor.] Ong, Luke [editor.] Panangaden, Prakash [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7860 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)
	76.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son. by Cabalar, Pedro [editor.] Son, Tran Cao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8148 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)
	77.	ICT in Education, Research, and Industrial Applications [electronic resource] : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych. by Ermolayev, Vadim [editor.] Mayr, Heinrich C [editor.] Nikitchenko, Mykola [editor.] Spivakovsky, Aleksander [editor.] Zholtkevych, Grygoriy [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 347 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)
	78.	Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / edited by Helmut Jurgensen, Rogério Reis. by Jurgensen, Helmut [editor.] Reis, Rogério [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8031 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)
	79.	Geography of Order and Chaos in Mechanics [electronic resource] : Investigations of Quasi-Integrable Systems with Analytical, Numerical, and Graphical Tools / by Bruno Cordani. by Cordani, Bruno [author.] SpringerLink (Online service) Series: Progress in Mathematical Physics ; 64 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Birkhäuser, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	80.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings / edited by José-Manuel Colom, Jörg Desel. by Colom, José-Manuel [editor.] Desel, Jörg [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7927 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.