Results of search for 'su-br:{THEORETICAL COMPUTER SCIENCE}' › Central Library, Shahjalal University of Science & Technology catalog

Results
	1.	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)
	2.	Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings / edited by André Rauber Du Bois, Phil Trinder. by Bois, André Rauber Du [editor.] Trinder, Phil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8129 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)
	3.	Towards a Theoretical Neuroscience: from Cell Chemistry to Cognition [electronic resource] / by L Andrew Coward. by Coward, L Andrew [author.] SpringerLink (Online service) Series: Springer Series in Cognitive and Neural Systems ; 8 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)
	4.	LOST Opportunities [electronic resource] : Learning in Out-of-School Time / edited by Bronwyn Bevan, Philip Bell, Reed Stevens, Aria Razfar. by Bevan, Bronwyn [editor.] Bell, Philip [editor.] Stevens, Reed [editor.] Razfar, Aria [editor.] SpringerLink (Online service) Series: Explorations of Educational Purpose ; 23 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)
	5.	Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti. by Crespi Reghizzi, Stefano [author.] Breveglieri, Luca [author.] Morzenti, Angelo [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 2nd ed. 2013. 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)
	6.	Concise Computer Mathematics [electronic resource] : Tutorials on Theory and Problems / by Ovidiu Bagdasar. by Bagdasar, Ovidiu [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)
	7.	Analyzing Evolutionary Algorithms [electronic resource] : The Computer Science Perspective / by Thomas Jansen. by Jansen, Thomas [author.] SpringerLink (Online service) Series: Natural Computing Series 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)
	8.	Theory and Applications of Models of Computation [electronic resource] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan. by Chan, T-H. Hubert [editor.] Lau, Lap Chi [editor.] Trevisan, Luca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7876 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)
	9.	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)
	10.	Mathematical Foundations of Computer Science 2013 [electronic resource] : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings / edited by Krishnendu Chatterjee, Jirí Sgall. by Chatterjee, Krishnendu [editor.] Sgall, Jirí [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8087 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)
	11.	Neural Information Processing [electronic resource] : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II / edited by Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil. by Lee, Minho [editor.] Hirose, Akira [editor.] Hou, Zeng-Guang [editor.] Kil, Rhee Man [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8227 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)
	12.	Neural Information Processing [electronic resource] : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part III / edited by Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil. by Lee, Minho [editor.] Hirose, Akira [editor.] Hou, Zeng-Guang [editor.] Kil, Rhee Man [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8228 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)
	13.	Neural Information Processing [electronic resource] : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part I / edited by Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil. by Lee, Minho [editor.] Hirose, Akira [editor.] Hou, Zeng-Guang [editor.] Kil, Rhee Man [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8226 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)
	14.	People, Problems, and Proofs [electronic resource] : Essays from Gödel's Lost Letter: 2010 / by Richard J. Lipton, Kenneth W. Regan. by Lipton, Richard J [author.] Regan, Kenneth W [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)
	15.	Metabolic ecology : a scaling approach / edited by Richard M. Sibly, James H. Brown, and Astrid Kodric-Brown. by Sibly, R. M Brown, James H, 1942 September 25- Kodric-Brown, Astrid Wiley InterScience (Online service) Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Hoboken, NJ : Wiley-Blackwell, 2012 Online access: Wiley Online Library [Free Download only for SUST IP] Availability: No items available. Add to cart (remove)
	16.	Number Theory and Related Fields [electronic resource] : In Memory of Alf van der Poorten / edited by Jonathan M. Borwein, Igor Shparlinski, Wadim Zudilin. by Borwein, Jonathan M [editor.] Shparlinski, Igor [editor.] Zudilin, Wadim [editor.] SpringerLink (Online service) Series: Springer Proceedings in Mathematics & Statistics ; 43 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)
	17.	Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf. by Jensen, Kurt [editor.] Aalst, Wil M. P. van der [editor.] Balbo, Gianfranco [editor.] Koutny, Maciej [editor.] Wolf, Karsten [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7480 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)
	18.	Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings / edited by Glyn Morrill, Mark-Jan Nederhof. by Morrill, Glyn [editor.] Nederhof, Mark-Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8036 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)
	19.	Web and Internet Economics [electronic resource] : 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings / edited by Yiling Chen, Nicole Immorlica. by Chen, Yiling [editor.] Immorlica, Nicole [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8289 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)
	20.	Similarity-Based Pattern Analysis and Recognition [electronic resource] / edited by Marcello Pelillo. by Pelillo, Marcello [editor.] SpringerLink (Online service) Series: Advances in Computer Vision and Pattern Recognition 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)

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 379 results.