Results
|
|
421.
|
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.
|
|
|
422.
|
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.
|
|
|
423.
|
|
|
|
424.
|
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.
|
|
|
425.
|
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.
|
|
|
426.
|
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.
|
|
|
427.
|
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.
|
|
|
428.
|
Wired/Wireless Internet Communication [electronic resource] : 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings / edited by Vassilis Tsaoussidis, Andreas J. Kassler, Yevgeni Koucheryavy, Abdelhamid Mellouk. by
- Tsaoussidis, Vassilis [editor.]
- Kassler, Andreas J [editor.]
- Koucheryavy, Yevgeni [editor.]
- Mellouk, Abdelhamid [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7889
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.
|
|
|
429.
|
Next Generation of Information Technology in Educational Management [electronic resource] : 10th IFIP WG 3.7 Conference, ITEM 2012, Bremen, Germany, August 5-8, 2012, Revised Selected Papers / edited by Don Passey, Andreas Breiter, Adrie Visscher. by
- Passey, Don [editor.]
- Breiter, Andreas [editor.]
- Visscher, Adrie [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 400
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.
|
|
|
430.
|
Advances in Artificial Intelligence [electronic resource] : 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013. Proceedings / edited by Osmar R. Zaïane, Sandra Zilles. by
- Zaïane, Osmar R [editor.]
- Zilles, Sandra [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7884
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.
|
|
|
431.
|
Coordination Models and Languages [electronic resource] : 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Rocco De Nicola, Christine Julien. by
- Nicola, Rocco De [editor.]
- Julien, Christine [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7890
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.
|
|
|
432.
|
|
|
|
433.
|
Hybrid Metaheuristics [electronic resource] : 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings / edited by María J. Blesa, Christian Blum, Paola Festa, Andrea Roli, Michael Sampels. by
- Blesa, María J [editor.]
- Blum, Christian [editor.]
- Festa, Paola [editor.]
- Roli, Andrea [editor.]
- Sampels, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7919
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.
|
|
|
434.
|
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems [electronic resource] : 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings / edited by Lorenzo Cavallaro, Dieter Gollmann. by
- Cavallaro, Lorenzo [editor.]
- Gollmann, Dieter [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7886
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.
|
|
|
435.
|
Computer Science – Theory and Applications [electronic resource] : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings / edited by Andrei A. Bulatov, Arseny M. Shur. by
- Bulatov, Andrei A [editor.]
- Shur, Arseny M [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7913
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.
|
|
|
436.
|
Progress in Cryptology – AFRICACRYPT 2013 [electronic resource] : 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013. Proceedings / edited by Amr Youssef, Abderrahmane Nitaj, Aboul Ella Hassanien. by
- Youssef, Amr [editor.]
- Nitaj, Abderrahmane [editor.]
- Hassanien, Aboul Ella [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7918
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.
|
|
|
437.
|
Multimedia Communications, Services and Security [electronic resource] : 6th International Conference, MCSS 2013, Krakow, Poland, June 6-7, 2013. Proceedings / edited by Andrzej Dziech, Andrzej Czyżewski. by
- Dziech, Andrzej [editor.]
- Czyżewski, Andrzej [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 368
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.
|
|
|
438.
|
Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale. by
- Beyer, Dirk [editor.]
- Boreale, Michele [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7892
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.
|
|
|
439.
|
Reliable Software Technologies – Ada-Europe 2013 [electronic resource] : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk. by
- Keller, Hubert B [editor.]
- Plödereder, Erhard [editor.]
- Dencker, Peter [editor.]
- Klenk, Herbert [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7896
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.
|
|
|
440.
|
|
