|
|
16861.
|
Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, João Lourenço, Onn Shehory.
by Eder, Kerstin [editor.] | Lourenço, João [editor.] | Shehory, Onn [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16862.
|
Computational Geometry [electronic resource] : XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcalá de Henares, Spain, June 27-30, 2011, Revised Selected Papers / edited by Alberto Márquez, Pedro Ramos, Jorge Urrutia.
by Márquez, Alberto [editor.] | Ramos, Pedro [editor.] | Urrutia, Jorge [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16863.
|
Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets [electronic resource] : AMEC 2010, Toronto, ON, Canada, May 10, 2010, and TADA 2010, Cambridge, MA, USA, June 7, 2010 Revised Selected Papers / edited by Esther David, Kate Larson, Alex Rogers, Onn Shehory, Sebastian Stein.
by David, Esther [editor.] | Larson, Kate [editor.] | Rogers, Alex [editor.] | Shehory, Onn [editor.] | Stein, 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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16864.
|
Secure IT Systems [electronic resource] : 17th Nordic Conference, NordSec 2012, Karlskrona, Sweden, October 31 – November 2, 2012. Proceedings / edited by Audun Jøsang, Bengt Carlsson.
by Jøsang, Audun [editor.] | Carlsson, Bengt [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16865.
|
Search Computing [electronic resource] : Broadening Web Search / edited by Stefano Ceri, Marco Brambilla.
by Ceri, Stefano [editor.] | Brambilla, Marco [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16866.
|
Provenance and Annotation of Data and Processes [electronic resource] : 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised Selected Papers / edited by Paul Groth, James Frew.
by Groth, Paul [editor.] | Frew, James [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16867.
|
Business Information Systems Workshops [electronic resource] : BIS 2012 International Workshops and Future Internet Symposium, Vilnius, Lithuania, May 21-23, 2012 Revised Papers / edited by Witold Abramowicz, John Domingue, Krzysztof Węcel.
by Abramowicz, Witold [editor.] | Domingue, John [editor.] | Węcel, Krzysztof [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16868.
|
Progress in Cultural Heritage Preservation [electronic resource] : 4th International Conference, EuroMed 2012, Limassol, Cyprus, October 29 – November 3, 2012. Proceedings / edited by Marinos Ioannides, Dieter Fritsch, Johanna Leissner, Rob Davies, Fabio Remondino, Rossella Caffo.
by Ioannides, Marinos [editor.] | Fritsch, Dieter [editor.] | Leissner, Johanna [editor.] | Davies, Rob [editor.] | Remondino, Fabio [editor.] | Caffo, Rossella [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16869.
|
Piezotronics and Piezo-Phototronics [electronic resource] / by Zhong Lin Wang.
by Wang, Zhong Lin [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16870.
|
Emerging Research in Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings / edited by Jingsheng Lei, Fu Lee Wang, Hepu Deng, Duoqian Miao.
by Lei, Jingsheng [editor.] | Wang, Fu Lee [editor.] | Deng, Hepu [editor.] | Miao, Duoqian [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16871.
|
Computational Visual Media [electronic resource] : First International Conference, CVM 2012, Beijing, China, November 8-10, 2012. Proceedings / edited by Shi-Min Hu, Ralph R. Martin.
by Hu, Shi-Min [editor.] | Martin, Ralph 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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16872.
|
Decision and Game Theory for Security [electronic resource] : Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings / edited by Jens Grossklags, Jean Walrand.
by Grossklags, Jens [editor.] | Walrand, Jean [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16873.
|
Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings / edited by Toshiaki Aoki, Kenji Taguchi.
by Aoki, Toshiaki [editor.] | Taguchi, Kenji [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16874.
|
Computational Intelligence and Intelligent Systems [electronic resource] : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings / edited by Zhenhua Li, Xiang Li, Yong Liu, Zhihua Cai.
by Li, Zhenhua [editor.] | Li, Xiang [editor.] | Liu, Yong [editor.] | Cai, Zhihua [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16875.
|
Advances in Computer Entertainment [electronic resource] : 9th International Conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012. Proceedings / edited by Anton Nijholt, Teresa Romão, Dennis Reidsma.
by Nijholt, Anton [editor.] | Romão, Teresa [editor.] | Reidsma, Dennis [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16876.
|
Phosphate Phosphors for Solid-State Lighting [electronic resource] / by Kartik N. Shinde, S.J. Dhoble, H.C. Swart, Kyeongsoon Park.
by Shinde, Kartik N [author.] | Dhoble, S.J [author.] | Swart, H.C [author.] | Park, Kyeongsoon [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16877.
|
Service-Oriented Computing [electronic resource] : 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings / edited by Chengfei Liu, Heiko Ludwig, Farouk Toumani, Qi Yu.
by Liu, Chengfei [editor.] | Ludwig, Heiko [editor.] | Toumani, Farouk [editor.] | Yu, Qi [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16878.
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings / edited by Itsuki Noda, Noriaki Ando, Davide Brugali, James J. Kuffner.
by Noda, Itsuki [editor.] | Ando, Noriaki [editor.] | Brugali, Davide [editor.] | Kuffner, James J [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16879.
|
Human-Centered Software Engineering [electronic resource] : 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings / edited by Marco Winckler, Peter Forbrig, Regina Bernhaupt.
by Winckler, Marco [editor.] | Forbrig, Peter [editor.] | Bernhaupt, Regina [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, 2012Online access: Click here to access online Availability: No items available
|
|
|
16880.
|
System Simulation and Scientific Computing [electronic resource] : International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I / edited by Tianyuan Xiao, Lin Zhang, Shiwei Ma.
by Xiao, Tianyuan [editor.] | Zhang, Lin [editor.] | Ma, Shiwei [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, 2012Online access: Click here to access online Availability: No items available
|
