|
|
1.
|
|
|
|
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; Format:
electronic
available online
 ; 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; Format:
electronic
available online
; 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.
|
|
|
|
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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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.
|
|
|
|
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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; 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; 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; 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; 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).
|
