Central Library catalog › Results of search for 'au:"DAVID"'

Your search returned 1166 results.

		Discrete Geometry for Computer Imagery [electronic resource] : 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008, Proceedings / edited by David Coeurjolly, Isabelle Sivignon, Laure Tougne, Florent Dupont. by Coeurjolly, David [editor.] \| Sivignon, Isabelle [editor.] \| Tougne, Laure [editor.] \| Dupont, Florent [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
		Distributed Computing in Sensor Systems [electronic resource] : 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008, Proceedings / edited by Sotiris Nikoletseas, Bogdan Chlebus, David B. Johnson, Bhaskar Krishnamachari. by Nikoletseas, Sotiris [editor.] \| Chlebus, Bogdan [editor.] \| Johnson, David B [editor.] \| Krishnamachari, Bhaskar [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 High-Performance Embedded Architectures and Compilers II [electronic resource] / edited by Per Stenström, David Whalley. by Stenström, Per [editor.] \| Whalley, David [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
		Practical Aspects of Declarative Languages [electronic resource] : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings / edited by Paul Hudak, David S. Warren. by Hudak, Paul [editor.] \| Warren, David S [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
		Semantic Multimedia [electronic resource] : Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings / edited by David Duke, Lynda Hardman, Alexander G. Hauptmann, Dietrich Paulus, Steffen Staab. by Duke, David [editor.] \| Hardman, Lynda [editor.] \| Hauptmann, Alexander G [editor.] \| Paulus, Dietrich [editor.] \| Staab, Steffen [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
		Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings / edited by David S. Rosenblum, Gabriele Taentzer. by Rosenblum, David S [editor.] \| Taentzer, Gabriele [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
		Computer Vision -- ECCV 2014 [electronic resource] : 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part V / edited by David Fleet, Tomas Pajdla, Bernt Schiele, Tinne Tuytelaars. by Fleet, David [editor.] \| Pajdla, Tomas [editor.] \| Schiele, Bernt [editor.] \| Tuytelaars, Tinne [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
		Modeling and Retrieval of Context [electronic resource] : Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers / edited by Thomas R. Roth-Berghofer, Stefan Schulz, David B. Leake. by Roth-Berghofer, Thomas R [editor.] \| Schulz, Stefan [editor.] \| Leake, David B [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
		Ambient Intelligence [electronic resource] : 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings / edited by Juan Carlos Augusto, Reiner Wichert, Rem Collier, David Keyson, Albert A. Salah, Ah-Hwee Tan. by Augusto, Juan Carlos [editor.] \| Wichert, Reiner [editor.] \| Collier, Rem [editor.] \| Keyson, David [editor.] \| Salah, Albert A [editor.] \| Tan, Ah-Hwee [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
		Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II / edited by Fedor V. Fomin, Rusins Freivalds, Marta Kwiatkowska, David Peleg. by Fomin, Fedor V [editor.] \| Freivalds, Rusins [editor.] \| Kwiatkowska, Marta [editor.] \| Peleg, David [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
		Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers / edited by Peter Bosch, David Gabelaia, Jérôme Lang. by Bosch, Peter [editor.] \| Gabelaia, David [editor.] \| Lang, Jérôme [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
		Computational Science and Its Applications - ICCSA 2011 [electronic resource] : International Conference,Santander, Spain, June 20-23, 2011. Proceedings, Part IV / edited by Beniamino Murgante, Osvaldo Gervasi, Andres Iglesias, David Taniar, Bernady O. Apduhan. by Murgante, Beniamino [editor.] \| Gervasi, Osvaldo [editor.] \| Iglesias, Andres [editor.] \| Taniar, David [editor.] \| Apduhan, Bernady O [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
		Statistical Network Analysis: Models, Issues, and New Directions [electronic resource] : ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers / edited by Edoardo M. Airoldi, David M. Blei, Stephen E. Fienberg, Anna Goldenberg, Eric P. Xing, Alice X. Zheng. by Airoldi, Edoardo M [editor.] \| Blei, David M [editor.] \| Fienberg, Stephen E [editor.] \| Goldenberg, Anna [editor.] \| Xing, Eric P [editor.] \| Zheng, Alice X [editor.] \| 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
		Computer Vision - ECCV 2008 [electronic resource] : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I / edited by David Forsyth, Philip Torr, Andrew Zisserman. by Forsyth, David [editor.] \| Torr, Philip [editor.] \| Zisserman, Andrew [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
		User Modeling, Adaptation and Personalization [electronic resource] : 22nd International Conference, UMAP 2014, Aalborg, Denmark, July 7-11, 2014. Proceedings / edited by Vania Dimitrova, Tsvi Kuflik, David Chin, Francesco Ricci, Peter Dolog, Geert-Jan Houben. by Dimitrova, Vania [editor.] \| Kuflik, Tsvi [editor.] \| Chin, David [editor.] \| Ricci, Francesco [editor.] \| Dolog, Peter [editor.] \| Houben, Geert-Jan [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
		Computational Science and Its Applications - ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part I / 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
		Hybrid Systems Biology [electronic resource] : Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers / edited by Alessandro Abate, David Safranek. by Abate, Alessandro [editor.] \| Safranek, David [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
		Autonomic Principles of IP Operations and Management [electronic resource] : 6th IEEE International Workshop on IP Operations and Management, IPOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings / edited by Gerard Parr, David Malone, Mícheál Ó Foghlú. by Parr, Gerard [editor.] \| Malone, David [editor.] \| Ó Foghlú, Mícheál [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
		Advances in Cryptology - EUROCRYPT 2012 [electronic resource] : 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012, Proceedings / edited by David Pointcheval, Thomas Johansson. by Pointcheval, David [editor.] \| Johansson, Thomas [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
		Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by Blazy, Sandrine [editor.] \| Paulin-Mohring, Christine [editor.] \| Pichardie, David [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

		Discrete Geometry for Computer Imagery [electronic resource] : 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008, Proceedings / edited by David Coeurjolly, Isabelle Sivignon, Laure Tougne, Florent Dupont. by Coeurjolly, David [editor.] \| Sivignon, Isabelle [editor.] \| Tougne, Laure [editor.] \| Dupont, Florent [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
		Distributed Computing in Sensor Systems [electronic resource] : 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008, Proceedings / edited by Sotiris Nikoletseas, Bogdan Chlebus, David B. Johnson, Bhaskar Krishnamachari. by Nikoletseas, Sotiris [editor.] \| Chlebus, Bogdan [editor.] \| Johnson, David B [editor.] \| Krishnamachari, Bhaskar [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 High-Performance Embedded Architectures and Compilers II [electronic resource] / edited by Per Stenström, David Whalley. by Stenström, Per [editor.] \| Whalley, David [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
		Practical Aspects of Declarative Languages [electronic resource] : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings / edited by Paul Hudak, David S. Warren. by Hudak, Paul [editor.] \| Warren, David S [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
		Semantic Multimedia [electronic resource] : Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings / edited by David Duke, Lynda Hardman, Alexander G. Hauptmann, Dietrich Paulus, Steffen Staab. by Duke, David [editor.] \| Hardman, Lynda [editor.] \| Hauptmann, Alexander G [editor.] \| Paulus, Dietrich [editor.] \| Staab, Steffen [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
		Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings / edited by David S. Rosenblum, Gabriele Taentzer. by Rosenblum, David S [editor.] \| Taentzer, Gabriele [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
		Computer Vision -- ECCV 2014 [electronic resource] : 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part V / edited by David Fleet, Tomas Pajdla, Bernt Schiele, Tinne Tuytelaars. by Fleet, David [editor.] \| Pajdla, Tomas [editor.] \| Schiele, Bernt [editor.] \| Tuytelaars, Tinne [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
		Modeling and Retrieval of Context [electronic resource] : Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers / edited by Thomas R. Roth-Berghofer, Stefan Schulz, David B. Leake. by Roth-Berghofer, Thomas R [editor.] \| Schulz, Stefan [editor.] \| Leake, David B [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
		Ambient Intelligence [electronic resource] : 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings / edited by Juan Carlos Augusto, Reiner Wichert, Rem Collier, David Keyson, Albert A. Salah, Ah-Hwee Tan. by Augusto, Juan Carlos [editor.] \| Wichert, Reiner [editor.] \| Collier, Rem [editor.] \| Keyson, David [editor.] \| Salah, Albert A [editor.] \| Tan, Ah-Hwee [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
		Automata, Languages, and Programming [electronic resource] : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II / edited by Fedor V. Fomin, Rusins Freivalds, Marta Kwiatkowska, David Peleg. by Fomin, Fedor V [editor.] \| Freivalds, Rusins [editor.] \| Kwiatkowska, Marta [editor.] \| Peleg, David [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
		Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers / edited by Peter Bosch, David Gabelaia, Jérôme Lang. by Bosch, Peter [editor.] \| Gabelaia, David [editor.] \| Lang, Jérôme [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
		Computational Science and Its Applications - ICCSA 2011 [electronic resource] : International Conference,Santander, Spain, June 20-23, 2011. Proceedings, Part IV / edited by Beniamino Murgante, Osvaldo Gervasi, Andres Iglesias, David Taniar, Bernady O. Apduhan. by Murgante, Beniamino [editor.] \| Gervasi, Osvaldo [editor.] \| Iglesias, Andres [editor.] \| Taniar, David [editor.] \| Apduhan, Bernady O [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
		Statistical Network Analysis: Models, Issues, and New Directions [electronic resource] : ICML 2006 Workshop on Statistical Network Analysis, Pittsburgh, PA, USA, June 29, 2006, Revised Selected Papers / edited by Edoardo M. Airoldi, David M. Blei, Stephen E. Fienberg, Anna Goldenberg, Eric P. Xing, Alice X. Zheng. by Airoldi, Edoardo M [editor.] \| Blei, David M [editor.] \| Fienberg, Stephen E [editor.] \| Goldenberg, Anna [editor.] \| Xing, Eric P [editor.] \| Zheng, Alice X [editor.] \| 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
		Computer Vision - ECCV 2008 [electronic resource] : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I / edited by David Forsyth, Philip Torr, Andrew Zisserman. by Forsyth, David [editor.] \| Torr, Philip [editor.] \| Zisserman, Andrew [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
		User Modeling, Adaptation and Personalization [electronic resource] : 22nd International Conference, UMAP 2014, Aalborg, Denmark, July 7-11, 2014. Proceedings / edited by Vania Dimitrova, Tsvi Kuflik, David Chin, Francesco Ricci, Peter Dolog, Geert-Jan Houben. by Dimitrova, Vania [editor.] \| Kuflik, Tsvi [editor.] \| Chin, David [editor.] \| Ricci, Francesco [editor.] \| Dolog, Peter [editor.] \| Houben, Geert-Jan [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
		Computational Science and Its Applications - ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part I / 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
		Hybrid Systems Biology [electronic resource] : Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers / edited by Alessandro Abate, David Safranek. by Abate, Alessandro [editor.] \| Safranek, David [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
		Autonomic Principles of IP Operations and Management [electronic resource] : 6th IEEE International Workshop on IP Operations and Management, IPOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings / edited by Gerard Parr, David Malone, Mícheál Ó Foghlú. by Parr, Gerard [editor.] \| Malone, David [editor.] \| Ó Foghlú, Mícheál [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
		Advances in Cryptology - EUROCRYPT 2012 [electronic resource] : 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012, Proceedings / edited by David Pointcheval, Thomas Johansson. by Pointcheval, David [editor.] \| Johansson, Thomas [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
		Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by Blazy, Sandrine [editor.] \| Paulin-Mohring, Christine [editor.] \| Pichardie, David [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

Central Library

Refine your search

Availability

Authors

Item types

Series

Places

Topics

Titles