Central Library catalog › Results of search for 'su:"Programming Techniques"'

Your search returned 1336 results.

		Transactions on Aspect-Oriented Software Development XII [electronic resource] / edited by Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld. by Chiba, Shigeru [editor.] \| Tanter, Éric [editor.] \| Ernst, Erik [editor.] \| Hirschfeld, Robert [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
		Concurrent Objects and Beyond [electronic resource] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / edited by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura. by Agha, Gul [editor.] \| Igarashi, Atsushi [editor.] \| Kobayashi, Naoki [editor.] \| Masuhara, Hidehiko [editor.] \| Matsuoka, Satoshi [editor.] \| Shibayama, Etsuya [editor.] \| Taura, Kenjiro [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
		Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by Lämmel, Ralf [editor.] \| Saraiva, João [editor.] \| Visser, Joost [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
		Generative and Transformational Techniques in Software Engineering II [electronic resource] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers / edited by Ralf Lämmel, Joost Visser, João Saraiva. by Lämmel, Ralf [editor.] \| Visser, Joost [editor.] \| Saraiva, João [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
		Transactions on Aspect-Oriented Software Development IX [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter. by Leavens, Gary T [editor.] \| Chiba, Shigeru [editor.] \| Haupt, Michael [editor.] \| Ostermann, Klaus [editor.] \| Wohlstadter, Eric [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
		Central European Functional Programming School [electronic resource] : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer. by Zsók, Viktória [editor.] \| Horváth, Zoltán [editor.] \| Plasmeijer, Rinus [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
		Algorithm Engineering [electronic resource] : Bridging the Gap Between Algorithm Theory and Practice / edited by Matthias Müller-Hannemann, Stefan Schirra. by Müller-Hannemann, Matthias [editor.] \| Schirra, Stefan [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
		All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program, and Verify Systems in Rewriting Logic / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott. by Clavel, Manuel [author.] \| Durán, Francisco [author.] \| Eker, Steven [author.] \| Lincoln, Patrick [author.] \| Martí-Oliet, Narciso [author.] \| Meseguer, José [author.] \| Talcott, Carolyn [author.] \| SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
		Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers / edited by Zoltán Porkoláb, Viktória Zsók. by Porkoláb, Zoltán [editor.] \| Zsók, Viktória [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
		Recent Trends in Algebraic Development Techniques [electronic resource] : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers / edited by Alexandre Madeira, Manuel A. Martins. by Madeira, Alexandre [editor.] \| Martins, Manuel 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
		Job Scheduling Strategies for Parallel Processing [electronic resource] : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers / edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegelshohn. by Feitelson, Dror [editor.] \| Rudolph, Larry [editor.] \| Schwiegelshohn, Uwe [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
		Software Engineering and Formal Methods [electronic resource] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / edited by Carla Ferreira, Tim A. C. Willemse. by Ferreira, Carla [editor.] \| Willemse, Tim A. C [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
		Logic Programming and Nonmonotonic Reasoning [electronic resource] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. by Calimeri, Francesco [editor.] \| Ianni, Giovambattista [editor.] \| Truszczynski, Miroslaw [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
		Intelligent Data Engineering and Automated Learning -- IDEAL 2010 [electronic resource] : 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings / edited by Colin Fyfe, Peter Tino, Darryl Charles, Cesar Garcia Osorio, Hujun Yin. by Fyfe, Colin [editor.] \| Tino, Peter [editor.] \| Charles, Darryl [editor.] \| Garcia Osorio, Cesar [editor.] \| Yin, Hujun [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
		Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010, Proceedings / edited by Sang Lyul Min, Robert Pettit, Theo Ungerer. by Min, Sang Lyul [editor.] \| Pettit, Robert [editor.] \| Ungerer, Theo [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
		Information Retrieval Technology [electronic resource] : 4th Asia Information Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008, Revised Selected Papers / edited by Hang Li, Ting Liu, Wei-Ying Ma, Tetsuya Sakai, Kam-Fai Wong, Guodong Zhou. by Li, Hang [editor.] \| Liu, Ting [editor.] \| Ma, Wei-Ying [editor.] \| Sakai, Tetsuya [editor.] \| Wong, Kam-Fai [editor.] \| Zhou, Guodong [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
		Fundamentals of Software Engineering [electronic resource] : Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani. by Arbab, Farhad [editor.] \| Sirjani, Marjan [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
		NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by Brat, Guillaume [editor.] \| Rungta, Neha [editor.] \| Venet, Arnaud [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
		Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings / edited by Pieter Van Gorp, Tom Ritter, Louis M Rose. by Van Gorp, Pieter [editor.] \| Ritter, Tom [editor.] \| Rose, Louis M [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
		Dependable Networks and Services [electronic resource] : 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012, Proceedings / edited by Ramin Sadre, Jiri Novotny, Pavel Celeda, Martin Waldburger, Burkhard Stiller. by Sadre, Ramin [editor.] \| Novotny, Jiri [editor.] \| Celeda, Pavel [editor.] \| Waldburger, Martin [editor.] \| Stiller, Burkhard [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

		Transactions on Aspect-Oriented Software Development XII [electronic resource] / edited by Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld. by Chiba, Shigeru [editor.] \| Tanter, Éric [editor.] \| Ernst, Erik [editor.] \| Hirschfeld, Robert [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
		Concurrent Objects and Beyond [electronic resource] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / edited by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura. by Agha, Gul [editor.] \| Igarashi, Atsushi [editor.] \| Kobayashi, Naoki [editor.] \| Masuhara, Hidehiko [editor.] \| Matsuoka, Satoshi [editor.] \| Shibayama, Etsuya [editor.] \| Taura, Kenjiro [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
		Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by Lämmel, Ralf [editor.] \| Saraiva, João [editor.] \| Visser, Joost [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
		Generative and Transformational Techniques in Software Engineering II [electronic resource] : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers / edited by Ralf Lämmel, Joost Visser, João Saraiva. by Lämmel, Ralf [editor.] \| Visser, Joost [editor.] \| Saraiva, João [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
		Transactions on Aspect-Oriented Software Development IX [electronic resource] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter. by Leavens, Gary T [editor.] \| Chiba, Shigeru [editor.] \| Haupt, Michael [editor.] \| Ostermann, Klaus [editor.] \| Wohlstadter, Eric [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
		Central European Functional Programming School [electronic resource] : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer. by Zsók, Viktória [editor.] \| Horváth, Zoltán [editor.] \| Plasmeijer, Rinus [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
		Algorithm Engineering [electronic resource] : Bridging the Gap Between Algorithm Theory and Practice / edited by Matthias Müller-Hannemann, Stefan Schirra. by Müller-Hannemann, Matthias [editor.] \| Schirra, Stefan [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
		All About Maude - A High-Performance Logical Framework [electronic resource] : How to Specify, Program, and Verify Systems in Rewriting Logic / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott. by Clavel, Manuel [author.] \| Durán, Francisco [author.] \| Eker, Steven [author.] \| Lincoln, Patrick [author.] \| Martí-Oliet, Narciso [author.] \| Meseguer, José [author.] \| Talcott, Carolyn [author.] \| SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
		Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers / edited by Zoltán Porkoláb, Viktória Zsók. by Porkoláb, Zoltán [editor.] \| Zsók, Viktória [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
		Recent Trends in Algebraic Development Techniques [electronic resource] : 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers / edited by Alexandre Madeira, Manuel A. Martins. by Madeira, Alexandre [editor.] \| Martins, Manuel 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
		Job Scheduling Strategies for Parallel Processing [electronic resource] : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers / edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegelshohn. by Feitelson, Dror [editor.] \| Rudolph, Larry [editor.] \| Schwiegelshohn, Uwe [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
		Software Engineering and Formal Methods [electronic resource] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings / edited by Carla Ferreira, Tim A. C. Willemse. by Ferreira, Carla [editor.] \| Willemse, Tim A. C [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
		Logic Programming and Nonmonotonic Reasoning [electronic resource] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. by Calimeri, Francesco [editor.] \| Ianni, Giovambattista [editor.] \| Truszczynski, Miroslaw [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
		Intelligent Data Engineering and Automated Learning -- IDEAL 2010 [electronic resource] : 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings / edited by Colin Fyfe, Peter Tino, Darryl Charles, Cesar Garcia Osorio, Hujun Yin. by Fyfe, Colin [editor.] \| Tino, Peter [editor.] \| Charles, Darryl [editor.] \| Garcia Osorio, Cesar [editor.] \| Yin, Hujun [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
		Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010, Proceedings / edited by Sang Lyul Min, Robert Pettit, Theo Ungerer. by Min, Sang Lyul [editor.] \| Pettit, Robert [editor.] \| Ungerer, Theo [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
		Information Retrieval Technology [electronic resource] : 4th Asia Information Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008, Revised Selected Papers / edited by Hang Li, Ting Liu, Wei-Ying Ma, Tetsuya Sakai, Kam-Fai Wong, Guodong Zhou. by Li, Hang [editor.] \| Liu, Ting [editor.] \| Ma, Wei-Ying [editor.] \| Sakai, Tetsuya [editor.] \| Wong, Kam-Fai [editor.] \| Zhou, Guodong [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
		Fundamentals of Software Engineering [electronic resource] : Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani. by Arbab, Farhad [editor.] \| Sirjani, Marjan [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
		NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by Brat, Guillaume [editor.] \| Rungta, Neha [editor.] \| Venet, Arnaud [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
		Modelling Foundations and Applications [electronic resource] : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings / edited by Pieter Van Gorp, Tom Ritter, Louis M Rose. by Van Gorp, Pieter [editor.] \| Ritter, Tom [editor.] \| Rose, Louis M [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
		Dependable Networks and Services [electronic resource] : 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012, Proceedings / edited by Ramin Sadre, Jiri Novotny, Pavel Celeda, Martin Waldburger, Burkhard Stiller. by Sadre, Ramin [editor.] \| Novotny, Jiri [editor.] \| Celeda, Pavel [editor.] \| Waldburger, Martin [editor.] \| Stiller, Burkhard [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

Central Library

Refine your search

Availability

Authors

Item types

Series

Topics