Your search returned 79 results.

Not what you expected? Check for suggestions
1.
Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings / Enrico Macii, Vassilis Paliouras and Odysseas Koufopavlou (eds.).

by PATMOS (Workshop) (14th : 2004 : Santorini, Greece) | Macii, Enrico | Paliouras, Vassilis | Koufopavlou, Odysseas.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; London : Springer, 2004Other title: PATMOS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Formal methods in computer-aided design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings / Alan J. Hu, Andrew K. Martin (eds.).

by FMCAD 2004 (2004 : Austin, Tex.) | Hu, Alan J. (Alan John) | Martin, Andrew K.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2004Other title: FMCAD 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Reconfigurable computing : architectures, tools, and applications : third international workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007 : proceedings / Pedro C. Diniz [and others] (eds.).

by ARC (Symposium) (3rd : 2007 : Mangaratiba, Brazil) | Diniz, Pedro C.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ARC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings / Dominique Borrione, Wolfgang Paul (eds.).

by CHARME 2005 (2005 : Saarbrücken, Germany) | Borrione, Dominique | Paul, Wolfgang J, 1951-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: CHARME 2005 | IFIP CHARME 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
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 .
6.
Computer algebra in scientific computing : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov (eds.).

by CASC (Workshop : 2001- ) (18th : 2016 : Bucharest, Romania) | Gerdt, V. P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M. (Werner Markus) [editor.] | Vorozhtsov, E. V. (Evgenii Vasilʹevich), 1946- [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2016Other title: CASC 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Applications of evolutionary computation : 20th European Conference, EvoApplications 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings. Part II / Giovanni Squillero, Kevin Sim et al. (eds.).

by EvoApplications (Conference) (20th : 2017 : Amsterdam, Netherlands) | Squillero, Giovanni [editor.] | Sim, Kevin (Lecturer in computing science) [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Other title: EvoApplications 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Applications of evolutionary computation : 20th European Conference, EvoApplications 2017, Amsterdam, the Netherlands, April 19-21, 2017, Proceedings. Part I / Giovanni Squillero, Kevin Sim et al. (eds.).

by EvoApplications (Conference) (20th : 2017 : Amsterdam, Netherlands) | Squillero, Giovanni [editor.] | Sim, Kevin (Lecturer in computing science) [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2017Other title: EvoApplications 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Artificial intelligence and soft computing : 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings. Part I / Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada (eds.).

by ICAISC (Conference) (16th : 2017 : Zakopane, Poland) | Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafał [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A. (Lotfi Asker) [editor.] | Zurada, Jacek M [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Other title: ICAISC 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Artificial intelligence and soft computing : 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings. Part II / Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada (eds.).

by ICAISC (Conference) (16th : 2017 : Zakopane, Poland) | Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafał [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A. (Lotfi Asker) [editor.] | Zurada, Jacek M [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Other title: ICAISC 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Engineering secure software and systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings / Eric Bodden, Mathias Payer, Elias Athanasopoulos (eds.).

by ESSoS (Symposium) (9th : 2017 : Bonn, Germany) | Bodden, Eric [editor.] | Payer, Mathias [editor.] | Athanasopoulos, Elias [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2017Other title: ESSoS 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Reversible computation : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings / edited by Iain Phillips, Hafizur Rahaman.

by RC (Workshop : Reversible Computation) (9th : 2017 : Kolkata, India) | Phillips, Iain [editor.] | Rahaman, Hafizur [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2017]Other title: RC 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
High performance computing for computational science -- VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers / Inês Dutra, Rui Camacho, Jorge Barbosa, Osni Marques (eds.).

by VECPAR (Conference) (12th : 2016 : Porto, Portugal) | Dutra, Inês [editor.] | Camacho, Rui [editor.] | Barbosa, Jorge [editor.] | Marques, Osni [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Other title: VECPAR 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / edited by Esther Guerra, Mark van den Brand.

by ICMT (Conference) (10th : 2017 : Marburg, Germany) | Guerra, Esther [editor.] | Brand, Mark van den [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Discrete geometry for computer imagery : 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19-21, 2017, Proceedings / Walter G. Kropatsch, Nicole M. Artner, Ines Janusch (eds.).

by DGCI (Conference) (20th : 2017 : Vienna, Austria) | Kropatsch, W. (Walter) [editor.] | Artner, Nicole M [editor.] | Janusch, Ines [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2017Other title: DGCI 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Patch-based techniques in medical imaging : third International Workshop, Patch-MI 2017, held in conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings / Guorong Wu, Brent C. Munsell, Yiqiang Zhan, Wenjia Bai, Gerard Sanroma, Pierrick Coupé (eds.).

by Patch-MI (Workshop) (3rd : 2017 : Québec, Québec) | Wu, Guorong (Researcher in medical imaging) [editor.] | Munsell, Brent [editor.] | Zhan, Yiqiang [editor.] | Bai, Wenjia [editor.] | Sanroma, Gerard [editor.] | Coupé, Pierrick [editor.] | International Conference on Medical Image Computing and Computer-Assisted Intervention (20th : 2017 : Québec, Québec).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Other title: Patch-MI 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Deep learning in medical image analysis and multimodal learning for clinical decision support : third International Workshop, DLMIA 2017, and 7th International Workshop, ML-CDS 2017, held in conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings / M. Jorge Cardoso, Tal Arbel et al. (eds.).

by DLMIA (Workshop) (3rd : 2017 : Québec, Québec) | Cardoso, M. Jorge [editor.] | Arbel, Tal [editor.] | ML-CDS (Workshop) (7th : 2017 : Québec, Québec) | International Conference on Medical Image Computing and Computer-Assisted Intervention (20th : 2017 : Québec, Québec).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Other title: DLMIA 2017 | ML-CDS 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Databases theory and applications : 28th Australasian Database Conference, ADC 2017, Brisbane, QLD, Australia, September 25-28, 2017, Proceedings / Zi Huang, Xiaokui Xiao, Xin Cao (eds.).

by Australasian Database Conference (28th : 2017 : Brisbane, Qld.) | Huang, Zi [editor.] | Xiao, Xiaokui [editor.] | Cao, Xin [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Other title: ADC 2017.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings / edited by Tim Menzies, Justyna Petke.

by SSBSE (Symposium) (9th : 2017 : Paderborn, Germany) | Menzies, Tim [editor.] | Petke, Justyna [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing, 2017Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings / edited by Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller.

by IWOMP (Conference) (13th : 2017 : Stony Brook, N.Y.) | De Supinski, Bronis R [editor.] | Olivier, Stephen L [editor.] | Terboven, Christian [editor.] | Chapman, Barbara, 1954- [editor.] | Müller, Matthias S [editor.].

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

Powered by Koha