Central Library catalog › Results of search for 'su:"Software Engineering "'

Your search returned 4294 results.

		Formal Modeling: Actors; Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer. by Agha, Gul [editor.] \| Danvy, Olivier [editor.] \| Meseguer, José [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
		Grid and Pervasive Computing Workshops [electronic resource] : International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papers / edited by Mika Rautiainen, Timo Korhonen, Edward Mutafungwa, Eila Ovaska, Artem Katasonov, Antti Evesti, Heikki Ailisto, Aaron Quigley, Jonna Häkkilä, Natasa Milic-Frayling, Jukka Riekki. by Rautiainen, Mika [editor.] \| Korhonen, Timo [editor.] \| Mutafungwa, Edward [editor.] \| Ovaska, Eila [editor.] \| Katasonov, Artem [editor.] \| Evesti, Antti [editor.] \| Ailisto, Heikki [editor.] \| Quigley, Aaron [editor.] \| Häkkilä, Jonna [editor.] \| Milic-Frayling, Natasa [editor.] \| Riekki, Jukka [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
		Human-Centered and Error-Resilient Systems Development [electronic resource] : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings / edited by Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt, Filip Kis. by Bogdan, Cristian [editor.] \| Gulliksen, Jan [editor.] \| Sauer, Stefan [editor.] \| Forbrig, Peter [editor.] \| Winckler, Marco [editor.] \| Johnson, Chris [editor.] \| Palanque, Philippe [editor.] \| Bernhaupt, Regina [editor.] \| Kis, Filip [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
		Computational Science and Its Applications - ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan. by Gervasi, Osvaldo [editor.] \| Gavrilova, Marina L [editor.] \| Kumar, Vipin [editor.] \| Laganà, Antonio [editor.] \| Lee, Heow Pueh [editor.] \| Mun, Youngsong [editor.] \| Taniar, David [editor.] \| Tan, Chih Jeng Kenneth [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
		Web Information Systems Engineering - WISE 2014 Workshops [electronic resource] : 15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers / edited by Boualem Benatallah, Azer Bestavros, Barbara Catania, Armin Haller, Yannis Manolopoulos, Athena Vakali, Yanchun Zhang. by Benatallah, Boualem [editor.] \| Bestavros, Azer [editor.] \| Catania, Barbara [editor.] \| Haller, Armin [editor.] \| Manolopoulos, Yannis [editor.] \| Vakali, Athena [editor.] \| Zhang, Yanchun [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
		Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg. by Taft, S. Tucker [editor.] \| Duff, Robert A [editor.] \| Brukardt, Randall L [editor.] \| Ploedereder, Erhard [editor.] \| Leroy, Pascal [editor.] \| Schonberg, Edmond [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
		Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antonia Lopes. by Cámara, Javier [editor.] \| de Lemos, Rogério [editor.] \| Ghezzi, Carlo [editor.] \| Lopes, Antonia [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
		SOFSEM 2006: Theory and Practice of Computer Science [electronic resource] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings / edited by Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Július Štuller. by Wiedermann, Jirí [editor.] \| Tel, Gerard [editor.] \| Pokorný, Jaroslav [editor.] \| Bieliková, Mária [editor.] \| Štuller, Július [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
		Parallel and Distributed Processing and Applications [electronic resource] : Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings / edited by Yi Pan, Daoxu Chen, Minyi Guo, Jiannong Cao, Jack Dongarra. by Pan, Yi [editor.] \| Chen, Daoxu [editor.] \| Guo, Minyi [editor.] \| Cao, Jiannong [editor.] \| Dongarra, Jack [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
		Theory and Practice of Natural Computing [electronic resource] : Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings / edited by Adrian-Horia Dediu, Manuel Lozano, Carlos Martín-Vide. by Dediu, Adrian-Horia [editor.] \| Lozano, Manuel [editor.] \| Martín-Vide, Carlos [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
		Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings / edited by Alessandro Antonucci, Laurence Cholvy, Odile Papini. by Antonucci, Alessandro [editor.] \| Cholvy, Laurence [editor.] \| Papini, Odile [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
		Human-Computer Interaction - INTERACT 2009 [electronic resource] : 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedigns Part I / edited by Tom Gross, Jan Gulliksen, Paula Kotzé, Lars Oestreicher, Philippe Palanque, Raquel Oliveira Prates, Marco Winckler. by Gross, Tom [editor.] \| Gulliksen, Jan [editor.] \| Kotzé, Paula [editor.] \| Oestreicher, Lars [editor.] \| Palanque, Philippe [editor.] \| Prates, Raquel Oliveira [editor.] \| Winckler, Marco [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
		Number-Theoretic Methods in Cryptology [electronic resource] : First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers / edited by Jerzy Kaczorowski, Josef Pieprzyk, Jacek Pomykała. by Kaczorowski, Jerzy [editor.] \| Pieprzyk, Josef [editor.] \| Pomykała, Jacek [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
		Web Information Systems Engineering - WISE 2017 [electronic resource] : 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part II / edited by Athman Bouguettaya, Yunjun Gao, Andrey Klimenko, Lu Chen, Xiangliang Zhang, Fedor Dzerzhinskiy, Weijia Jia, Stanislav V. Klimenko, Qing Li. by Bouguettaya, Athman [editor.] \| Gao, Yunjun [editor.] \| Klimenko, Andrey [editor.] \| Chen, Lu [editor.] \| Zhang, Xiangliang [editor.] \| Dzerzhinskiy, Fedor [editor.] \| Jia, Weijia [editor.] \| Klimenko, Stanislav V [editor.] \| Li, Qing [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
		Requirements Engineering: Foundation for Software Quality [electronic resource] : 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings / edited by Nazim Madhavji, Liliana Pasquale, Alessio Ferrari, Stefania Gnesi. by Madhavji, Nazim [editor.] \| Pasquale, Liliana [editor.] \| Ferrari, Alessio [editor.] \| Gnesi, Stefania [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
		Computational Science and Its Applications - ICCSA 2021 [electronic resource] : 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part III / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blečić, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre. by Gervasi, Osvaldo [editor.] \| Murgante, Beniamino [editor.] \| Misra, Sanjay [editor.] \| Garau, Chiara [editor.] \| Blečić, Ivan [editor.] \| Taniar, David [editor.] \| Apduhan, Bernady O [editor.] \| Rocha, Ana Maria A. C [editor.] \| Tarantino, Eufemia [editor.] \| Torre, Carmelo Maria [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
		Dynamic Logic. New Trends and Applications [electronic resource] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa. by Areces, Carlos [editor.] \| Costa, Diana [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
		Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev. by Voevodin, Vladimir [editor.] \| Sobolev, Sergey [editor.] \| Yakobovskiy, Mikhail [editor.] \| Shagaliev, Rashit [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
		Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev. by Voevodin, Vladimir [editor.] \| Sobolev, Sergey [editor.] \| Yakobovskiy, Mikhail [editor.] \| Shagaliev, Rashit [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
		Computational Science - ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part I / edited by Jiří Mikyška, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M.A. Sloot. by Mikyška, Jiří [editor.] \| de Mulatier, Clélia [editor.] \| Paszynski, Maciej [editor.] \| Krzhizhanovskaya, Valeria V [editor.] \| Dongarra, Jack J [editor.] \| Sloot, Peter M.A [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

		Formal Modeling: Actors; Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer. by Agha, Gul [editor.] \| Danvy, Olivier [editor.] \| Meseguer, José [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
		Grid and Pervasive Computing Workshops [electronic resource] : International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papers / edited by Mika Rautiainen, Timo Korhonen, Edward Mutafungwa, Eila Ovaska, Artem Katasonov, Antti Evesti, Heikki Ailisto, Aaron Quigley, Jonna Häkkilä, Natasa Milic-Frayling, Jukka Riekki. by Rautiainen, Mika [editor.] \| Korhonen, Timo [editor.] \| Mutafungwa, Edward [editor.] \| Ovaska, Eila [editor.] \| Katasonov, Artem [editor.] \| Evesti, Antti [editor.] \| Ailisto, Heikki [editor.] \| Quigley, Aaron [editor.] \| Häkkilä, Jonna [editor.] \| Milic-Frayling, Natasa [editor.] \| Riekki, Jukka [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
		Human-Centered and Error-Resilient Systems Development [electronic resource] : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings / edited by Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt, Filip Kis. by Bogdan, Cristian [editor.] \| Gulliksen, Jan [editor.] \| Sauer, Stefan [editor.] \| Forbrig, Peter [editor.] \| Winckler, Marco [editor.] \| Johnson, Chris [editor.] \| Palanque, Philippe [editor.] \| Bernhaupt, Regina [editor.] \| Kis, Filip [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
		Computational Science and Its Applications - ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan. by Gervasi, Osvaldo [editor.] \| Gavrilova, Marina L [editor.] \| Kumar, Vipin [editor.] \| Laganà, Antonio [editor.] \| Lee, Heow Pueh [editor.] \| Mun, Youngsong [editor.] \| Taniar, David [editor.] \| Tan, Chih Jeng Kenneth [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
		Web Information Systems Engineering - WISE 2014 Workshops [electronic resource] : 15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers / edited by Boualem Benatallah, Azer Bestavros, Barbara Catania, Armin Haller, Yannis Manolopoulos, Athena Vakali, Yanchun Zhang. by Benatallah, Boualem [editor.] \| Bestavros, Azer [editor.] \| Catania, Barbara [editor.] \| Haller, Armin [editor.] \| Manolopoulos, Yannis [editor.] \| Vakali, Athena [editor.] \| Zhang, Yanchun [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
		Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg. by Taft, S. Tucker [editor.] \| Duff, Robert A [editor.] \| Brukardt, Randall L [editor.] \| Ploedereder, Erhard [editor.] \| Leroy, Pascal [editor.] \| Schonberg, Edmond [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
		Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antonia Lopes. by Cámara, Javier [editor.] \| de Lemos, Rogério [editor.] \| Ghezzi, Carlo [editor.] \| Lopes, Antonia [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
		SOFSEM 2006: Theory and Practice of Computer Science [electronic resource] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings / edited by Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Július Štuller. by Wiedermann, Jirí [editor.] \| Tel, Gerard [editor.] \| Pokorný, Jaroslav [editor.] \| Bieliková, Mária [editor.] \| Štuller, Július [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
		Parallel and Distributed Processing and Applications [electronic resource] : Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings / edited by Yi Pan, Daoxu Chen, Minyi Guo, Jiannong Cao, Jack Dongarra. by Pan, Yi [editor.] \| Chen, Daoxu [editor.] \| Guo, Minyi [editor.] \| Cao, Jiannong [editor.] \| Dongarra, Jack [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
		Theory and Practice of Natural Computing [electronic resource] : Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings / edited by Adrian-Horia Dediu, Manuel Lozano, Carlos Martín-Vide. by Dediu, Adrian-Horia [editor.] \| Lozano, Manuel [editor.] \| Martín-Vide, Carlos [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
		Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings / edited by Alessandro Antonucci, Laurence Cholvy, Odile Papini. by Antonucci, Alessandro [editor.] \| Cholvy, Laurence [editor.] \| Papini, Odile [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
		Human-Computer Interaction - INTERACT 2009 [electronic resource] : 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedigns Part I / edited by Tom Gross, Jan Gulliksen, Paula Kotzé, Lars Oestreicher, Philippe Palanque, Raquel Oliveira Prates, Marco Winckler. by Gross, Tom [editor.] \| Gulliksen, Jan [editor.] \| Kotzé, Paula [editor.] \| Oestreicher, Lars [editor.] \| Palanque, Philippe [editor.] \| Prates, Raquel Oliveira [editor.] \| Winckler, Marco [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
		Number-Theoretic Methods in Cryptology [electronic resource] : First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers / edited by Jerzy Kaczorowski, Josef Pieprzyk, Jacek Pomykała. by Kaczorowski, Jerzy [editor.] \| Pieprzyk, Josef [editor.] \| Pomykała, Jacek [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
		Web Information Systems Engineering - WISE 2017 [electronic resource] : 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part II / edited by Athman Bouguettaya, Yunjun Gao, Andrey Klimenko, Lu Chen, Xiangliang Zhang, Fedor Dzerzhinskiy, Weijia Jia, Stanislav V. Klimenko, Qing Li. by Bouguettaya, Athman [editor.] \| Gao, Yunjun [editor.] \| Klimenko, Andrey [editor.] \| Chen, Lu [editor.] \| Zhang, Xiangliang [editor.] \| Dzerzhinskiy, Fedor [editor.] \| Jia, Weijia [editor.] \| Klimenko, Stanislav V [editor.] \| Li, Qing [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
		Requirements Engineering: Foundation for Software Quality [electronic resource] : 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings / edited by Nazim Madhavji, Liliana Pasquale, Alessio Ferrari, Stefania Gnesi. by Madhavji, Nazim [editor.] \| Pasquale, Liliana [editor.] \| Ferrari, Alessio [editor.] \| Gnesi, Stefania [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
		Computational Science and Its Applications - ICCSA 2021 [electronic resource] : 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part III / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blečić, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre. by Gervasi, Osvaldo [editor.] \| Murgante, Beniamino [editor.] \| Misra, Sanjay [editor.] \| Garau, Chiara [editor.] \| Blečić, Ivan [editor.] \| Taniar, David [editor.] \| Apduhan, Bernady O [editor.] \| Rocha, Ana Maria A. C [editor.] \| Tarantino, Eufemia [editor.] \| Torre, Carmelo Maria [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
		Dynamic Logic. New Trends and Applications [electronic resource] : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers / edited by Carlos Areces, Diana Costa. by Areces, Carlos [editor.] \| Costa, Diana [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
		Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev. by Voevodin, Vladimir [editor.] \| Sobolev, Sergey [editor.] \| Yakobovskiy, Mikhail [editor.] \| Shagaliev, Rashit [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
		Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part I / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev. by Voevodin, Vladimir [editor.] \| Sobolev, Sergey [editor.] \| Yakobovskiy, Mikhail [editor.] \| Shagaliev, Rashit [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available
		Computational Science - ICCS 2023 [electronic resource] : 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part I / edited by Jiří Mikyška, Clélia de Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, Peter M.A. Sloot. by Mikyška, Jiří [editor.] \| de Mulatier, Clélia [editor.] \| Paszynski, Maciej [editor.] \| Krzhizhanovskaya, Valeria V [editor.] \| Dongarra, Jack J [editor.] \| Sloot, Peter M.A [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2023.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Online access: Click here to access online Availability: No items available

Central Library

Refine your search

Availability

Authors

Item types

Series

Topics