Results of search for 'su:{Computer software}' › Central Library, Shahjalal University of Science & Technology catalog

Results
	201.	Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by Liu, Zhiming [editor.] Woodcock, Jim [editor.] Zhu, Huibiao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8051 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)
	202.	Tools for High Performance Computing 2012 [electronic resource] / edited by Alexey Cheptsov, Steffen Brinkmann, José Gracia, Michael M. Resch, Wolfgang E. Nagel. by Cheptsov, Alexey [editor.] Brinkmann, Steffen [editor.] Gracia, José [editor.] Resch, Michael M [editor.] Nagel, Wolfgang E [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)
	203.	Selected Topics in Performance Evaluation and Benchmarking [electronic resource] : 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. by Nambiar, Raghunath [editor.] Poess, Meikel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7755 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)
	204.	Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 [electronic resource] : Volume 5 / edited by Zhicai Zhong. by Zhong, Zhicai [editor.] SpringerLink (Online service) Series: Lecture Notes in Electrical Engineering ; 220 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)
	205.	The History of Visual Magic in Computers [electronic resource] : How Beautiful Images are Made in CAD, 3D, VR and AR / by Jon Peddie. by Peddie, Jon [author.] SpringerLink (Online service) 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)
	206.	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)
	207.	Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 [electronic resource] : Volume 4 / edited by Zhicai Zhong. by Zhong, Zhicai [editor.] SpringerLink (Online service) Series: Lecture Notes in Electrical Engineering ; 219 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)
	208.	Understanding Petri Nets [electronic resource] : Modeling Techniques, Analysis Methods, Case Studies / by Wolfgang Reisig. by Reisig, Wolfgang [author.] 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)
	209.	Enterprise Architecture Patterns [electronic resource] : Practical Solutions for Recurring IT-Architecture Problems / by Thierry Perroud, Reto Inversini. by Perroud, Thierry [author.] Inversini, Reto [author.] 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)
	210.	Industrial Image Processing [electronic resource] : Visual Quality Control in Manufacturing / by Christian Demant, Bernd Streicher-Abel, Carsten Garnica. by Demant, Christian [author.] Streicher-Abel, Bernd [author.] Garnica, Carsten [author.] SpringerLink (Online service) Edition: 2nd revised ed. 2013. 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)
	211.	Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue. by Beckert, Bernhard [editor.] Damiani, Ferruccio [editor.] Boer, Frank S. de [editor.] Bonsangue, Marcello M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7542 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)
	212.	Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes. by Cámara, Javier [editor.] Lemos, Rogério de [editor.] Ghezzi, Carlo [editor.] Lopes, Antónia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7740 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)
	213.	Tool-Based Requirement Traceability between Requirement and Design Artifacts [electronic resource] / by Bernhard Turban. by Turban, Bernhard [author.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	214.	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)
	215.	Environmental Software Systems. Fostering Information Sharing [electronic resource] : 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings / edited by Jiří Hřebíček, Gerald Schimak, Miroslav Kubásek, Andrea E. Rizzoli. by Hřebíček, Jiří [editor.] Schimak, Gerald [editor.] Kubásek, Miroslav [editor.] Rizzoli, Andrea E [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 413 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)
	216.	Reliable Software Technologies – Ada-Europe 2013 [electronic resource] : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk. by Keller, Hubert B [editor.] Plödereder, Erhard [editor.] Dencker, Peter [editor.] Klenk, Herbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7896 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)
	217.	Systems, Software and Services Process Improvement [electronic resource] : 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings / edited by Fergal McCaffery, Rory V. O’Connor, Richard Messnarz. by McCaffery, Fergal [editor.] O’Connor, Rory V [editor.] Messnarz, Richard [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 364 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)
	218.	Patterns of data modeling [electronic resource] / Michael Blaha. by Blaha, Michael Series: Database systems and applications ; 1 Material type: Text; Format: electronic ; Literary form: Not fiction Publication details: Boca Raton, Fla. : CRC Press, 2010 Online access: Read Online / DOWNLOAD. Availability: No items available. Add to cart (remove)
	219.	Professional Java development with the Spring Framework / Rod Johnson ... [et al.]. by Johnson, Rod, 1970- Material type: Text; Format: print ; Literary form: Not fiction Publication details: Indianapolis, IN : Wiley Pub., 2005 Availability: Items available for loan: Central Library, SUST (2)Call number: 005.133 PRO, ... Place hold Add to cart (remove)
	220.	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)

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Holding libraries

Languages

Your search returned 748 results.