Results of search for 'an:53942' › ISTA Library catalog

Results
	1.	Transactions on computational science XXV / Marina L. Gavrilova [and more] (eds.). by Gavrilova, Marina L [editor.] Series: Lecture notes in computer science ; 9030. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin : Springer, [2015]Copyright date: ©2015 Other title: Transactions on computational science 25 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	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: 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, 2015 Other title: ISC High Performance 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	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: 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, 2015 Other title: CCD 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	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: 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, 2015 Other title: CCD 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	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: 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, 2015 Other title: CAV 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	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: 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, 2015 Other title: CAV 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	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: 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, 2015 Other title: PaCT 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	8.	Electronic participation : 7th IFIP 8.5 International Conference, ePart 2015, Thessaloniki, Greece, August 30-September 2, 2015, Proceedings / Efthimios Tambouris, Panos Panagiotopoulos, Øystein Sæbø, Konstantinos Tarabanis, Maria A. Wimmer, Michela Milano, Theresa Pardo (eds.). by ePart (Conference) (7th : 2015 : Thessalonikē, Greece) Tambouris, Efthimios [editor.] Panagiotopoulos, Panos (Lecturer in information management) [editor.] Sæbø, Øystein [editor.] Tarabanis, Konstantinos [editor.] Wimmer, Maria A [editor.] Milano, Michela [editor.] Pardo, Theresa [editor.] Series: Lecture notes in computer science ; 9249. \| 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, 2015 Other title: EPart 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	9.	Trust and trustworthy computing : 8th International Conference, TRUST 2015, Heraklion, Greece, August 24-26, 2015, Proceedings / Mauro Conti, Matthias Schunter, Ioannis Askoxylakis (eds.). by TRUST (Conference) (8th : 2015 : Ērakleion, Greece) Conti, Mauro [editor.] Schunter, Matthias [editor.] Askoxylakis, Ioannis [editor.] Series: Lecture notes in computer science ; 9229. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: TRUST 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	10.	Electronic government : 14th IFIP WG 8.5 International Conference, EGOV 2015, Thessaloniki, Greece, August 30-September 2, 2015, Proceedings / Efthimios Tambouris, Marijn Janssen, Hans Jochen Scholl, Maria A. Wimmer, Konstantinos Tarabanis, Mila Gascó, Bram Klievink, Ida Lindgren, Peter Parycek (eds.). by EGOV (Conference) (14th : 2015 : Thessalonikē, Greece) Tambouris, Efthimios [editor.] Janssen, Marijn [editor.] Scholl, Jochen [editor.] Wimmer, Maria A [editor.] Tarabanis, Konstantinos [editor.] Gascó Hernández, Mila [editor.] Klievink, Bram [editor.] Lindgren, Ida [editor.] Parycek, Peter [editor.] Series: Lecture notes in computer science ; 9248. \| 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, 2015 Other title: EGOV 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	11.	Computer safety, reliability, and security : SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, the Netherlands, September 22, 2015, Proceedings / Floor Koornneef, Coen van Gulijk (eds.). by SAFECOMP (Conference) (34th : 2015 : Delft, Netherlands) Koornneef, Floor, 1950- [editor.] Gulijk, Coen van [editor.] ASSURE (Workshop) (3rd : 2015 : Delft, Netherlands) DECSoS (Workshop) (2nd : 2015 : Delft, Netherlands) ISSE (Workshop) (2nd : 2015 : Delft, Netherlands) ReSA4CI (Workshop) (2nd : 2015 : Delft, Netherlands) SASSUR (Workshop) (3rd : 2015 : Delft, Netherlands) Series: Lecture notes in computer science ; 9338. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: SAFECOMP 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	12.	Computer safety, reliability, and security : 34th International Conference, SAFECOMP 2015, Delft, the Netherlands, September 23-25, 2015, Proceedings / Floor Koornneef, Coen van Gulijk (eds.). by SAFECOMP (Conference) (34th : 2015 : Delft, Netherlands) Koornneef, Floor, 1950- [editor.] Gulijk, Coen van [editor.] Series: Lecture notes in computer science ; 9337. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: SAFECOMP 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	13.	Information and communication technology : third IFIP TC 5/8 International Conference, ICT-EurAsia 2015, and 9th IFIP WG 8.9 Working Conference, CONFENIS 2015, held as part of WCC 2015, Daejeon, Korea, October 4-7, 2015, Proceedings / Ismail Khalil, Erich Neuhold, A Min Tjoa, Li Da Xu, Ilsun You, editors. by ICT-EurAsia (Conference) (3rd : 2015 : Taejŏn-si, Korea) Khalil, Ismail, 1960- [editor.] Neuhold, Erich J [editor.] Tjoa, A. Min [editor.] Da Xu, Li [editor.] You, Ilsun [editor.] CONFENIS (Conference) (9th : 2015 : Taejŏn-si, Korea) Series: Lecture notes in computer science ; 9357. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: ICT-EurAsia 2015 CONFENIS 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	14.	SDL 2015: Model-Driven Engineering for Smart Cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed. by SDL Forum (17th : 2015 : Berlin, Germany) Fischer, Joachim (Computer scientist) [editor.] Scheidgen, Markus [editor.] Schieferdecker, Ina [editor.] Reed, Rick [editor.] Series: Lecture notes in computer science ; 9369. \| LNCS sublibrary. SL 5, Computer communication networks and telecommunications. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	15.	Advances in Web-Based Learning -- ICWL 2015 : 14th International Conference, Guangzhou, China, November 5-8, 2015, Proceedings / edited by Frederick W.B. Li, Ralf Klamma, Mart Laanpere, Jun Zhang, Baltasar Fernández Manjón, Rynson W.H. Lau. by ICWL (Conference) (14th : 2015 : Guangzhou, China) Li, Frederick W. B [editor.] Klamma, Ralf [editor.] Laanpere, Mart [editor.] Zhang, Jun [editor.] Fernández Manjón, Baltasar [editor.] Lau, Rynson W. H [editor.] Series: Lecture notes in computer science ; 9412. \| 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, 2015 Other title: ICWL 2015 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	16.	Agents and artificial intelligence : 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised selected papers / Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe (eds.). by ICAART (Conference) (7th : 2015 : Lisbon, Portugal) Duval, Béatrice [editor.] Herik, H. J. van den (Hendrik Jacob) [editor.] Loiseau, Stephane [editor.] Filipe, Joaquim [editor.] Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9494. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: ICAART 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	17.	Advances in network science : 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings / Adam Wierzbicki, Ulrik Brandes, Frank Schweitzer, Dino Pedreschi (eds.). by NetSci-X (Conference) (12th : 2016 : Wrocław, Poland) Wierzbicki, Adam [editor.] Brandes, Ulrik [editor.] Schweitzer, Frank [editor.] Pedreschi, Dino [editor.] Series: Lecture notes in computer science ; 9564. \| 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, 2016 Other title: NetSci-X 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	18.	Trustworthy global computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31-September 1, 2015, Revised selected papers / Pierre Ganty, Michele Loreti (eds.). by TGC (Symposium) (10th : 2015 : Madrid, Spain) Ganty, Pierre [editor.] Loreti, Michele [editor.] Series: Lecture notes in computer science ; 9533. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2016 Other title: TGC 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	19.	Transactions on computational collective intelligence XX / Ngoc Thanh Nguyen [and more] (eds.). by Nguyen, Ngoc Thanh (Computer scientist) [editor.] Series: Lecture notes in computer science ; 9420. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Heidelberg : Springer, [2015]Copyright date: ©2015 Other title: Transactions on computational collective intelligence 20 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	20.	Applied reconfigurable computing : 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 Proceedings / Vanderlei Bonato, Christos Bouganis, Marek Gorgon (eds.). by ARC (Symposium) (12th : 2016 : Mangaratiba, Brazil) Bonato, Vanderlei [editor.] Bouganis, Christos [editor.] Gorgon, Marek [editor.] Series: Lecture notes in computer science ; 9625. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2016 Other title: ARC 2016 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search

Availability

Authors

Collections

Home libraries

Item types

Series

Topics

Titles

Your search returned 315 results.