Refine your search

Your search returned 295 results.

Not what you expected? Check for suggestions
1.
Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers / Ivan Lanese, Eric Madelaine (eds.).

by FACS (Symposium) (11th : 2014 : Bertinoro, Italy) | Lanese, Ivan [editor.] | Madelaine, Eric [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2015]Copyright date: ©2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers / Carlos Canal, Akram Idani (eds.).

by Canal, Carlos [editor.] | Idani, Akram [editor.] | International Conference on Software Engineering and Formal Methods (12th : 2014 : Grenoble, France) | Workshop on Human-Oriented Formal Methods -- from Readability to Automation (1st : 2014 : Grenoble, France) | SAFOME (Workshop) (1st : 2014 : Grenoble, France) | OpenCert (Workshop) (8th : 2014 : Grenoble, France) | MoKMaSD (Workshop) (3rd : 2014 : Grenoble, France) | WS-FMDS (Workshop) (4th : 2014 : Grenoble, France).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2015]Copyright date: ©2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Solving software challenges for exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised selected papers / Stefano Markidis, Erwin Laure (eds.).

by International Conference on Exascale Applications and Software (2nd : 2014 : Stockholm, Sweden) | Markidis, Stefano [editor.] | Laure, Erwin [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: EASC 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised selected papers / Viktória Zsók, Zoltán Horváth, Lehel Csató (eds.).

by Central European Functional Programming School (5th : 2013 : Cluj-Napoca, Romania) | Zsók, Viktória [editor.] | Horváth, Zoltán, 1962- [editor.] | Csató, Lehel [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: CEFP 2013.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Theory and applications of models of computation : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings / Rahul Jain, Sanjay Jain, Frank Stephan (eds.).

by TAMC (Conference) (12th : 2015 : Singapore) | Jain, Rahul [editor.] | Jain, Sanjay, 1965 February 22- [editor.] | Stephan, Frank (Frank Christian) [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: TAMC 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Structured object-oriented formal language and method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers / Shaoying Liu, Zhenhua Duan (eds.).

by SOFL+MSVL (Workshop) (4th : 2014 : Luxembourg, Luxembourg) | Liu, Shaoying, 1960- [editor.] | Duan, Zhenhua [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: SOFL+MSVL 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers / Maurizio Proietti, Hirohisa Seki (eds.).

by LOPSTR (Symposium) (24th : 2014 : Canterbury, England) | Proietti, Maurizio, 1959- [editor.] | Seki, Hirohisa [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: LOPSTR 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Languages and compilers for parallel computing : 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised selected papers / James Brodman, Peng Tu (eds.).

by LCPC (Workshop) (27th : 2014 : Hillsboro, Oregon) | Brodman, James [editor.] | Tu, Peng [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: LCPC 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures / Marco Bernardo, Einar Broch Johnsen (eds.).

by International School on Formal Methods for the Design of Computer, Communication, and Software Systems (15th : 2015 : Bertinoro, Italy) | Bernardo, Marco [editor.] | Johnsen, Einar Broch [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: SFM 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Intelligent cloud computing : first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised selected papers / Asma Al-Saidi, Rudolf Fleischer, Zakaria Maamar, Omer F. Rana (eds.).

by ICC (Conference : Oman) (1st : 2014 : Muscat, Oman) | Al-Saidi, Asma [editor.] | Fleischer, Rudolf, 1964- [editor.] | Maamar, Zakaria [editor.] | Rana, Omer [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: ICC 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Mathematics of program construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings / Ralf Hinze, Janis Voigtländer (eds.).

by MPC (Conference) (12th : 2015 : Königswinter, Germany) | Hinze, Ralf [editor.] | Voigtländer, Janis, 1977- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: MPC 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Learning and intelligent optimization : 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised selected papers / Clarisse Dhaenens, Laetitia Jourdan, Marie-Eléonore Marmion (eds.).

by LION (Conference) (9th : 2015 : Lille, France) | Dhaenens, Clarisse [editor.] | Jourdan, Laetitia, 1976- [editor.] | Marmion, Marie-Eléonore [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: LION 9.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Descriptional complexity of formal systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / Jeffrey Shallit, Alexander Okhotin (eds.).

by DCFS (Workshop) (17th : 2015 : Waterloo, Ont.) | Shallit, Jeffrey Outlaw [editor.] | Okhotin, Alexander [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: DCFS 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Finite difference methods, theory and applications : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised selected papers / Ivan Dimov, István Faragó, Lubin Vulkov (eds.).

by International Conference on Finite Difference Methods: Theory and Applications (6th : 2014 : Lozenet︠s︡, Sofia, Bulgaria) | Dimov, Ivan, 1963- [editor.] | Faragó, I. (István) [editor.] | Vulkov, Lubin [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: FDM 2014 | FDM: T & A 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Computer science -- theory and applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / Lev D. Beklemishev, Daniil V. Musatov (eds.).

by International Computer Science Symposium in Russia (10th : 2015 : Listvi︠a︡nka, Russia) | Beklemishev, Lev Dmitrievich, 1967- [editor.] | Musatov, Daniil V [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: CSR 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Symbolic and quantitative approaches to reasoning with uncertainty : 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings / [edited by] Sébastien Destercke, Thierry Denoeux.

by European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (13th : 2015 : Compiègne, France) | Destercke, Sébastien [editor.] | Denoeux, Thierry [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: [Cham] : Springer, 2015Other title: ECSQARU 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Theory and practice of model transformations : 8th International Conference, ICMT 2015, held as part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / edited by Dimitris Kolovos, Manuel Wimmer.

by ICMT (Conference) (8th : 2015 : L'Aquila, Italy) | Kolovos, Dimitrios [editor.] | Wimmer, Manuel [editor.] | STAF (Federation of conferences) (2015 : L'Aquila, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: ICMT 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Graph transformation : 8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / Francesco Parisi-Presicce, Bernhard Westfechtel (eds.).

by ICGT (Conference) (8th : 2015 : L'Aquila, Italy) | Parisi Presicce, Francesco [editor.] | Westfechtel, Bernhard, 1958- [editor.] | STAF (Federation of conferences) (2015 : L'Aquila, Italy).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: ICGT 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
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.].

Material type: Text Text; Format: available online remote; 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). Location(s): EBook .
20.
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.].

Material type: Text Text; Format: available online remote; 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). Location(s): EBook .

Powered by Koha