Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
High performance computing : 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings / Julian M. Kunkel, Thomas Ludwig (eds.). by ISC High Performance (Conference) (30th : 2015 : Frankfurt am Main, Germany) | Kunkel, Julian Martin [editor.] | Ludwig, Thomas (Computer scientist) [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 9137. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Other title: ISC High Performance 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Cross-cultural design : applications in mobile interaction, education, health, transport and cultural heritage : 7th International Conference, CCD 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings. Part II / P.L. Patrick Rau (ed.). by CCD (Conference) (7th : 2015 : Los Angeles, Calif.) | Rau, P. L. Patrick [editor.] | International Conference on Human-Computer Interaction (17th : 2015 : Los Angeles, Calif.). Series: Serienbezeichnung | Lecture notes in computer science ; 9181. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Other title: CCD 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Cross-cultural design : methods, practice and impact : 7th International Conference, CCD 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings. Part I / edited by P.L. Patrick Rau. by CCD (Conference) (7th : 2015 : Los Angeles, Calif.) | Rau, P. L. Patrick [editor.] | International Conference on Human-Computer Interaction (17th : 2015 : Los Angeles, Calif.). Series: Serienbezeichnung | Lecture notes in computer science ; 9180. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Other title: CCD 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part II / Daniel Kroening, Corina S. Păsăreanu (eds.). by CAV (Conference) (27th : 2015 : San Francisco, Calif.) | Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 9207. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Other title: CAV 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part I / Daniel Kroening, Corina S. Păsăreanu (eds.). by CAV (Conference) (27th : 2015 : San Francisco, Calif.) | Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 9206. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Other title: CAV 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Parallel computing technologies : 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings / edited by Victor Malyshkin. by International Conference on Parallel Computing Technologies (13th : 2015 : Petrozavodsk, Russia) | Malyshkin, V. Ė. (Viktor Ėmmanuilovich) [editor.]. Series: Serienbezeichnung | Lecture notes in computer science ; 9251. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2015Other title: PaCT 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|