Results
|
|
1061.
|
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann. by
- Beek, Maurice H. ter [editor.]
- Lohmann, Niels [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7843
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.
|
|
|
1062.
|
Algorithms and Complexity [electronic resource] : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings / edited by Paul G. Spirakis, Maria Serna. by
- Spirakis, Paul G [editor.]
- Serna, Maria [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7878
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.
|
|
|
1063.
|
Theory and Applications of Models of Computation [electronic resource] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan. by
- Chan, T-H. Hubert [editor.]
- Lau, Lap Chi [editor.]
- Trevisan, Luca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7876
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.
|
|
|
1064.
|
Computer Vision, Imaging and Computer Graphics. Theory and Application [electronic resource] : 7th International Joint Conference, VISIGRAPP 2012, Rome, Italy, February 24-26, 2012, Revised Selected Papers / edited by Gabriela Csurka, Martin Kraus, Robert S. Laramee, Paul Richard, José Braz. by
- Csurka, Gabriela [editor.]
- Kraus, Martin [editor.]
- Laramee, Robert S [editor.]
- Richard, Paul [editor.]
- Braz, José [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 359
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.
|
|
|
1065.
|
|
|
|
1066.
|
Optical Supercomputing [electronic resource] : 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean. by
- Dolev, Shlomi [editor.]
- Oltean, Mihai [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7715
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.
|
|
|
1067.
|
Biomedical Engineering Systems and Technologies [electronic resource] : 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers / edited by Joaquim Gabriel, Jan Schier, Sabine Van Huffel, Emmanuel Conchon, Carlos Correia, Ana Fred, Hugo Gamboa. by
- Gabriel, Joaquim [editor.]
- Schier, Jan [editor.]
- Huffel, Sabine Van [editor.]
- Conchon, Emmanuel [editor.]
- Correia, Carlos [editor.]
- Fred, Ana [editor.]
- Gamboa, Hugo [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 357
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.
|
|
|
1068.
|
Scale Space and Variational Methods in Computer Vision [electronic resource] : 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings / edited by Arjan Kuijper, Kristian Bredies, Thomas Pock, Horst Bischof. by
- Kuijper, Arjan [editor.]
- Bredies, Kristian [editor.]
- Pock, Thomas [editor.]
- Bischof, Horst [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7893
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.
|
|
|
1069.
|
Modeling and Simulation in Engineering, Economics, and Management [electronic resource] : International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings / edited by María Ángeles Fernández-Izquierdo, María Jesús Muñoz-Torres, Raúl León. by
- Fernández-Izquierdo, María Ángeles [editor.]
- Muñoz-Torres, María Jesús [editor.]
- León, Raúl [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 145
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.
|
|
|
1070.
|
The Semantic Web: Semantics and Big Data [electronic resource] : 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings / edited by Philipp Cimiano, Oscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph. by
- Cimiano, Philipp [editor.]
- Corcho, Oscar [editor.]
- Presutti, Valentina [editor.]
- Hollink, Laura [editor.]
- Rudolph, Sebastian [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7882
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.
|
|
|
1071.
|
Mathematical Morphology and Its Applications to Signal and Image Processing [electronic resource] : 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings / edited by Cris L. Luengo Hendriks, Gunilla Borgefors, Robin Strand. by
- Hendriks, Cris L. Luengo [editor.]
- Borgefors, Gunilla [editor.]
- Strand, Robin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7883
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.
|
|
|
1072.
|
|
|
|
1073.
|
Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings / edited by Hubert Baumeister, Barbara Weber. by
- Baumeister, Hubert [editor.]
- Weber, Barbara [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 149
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.
|
|
|
1074.
|
Formal Concept Analysis [electronic resource] : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings / edited by Peggy Cellier, Felix Distel, Bernhard Ganter. by
- Cellier, Peggy [editor.]
- Distel, Felix [editor.]
- Ganter, Bernhard [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7880
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.
|
|
|
1075.
|
Trust Management VII [electronic resource] : 7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013. Proceedings / edited by Carmen Fernández-Gago, Fabio Martinelli, Siani Pearson, Isaac Agudo. by
- Fernández-Gago, Carmen [editor.]
- Martinelli, Fabio [editor.]
- Pearson, Siani [editor.]
- Agudo, Isaac [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 401
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.
|
|
|
1076.
|
Artificial Intelligence in Medicine [electronic resource] : 14th Conference on Artificial Intelligence in Medicine, AIME 2013, Murcia, Spain, May 29 – June 1, 2013. Proceedings / edited by Niels Peek, Roque Marín Morales, Mor Peleg. by
- Peek, Niels [editor.]
- Marín Morales, Roque [editor.]
- Peleg, Mor [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7885
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.
|
|
|
1077.
|
Web Information Systems Engineering – WISE 2011 and 2012 Workshops [electronic resource] : Combined WISE 2011 and WISE 2012 Workshops, Sydney Australia, October 12-14, 2011 and Paphos, Cyprus, November 28-30, 2012, Revised Selected Papers / edited by Armin Haller, Guangyan Huang, Zhisheng Huang, Hye-young Paik, Quan Z. Sheng. by
- Haller, Armin [editor.]
- Huang, Guangyan [editor.]
- Huang, Zhisheng [editor.]
- Paik, Hye-young [editor.]
- Sheng, Quan Z [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7652
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.
|
|
|
1078.
|
Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers / edited by Leif E. Peterson, Francesco Masulli, Giuseppe Russo. by
- Peterson, Leif E [editor.]
- Masulli, Francesco [editor.]
- Russo, Giuseppe [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7845
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.
|
|
|
1079.
|
|
|
|
1080.
|
Information Systems: Methods, Models, and Applications [electronic resource] : 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers / edited by Heinrich C. Mayr, Christian Kop, Stephen Liddle, Athula Ginige. by
- Mayr, Heinrich C [editor.]
- Kop, Christian [editor.]
- Liddle, Stephen [editor.]
- Ginige, Athula [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 137
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.
|
