|
|
|
Paraconsistent Intelligent-Based Systems [electronic resource] : New Trends in the Applications of Paraconsistency / edited by Jair Minoro Abe.
by Abe, Jair Minoro [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Interactive Theorem Proving [electronic resource] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / edited by Christian Urban, Xingyuan Zhang.
by Urban, Christian [editor.] | Zhang, Xingyuan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial 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
|
|
|
|
Local Binary Patterns: New Variants and Applications [electronic resource] / edited by Sheryl Brahnam, Lakhmi C. Jain, Loris Nanni, Alessandra Lumini.
by Brahnam, Sheryl [editor.] | Jain, Lakhmi C [editor.] | Nanni, Loris [editor.] | Lumini, Alessandra [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Hybrid Artificial Intelligent Systems [electronic resource] : 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings / edited by Jeng-Shyang Pan, Marios M. Polycarpou, Micha� Woźniak, Andr�e C. P. L. F. de Carvalho, H�ector Quinti�an, Emilio Corchado.
by Pan, Jeng-Shyang [editor.] | Polycarpou, Marios M [editor.] | Woźniak, Micha� [editor.] | Carvalho, Andr�e C. P. L. F. de [editor.] | Quinti�an, H�ector [editor.] | Corchado, Emilio [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Proceedings of the 2012 International Conference of Modern Computer Science and Applications [electronic resource] / edited by Zhenyu Du.
by Du, Zhenyu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : 4th International Joint Conference, IC3K 2012, Barcelona, Spain, October 4-7, 2012, Revised Selected Papers / edited by Ana Fred, Jan L. G. Dietz, Kecheng Liu, Joaquim Filipe.
by Fred, Ana [editor.] | Dietz, Jan L. G [editor.] | Liu, Kecheng [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
CAD/CAM, Robotics and Factories of the Future [electronic resource] : Proceedings of the 28th International Conference on CARs & FoF 2016 / edited by Dipak Kumar Mandal, Chanan Singh Syan.
by Mandal, Dipak Kumar [editor.] | Syan, Chanan Singh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New Delhi : Springer India : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Redundancy in Robot Manipulators and Multi-Robot Systems [electronic resource] / edited by Dejan Milutinović, Jacob Rosen.
by Milutinović, Dejan [editor.] | Rosen, Jacob [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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, Information, and Computation [electronic resource] : 21st International Workshop, WoLLIC 2014, Valpara�iso, Chile, September 1-4, 2014. Proceedings / edited by Ulrich Kohlenbach, Pablo Barcel�o, Ruy de Queiroz.
by Kohlenbach, Ulrich [editor.] | Barcel�o, Pablo [editor.] | Queiroz, Ruy de [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Computer Vision - ECCV 2016 [electronic resource] : 14th European Conference, Amsterdam, The Netherlands, October 11-14, 2016, Proceedings, Part VIII / edited by Bastian Leibe, Jiri Matas, Nicu Sebe, Max Welling.
by Leibe, Bastian [editor.] | Matas, Jiri [editor.] | Sebe, Nicu [editor.] | Welling, Max [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Management and Security in the Age of Hyperconnectivity [electronic resource] : 10th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2016, Munich, Germany, June 20-23, 2016, Proceedings / edited by R�emi Badonnel, Robert Koch, Aiko Pras, Martin Drašar, Burkhard Stiller.
by Badonnel, R�emi [editor.] | Koch, Robert [editor.] | Pras, Aiko [editor.] | Drašar, Martin [editor.] | Stiller, Burkhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases [electronic resource] : European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013, Proceedings, Part II / edited by Hendrik Blockeel, Kristian Kersting, Siegfried Nijssen, Filip Železn�y.
by Blockeel, Hendrik [editor.] | Kersting, Kristian [editor.] | Nijssen, Siegfried [editor.] | Železn�y, Filip [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Probabilistic Graphical Models [electronic resource] : Principles and Applications / by Luis Enrique Sucar.
by Sucar, Luis Enrique [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Multisensory Softness [electronic resource] : Perceived Compliance from Multiple Sources of Information / edited by Massimiliano Di Luca.
by Di Luca, Massimiliano [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Self-aware Computing Systems [electronic resource] : An Engineering Approach / edited by Peter R. Lewis, Marco Platzner, Bernhard Rinner, Jim T�rresen, Xin Yao.
by Lewis, Peter R [editor.] | Platzner, Marco [editor.] | Rinner, Bernhard [editor.] | T�rresen, Jim [editor.] | Yao, Xin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Autonomic Computing [electronic resource] : Principles, Design and Implementation / by Philippe Lalanda, Julie A. McCann, Ada Diaconescu.
by Lalanda, Philippe [author.] | McCann, Julie A [author.] | Diaconescu, Ada [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
21st Century Kinematics [electronic resource] : The 2012 NSF Workshop / edited by J. Michael McCarthy.
by McCarthy, J. Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Intelligent Computing Systems [electronic resource] : Emerging Application Areas / edited by George A. Tsihrintzis, Maria Virvou, Lakhmi C. Jain.
by Tsihrintzis, George A [editor.] | Virvou, Maria [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
3D Computer Vision [electronic resource] : Efficient Methods and Applications / by Christian W�ohler.
by W�ohler, Christian [author.] | SpringerLink (Online service). Edition: 2nd ed. 2013.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Multiagent System Technologies [electronic resource] : 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings / edited by Matthias Klusch, Matthias Thimm, Marcin Paprzycki.
by Klusch, Matthias [editor.] | Thimm, Matthias [editor.] | Paprzycki, Marcin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
