Refine your search

Your search returned 48 results.

Not what you expected? Check for suggestions
1.
Principles of computer system design [electronic resource] : an introduction / Jerome H. Saltzer, M. Frans Kaashoek.

by Saltzer, J. H, 1939- | Kaashoek, Frans, 1965-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Burlington, MA : Morgan Kaufmann, c2009Online access: ScienceDirect Availability: No items available :

2.
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu.

by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

3.
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu.

by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

4.
Parallel Computing Technologies [electronic resource] : 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings / edited by Victor Malyshkin.

by Malyshkin, Victor [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

5.
Information Security Theory and Practice [electronic resource] : 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings / edited by Raja Naeem Akram, Sushil Jajodia.

by Akram, Raja Naeem [editor.] | Jajodia, Sushil [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

6.
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk.

by Koornneef, Floor [editor.] | van Gulijk, Coen [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

7.
Computer Safety, Reliability, and Security [electronic resource] : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk.

by Koornneef, Floor [editor.] | van Gulijk, Coen [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

8.
SDL 2015: Model-Driven Engineering for Smart Cities [electronic resource] : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed.

by Fischer, Joachim [editor.] | Scheidgen, Markus [editor.] | Schieferdecker, Ina [editor.] | Reed, Rick [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

9.
Euro-Par 2015: Parallel Processing [electronic resource] : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings / edited by Jesper Larsson Träff, Sascha Hunold, Francesco Versaci.

by Träff, Jesper Larsson [editor.] | Hunold, Sascha [editor.] | Versaci, Francesco [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :

10.
Advances in Network Science [electronic resource] : 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings / edited by Adam Wierzbicki, Ulrik Brandes, Frank Schweitzer, Dino Pedreschi.

by Wierzbicki, Adam [editor.] | Brandes, Ulrik [editor.] | Schweitzer, Frank [editor.] | Pedreschi, Dino [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

11.
Trustworthy Global Computing [electronic resource] : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers / edited by Pierre Ganty, Michele Loreti.

by Ganty, Pierre [editor.] | Loreti, Michele [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

12.
Applied Reconfigurable Computing [electronic resource] : 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22–24, 2016 Proceedings / edited by Vanderlei Bonato, Christos Bouganis, Marek Gorgon.

by Bonato, Vanderlei [editor.] | Bouganis, Christos [editor.] | Gorgon, Marek [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

13.
Bioinformatics and Biomedical Engineering [electronic resource] : 4th International Conference, IWBBIO 2016, Granada, Spain, April 20-22, 2016, Proceedings / edited by Francisco Ortuño, Ignacio Rojas.

by Ortuño, Francisco [editor.] | Rojas, Ignacio [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

14.
High Performance Computing and Applications [electronic resource] : Third International Conference, HPCA 2015, Shanghai, China, July 26-30, 2015, Revised Selected Papers / edited by Jiang Xie, Zhangxin Chen, Craig C. Douglas, Wu Zhang, Yan Chen.

by Xie, Jiang [editor.] | Chen, Zhangxin [editor.] | Douglas, Craig C [editor.] | Zhang, Wu [editor.] | Chen, Yan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

15.
Security of Industrial Control Systems and Cyber Physical Systems [electronic resource] : First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21–22, 2015 Revised Selected Papers / edited by Adrien Bécue, Nora Cuppens-Boulahia, Frédéric Cuppens, Sokratis Katsikas, Costas Lambrinoudakis.

by Bécue, Adrien [editor.] | Cuppens-Boulahia, Nora [editor.] | Cuppens, Frédéric [editor.] | Katsikas, Sokratis [editor.] | Lambrinoudakis, Costas [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

16.
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan.

by Chaudhuri, Swarat [editor.] | Farzan, Azadeh [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

17.
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / edited by Swarat Chaudhuri, Azadeh Farzan.

by Chaudhuri, Swarat [editor.] | Farzan, Azadeh [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

18.
Computer Safety, Reliability, and Security [electronic resource] : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / edited by Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch.

by Skavhaug, Amund [editor.] | Guiochet, Jérémie [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

19.
Information Security [electronic resource] : 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings / edited by Matt Bishop, Anderson C A Nascimento.

by Bishop, Matt [editor.] | Nascimento, Anderson C A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

20.
Information Security Theory and Practice [electronic resource] : 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26–27, 2016, Proceedings / edited by Sara Foresti, Javier Lopez.

by Foresti, Sara [editor.] | Lopez, Javier [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

21.
Network and Parallel Computing [electronic resource] : 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings / edited by Guang R. Gao, Depei Qian, Xinbo Gao, Barbara Chapman, Wenguang Chen.

by Gao, Guang R [editor.] | Qian, Depei [editor.] | Gao, Xinbo [editor.] | Chapman, Barbara [editor.] | Chen, Wenguang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: English Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available :

22.
Computer organization and programming

by Gear, C. W.

Edition: 3Material type: Text Text; Format: print Language: English Publisher: Auckland : Mcgraw hill, 1981Availability: Items available for loan: Call number: 004.22 GEA/C (1).

23.
Computer organization

by Vranesic, Zvonko G.

Edition: 2Material type: Text Text; Format: print Language: English Publisher: Auckland : Mcgarw hill, 1984Availability: Items available for reference: Not for loanCall number: 621.38195 HAM/C (1). :

24.
Computer organization

by Vranesic, Zvonko G.

Edition: 3Material type: Text Text; Format: print Language: English Publisher: New york : Mcgarw hill, 1990Availability: Items available for loan: Call number: 004.22 HAM/C (1). Items available for reference: Not for loanCall number: 004.22 HAM/C (1).

25.
Computer organization and design

by Chaudhuri, Pal P.

Material type: Text Text; Format: print Language: English Publisher: New delhi : Prentice hall, 1994Availability: Items available for loan: Call number: 004.22 CHA/C (5). Withdrawn (1). Damaged (3).


Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha