|
|
|
Advances in Computer Systems Architecture [electronic resource] : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings / edited by Lynn Choi, Yunheung Paek, Sangyeun Cho.
by Choi, Lynn [editor.] | Paek, Yunheung [editor.] | Cho, Sangyeun [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
|
|
|
|
Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings / edited by Alex Groce, Madanlal Musuvathi.
by Groce, Alex [editor.] | Musuvathi, Madanlal [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
|
|
|
|
Evaluation of Natural Language and Speech Tool for Italian [electronic resource] : International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers / edited by Bernardo Magnini, Francesco Cutugno, Mauro Falcone, Emanuele Pianta.
by Magnini, Bernardo [editor.] | Cutugno, Francesco [editor.] | Falcone, Mauro [editor.] | Pianta, Emanuele [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
|
|
|
|
Unifying Theories of Programming [electronic resource] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings / edited by Shengchao Qin.
by Qin, Shengchao [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
|
|
|
|
Coding and Cryptology [electronic resource] : Third International Workshop, IWCC 2011, Qingdao, China, May 30-June 3, 2011. Proceedings / edited by Yeow Meng Chee, Zhenbo Guo, San Ling, Fengjing Shao, Yuansheng Tang, Huaxiong Wang, Chaoping Xing.
by Chee, Yeow Meng [editor.] | Guo, Zhenbo [editor.] | Ling, San [editor.] | Shao, Fengjing [editor.] | Tang, Yuansheng [editor.] | Wang, Huaxiong [editor.] | Xing, Chaoping [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
|
|
|
|
Theory and Practice of Model Transformation [electronic resource] : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / edited by Esther Guerra, Mark van den Brand.
by Guerra, Esther [editor.] | van den Brand, Mark [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
|
|
|
|
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
|
|
|
|
New Frontiers in Applied Artificial Intelligence [electronic resource] : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroclaw, Poland, June 18-20, 2008, Proceedings / edited by Leszek Borzemski, Adam Grzech, Moonis Ali.
by Borzemski, Leszek [editor.] | Grzech, Adam [editor.] | Ali, Moonis [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
|
|
|
|
Genetic Programming [electronic resource] : 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings / edited by Maarten Keijzer, Andrea Tettamanzi, Pierre Collet, Jano van Hemert, Marco Tomassini.
by Keijzer, Maarten [editor.] | Tettamanzi, Andrea [editor.] | Collet, Pierre [editor.] | van Hemert, Jano [editor.] | Tomassini, Marco [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
|
|
|
|
Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek.
by Armando, Alessandro [editor.] | Baumgartner, Peter [editor.] | Dowek, Gilles [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
|
|
|
|
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
|
|
|
|
Information Security and Cryptology [electronic resource] : 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers / edited by Moti Yung, Peng Liu, Dongdai Lin.
by Yung, Moti [editor.] | Liu, Peng [editor.] | Lin, Dongdai [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
|
|
|
|
Software Engineering and Middleware [electronic resource] : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers / edited by Thomas Gschwind, Cecilia Mascolo.
by Gschwind, Thomas [editor.] | Mascolo, Cecilia [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
|
|
|
|
Image Analysis [electronic resource] : 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013, Proceedings / edited by Joni-Kristian Kamarainen, Markus Koskela.
by Kamarainen, Joni-Kristian [editor.] | Koskela, Markus [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
|
|
|
|
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
|
|
|
|
Technologies for Advanced Heterogeneous Networks II [electronic resource] : Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006, Proceedings / edited by Kenjiro Cho, Philippe Jacquet.
by Cho, Kenjiro [editor.] | Jacquet, Philippe [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
|
|
|
|
Hybrid Artificial Intelligent Systems, Part I [electronic resource] : 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings / edited by Manuel Grana Romay, M. Teresa Garcia Sebastian.
by Romay, Manuel Grana [editor.] | Sebastian, M. Teresa Garcia [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
|
|
|
|
Trustworthy Global Computing [electronic resource] : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers / edited by Martin Wirsing, Martin Hofmann, Axel Rauschmayer.
by Wirsing, Martin [editor.] | Hofmann, Martin [editor.] | Rauschmayer, Axel [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
|
|
|
|
Post-Quantum Cryptography [electronic resource] : 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013, Proceedings / edited by Philippe Gaborit.
by Gaborit, Philippe [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
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings / edited by Alessandro Micarelli, John Stamper, Kitty Panourgia.
by Micarelli, Alessandro [editor.] | Stamper, John [editor.] | Panourgia, Kitty [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
|
