Your search returned 384 results.

Not what you expected? Check for suggestions
1.
The functional analysis of quantum information theory : a collection of notes based on lectures by Gilles Pisier, K.R. Parthasarathy, Vern Paulsen and Andreas Winter / Ved Prakash Gupta, Prabha Mandayam, V.S. Sunder.

by Gupta, Ved Prakash [author.] | Mandayam, Prabha [author.] | Sunder, V. S [author.].

Source: WorldCat HoldingsMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Copyright date: ©2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
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 .
3.
Computer algebra and polynomials : applications of algebra and number theory / Jaime Gutierrez, Josef Schicho, Martin Weimann (eds.).

by Gutierrez, Jaime, 1959- [edt] | Schicho, Josef, 1964- [editor.] | Weimann, Martin [editor.] | Workshop on Computer Algebra and Polynomials (2013 : Radon Institute for Computational and Applied Mathematics).

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 .
4.
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 .
5.
Numerical methods and applications : 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised selected papers / Ivan Dimov, Stefka Fidanova, Ivan Lirkov (eds.).

by NMA (Conference) (8th : 2014 : Borovet︠s︡, Bulgaria) | Dimov, Ivan, 1963- [editor.] | Fidanova, Stefka, 1964- [editor.] | Lirkov, Ivan, 1963- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: NMA 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Quantum interaction : 8th International Conference, QI 2014, Filzbach, Switzerland, June 30-July 3, 2014. Revised selected papers / Harald Atmanspacher, Claudia Bergomi, Thomas Filk, Kirsty Kitto (eds.).

by QI (Symposium) (8th : 2014 : Filzbach, Switzerland) | Atmanspacher, Harald [editor.] | Bergomi, Claudia [editor.] | Filk, Thomas [editor.] | Kitto, Kirsty [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: QI 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Evolutionary computation in combinatorial optimization : 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / Gabriela Ochoa, Francisco Chicano (eds).

by EvoCOP (Conference) (15th : 2015 : Copenhagen, Denmark) | Ochoa, Gabriela [editor.] | Chicano, Francisco [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: EvoCOP 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Multi-agent systems : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised selected papers / Nils Bulling (ed.).

by EUMAS (Workshop) (12th : 2014 : Prague, Czech Republic) | Bulling, Nils [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: EUMAS 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
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 .
10.
High performance computing for computational science -- VECPAR 2014 : 11th International Conference, Eugene, OR, USA, June 30-July 3, 2014, Revised selected papers / Michel Daydé, Osni Marques, Kengo Nakajima (eds.).

by VECPAR (Conference) (11th : 2014 : Eugene, Or.) | Daydé, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo, 1962- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: VECPAR 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
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 .
12.
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 .
13.
Approximation and online algorithms : 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised selected papers / Evripidis Bampis, Ola Svensson (eds.).

by WAOA (Workshop) (12th : 2014 : Wrocław, Poland) | Bampis, Evripidis [editor.] | Svensson, Ola [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: WAOA 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
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 .
15.
Formal concept analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego (eds.).

by International Conference on Formal Concept Analysis (13th : 2015 : Nerja, Spain) | Baixeries, Jaume [editor.] | Sacarea, Christian [editor.] | Ojeda-Aciego, Manuel, 1967- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: ICFCA 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Combinatorial algorithms : 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised selected papers / Jan Kratochvíl, Mirka Miller, Dalibor Froncek (eds.).

by International Workshop on Combinatorial Algorithms (25th : 2014 : Duluth, Minn.) | Kratochvíl, Jan [editor.] | Miller, Mirka, 1949- [editor.] | Froncek, Dalibor [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: IWOCA 2014.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
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 .
18.
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 .
19.
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 .
20.
Combinatorial pattern matching : 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29-July 1, 2015, Proceedings / Ferdinando Cicalese, Ely Porat, Ugo Vaccaro (eds.).

by CPM (Symposium) (26th : 2015 : Ischia Island, Italy) | Cicalese, Ferdinando [editor.] | Porat, Ely [editor.] | Vaccaro, Ugo [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Other title: CPM 2015.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha