Central Library catalog › Results of search for 'su:"Computer Science"'

Your search returned 10983 results.

		Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 -- August 2, 2013, Proceedings / edited by Nathan F. Lepora, Anna Mura, Holger G. Krapp, Paul F.M.J. Verschure, Tony J. Prescott. by Lepora, Nathan F [editor.] \| Mura, Anna [editor.] \| Krapp, Holger G [editor.] \| Verschure, Paul F.M.J [editor.] \| Prescott, Tony J [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
		Mobile Ad-hoc and Sensor Networks [electronic resource] : Second International Conference, MSN 2006, Hong Kong, China, December 13-15, 2006, Proceedings / edited by Jiannong Cao, Ivan Stojmenovic, Xiaohua Jia, Sajal K. Das. by Cao, Jiannong [editor.] \| Stojmenovic, Ivan [editor.] \| Jia, Xiaohua [editor.] \| Das, Sajal K [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
		Theoretical Aspects of Computing - ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings / edited by Abhik Roychoudhury, Meenakshi D´Souza. by Roychoudhury, Abhik [editor.] \| D´Souza, Meenakshi [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
		Requirements Engineering: Foundation for Software Quality [electronic resource] : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings / edited by Maya Daneva, Oscar Pastor. by Daneva, Maya [editor.] \| Pastor, Oscar [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
		Automated Deduction - CADE-21 [electronic resource] : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / edited by Frank Pfenning. by Pfenning, Frank [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
		Transactions on Data Hiding and Multimedia Security VI [electronic resource] / edited by Yun Q. Shi. by Shi, Yun Q [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
		Foundations of Genetic Algorithms [electronic resource] : 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers / edited by Christopher R. Stephens, Marc Toussaint, Darrell Whitley, Peter F. Stadler. by Stephens, Christopher R [editor.] \| Toussaint, Marc [editor.] \| Whitley, Darrell [editor.] \| Stadler, Peter F [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
		Rapid Integration of Software Engineering Techniques [electronic resource] : Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers / edited by Nicolas Guelfi, Didier Buchs. by Guelfi, Nicolas [editor.] \| Buchs, Didier [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
		Intelligent Tutoring Systems [electronic resource] : 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings / edited by Stefano A. Cerri, William J. Clancey, Giorgos Papadourakis, Kitty-Kiriaki Panourgia. by Cerri, Stefano A [editor.] \| Clancey, William J [editor.] \| Papadourakis, Giorgos [editor.] \| Panourgia, Kitty-Kiriaki [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
		Practical Aspects of Declarative Languages [electronic resource] : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings / edited by Manuel Hermenegildo, Daniel Cabeza. by Hermenegildo, Manuel [editor.] \| Cabeza, Daniel [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
		Knowledge Discovery in Life Science Literature [electronic resource] : International Workshop, KDLL 2006, Singapore, April 9, 2006, Proceedings / edited by Eric G. Bremer, Jörg Hakenberg, Eui-Hong Sam Han, Daniel Berrar, Werner Dubitzky. by Bremer, Eric G [editor.] \| Hakenberg, Jörg [editor.] \| Han, Eui-Hong Sam [editor.] \| Berrar, Daniel [editor.] \| Dubitzky, Werner [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
		Resource Allocation in Wireless Networks [electronic resource] : Theory and Algorithms / by Slawomir Stanczak, Marcin Wiczanowski, Holger Boche. by Stanczak, Slawomir [author.] \| Wiczanowski, Marcin [author.] \| Boche, Holger [author.] \| 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
		Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / edited by Ranjit Jhala, David Schmidt. by Jhala, Ranjit [editor.] \| Schmidt, David [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
		Local Pattern Detection [electronic resource] : International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers / edited by Katharina Morik, Jean-Francois Boulicaut, Arno Siebes. by Morik, Katharina [editor.] \| Boulicaut, Jean-Francois [editor.] \| Siebes, Arno [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
		Pattern Recognition [electronic resource] : 8th Mexican Conference, MCPR 2016, Guanajuato, Mexico, June 22-25, 2016. Proceedings / edited by José Francisco Martínez-Trinidad, Jesús Ariel Carrasco-Ochoa, Victor Ayala Ramírez, José Arturo Olvera-López, Xiaoyi Jiang. by Martínez-Trinidad, José Francisco [editor.] \| Carrasco-Ochoa, Jesús Ariel [editor.] \| Ayala Ramírez, Victor [editor.] \| Olvera-López, José Arturo [editor.] \| Jiang, Xiaoyi [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
		Integrated Formal Methods [electronic resource] : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / edited by Nadia Polikarpova, Steve Schneider. by Polikarpova, Nadia [editor.] \| Schneider, Steve [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
		Transactions on Computational Systems Biology IV [electronic resource] / edited by Luca Cardelli, Stephen Emmott. by Cardelli, Luca [editor.] \| Emmott, Stephen [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
		Software Engineering and Formal Methods [electronic resource] : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / edited by Carlos Canal, Akram Idani. by Canal, Carlos [editor.] \| Idani, Akram [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
		The Semantic Web - ISWC 2016 [electronic resource] : 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part II / edited by Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flöck, Yolanda Gil. by Groth, Paul [editor.] \| Simperl, Elena [editor.] \| Gray, Alasdair [editor.] \| Sabou, Marta [editor.] \| Krötzsch, Markus [editor.] \| Lecue, Freddy [editor.] \| Flöck, Fabian [editor.] \| Gil, Yolanda [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
		Implementation and Application of Functional Languages [electronic resource] : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers / edited by Clemens Grelck, Frank Huch, Greg Michaelson, Phil Trinder. by Grelck, Clemens [editor.] \| Huch, Frank [editor.] \| Michaelson, Greg [editor.] \| Trinder, Phil [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

		Biomimetic and Biohybrid Systems [electronic resource] : Second International Conference, Living Machines 2013, London, UK, July 29 -- August 2, 2013, Proceedings / edited by Nathan F. Lepora, Anna Mura, Holger G. Krapp, Paul F.M.J. Verschure, Tony J. Prescott. by Lepora, Nathan F [editor.] \| Mura, Anna [editor.] \| Krapp, Holger G [editor.] \| Verschure, Paul F.M.J [editor.] \| Prescott, Tony J [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
		Mobile Ad-hoc and Sensor Networks [electronic resource] : Second International Conference, MSN 2006, Hong Kong, China, December 13-15, 2006, Proceedings / edited by Jiannong Cao, Ivan Stojmenovic, Xiaohua Jia, Sajal K. Das. by Cao, Jiannong [editor.] \| Stojmenovic, Ivan [editor.] \| Jia, Xiaohua [editor.] \| Das, Sajal K [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
		Theoretical Aspects of Computing - ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings / edited by Abhik Roychoudhury, Meenakshi D´Souza. by Roychoudhury, Abhik [editor.] \| D´Souza, Meenakshi [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
		Requirements Engineering: Foundation for Software Quality [electronic resource] : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings / edited by Maya Daneva, Oscar Pastor. by Daneva, Maya [editor.] \| Pastor, Oscar [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
		Automated Deduction - CADE-21 [electronic resource] : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings / edited by Frank Pfenning. by Pfenning, Frank [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
		Transactions on Data Hiding and Multimedia Security VI [electronic resource] / edited by Yun Q. Shi. by Shi, Yun Q [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
		Foundations of Genetic Algorithms [electronic resource] : 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers / edited by Christopher R. Stephens, Marc Toussaint, Darrell Whitley, Peter F. Stadler. by Stephens, Christopher R [editor.] \| Toussaint, Marc [editor.] \| Whitley, Darrell [editor.] \| Stadler, Peter F [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
		Rapid Integration of Software Engineering Techniques [electronic resource] : Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers / edited by Nicolas Guelfi, Didier Buchs. by Guelfi, Nicolas [editor.] \| Buchs, Didier [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
		Intelligent Tutoring Systems [electronic resource] : 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings / edited by Stefano A. Cerri, William J. Clancey, Giorgos Papadourakis, Kitty-Kiriaki Panourgia. by Cerri, Stefano A [editor.] \| Clancey, William J [editor.] \| Papadourakis, Giorgos [editor.] \| Panourgia, Kitty-Kiriaki [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
		Practical Aspects of Declarative Languages [electronic resource] : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings / edited by Manuel Hermenegildo, Daniel Cabeza. by Hermenegildo, Manuel [editor.] \| Cabeza, Daniel [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
		Knowledge Discovery in Life Science Literature [electronic resource] : International Workshop, KDLL 2006, Singapore, April 9, 2006, Proceedings / edited by Eric G. Bremer, Jörg Hakenberg, Eui-Hong Sam Han, Daniel Berrar, Werner Dubitzky. by Bremer, Eric G [editor.] \| Hakenberg, Jörg [editor.] \| Han, Eui-Hong Sam [editor.] \| Berrar, Daniel [editor.] \| Dubitzky, Werner [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
		Resource Allocation in Wireless Networks [electronic resource] : Theory and Algorithms / by Slawomir Stanczak, Marcin Wiczanowski, Holger Boche. by Stanczak, Slawomir [author.] \| Wiczanowski, Marcin [author.] \| Boche, Holger [author.] \| 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
		Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / edited by Ranjit Jhala, David Schmidt. by Jhala, Ranjit [editor.] \| Schmidt, David [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
		Local Pattern Detection [electronic resource] : International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers / edited by Katharina Morik, Jean-Francois Boulicaut, Arno Siebes. by Morik, Katharina [editor.] \| Boulicaut, Jean-Francois [editor.] \| Siebes, Arno [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
		Pattern Recognition [electronic resource] : 8th Mexican Conference, MCPR 2016, Guanajuato, Mexico, June 22-25, 2016. Proceedings / edited by José Francisco Martínez-Trinidad, Jesús Ariel Carrasco-Ochoa, Victor Ayala Ramírez, José Arturo Olvera-López, Xiaoyi Jiang. by Martínez-Trinidad, José Francisco [editor.] \| Carrasco-Ochoa, Jesús Ariel [editor.] \| Ayala Ramírez, Victor [editor.] \| Olvera-López, José Arturo [editor.] \| Jiang, Xiaoyi [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
		Integrated Formal Methods [electronic resource] : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / edited by Nadia Polikarpova, Steve Schneider. by Polikarpova, Nadia [editor.] \| Schneider, Steve [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
		Transactions on Computational Systems Biology IV [electronic resource] / edited by Luca Cardelli, Stephen Emmott. by Cardelli, Luca [editor.] \| Emmott, Stephen [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
		Software Engineering and Formal Methods [electronic resource] : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / edited by Carlos Canal, Akram Idani. by Canal, Carlos [editor.] \| Idani, Akram [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
		The Semantic Web - ISWC 2016 [electronic resource] : 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part II / edited by Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flöck, Yolanda Gil. by Groth, Paul [editor.] \| Simperl, Elena [editor.] \| Gray, Alasdair [editor.] \| Sabou, Marta [editor.] \| Krötzsch, Markus [editor.] \| Lecue, Freddy [editor.] \| Flöck, Fabian [editor.] \| Gil, Yolanda [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
		Implementation and Application of Functional Languages [electronic resource] : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers / edited by Clemens Grelck, Frank Huch, Greg Michaelson, Phil Trinder. by Grelck, Clemens [editor.] \| Huch, Frank [editor.] \| Michaelson, Greg [editor.] \| Trinder, Phil [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

Central Library

Refine your search

Availability

Authors

Item types

Series

Topics