Results of search for 'ccl=an:53444' › ISTA Library catalog

Results
	141.	OpenSHMEM and related technologies : enhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2-4, 2016, Revised selected papers / Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz (eds.). by OpenSHMEM (Workshop) (3rd : 2016 : Baltimore, Md.) Venkata, Manjunath Gorentla [editor.] Imam, Neena [editor.] Pophale, Swaroop [editor.] Mintz, Tiffany M [editor.] Series: Lecture notes in computer science ; 10007. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Other title: OpenSHMEM 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	142.	Software technologies : applications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, revised selected papers / Paolo MIlazzo, Dániel Varró, Manuel Wimmer (eds.). by Milazzo, Paolo [editor.] Varró, Dániel [editor.] Wimmer, Manuel [editor.] STAF (Federation of conferences) (2016 : Vienna, Austria) DataMod (Symposium) (5th : 2016 : Vienna, Austria) GCM (Workshop) (7th : 2016 : Vienna, Austria) HOFM (Workshop) (3rd : 2016 : Vienna, Austria) MELO (Workshop) (2nd : 2016 : Vienna, Austria) SEMS (Workshop) (3rd : 2016 : Vienna, Austria) VeryComp (Workshop) (1st : 2016 : Vienna, Austria) Series: Lecture notes in computer science ; 9946. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	143.	Learning and intelligent optimization : 10th International Conference, LION 10, Ischia, Italy, May 29-June 1, 2016, revised selected papers / Paola Festa, Meinolf Sellmann, Joaquin Vanschoren (Eds.). by LION (Conference) (10th : 2016 : Ischia, Italy) [creator.] Festa, Paola [editor.] Sellmann, Meinolf [editor.] Vanschoren, Joaquin [editor.] Series: Lecture notes in computer science ; 10079. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2016] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	144.	Algorithms and architectures for parallel processing : 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings / edited by Jesus Carretero, Javier Garcia-Blas, Ryan K.L. Ko, Peter Mueller, Koji Nakano. by International Conference on Algorithms and Architectures for Parallel Processing (16th : 2016 : Granada, Spain) Carretero, Jesus [editor.] Garcia-Blas, Javier [editor.] Ko, Ryan [editor.] Mueller, Peter [editor.] Nakano, Koji [editor.] Series: Lecture notes in computer science ; 10048. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	145.	Computability and complexity : essays dedicated to Rodney G. Downey on the occasion of his 60th birthday / Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond (eds.). by Day, Adam [editor.] Fellows, M. R. (Michael Ralph), 1952- [editor.] Greenberg, Noam [editor.] Khoussainov, Bakhadyr, 1961- [editor.] Melʹnikov, A. V, 1953- [editor.] Rosamond, Frances [editor.] Downey, R. G. (Rod G.) [honouree.] Series: Lecture notes in computer science ; 10010. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham : Springer, 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	146.	Practical aspects of declarative languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings / Yuliya Lierler, Walid Taha (eds.). by PADL (Symposium) (19th : 2017 : Paris, France) Lierler, Yuliya [editor.] Taha, Walid, 1972- [editor.] Series: Lecture notes in computer science ; 10137. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: PADL 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	147.	Concurrency, security, and puzzles : essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday / Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić, editors. by Gibson-Robinson, Thomas [editor.] Hopcroft, Philippa [editor.] Lazić, Ranko [editor.] Roscoe, A. W [honouree.] Series: Lecture notes in computer science ; 10160. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Cham : Springer, [2017] Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	148.	Agent based modelling of urban systems : first International Workshop, ABMUS 2016, held in conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, selected, and invited papers / Mohammad-Reza Namazi-Rad, Lin Padgham, Pascal Perez, Kai Nagel, Ana Bazzan (eds.). by ABMUS (Workshop) (1st : 2016 : Singapore) Namazi-Rad, Mohammad-Reza [editor.] Padgham, Lin [editor.] Perez, Pascal, 1961- [editor.] Nagel, Kai, 1965- [editor.] Bazzan, Ana L. C [editor.] AAMAS (Conference) jointly held conference (2016 : Singapore) [] Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10051. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: ABMUS 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	149.	Cyber physical systems : design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers / Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski (eds.). by CyPhy (Workshop) (6th : 2016 : Pittsburgh, Penn.) Berger, Christian (Professor of Software Engineering) [editor.] Mousavi, Mohammad Reza, 1978- [editor.] Wisniewski, Rafael [editor.] Series: Lecture notes in computer science ; 10107. \| 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, Switzerland : Springer, 2017 Other title: CyPhy 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	150.	Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings / Ahmed Bouajjani, David Monniaux (eds.). by VMCAI (Conference) (18th : 2017 : Paris, France) Bouajjani, Ahmed [editor.] Monniaux, David [editor.] Series: Lecture notes in computer science ; 10145. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: VMCAI 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	151.	Unifying theories of programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers / edited by Jonathan P. Bowen, Huibiao Zhu. by UTP (Symposium) (6th : 2016 : Reykjavik, Iceland) Bowen, J. P. (Jonathan Peter), 1956- [editor.] Zhu, Huibiao [editor.] Series: Lecture notes in computer science ; 10134. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: UTP 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	152.	Languages and compilers for parallel computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised papers / Chen Ding, John Criswell, Peng Wu (eds.). by LCPC (Workshop) (29th : 2016 : Rochester, N.Y.) Ding, Chen, 1970- [editor.] Criswell, John [editor.] Wu, Peng, 1974- [editor.] Series: Lecture notes in computer science ; 10136. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: LCPC 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	153.	Agents and artificial intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised selected papers / Jaap van den Herik, Joaquim Filipe (eds.). by ICAART (Conference) (8th : 2016 : Rome, Italy) Herik, H. J. van den (Hendrik Jacob) [editor.] Filipe, Joaquim [editor.] Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10162. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: ICAART 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	154.	Language and automata theory and applications : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings / Frank Drewes, Carlos Martín-Vide, Bianca Truthe (eds.). by LATA (Conference) (11th : 2017 : Umeå, Sweden) Drewes, Frank [editor.] Martín Vide, Carlos [editor.] Truthe, Bianca [editor.] Series: Lecture notes in computer science ; 10168. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2017 Other title: LATA 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	155.	Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers / Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar (eds.). by NSV (Workshop) (9th : 2016 : Toronto, Ont.) Bogomolov, Sergiy [editor.] Martel, Matthieu [editor.] Prabhakar, Pavithra [editor.] CAV (Conference) jointly held conference (28th : 2016 : Toronto, Ont.) [] Series: Lecture notes in computer science ; 10152. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: NSV 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	156.	Requirements engineering : foundation for software quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27-March 2, 2017, Proceedings / Paul Grünbacher, Anna Perini (eds.). by REFSQ (Conference) (23rd : 2017 : Essen, Germany) Grünbacher, Paul [editor.] Perini, Anna [editor.] Series: Lecture notes in computer science ; 10153. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: REFSQ 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	157.	Membrane computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised selected papers / Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron (eds.). by CMC (Conference : Membrane computing) (17th : 2016 : Milan, Italy) Leporati, Alberto [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Zandron, Claudio [editor.] Series: Lecture notes in computer science ; 10105. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: CMC 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	158.	High-performance scientific computing : first JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, revised selected papers / Edoardo Di Napoli, Marc-André Hermanns, Hristo Iliev, Andreas Lintermann, Alexander Peyser (eds.). by JHPCS (Symposium) (1st : 2016 : Aachen, Germany) Di Napoli, Edoardo [editor.] Hermanns, Marc-Andre [editor.] Iliev, Hristo [editor.] Lintermann, Andreas [editor.] Peyser, Alexander [editor.] Series: Lecture notes in computer science ; 10164. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: JHPCS 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	159.	Theory and applications of models of computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings / T.V. Gopal, Gerhard Jäger, Silvia Steila (eds.). by TAMC (Conference) (14th : 2017 : Bern, Switzerland) Gopal, T. V [editor.] Jäger, Gerhard, Dr [editor.] Steila, Silvia [editor.] Series: Lecture notes in computer science ; 10185. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: TAMC 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	160.	Engineering trustworthy software systems : second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.). by SETSS (International school) (2nd : 2016 : Chongqing, China) Bowen, J. P. (Jonathan Peter), 1956- [editor.] Liu, Zhiming, 1961- [editor.] Zhang, Zili (Senior lecturer) [editor.] Series: Lecture notes in computer science ; 10215. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: SETSS 2016 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 381 results.