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

Results
	181.	Computer aided cerification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part I / Rupak Majumdar, Viktor Kunčak (eds.). by CAV (Conference) (29th : 2017 : Heidelberg, Germany) Majumdar, Rupak [editor.] Kuncak, Viktor [editor.] Series: Lecture notes in computer science ; 10426. \| 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: CAV 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	182.	Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / Leonardo de Moura (ed.). by International Conference on Automated Deduction (26th : 2017 : Gothenburg, Sweden) Moura, Leonardo de [editor.] Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10395. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	183.	Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings / Alessandro Abate, Sylvie Boldo (eds.). by NSV (Workshop) (10th : 2017 : Heidelberg, Germany) Abate, Alessandro [editor.] Boldo, Sylvie [editor.] Series: Lecture notes in computer science ; 10381. \| 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 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	184.	Developments in language theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / Émilie Charlier, Julien Leroy, Michel Rigo (eds.). by Conference on Developments in Language Theory (21st : 2017 : Liège, Belgium) Charlier, Émilie [editor.] Leroy, Julien [editor.] Rigo, Michel [editor.] Series: Lecture notes in computer science ; 10396. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: DLT 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	185.	Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / Anthony Anjorin, Huáscar Espinoza, editors. by ECMFA (Conference) (13th : 2017 : Marburg, Germany) Anjorin, Anthony [editor.] Espinoza, Huáscar [editor.] Series: Lecture notes in computer science ; 10376. Material type: Text; Format: available online ; 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
	186.	Logic-based program synthesis and transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers / Manuel V Hermenegildo, Pedro Lopez-Garcia (eds.). by LOPSTR (Symposium) (26th : 2016 : Edinburgh, Scotland) Hermenegildo, Manuel [editor.] Lopez-Garcia, Pedro [editor.] Series: Lecture notes in computer science ; 10184. \| 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: LOPSTR 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	187.	Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings / edited by Sebastian Gabmeyer, Einar Broch Johnsen. by TAP (Conference) (11th : 2017 : Marburg, Germany) Gabmeyer, Sebastian [editor.] Johnsen, Einar Broch [editor.] Series: Lecture notes in computer science ; 10375. Material type: Text; Format: available online ; 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
	188.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings / Alessandro Antonucci, Laurence Cholvy, Odile Papini, editors. by European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (14th : 2017 : Lugano, Switzerland) Antonucci, Alessandro [editor.] Cholvy, Laurence [editor.] Papini, Odile [editor.] Series: Lecture notes in computer science ; 10369. Material type: Text; Format: available online ; 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
	189.	Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings / Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman, editors. by RuleML+RR (Joint Conference) (2017 : London, England) Costantini, Stefania [editor.] Franconi, Enrico [editor.] Van Woensel, William [editor.] Kontchakov, Roman [editor.] Sadri, Fariba [editor.] Roman, Dumitru [editor.] Series: Lecture notes in computer science ; 10364. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	190.	Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings / Juan de Lara, Detlef Plump, editors. by ICGT (Conference) (10th : 2017 : Marburg, Germany) Lara, Juan de (Lara Jaramillo) [editor.] Plump, Detlef [editor.] Series: Lecture notes in computer science ; 10373. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	191.	Euro-Par 2017 : parallel processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28-September 1, 2017, Proceedings / Francisco F. Rivera, Tomás F. Pena, José C. Cabaleiro (eds.). by International EURO-PAR Conference (23rd : 2017 : Santiago de Compostela, Spain) Fernández Rivera, Francisco [editor.] Pena, Tomás F [editor.] Cabaleiro, José C [editor.] Series: Lecture notes in computer science ; 10417. \| 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 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	192.	Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings / Alexander Romanovsky, Elena A. Troubitsyna (eds.). by SERENE (Workshop) (9th : 2017 : Geneva, Switzerland) Romanovsky, Alexander, 1954- [editor.] Troubitsyna, Elena (Elena A.), 1970- [editor.] Series: Lecture notes in computer science ; 10479. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2017 Other title: SERENE 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	193.	Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings / Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar (eds.). by VECoS (Conference) (11th : 2017 : Montréal, Québec) Barkaoui, Kamel [editor.] Boucheneb, Hanifa [editor.] Mili, Ali [editor.] Tahar, Sofiène, 1966- [editor.] Series: Lecture notes in computer science ; 10466. \| 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: VECoS 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	194.	Static analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30-September 1, 2017, Proceedings / Francesco Ranzato (ed.). by International Static Analysis Symposium (24th : 2017 : New York, N.Y.) Ranzato, Francesco [editor.] Series: Lecture notes in computer science ; 10422. \| Lecture notes in computer science. Advanced research in computing and software science. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2017 Other title: SAS 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	195.	Quantitative evaluation of systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / edited by Nathalie Bertrand, Luca Bortolussi. by International Conference on the Quantitative Evaluation of Systems (14th : 2017 : Berlin, Germany) Bertrand, Nathalie [editor.] Bortolussi, Luca [editor.] Series: Lecture notes in computer science ; 10503. \| 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: QEST 2017 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	196.	Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings / Alessandro Cimatti, Marjan Sirjani (eds.). by International Conference on Software Engineering and Formal Methods (15th : 2017 : Trento, Italy) Cimatti, Alessandro [editor.] Sirjani, Marjan [editor.] Series: Lecture notes in computer science ; 10469. \| Lecture notes in computer science. Formal methods. \| 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: SEFM 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	197.	Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings / Matthew Hague, Igor Potapov (eds.). by RP (Workshop) (11th : 2017 : London, England) Hague, Matthew [editor.] Potapov, Igor [editor.] Series: Lecture notes in computer science ; 10506. \| 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: RP 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	198.	Business process management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings / Josep Carmona, Gregor Engels, Akhil Kumar (eds.). by BPM (Conference) (15th : 2017 : Barcelona, Spain) Carmona, Josep [editor.] Engels, G [editor.] Kumar, Akhil [editor.] Series: Lecture notes in computer science ; 10445. \| LNCS sublibrary. SL 4, Security and cryptology. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: BPM 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	199.	Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / Clare Dixon, Marcelo Finger (eds.). by FroCoS (Symposium) (11th : 2017 : Brasília, Brazil) Dixon, Clare [editor.] Finger, Marcelo [editor.] Series: Lecture notes in computer science ; 10483. \| Lecture notes in computer science. Lecture notes in artificial intelligence. \| LNCS sublibrary. SL 7, Artificial intelligence. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: FroCoS 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	200.	Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings / Mauricio Ayala-Rincón, César A. Muñoz (eds.). by ITP (Conference) (8th : 2017 : Brasília, Brazil) Ayala-Rincón, M. (Mauricio) [editor.] Muñoz, César A, 1968- [editor.] Series: Lecture notes in computer science ; 10499. \| 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: ITP 2017 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.