Results of search for 'su:{Programming Languages, Compilers, Interpreters.}' › Central Library, Shahjalal University of Science & Technology catalog

Results
	21.	The R Software [electronic resource] : Fundamentals of Programming and Statistical Analysis / by Pierre Lafaye de Micheaux, Rémy Drouilhet, Benoit Liquet. by Lafaye de Micheaux, Pierre [author.] Drouilhet, Rémy [author.] Liquet, Benoit [author.] SpringerLink (Online service) Series: Statistics and Computing ; 40 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)
	22.	Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. by Bartocci, Ezio [editor.] Ramakrishnan, C. R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7976 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)
	23.	Ada 2012 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes. by Barnes, John [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8338 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)
	24.	Software and Data Technologies [electronic resource] : 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers / edited by María José Escalona, José Cordeiro, Boris Shishkov. by Escalona, María José [editor.] Cordeiro, José [editor.] Shishkov, Boris [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 303 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.	Construction and Evolution of Code Generators [electronic resource] : A Model-Driven and Service-Oriented Approach / by Sven Jörges. by Jörges, Sven [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7747 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.	Learning C# by Programming Games [electronic resource] / by Arjan Egges, Jeroen D. Fokker, Mark H. Overmars. by Egges, Arjan [author.] Fokker, Jeroen D [author.] Overmars, Mark H [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)
	27.	Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by Johnsen, Einar Broch [editor.] Petre, Luigia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7940 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)
	28.	Giants of Computing [electronic resource] : A Compendium of Select, Pivotal Pioneers / by Gerard O’Regan. by O’Regan, Gerard [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)
	29.	Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg. by Taft, S. Tucker [editor.] Duff, Robert A [editor.] Brukardt, Randall L [editor.] Ploedereder, Erhard [editor.] Leroy, Pascal [editor.] Schonberg, Edmond [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8339 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)
	30.	Programming Languages and Systems [electronic resource] : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Matthias Felleisen, Philippa Gardner. by Felleisen, Matthias [editor.] Gardner, Philippa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7792 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.	Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings / edited by Kostis Sagonas. by Sagonas, Kostis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7752 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)
	32.	Programming Languages and Systems [electronic resource] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan. by Shan, Chung-chieh [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8301 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)
	33.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by Piterman, Nir [editor.] Smolka, Scott A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7795 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)
	34.	Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / edited by Francesco Logozzo, Manuel Fähndrich. by Logozzo, Francesco [editor.] Fähndrich, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7935 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.	From Linear Operators to Computational Biology [electronic resource] : Essays in Memory of Jacob T. Schwartz / edited by Martin Davis, Edmond Schonberg. by Davis, Martin [editor.] Schonberg, Edmond [editor.] 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)
	36.	Aliasing in Object-Oriented Programming. Types, Analysis and Verification [electronic resource] / edited by Dave Clarke, James Noble, Tobias Wrigstad. by Clarke, Dave [editor.] Noble, James [editor.] Wrigstad, Tobias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7850 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)
	37.	Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Frank Pfenning. by Pfenning, Frank [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7794 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.	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)
	39.	Safe and Secure Software Reuse [electronic resource] : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / edited by John Favaro, Maurizio Morisio. by Favaro, John [editor.] Morisio, Maurizio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7925 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.	Transactions on Pattern Languages of Programming III [electronic resource] / edited by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford. by Noble, James [editor.] Johnson, Ralph [editor.] Zdun, Uwe [editor.] Wallingford, Eugene [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7840 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

Languages

Your search returned 93 results.