Results
|
|
381.
|
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by
- Groves, Lindsay [editor.]
- Sun, Jing [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8144
Source: Springer eBooks
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
382.
|
|
|
|
383.
|
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing [electronic resource] : 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings / edited by Davide Ciucci, Masahiro Inuiguchi, Yiyu Yao, Dominik Ślęzak, Guoyin Wang. by
- Ciucci, Davide [editor.]
- Inuiguchi, Masahiro [editor.]
- Yao, Yiyu [editor.]
- Ślęzak, Dominik [editor.]
- Wang, Guoyin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8170
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
384.
|
Provable Security [electronic resource] : 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings / edited by Willy Susilo, Reza Reyhanitabar. by
- Susilo, Willy [editor.]
- Reyhanitabar, Reza [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8209
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
385.
|
Web Information Systems Engineering – WISE 2013 [electronic resource] : 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I / edited by Xuemin Lin, Yannis Manolopoulos, Divesh Srivastava, Guangyan Huang. by
- Lin, Xuemin [editor.]
- Manolopoulos, Yannis [editor.]
- Srivastava, Divesh [editor.]
- Huang, Guangyan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8180
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
386.
|
From Sounds to Music and Emotions [electronic resource] : 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012, Revised Selected Papers / edited by Mitsuko Aramaki, Mathieu Barthet, Richard Kronland-Martinet, Sølvi Ystad. by
- Aramaki, Mitsuko [editor.]
- Barthet, Mathieu [editor.]
- Kronland-Martinet, Richard [editor.]
- Ystad, Sølvi [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7900
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
387.
|
Intelligent Data Engineering and Automated Learning – IDEAL 2013 [electronic resource] : 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013. Proceedings / edited by Hujun Yin, Ke Tang, Yang Gao, Frank Klawonn, Minho Lee, Thomas Weise, Bin Li, Xin Yao. by
- Yin, Hujun [editor.]
- Tang, Ke [editor.]
- Gao, Yang [editor.]
- Klawonn, Frank [editor.]
- Lee, Minho [editor.]
- Weise, Thomas [editor.]
- Li, Bin [editor.]
- Yao, Xin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8206
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
388.
|
Collaboration and Technology [electronic resource] : 19th International Conference, CRIWG 2013, Wellington, New Zealand, October 30 – November 1, 2013, Proceedings / edited by Pedro Antunes, Marco Aurélio Gerosa, Allan Sylvester, Julita Vassileva, Gert-Jan de Vreede. by
- Antunes, Pedro [editor.]
- Gerosa, Marco Aurélio [editor.]
- Sylvester, Allan [editor.]
- Vassileva, Julita [editor.]
- Vreede, Gert-Jan de [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8224
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
389.
|
|
|
|
390.
|
|
|
|
391.
|
Critical Information Infrastructure Security [electronic resource] : 6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised Selected Papers / edited by Sandro Bologna, Bernhard Hämmerli, Dimitris Gritzalis, Stephen Wolthusen. by
- Bologna, Sandro [editor.]
- Hämmerli, Bernhard [editor.]
- Gritzalis, Dimitris [editor.]
- Wolthusen, Stephen [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 6983
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
392.
|
|
|
|
393.
|
Critical Information Infrastructures Security [electronic resource] : 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012, Revised Selected Papers / edited by Bernhard M. Hämmerli, Nils Kalstad Svendsen, Javier Lopez. by
- Hämmerli, Bernhard M [editor.]
- Kalstad Svendsen, Nils [editor.]
- Lopez, Javier [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7722
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
394.
|
Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [electronic resource] : 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013. Proceedings / edited by Maosong Sun, Min Zhang, Dekang Lin, Haifeng Wang. by
- Sun, Maosong [editor.]
- Zhang, Min [editor.]
- Lin, Dekang [editor.]
- Wang, Haifeng [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8202
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
395.
|
Product Lifecycle Management for Society [electronic resource] : 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings / edited by Alain Bernard, Louis Rivest, Debasish Dutta. by
- Bernard, Alain [editor.]
- Rivest, Louis [editor.]
- Dutta, Debasish [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 409
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
396.
|
Model-Driven Engineering Languages and Systems [electronic resource] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke. by
- Moreira, Ana [editor.]
- Schätz, Bernhard [editor.]
- Gray, Jeff [editor.]
- Vallecillo, Antonio [editor.]
- Clarke, Peter [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8107
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
397.
|
Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier. by
- Duchier, Denys [editor.]
- Parmentier, Yannick [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8114
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
398.
|
|
|
|
399.
|
|
|
|
400.
|
Making the History of Computing Relevant [electronic resource] : IFIP WG 9.7 International Conference, HC 2013, London, UK, June 17-18, 2013, Revised Selected Papers / edited by Arthur Tatnall, Tilly Blyth, Roger Johnson. by
- Tatnall, Arthur [editor.]
- Blyth, Tilly [editor.]
- Johnson, Roger [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 416
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
