Central Library catalog › Results of search for 'su:"Application software"'

Your search returned 5337 results.

		Data Integration in the Life Sciences [electronic resource] : 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings / edited by Patrick Lambrix, Graham Kemp. by Lambrix, Patrick [editor.] \| Kemp, Graham [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
		Advances in Computer Science - ASIAN 2005. Data Management on the Web [electronic resource] : 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings / edited by Stephane Grumbach, Liying Sui, Victor Vianu. by Grumbach, Stephane [editor.] \| Sui, Liying [editor.] \| Vianu, Victor [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
		Intelligence and Security Informatics [electronic resource] : 12th Pacific Asia Workshop, PAISI 2017, Jeju Island, South Korea, May 23, 2017, Proceedings / edited by G. Alan Wang, Michael Chau, Hsinchun Chen. by Wang, G. Alan [editor.] \| Chau, Michael [editor.] \| Chen, Hsinchun [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
		The Semantic Web: ESWC 2012 Satellite Events [electronic resource] : ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected Papers / edited by Elena Simperl, Barry Norton, Dunja Mladenic, Emanuele Della Valle, Irini Fundulaki, Alexandre Passant, Raphaël Troncy. by Simperl, Elena [editor.] \| Norton, Barry [editor.] \| Mladenic, Dunja [editor.] \| Della Valle, Emanuele [editor.] \| Fundulaki, Irini [editor.] \| Passant, Alexandre [editor.] \| Troncy, Raphaël [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
		Computational Science and Its Applications - ICCSA 2011 [electronic resource] : International Conference,Santander, Spain, June 20-23, 2011. Proceedings, Part III / 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
		Location and Context Awareness [electronic resource] : 4th International Symposium, LoCA 2009 Tokyo, Japan, May 7-8, 2009 Proceedings / edited by Tanzeem Choudhury, Aaron Quigley, Thomas Strang, Koji Suginuma. by Choudhury, Tanzeem [editor.] \| Quigley, Aaron [editor.] \| Strang, Thomas [editor.] \| Suginuma, Koji [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
		Controlled Natural Language [electronic resource] : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers / edited by Michael Rosner, Norbert E Fuchs. by Rosner, Michael [editor.] \| Fuchs, Norbert E [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
		Persuasive Technology [electronic resource] : 5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010, Proceedings / edited by Thomas Ploug, Per Hasle, Harri Oinas-Kukkonen. by Ploug, Thomas [editor.] \| Hasle, Per [editor.] \| Oinas-Kukkonen, Harri [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
		AI 2008: Advances in Artificial Intelligence [electronic resource] : 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings / edited by Wayne Wobcke, Mengjie Zhang. by Wobcke, Wayne [editor.] \| Zhang, Mengjie [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
		Web and Wireless Geographical Information Systems [electronic resource] : 12th International Symposium, W2GIS 2013, Banff, Canada, April 4-5, 2013, Proceedings / edited by Steve Liang, Xin Wang, Christophe Claramunt. by Liang, Steve [editor.] \| Wang, Xin [editor.] \| Claramunt, Christophe [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
		Coordination Models and Languages [electronic resource] : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings / edited by Wolfgang De Meuter, Gruia-Catalin Roman. by De Meuter, Wolfgang [editor.] \| Roman, Gruia-Catalin [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
		Pervasive Computing [electronic resource] : 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006, Proceedings / edited by Kenneth P. Fishkin, Bernt Schiele, Paddy Nixon, Aaron Quigley. by Fishkin, Kenneth P [editor.] \| Schiele, Bernt [editor.] \| Nixon, Paddy [editor.] \| Quigley, Aaron [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
		Agents and Peer-to-Peer Computing [electronic resource] : 4th International Workshop, AP2PC 2005, Utrecht, Netherlands, J uly 25, 2005, Revised and Invited Papers / edited by Zoran Despotovic, Sam Joseph, Claudio Sartori. by Despotovic, Zoran [editor.] \| Joseph, Sam [editor.] \| Sartori, Claudio [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
		Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 19, 2015. Proceedings / edited by Michael Chau, G. Alan Wang, Hsinchun Chen. by Chau, Michael [editor.] \| Wang, G. Alan [editor.] \| Chen, Hsinchun [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
		Ambient Intelligence for Health [electronic resource] : First International Conference, AmIHEALTH 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings / edited by José Bravo, Ramón Hervás, Vladimir Villarreal. by Bravo, José [editor.] \| Hervás, Ramón [editor.] \| Villarreal, Vladimir [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
		Bridging Between Information Retrieval and Databases [electronic resource] : PROMISE Winter School 2013, Bressanone, Italy, February 4-8, 2013. Revised Tutorial Lectures / edited by Nicola Ferro. by Ferro, Nicola [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
		Spatial Cognition IX [electronic resource] : International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings / edited by Christian Freksa, Bernhard Nebel, Mary Hegarty, Thomas Barkowsky. by Freksa, Christian [editor.] \| Nebel, Bernhard [editor.] \| Hegarty, Mary [editor.] \| Barkowsky, Thomas [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
		Artificial General Intelligence [electronic resource] : 6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings / edited by Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang. by Kühnberger, Kai-Uwe [editor.] \| Rudolph, Sebastian [editor.] \| Wang, Pei [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
		Controlled Natural Language [electronic resource] : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers / edited by Norbert E Fuchs. by Fuchs, Norbert E [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
		Web Services and Formal Methods [electronic resource] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / edited by Cosimo Laneve, Jianwen Su. by Laneve, Cosimo [editor.] \| Su, Jianwen [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

		Data Integration in the Life Sciences [electronic resource] : 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings / edited by Patrick Lambrix, Graham Kemp. by Lambrix, Patrick [editor.] \| Kemp, Graham [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
		Advances in Computer Science - ASIAN 2005. Data Management on the Web [electronic resource] : 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings / edited by Stephane Grumbach, Liying Sui, Victor Vianu. by Grumbach, Stephane [editor.] \| Sui, Liying [editor.] \| Vianu, Victor [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
		Intelligence and Security Informatics [electronic resource] : 12th Pacific Asia Workshop, PAISI 2017, Jeju Island, South Korea, May 23, 2017, Proceedings / edited by G. Alan Wang, Michael Chau, Hsinchun Chen. by Wang, G. Alan [editor.] \| Chau, Michael [editor.] \| Chen, Hsinchun [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
		The Semantic Web: ESWC 2012 Satellite Events [electronic resource] : ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected Papers / edited by Elena Simperl, Barry Norton, Dunja Mladenic, Emanuele Della Valle, Irini Fundulaki, Alexandre Passant, Raphaël Troncy. by Simperl, Elena [editor.] \| Norton, Barry [editor.] \| Mladenic, Dunja [editor.] \| Della Valle, Emanuele [editor.] \| Fundulaki, Irini [editor.] \| Passant, Alexandre [editor.] \| Troncy, Raphaël [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
		Computational Science and Its Applications - ICCSA 2011 [electronic resource] : International Conference,Santander, Spain, June 20-23, 2011. Proceedings, Part III / 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
		Location and Context Awareness [electronic resource] : 4th International Symposium, LoCA 2009 Tokyo, Japan, May 7-8, 2009 Proceedings / edited by Tanzeem Choudhury, Aaron Quigley, Thomas Strang, Koji Suginuma. by Choudhury, Tanzeem [editor.] \| Quigley, Aaron [editor.] \| Strang, Thomas [editor.] \| Suginuma, Koji [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
		Controlled Natural Language [electronic resource] : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers / edited by Michael Rosner, Norbert E Fuchs. by Rosner, Michael [editor.] \| Fuchs, Norbert E [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
		Persuasive Technology [electronic resource] : 5th International Conference, PERSUASIVE 2010, Copenhagen, Denmark, June 7-10, 2010, Proceedings / edited by Thomas Ploug, Per Hasle, Harri Oinas-Kukkonen. by Ploug, Thomas [editor.] \| Hasle, Per [editor.] \| Oinas-Kukkonen, Harri [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
		AI 2008: Advances in Artificial Intelligence [electronic resource] : 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings / edited by Wayne Wobcke, Mengjie Zhang. by Wobcke, Wayne [editor.] \| Zhang, Mengjie [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
		Web and Wireless Geographical Information Systems [electronic resource] : 12th International Symposium, W2GIS 2013, Banff, Canada, April 4-5, 2013, Proceedings / edited by Steve Liang, Xin Wang, Christophe Claramunt. by Liang, Steve [editor.] \| Wang, Xin [editor.] \| Claramunt, Christophe [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
		Coordination Models and Languages [electronic resource] : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings / edited by Wolfgang De Meuter, Gruia-Catalin Roman. by De Meuter, Wolfgang [editor.] \| Roman, Gruia-Catalin [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
		Pervasive Computing [electronic resource] : 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006, Proceedings / edited by Kenneth P. Fishkin, Bernt Schiele, Paddy Nixon, Aaron Quigley. by Fishkin, Kenneth P [editor.] \| Schiele, Bernt [editor.] \| Nixon, Paddy [editor.] \| Quigley, Aaron [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
		Agents and Peer-to-Peer Computing [electronic resource] : 4th International Workshop, AP2PC 2005, Utrecht, Netherlands, J uly 25, 2005, Revised and Invited Papers / edited by Zoran Despotovic, Sam Joseph, Claudio Sartori. by Despotovic, Zoran [editor.] \| Joseph, Sam [editor.] \| Sartori, Claudio [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
		Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 19, 2015. Proceedings / edited by Michael Chau, G. Alan Wang, Hsinchun Chen. by Chau, Michael [editor.] \| Wang, G. Alan [editor.] \| Chen, Hsinchun [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
		Ambient Intelligence for Health [electronic resource] : First International Conference, AmIHEALTH 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings / edited by José Bravo, Ramón Hervás, Vladimir Villarreal. by Bravo, José [editor.] \| Hervás, Ramón [editor.] \| Villarreal, Vladimir [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
		Bridging Between Information Retrieval and Databases [electronic resource] : PROMISE Winter School 2013, Bressanone, Italy, February 4-8, 2013. Revised Tutorial Lectures / edited by Nicola Ferro. by Ferro, Nicola [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
		Spatial Cognition IX [electronic resource] : International Conference, Spatial Cognition 2014, Bremen, Germany, September 15-19, 2014. Proceedings / edited by Christian Freksa, Bernhard Nebel, Mary Hegarty, Thomas Barkowsky. by Freksa, Christian [editor.] \| Nebel, Bernhard [editor.] \| Hegarty, Mary [editor.] \| Barkowsky, Thomas [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
		Artificial General Intelligence [electronic resource] : 6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings / edited by Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang. by Kühnberger, Kai-Uwe [editor.] \| Rudolph, Sebastian [editor.] \| Wang, Pei [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
		Controlled Natural Language [electronic resource] : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers / edited by Norbert E Fuchs. by Fuchs, Norbert E [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
		Web Services and Formal Methods [electronic resource] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / edited by Cosimo Laneve, Jianwen Su. by Laneve, Cosimo [editor.] \| Su, Jianwen [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

Central Library

Refine your search

Availability

Authors

Item types

Series

Topics

Titles