Results
|
|
341.
|
Formal Methods: Foundations and Applications [electronic resource] : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings / edited by Juliano Iyoda, Leonardo de Moura. by
- Iyoda, Juliano [editor.]
- Moura, Leonardo de [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8195
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.
|
|
|
342.
|
Trustworthy Global Computing [electronic resource] : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers / edited by Catuscia Palamidessi, Mark D. Ryan. by
- Palamidessi, Catuscia [editor.]
- Ryan, Mark D [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8191
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.
|
|
|
343.
|
|
|
|
344.
|
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.
|
|
|
345.
|
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : Third International Conference, SPACE 2013, Kharagpur, India, October 19-23, 2013. Proceedings / edited by Benedikt Gierlichs, Sylvain Guilley, Debdeep Mukhopadhyay. by
- Gierlichs, Benedikt [editor.]
- Guilley, Sylvain [editor.]
- Mukhopadhyay, Debdeep [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8204
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.
|
|
|
346.
|
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.
|
|
|
347.
|
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.
|
|
|
348.
|
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.
|
|
|
349.
|
Secure IT Systems [electronic resource] : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings / edited by Hanne Riis Nielson, Dieter Gollmann. by
- Riis Nielson, Hanne [editor.]
- Gollmann, Dieter [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8208
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.
|
|
|
350.
|
Numerical Analysis and Its Applications [electronic resource] : 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov. by
- Dimov, Ivan [editor.]
- Faragó, István [editor.]
- Vulkov, Lubin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8236
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.
|
|
|
351.
|
|
|
|
352.
|
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.
|
|
|
353.
|
Testing Software and Systems [electronic resource] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich. by
- Yenigün, Hüsnü [editor.]
- Yilmaz, Cemal [editor.]
- Ulrich, Andreas [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8254
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.
|
|
|
354.
|
|
|
|
355.
|
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications [electronic resource] : 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013, Proceedings, Part II / edited by José Ruiz-Shulcloper, Gabriella Sanniti di Baja. by
- Ruiz-Shulcloper, José [editor.]
- Sanniti di Baja, Gabriella [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8259
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.
|
|
|
356.
|
Advances in Visual Computing [electronic resource] : 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II / edited by George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Baoxin Li, Fatih Porikli, Victor Zordan, James Klosowski, Sabine Coquillart, Xun Luo, Min Chen, David Gotz. by
- Bebis, George [editor.]
- Boyle, Richard [editor.]
- Parvin, Bahram [editor.]
- Koracin, Darko [editor.]
- Li, Baoxin [editor.]
- Porikli, Fatih [editor.]
- Zordan, Victor [editor.]
- Klosowski, James [editor.]
- Coquillart, Sabine [editor.]
- Luo, Xun [editor.]
- Chen, Min [editor.]
- Gotz, David [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8034
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.
|
|
|
357.
|
Time-of-Flight and Depth Imaging. Sensors, Algorithms, and Applications [electronic resource] : Dagstuhl 2012 Seminar on Time-of-Flight Imaging and GCPR 2013 Workshop on Imaging New Modalities / edited by Marcin Grzegorzek, Christian Theobalt, Reinhard Koch, Andreas Kolb. by
- Grzegorzek, Marcin [editor.]
- Theobalt, Christian [editor.]
- Koch, Reinhard [editor.]
- Kolb, Andreas [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8200
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.
|
|
|
358.
|
Learning and Intelligent Optimization [electronic resource] : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers / edited by Giuseppe Nicosia, Panos Pardalos. by
- Nicosia, Giuseppe [editor.]
- Pardalos, Panos [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7997
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.
|
|
|
359.
|
Advances in Soft Computing and Its Applications [electronic resource] : 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part II / edited by Félix Castro, Alexander Gelbukh, Miguel González. by
- Castro, Félix [editor.]
- Gelbukh, Alexander [editor.]
- González, Miguel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8266
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.
|
|
|
360.
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XI [electronic resource] : Special Issue on Advanced Data Stream Management and Continuous Query Processing / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Bernd Amann, Philippe Lamarre. by
- Hameurlain, Abdelkader [editor.]
- Küng, Josef [editor.]
- Wagner, Roland [editor.]
- Amann, Bernd [editor.]
- Lamarre, Philippe [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8290
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.
|
