|
|
|
Implementation and Application of Automata [electronic resource] : 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Ždárek.
by Holub, Jan [editor.] | Ždárek, Jan [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
|
|
|
|
Inductive Logic Programming [electronic resource] : 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings / edited by Filip Železný, Nada Lavrač.
by Železný, Filip [editor.] | Lavrač, Nada [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
|
|
|
|
Coding Theory and Applications [electronic resource] : 2nd International Castle Meeting, ISMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008, Proceedings / edited by Angela Barbero.
by Barbero, Angela [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
|
|
|
|
Human Language Technology. Challenges of the Information Society [electronic resource] : Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers / edited by Zygmunt Vetulani, Hans Uszkoreit.
by Vetulani, Zygmunt [editor.] | Uszkoreit, Hans [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
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings / edited by Helmut Simonis.
by Simonis, Helmut [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings / edited by Ahmed Bouajjani, Wei-Ngan Chin.
by Bouajjani, Ahmed [editor.] | Chin, Wei-Ngan [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 Data Mining [electronic resource] : Applications in Medicine, Web Mining, Marketing, Image and Signal Mining, 6th Industrial Conference on Data Mining, ICDM 2006, Leipzig, Germany, July 14-15, 2006, Proceedings / edited by Petra Perner.
by Perner, Petra [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
|
|
|
|
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings / edited by Don Harris.
by Harris, Don [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
|
|
|
|
Formal Concept Analysis [electronic resource] : 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings / edited by Rokia Missaoui, Jürg Schmid.
by Missaoui, Rokia [editor.] | Schmid, Jürg [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
|
|
|
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedings / edited by Michalis Polychronakis, Michael Meier.
by Polychronakis, Michalis [editor.] | Meier, Michael [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
|
|
|
|
Big Data Analytics and Knowledge Discovery [electronic resource] : 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017, Proceedings / edited by Ladjel Bellatreche, Sharma Chakravarthy.
by Bellatreche, Ladjel [editor.] | Chakravarthy, Sharma [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
|
|
|
|
Image and Graphics [electronic resource] : 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part II / edited by Yu-Jin Zhang.
by Zhang, Yu-Jin [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
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki.
by Motomura, Yoichi [editor.] | Butler, Alastair [editor.] | Bekki, Daisuke [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
|
|
|
|
Pervasive Computing [electronic resource] : 9th International Conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011. Proceedings / edited by Kent Lyons, Jeffrey Hightower, Elaine M. Huang.
by Lyons, Kent [editor.] | Hightower, Jeffrey [editor.] | Huang, Elaine M [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
|
|
|
|
Digital Human Modeling [electronic resource] : Trends in Human Algorithms / edited by Yang Cai.
by Cai, Yang [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
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011, Proceedings / edited by Xavier Défago, Franck Petit, Vincent Villain.
by Défago, Xavier [editor.] | Petit, Franck [editor.] | Villain, Vincent [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
|
|
|
|
Advances in Artificial Life [electronic resource] : 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers / edited by György Kampis, István Karsai, Eörs Szathmáry.
by Kampis, György [editor.] | Karsai, István [editor.] | Szathmáry, Eörs [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
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / edited by José Nelson Amaral.
by Amaral, José Nelson [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
|
|
|
|
Software Engineering for Multi-Agent Systems IV [electronic resource] : Research Issues and Practical Applications / edited by Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander Romanovsky.
by Garcia, Alessandro [editor.] | Choren, Ricardo [editor.] | Lucena, Carlos [editor.] | Giorgini, Paolo [editor.] | Holvoet, Tom [editor.] | Romanovsky, Alexander [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
|
|
|
|
Communications and Multimedia Security [electronic resource] : 10th IFIP TC-6 TC 11 International Conference, CMS 2006, Heraklion Crete, Greece, October 19-21, 2006, Proceedings / edited by Herbert Leitold, Evangelos Markatos.
by Leitold, Herbert [editor.] | Markatos, Evangelos [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
|
