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

Results
	61.	Languages and compilers for parallel computing : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015. Revised selected papers / Xipeng Shen, Frank Mueller, James Tuck (eds.). by LCPC (Workshop) (28th : 2015 : Raleigh, N.C.) Shen, Xipeng [editor.] Mueller, Frank, 1966- [editor.] Tuck, James [editor.] Series: Lecture notes in computer science ; 9519. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: LCPC 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	62.	Algorithmic aspects of cloud computing : first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised selected papers / Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos (eds.). by ALGOCLOUD (Workshop) (1st : 2015 : Patrai, Greece) Karydis, Ioannis [editor.] Sioutas, Spyros [editor.] Triantafillou, Peter, 1963- [editor.] Tsoumakos, Dimitrios [editor.] Series: Lecture notes in computer science ; 9511. \| 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: ALGOCLOUD 2015 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	63.	Engineering trustworthy software systems : first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang. by International School on Engineering Trustworthy Software Systems (1st : 2014 : Chongqing, China) Liu, Zhiming [editor.] Zhang, Zili [editor.] Series: Lecture notes in computer science ; 9506. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2016 Other title: SETSS 2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	64.	Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / Bernd Finkbeiner, Geguang Pu, Lijun Zhang (eds.). by ATVA (Symposium) (13th : 2015 : Shanghai, China) Finkbeiner, Bernd [editor.] Pu, G. (Geguang) [editor.] Zhang, Lijun, 1979- [editor.] Series: Lecture notes in computer science ; 9364. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2015 Other title: ATVA 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	65.	Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers / Shaoying Liu, Zhenhua Duan (eds.). by SOFL+MSVL (Workshop) (5th : 2015 : Paris, France) Liu, Shaoying, 1960- [editor.] Duan, Zhenhua [editor.] Series: Lecture notes in computer science ; 9559. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: SOFL+MSVL 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	66.	Formal methods: foundations and applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / Márcio Cornélio, Bill Roscoe (eds.). by Brazilian Symposium on Formal Methods (18th : 2015 : Belo Horizonte, Brazil) Cornelio, Marcio [editor.] Roscoe, A. W [editor.] Series: Lecture notes in computer science ; 9526. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: SBMF 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	67.	Functional and logic programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings / Oleg Kiselyov, Andy King (eds.). by Fuji International Symposium on Functional and Logic Programming (13th : 2016 : Kōchi-shi, Japan) Kiselyov, Oleg [editor.] King, Andrew Malcolm [editor.] Series: Lecture notes in computer science ; 9613. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: FLOPS 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	68.	Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / edited by Arie Gurfinkel, Sanjit A. Seshia. by Gurfinkel, Arie [editor.] Seshia, Sanjit A [editor.] Series: Lecture notes in computer science ; 9593. Edition: 1st ed. 2016. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint : Springer, 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	69.	A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday / Sam Lindley, Conor McBride, Phil Trinder, Don Sannella (eds.). by Lindley, Sam [editor.] McBride, Conor [editor.] Trinder, Phil [editor.] Sannella, D. (Donald), 1956- [editor.] Series: Lecture notes in computer science ; 9600. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	70.	Theory and practice of formal methods : essays dedicated to Frank de Boer on the occasion of his 60th birthday / Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen (eds.). by Ábrahám, Erika [editor.] Bonsangue, Marcello M [editor.] Johnsen, Einar Broch [editor.] Series: Lecture notes in computer science ; 9660. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online festschrift ; Literary form: Not fiction Publisher: Switzerland : Springer, [2016]Copyright date: ©2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	71.	Requirements engineering : foundation for software quality : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings / edited by Maya Daneva, Oscar Pastor. by REFSQ (Conference) (22nd : 2016 : Gothenburg, Sweden) Daneva, Maya [editor.] Pastor, Óscar, 1962- [editor.] Series: Lecture notes in computer science ; 9619. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: REFSQ 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	72.	Parallel processing and applied mathematics : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015, Revised selected papers. Part II / Roman Wyrzykowski [and 5 more] (eds.). by PPAM (Conference) (11th : 2015 : Krakow, Poland) Wyrzykowski, Roman [editor.] Series: Lecture notes in computer science ; 9574. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: PPAM 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	73.	Parallel processing and applied mathematics : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015, Revised selected papers. Part I / Roman Wyrzykowski [and 5 more] (eds.). by PPAM (Conference) (11th : 2015 : Krakow, Poland) Wyrzykowski, Roman [editor.] Series: Lecture notes in computer science ; 9573. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: PPAM 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	74.	Model checking software : 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings / Dragan Bošnački, Anton Wijs (eds.). by International SPIN Workshop (23rd : 2016 : Eindhoven, Netherlands) Bošnački, Dragan, 1963- [editor.] Wijs, Anton [editor.] ETAPS (Conference) (19th : 2016 : Eindhoven, Netherlands) Series: Lecture notes in computer science ; 9641. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: SPIN 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	75.	Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich (eds.). by WS-FM (Workshop) (11th : 2014 : Eindhoven, Netherlands) Hildebrandt, Thomas [editor.] Ravara, António [editor.] Werf, Jan Martijn van der [editor.] Weidlich, Matthias [editor.] International Symposium on Web Services, Formal Methods and Behavioural Types (2015 : Madrid, Spain) Series: Lecture notes in computer science ; 9421. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	76.	Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro (eds.). by ABZ (Conference) (5th : 2016 : Linz, Austria) Butler, Michael, 1967- [editor.] Schewe, Klaus-Dieter [editor.] Mashkoor, Atif [editor.] Biro, Miklos [editor.] Series: Lecture notes in computer science ; 9675. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: ABZ 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	77.	Trends in functional programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised selected papers / Manuel Serrano, Jurriaan Hage (eds.). by International Symposium on Trends in Functional Programming (16th : 2015 : Sophia-Antipolis, France) Serrano, Manuel [editor.] Hage, Jurriaan [editor.] Series: Lecture notes in computer science ; 9547. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: TFP 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	78.	Software reuse : bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings / Georgia M. Kapitsaki, Eduardo Santana de Almeida (eds.). by International Conference on Software Reuse (15th : 2016 : Limassol, Cyprus) Kapitsaki, Georgia M [editor.] Almeida, Eduardo (Eduardo Santana de) [editor.] Series: Lecture notes in computer science ; 9679. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: ICSR 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	79.	Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / Erika Ábrahám, Marieke Huisman (eds.). by International Conference on Integrated Formal Methods (12th : 2016 : Reykjavík, Iceland) Ábrahám, Erika [editor.] Huisman, Marieke [editor.] Series: Lecture notes in computer science ; 9681. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: IFM 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	80.	Coordination models and languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / Alberto Lluch Lafuente, José Proença (eds.). by COORDINATION (Conference) (18th : 2016 : Ērakleion, Greece) Lluch Lafuente, Alberto [editor.] Proença, José [editor.] International Federated Conferences on Distributed Computing Techniques (11th : 2016 : Ērakleion, Greece) Series: Lecture notes in computer science ; 9686. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Switzerland : Springer, 2016 Other title: COORDINATION 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.