Results
|
101.
|
Human-Computer Interaction – INTERACT 2013 [electronic resource] : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV / edited by Paula Kotzé, Gary Marsden, Gitte Lindgaard, Janet Wesson, Marco Winckler. by
- Kotzé, Paula [editor.]
- Marsden, Gary [editor.]
- Lindgaard, Gitte [editor.]
- Wesson, Janet [editor.]
- Winckler, Marco [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8120
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.
|
|
102.
|
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by
- Hierons, Robert M [editor.]
- Merayo, Mercedes G [editor.]
- Bravetti, Mario [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8137
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.
|
|
103.
|
Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings / edited by Juhani Karhumäki, Arto Lepistö, Luca Zamboni. by
- Karhumäki, Juhani [editor.]
- Lepistö, Arto [editor.]
- Zamboni, Luca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8079
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.
|
|
104.
|
Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran. by
- Leite, João [editor.]
- Son, Tran Cao [editor.]
- Torroni, Paolo [editor.]
- Torre, Leon van der [editor.]
- Woltran, Stefan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8143
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.
|
|
105.
|
Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by
- Gupta, Ashutosh [editor.]
- Henzinger, Thomas A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8130
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.
|
|
106.
|
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by
- Legay, Axel [editor.]
- Bensalem, Saddek [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8174
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.
|
|
107.
|
Computer Safety, Reliability, and Security [electronic resource] : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings / edited by Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche. by
- Bitsch, Friedemann [editor.]
- Guiochet, Jérémie [editor.]
- Kaâniche, Mohamed [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8153
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.
|
|
108.
|
Software Engineering for Resilient Systems [electronic resource] : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings / edited by Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko. by
- Gorbenko, Anatoliy [editor.]
- Romanovsky, Alexander [editor.]
- Kharchenko, Vyacheslav [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8166
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.
|
|
109.
|
Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings / edited by André Rauber Du Bois, Phil Trinder. by
- Bois, André Rauber Du [editor.]
- Trinder, Phil [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8129
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.
|
|
110.
|
Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes. by
- Pecheur, Charles [editor.]
- Dierkes, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8187
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.
|
|
111.
|
Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by
- Abdulla, Parosh Aziz [editor.]
- Potapov, Igor [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8169
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.
|
|
112.
|
Time and Petri Nets [electronic resource] / by Louchka Popova-Zeugmann. by
- Popova-Zeugmann, Louchka [author.]
- SpringerLink (Online service)
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.
|
|
113.
|
Environmental Software Systems. Fostering Information Sharing [electronic resource] : 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings / edited by Jiří Hřebíček, Gerald Schimak, Miroslav Kubásek, Andrea E. Rizzoli. by
- Hřebíček, Jiří [editor.]
- Schimak, Gerald [editor.]
- Kubásek, Miroslav [editor.]
- Rizzoli, Andrea E [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 413
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.
|
|
114.
|
Web Information Systems Engineering – WISE 2013 [electronic resource] : 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II / 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 ; 8181
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.
|
|
115.
|
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.
|
|
116.
|
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.
|
|
117.
|
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.
|
|
118.
|
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.
|
|
119.
|
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.
|
|
120.
|
|