Results
|
|
1721.
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by Víctor Braberman, Laurent Fribourg. by
- Braberman, Víctor [editor.]
- Fribourg, Laurent [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8053
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.
|
|
|
1722.
|
Database Systems for Advanced Applications [electronic resource] : 18th International Conference, DASFAA 2013, International Workshops: BDMA, SNSM, SeCoP, Wuhan, China, April 22-25, 2013. Proceedings / edited by Bonghee Hong, Xiaofeng Meng, Lei Chen, Werner Winiwarter, Wei Song. by
- Hong, Bonghee [editor.]
- Meng, Xiaofeng [editor.]
- Chen, Lei [editor.]
- Winiwarter, Werner [editor.]
- Song, Wei [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7827
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.
|
|
|
1723.
|
Internet of Things, Smart Spaces, and Next Generation Networking [electronic resource] : 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings / edited by Sergey Balandin, Sergey Andreev, Yevgeni Koucheryavy. by
- Balandin, Sergey [editor.]
- Andreev, Sergey [editor.]
- Koucheryavy, Yevgeni [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8121
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.
|
|
|
1724.
|
|
|
|
1725.
|
Electronic Participation [electronic resource] : 5th IFIP WG 8.5 International Conference, ePart 2013, Koblenz, Germany, September 17-19, 2013. Proceedings / edited by Maria A. Wimmer, Efthimios Tambouris, Ann Macintosh. by
- Wimmer, Maria A [editor.]
- Tambouris, Efthimios [editor.]
- Macintosh, Ann [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8075
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.
|
|
|
1726.
|
|
|
|
1727.
|
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.
|
|
|
1728.
|
|
|
|
1729.
|
|
|
|
1730.
|
|
|
|
1731.
|
|
|
|
1732.
|
|
|
|
1733.
|
Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue. by
- Giachino, Elena [editor.]
- Hähnle, Reiner [editor.]
- Boer, Frank S. de [editor.]
- Bonsangue, Marcello M [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7866
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.
|
|
|
1734.
|
|
|
|
1735.
|
Progress in Artificial Intelligence [electronic resource] : 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings / edited by Luís Correia, Luís Paulo Reis, José Cascalho. by
- Correia, Luís [editor.]
- Reis, Luís Paulo [editor.]
- Cascalho, José [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8154
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.
|
|
|
1736.
|
|
|
|
1737.
|
|
|
|
1738.
|
Communications and Multimedia Security [electronic resource] : 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. Proceedings / edited by Bart De Decker, Jana Dittmann, Christian Kraetzer, Claus Vielhauer. by
- Decker, Bart De [editor.]
- Dittmann, Jana [editor.]
- Kraetzer, Christian [editor.]
- Vielhauer, Claus [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8099
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.
|
|
|
1739.
|
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.
|
|
|
1740.
|
|
