Your search returned 85 results.

Not what you expected? Check for suggestions
Sort
Results
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 3254.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; London : Springer, 2004Other title: PATMOS 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 3312.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2004Other title: FMCAD 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 4419.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: ARC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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-.

Series: Serienbezeichnung | Lecture notes in computer science ; 3725.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11560548Publication details: 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).
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.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8969. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial 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).
Reversible computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / edited by Simon Devitt, Ivan Lanese.

by RC (Workshop : Reversible Computation) (8th : 2016 : Bologna, Italy) | Devitt, Simon [editor.] | Lanese, Ivan [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9720. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2016Other title: RC 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.].

Series: Serienbezeichnung | Lecture notes in computer science ; 9890. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.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).
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.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10200. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.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).
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.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10199. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.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).
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.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10245. | LNCS sublibrary. SL 7, Artificial intelligence.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).
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.].

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10246. | LNCS sublibrary. SL 7, Artificial intelligence.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).
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.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10379. | LNCS sublibrary. SL 4, Security and cryptology.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).
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.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10301.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).
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.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10150. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Source: Springer eBooksMaterial 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).
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.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10374.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).
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.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10502. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.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).
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 10530. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.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).
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).

Series: Serienbezeichnung | Lecture notes in computer science ; 10553. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.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).
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 (University lecturer) [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10538. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.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).
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.].

Series: Serienbezeichnung | Lecture notes in computer science ; 10452.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).
Pages

Powered by Koha