Your search returned 1207 results. Subscribe to this search

Not what you expected? Check for suggestions
|
1. Advanced topics in types and programming languages Benjamin C. Pierce, editor.

by Pierce, Benjamin C [Editor].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. MIT Press 2005Availability: Items available for loan: Bangalore University Library [Call number: 005.13 PIE] (1).

Place hold Log in to add tags. Add to cart
2. Essentials of programming languages Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes.

by Friedman, Daniel P [Author] | Wand, Mitchell | Haynes, Christopher Thomas.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass MIT Press 2001Availability: Items available for loan: Bangalore University Library [Call number: 005.13 FRI] (2).

3. Programming languages Terrence W. Pratt, Marvin V. Zelkowitz. design and implementation

by Pratt, Terrence W [Author] | Zelkowitz, Marvin V, 1945.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi Prentice Hall 2001Availability: Items available for loan: Bangalore University Library [Call number: 005.13 PRA Z] (1).

4. Programming languages and methodologies Robert J. Schalkoff

by Schalkoff, Robert J [Author].

Material type: book Book Publisher: Sudbury, Mass. Jones and Bartlett Publishers c2007Online access: Click here to access online Availability: Items available for loan: Bangalore University Library [Call number: 005.132 2 SCH] (1).

5. Programming language pragmatics

by Scott, Michael Lee.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Amsterdam ; Boston : Elsevier/Morgan Kaufmann Pub, 2009Availability: Items available for loan: Bangalore University Library [Call number: 005.13 SCO] (2).

6. Reverse Engineering of Object Oriented Code [electronic resource] / by Paolo Tonella, Alessandra Potrich.

by Tonella, Paolo [author.] | Potrich, Alessandra [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

7. Software Process Modeling [electronic resource] / edited by Silvia T. Acu�a, Natalia Juristo.

by Acu�a, Silvia T [editor.] | Juristo, Natalia [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

8. A Software Process Model Handbook for Incorporating People’s Capabilities [electronic resource] / by Silvia Teresita Acuña, Natalia Juristo, Ana María Moreno, Alicia Mon.

by Acuña, Silvia Teresita [author.] | Juristo, Natalia [author.] | Moreno, Ana María [author.] | Mon, Alicia [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

9. Guide to Assembly Language Programming in Linux [electronic resource] / by Sivarama P. Dandamudi.

by Dandamudi, Sivarama P [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

10. Multi-Agent Programming [electronic resource] : Languages, Platforms and Applications / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni.

by Bordini, Rafael H [editor.] | Dastani, Mehdi [editor.] | Dix, Jürgen [editor.] | Fallah Seghrouchni, Amal El [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

11. Multimedia Introduction to Programming Using Java [electronic resource] / by David Gries, Paul Gries.

by Gries, David [author.] | Gries, Paul [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

12. Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan.

by McIver, Annabelle [author.] | Morgan, Carroll [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1), University Visvesvarayya College of Engineering [Call number: 005.1 MCL M] (1).

13. Introduction to Assembly Language Programming [electronic resource] : For Pentium and RISC Processors / by Sivarama P. Dandamudi.

by Dandamudi, Sivarama P [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

14. XML for Bioinformatics [electronic resource] / by Ethan Cerami.

by Cerami, Ethan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

15. Developing Statistical Software in Fortran 95 [electronic resource] / by David R. Lemmon, Joseph L. Schafer.

by Lemmon, David R [author.] | Schafer, Joseph L [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

16. An Integrated Approach to Software Engineering [electronic resource] / by Pankaj Jalote.

by Jalote, Pankaj [author.] | SpringerLink (Online service).

Edition: Third Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

17. Engineering Theories of Software Intensive Systems [electronic resource] : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare.

by Broy, Manfred [editor.] | Grünbauer, Johannes [editor.] | Harel, David [editor.] | Hoare, Tony [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

18. Logic Programming with Prolog [electronic resource] / by Max Bramer.

by Bramer, Max [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

19. Categories for Software Engineering [electronic resource] / by José Luiz Fiadeiro.

by Fiadeiro, José Luiz [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

20. Abstract Computing Machines [electronic resource] : A Lambda Calculus Perspective / by W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa.

by Kluge, W [author.] | Brauer, W [editor.] | Rozenberg, G [editor.] | Salomaa, A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

Copyright © 2019 Bangalore University, Bangalore. All Rights Reserved.
You are Visitor No.
Web Counter

Powered by Koha