Results of search for 'ccl=su:{Computer science.} and su-to:Mathematics and se:Lecture Notes in Computer Science' › Central Library, Shahjalal University of Science & Technology catalog

Results
	1.	DNA Computing and Molecular Programming [electronic resource] : 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings / edited by David Soloveichik, Bernard Yurke. by Soloveichik, David [editor.] Yurke, Bernard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8141 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)
	2.	Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by Gonthier, Georges [editor.] Norrish, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8307 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)
	3.	Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten van Steen. by Baldoni, Roberto [editor.] Nisse, Nicolas [editor.] Steen, Maarten van [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8304 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)
	4.	Conceptual Structures for STEM Research and Education [electronic resource] : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings / edited by Heather D. Pfeiffer, Dmitry I. Ignatov, Jonas Poelmans, Nagarjuna Gadiraju. by Pfeiffer, Heather D [editor.] Ignatov, Dmitry I [editor.] Poelmans, Jonas [editor.] Gadiraju, Nagarjuna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7735 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)
	5.	SOFSEM 2013: Theory and Practice of Computer Science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings / edited by Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack. by Emde Boas, Peter van [editor.] Groen, Frans C. A [editor.] Italiano, Giuseppe F [editor.] Nawrocki, Jerzy [editor.] Sack, Harald [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7741 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)
	6.	Logic and Its Applications [electronic resource] : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings / edited by Kamal Lodaya. by Lodaya, Kamal [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7750 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)
	7.	Algorithms for Sensor Systems [electronic resource] : 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers / edited by Amotz Bar-Noy, Magnús M. Halldórsson. by Bar-Noy, Amotz [editor.] Halldórsson, Magnús M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7718 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.	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)
	9.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings / edited by Carla Gomes, Meinolf Sellmann. by Gomes, Carla [editor.] Sellmann, Meinolf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7874 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.	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)
	11.	Experimental Algorithms [electronic resource] : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings / edited by Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela. by Bonifaci, Vincenzo [editor.] Demetrescu, Camil [editor.] Marchetti-Spaccamela, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7933 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.	Advances in Swarm Intelligence [electronic resource] : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Hongwei Mo. by Tan, Ying [editor.] Shi, Yuhui [editor.] Mo, Hongwei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7928 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.	Advances in Swarm Intelligence [electronic resource] : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Hongwei Mo. by Tan, Ying [editor.] Shi, Yuhui [editor.] Mo, Hongwei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7929 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.	Computing and Combinatorics [electronic resource] : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings / edited by Ding-Zhu Du, Guochuan Zhang. by Du, Ding-Zhu [editor.] Zhang, Guochuan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7936 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.	Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part I / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng. by Guo, Chengan [editor.] Hou, Zeng-Guang [editor.] Zeng, Zhigang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7951 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)
	16.	Advances in Neural Networks – ISNN 2013 [electronic resource] : 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013, Proceedings, Part II / edited by Chengan Guo, Zeng-Guang Hou, Zhigang Zeng. by Guo, Chengan [editor.] Hou, Zeng-Guang [editor.] Zeng, Zhigang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7952 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)
	17.	Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger. by Carette, Jacques [editor.] Aspinall, David [editor.] Lange, Christoph [editor.] Sojka, Petr [editor.] Windsteiger, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7961 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.	Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz. by Libkin, Leonid [editor.] Kohlenbach, Ulrich [editor.] Queiroz, Ruy de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8071 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.	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)
	20.	Geometric Science of Information [electronic resource] : First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings / edited by Frank Nielsen, Frédéric Barbaresco. by Nielsen, Frank [editor.] Barbaresco, Frédéric [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8085 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

Series

Topics

Your search returned 29 results.