|
|
|
System Software: Introduction to Systems Programming
by Beck, L.L. Edition: 3 rd ed.Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi Pearson Education Asia 2001Availability: Items available for loan:
[Call number: 621.38196425 B393S]
(1).
|
|
|
|
Modern compiler implementation in Java / Andrew W. Appel with Jens Palsberg.
by Appel, Andrew W, 1960- [author.] | Palsberg, Jens [author.]. Edition: 2nd ed.Material type: Book; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2002Online access: Click here to access online Availability: No items available
|
|
|
|
Introduction to compiler construction in a Java World / by Bill Campbell, Swami Iyer and Bahar Akbal-Delibas.
by Campbell, Bill [author.] | Akbal-Delibas, Bahar [author.] | Iyer, Swami [author.] | Taylor and Francis. Edition: First edition.Material type: Book; Literary form:
Not fiction
Publisher: Boca Raton, FL : Chapman and Hall/CRC, an imprint of Taylor and Francis, 2012Online access: Click here to view. Availability: No items available
|
|
|
|
The compiler design handbook : optimizations and machine code generation / edited by Y.N. Srikant, Priti Shankar.
by Shankar, P. (Priti) | Srikant, Y. N. Edition: Second edition.Material type: Book; Literary form:
Not fiction
Publisher: Boca Raton : CRC Press, 2008Online access: Click here to view. Availability: No items available
|
|
|
|
Data flow analysis : theory and practice / Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare.
by Khedker, Uday [author.] | Sanyal, Amitabha | Karkare, Bageshri. Material type: Book; Literary form:
Not fiction
Publisher: Boca Raton : CRC Press/Taylor & Francis, 2009Online access: Click here to view. Availability: No items available
|
|
|
|
Algebraic specification techniques and tools for software development [electronic resource] : the ACT approach / Ingo Claszen, Hartmut Ehrig, Dietmar Wolz.
by Classen, Ingo | Ehrig, Hartmut | Wolz, Dietmar. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Singapore ; River Edge, N.J. : World Scientific, [2019], c1993Online access: Access to full text is restricted to subscribers. Availability: No items available
|
|
|
|
Compiler construction using Java, JavaCC, and Yacc / Anthony J. Dos Reis.
by Dos Reis, Anthony J [author.] | IEEE Xplore (Online Service) [distributor.] | Wiley InterScience (Online service) [publisher.]. Material type: Book; Format:
available online
Publisher: Hoboken, New Jersey : Wiley-IEEE Computer Society, c2012Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2012]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Object-Oriented Programming and Java [electronic resource] / by Danny Poo, Derek Kiong, Swarnalatha Ashok.
by Poo, Danny [author.] | Kiong, Derek [author.] | Ashok, Swarnalatha [author.] | SpringerLink (Online service). Edition: 2nd ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Programming with TensorFlow [electronic resource] : Solution for Edge Computing Applications / edited by Kolla Bhanu Prakash, G. R. Kanagachidambaresan.
by Prakash, Kolla Bhanu [editor.] | Kanagachidambaresan, G. R [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Hands-on Signal Analysis with Python [electronic resource] : An Introduction / by Thomas Haslwanter.
by Haslwanter, Thomas [author.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Speech and Language Processing for Human-Machine Communications [electronic resource] : Proceedings of CSI 2015 / edited by S. S. Agrawal, Amita Devi, Ritika Wason, Poonam Bansal.
by Agrawal, S. S [editor.] | Devi, Amita [editor.] | Wason, Ritika [editor.] | Bansal, Poonam [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Finite Element Simulation with MSC Marc [electronic resource] : Application of User Subroutines / by Zia Javanbakht, Andreas Öchsner.
by Javanbakht, Zia [author.] | Öchsner, Andreas [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Automatic Tuning of Compilers Using Machine Learning [electronic resource] / by Amir H. Ashouri, Gianluca Palermo, John Cavazos, Cristina Silvano.
by Ashouri, Amir H [author.] | Palermo, Gianluca [author.] | Cavazos, John [author.] | Silvano, Cristina [author.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Separation Logic for High-level Synthesis [electronic resource] / by Felix Winterstein.
by Winterstein, Felix [author.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Object-Oriented Programming and Java [electronic resource] / by Danny Poo, Derek Kiong, Swarnalatha Ashok.
by Poo, Danny [author.] | Kiong, Derek [author.] | Ashok, Swarnalatha [author.] | SpringerLink (Online service). Edition: 2nd ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Modern compiler implementation in Java / Andrew W. Appel with Jens Palsberg.
by Appel, Andrew W, 1960- [author.] | Palsberg, Jens [author.]. Edition: 2nd ed.Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2002Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.
by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering for Self-Adaptive Systems [electronic resource] : International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw.
by de Lemos, Rogério [editor.] | Giese, Holger [editor.] | Müller, Hausi A [editor.] | Shaw, Mary [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino.
by Abdulla, Parosh Aziz [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
ECOOP 2005 - Object-Oriented Programming [electronic resource] : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings / edited by Andrew Black.
by Black, Andrew [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
