|
|
8841.
|
Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings / edited by Gwen Salaün, Bernhard Schätz.
by Salaün, Gwen [editor.] | Schätz, Bernhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8842.
|
Web Information System Engineering – WISE 2011 [electronic resource] : 12th International Conference, Sydney, Australia, October 13-14, 2011. Proceedings / edited by Athman Bouguettaya, Manfred Hauswirth, Ling Liu.
by Bouguettaya, Athman [editor.] | Hauswirth, Manfred [editor.] | Liu, Ling [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8843.
|
Model and Data Engineering [electronic resource] : First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings / edited by Ladjel Bellatreche, Filipe Mota Pinto.
by Bellatreche, Ladjel [editor.] | Mota Pinto, Filipe [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8844.
|
Multimodal Brain Image Analysis [electronic resource] : First International Workshop, MBIA 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings / edited by Tianming Liu, Dinggang Shen, Luis Ibanez, Xiaodong Tao.
by Liu, Tianming [editor.] | Shen, Dinggang [editor.] | Ibanez, Luis [editor.] | Tao, Xiaodong [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8845.
|
Recent Advances in the Message Passing Interface [electronic resource] : 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings / edited by Yiannis Cotronis, Anthony Danalis, Dimitrios S. Nikolopoulos, Jack Dongarra.
by Cotronis, Yiannis [editor.] | Danalis, Anthony [editor.] | Nikolopoulos, Dimitrios S [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8846.
|
Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / edited by Sven-Bodo Scholz, Olaf Chitil.
by Scholz, Sven-Bodo [editor.] | Chitil, Olaf [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8847.
|
KI 2011: Advances in Artificial Intelligence [electronic resource] : 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings / edited by Joscha Bach, Stefan Edelkamp.
by Bach, Joscha [editor.] | Edelkamp, Stefan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8848.
|
Research and Advanced Technology for Digital Libraries [electronic resource] : International Conference on Theory and Practice of Digital Libraries, TPDL 2011, Berlin, Germany, September 26-28, 2011. Proceedings / edited by Stefan Gradmann, Francesca Borri, Carlo Meghini, Heiko Schuldt.
by Gradmann, Stefan [editor.] | Borri, Francesca [editor.] | Meghini, Carlo [editor.] | Schuldt, Heiko [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8849.
|
Similarity-Based Pattern Recognition [electronic resource] : First International Workshop, SIMBAD 2011, Venice, Italy, September 28-30, 2011. Proceedings / edited by Marcello Pelillo, Edwin R. Hancock.
by Pelillo, Marcello [editor.] | Hancock, Edwin R [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8850.
|
Discovery Science [electronic resource] : 14th International Conference, DS 2011, Espoo, Finland, October 5-7, 2011. Proceedings / edited by Tapio Elomaa, Jaakko Hollmén, Heikki Mannila.
by Elomaa, Tapio [editor.] | Hollmén, Jaakko [editor.] | Mannila, Heikki [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8851.
|
Model Driven Engineering Languages and Systems [electronic resource] : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings / edited by Jon Whittle, Tony Clark, Thomas Kühne.
by Whittle, Jon [editor.] | Clark, Tony [editor.] | Kühne, Thomas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8852.
|
Entertainment Computing – ICEC 2011 [electronic resource] : 10th International Conference, ICEC 2011, Vancouver, Canada, October 5-8, 2011. Proceedings / edited by Junia Coutinho Anacleto, Sidney Fels, Nicholas Graham, Bill Kapralos, Magy Saif El-Nasr, Kevin Stanley.
by Anacleto, Junia Coutinho [editor.] | Fels, Sidney [editor.] | Graham, Nicholas [editor.] | Kapralos, Bill [editor.] | Saif El-Nasr, Magy [editor.] | Stanley, Kevin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8853.
|
Musical Creativity [electronic resource] : Strategies and Tools in Composition and Improvisation / by Guerino Mazzola, Joomi Park, Florian Thalmann.
by Mazzola, Guerino [author.] | Park, Joomi [author.] | Thalmann, Florian [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8854.
|
Dependable and Historic Computing [electronic resource] : Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday / edited by Cliff B. Jones, John L. Lloyd.
by Jones, Cliff B [editor.] | Lloyd, John L [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8855.
|
Economics of Converged, Internet-Based Networks [electronic resource] : 7th International Workshop on Internet Charging and QoS Technologies, ICQT 2011, Paris, France, October 24, 2011. Proceedings / edited by Johanne Cohen, Patrick Maillé, Burkhard Stiller.
by Cohen, Johanne [editor.] | Maillé, Patrick [editor.] | Stiller, Burkhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8856.
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings / edited by Xavier Défago, Franck Petit, Vincent Villain.
by Défago, Xavier [editor.] | Petit, Franck [editor.] | Villain, Vincent [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8857.
|
Transactions on Data Hiding and Multimedia Security VI [electronic resource] / edited by Yun Q. Shi, Sabu Emmanuel, Mohan S. Kankanhalli, Shih-Fu Chang, Regunathan Radhakrishnan, Fulong Ma, Li Zhao.
by Shi, Yun Q [editor.] | Emmanuel, Sabu [editor.] | Kankanhalli, Mohan S [editor.] | Chang, Shih-Fu [editor.] | Radhakrishnan, Regunathan [editor.] | Ma, Fulong [editor.] | Zhao, Li [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8858.
|
Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu.
by Qin, Shengchao [editor.] | Qiu, Zongyan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8859.
|
Transactions on High-Performance Embedded Architectures and Compilers IV [electronic resource] / edited by Per Stenström.
by Stenström, Per [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
8860.
|
Affective Computing and Intelligent Interaction [electronic resource] : Fourth International Conference, ACII 2011, Memphis, TN, USA, October 9–12, 2011, Proceedings, Part II / edited by Sidney D’Mello, Arthur Graesser, Björn Schuller, Jean-Claude Martin.
by D’Mello, Sidney [editor.] | Graesser, Arthur [editor.] | Schuller, Björn [editor.] | Martin, Jean-Claude [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
