|
141.
|
|
Programming Languages and Systems [electronic resource] :11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan.
by Shan, Chung-chieh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available
|
|
142.
|
|
Certified Programs and Proofs [electronic resource] :Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish.
by Gonthier, Georges [editor.] | Norrish, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available
|
|
143.
|
|
Graph Drawing [electronic resource] :21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers / edited by Stephen Wismath, Alexander Wolff.
by Wismath, Stephen [editor.] | Wolff, Alexander [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available
|
|
144.
|
|
Mining Intelligence and Knowledge Exploration [electronic resource] :First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013. Proceedings / edited by Rajendra Prasath, T. Kathirvalavakumar.
by Prasath, Rajendra [editor.] | Kathirvalavakumar, T [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available
|
|
145.
|
|
Current Trends in Web Engineering [electronic resource] :ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers / edited by Quan Z. Sheng, Jesper Kjeldskov.
by Sheng, Quan Z [editor.] | Kjeldskov, Jesper [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available
|
|
146.
|
|
Uncertain Fuzzy Preference Relations and Their Applications [electronic resource] /by Zaiwu Gong, Yi Lin, Tianxiang Yao.
by Gong, Zaiwu [author.] | Lin, Yi [author.] | Yao, Tianxiang [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available
|
|
147.
|
|
Recent Progress in Data Engineering and Internet Technology [electronic resource] :Volume 1 / edited by Ford Lumban Gaol.
by Gaol, Ford Lumban [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, 2013.Online access: Click here to access online Availability: No items available
|
|
148.
|
|
Reshaping Learning [electronic resource] :Frontiers of Learning Technology in a Global Context / edited by Ronghuai Huang, Kinshuk, J. Michael Spector.
by Huang, Ronghuai [editor.] | Kinshuk [editor.] | Spector, J. Michael [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, 2013.Online access: Click here to access online Availability: No items available
|
|
149.
|
|
The Naïve Bayes Model for Unsupervised Word Sense Disambiguation [electronic resource] :Aspects Concerning Feature Selection / by Florentina T. Hristea.
by T. Hristea, Florentina [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available
|
|
150.
|
|
Integer Programming and Combinatorial Optimization [electronic resource] :16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings / edited by Michel Goemans, José Correa.
by Goemans, Michel [editor.] | Correa, José [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, 2013.Online access: Click here to access online Availability: No items available
|
|
151.
|
|
Advances in Artificial Intelligence [electronic resource] :11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I / edited by Ildar Batyrshin, Miguel González Mendoza.
by Batyrshin, Ildar [editor.] | González Mendoza, Miguel [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, 2013.Online access: Click here to access online Availability: No items available
|
|
152.
|
|
Declarative Agent Languages and Technologies X [electronic resource] :10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos.
by Baldoni, Matteo [editor.] | Dennis, Louise [editor.] | Mascardi, Viviana [editor.] | Vasconcelos, Wamberto [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, 2013.Online access: Click here to access online Availability: No items available
|
|
153.
|
|
Communication Technologies for Vehicles [electronic resource] :5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings / edited by Marion Berbineau, Magnus Jonsson, Jean-Marie Bonnin, Soumaya Cherkaoui, Marina Aguado, Cristina Rico-Garcia, Hassan Ghannoum, Rashid Mehmood, Alexey Vinel.
by Berbineau, Marion [editor.] | Jonsson, Magnus [editor.] | Bonnin, Jean-Marie [editor.] | Cherkaoui, Soumaya [editor.] | Aguado, Marina [editor.] | Rico-Garcia, Cristina [editor.] | Ghannoum, Hassan [editor.] | Mehmood, Rashid [editor.] | Vinel, Alexey [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, 2013.Online access: Click here to access online Availability: No items available
|
|
154.
|
|
Security and Trust Management [electronic resource] :8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers / edited by Audun Jøsang, Pierangela Samarati, Marinella Petrocchi.
by Jøsang, Audun [editor.] | Samarati, Pierangela [editor.] | Petrocchi, Marinella [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, 2013.Online access: Click here to access online Availability: No items available
|
|
155.
|
|
Augmented Environments for Computer-Assisted Interventions [electronic resource] :7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers / edited by Cristian A. Linte, Elvis C. S. Chen, Marie-Odile Berger, John T. Moore, David R. Holmes.
by Linte, Cristian A [editor.] | Chen, Elvis C. S [editor.] | Berger, Marie-Odile [editor.] | Moore, John T [editor.] | Holmes, David R [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, 2013.Online access: Click here to access online Availability: No items available
|
|
156.
|
|
The Semantic Web: Semantics and Big Data [electronic resource] :10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings / edited by Philipp Cimiano, Oscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph.
by Cimiano, Philipp [editor.] | Corcho, Oscar [editor.] | Presutti, Valentina [editor.] | Hollink, Laura [editor.] | Rudolph, Sebastian [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, 2013.Online access: Click here to access online Availability: No items available
|
|
157.
|
|
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems [electronic resource] :7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings / edited by Lorenzo Cavallaro, Dieter Gollmann.
by Cavallaro, Lorenzo [editor.] | Gollmann, Dieter [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, 2013.Online access: Click here to access online Availability: No items available
|
|
158.
|
|
Recent Trends in Applied Artificial Intelligence [electronic resource] :26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings / edited by Moonis Ali, Tibor Bosse, Koen V. Hindriks, Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur.
by Ali, Moonis [editor.] | Bosse, Tibor [editor.] | Hindriks, Koen V [editor.] | Hoogendoorn, Mark [editor.] | Jonker, Catholijn M [editor.] | Treur, Jan [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, 2013.Online access: Click here to access online Availability: No items available
|
|
159.
|
|
Dependable Computing [electronic resource] :14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings / edited by Marco Vieira, João Carlos Cunha.
by Vieira, Marco [editor.] | Cunha, João Carlos [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, 2013.Online access: Click here to access online Availability: No items available
|
|
160.
|
|
Inductive Logic Programming [electronic resource] :22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers / edited by Fabrizio Riguzzi, Filip Železný.
by Riguzzi, Fabrizio [editor.] | Železný, 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, 2013.Online access: Click here to access online Availability: No items available
|