|
|
|
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). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish.
by Gonthier, Georges [editor.] | Norrish, Michael [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Human-Computer Interaction. Advanced Interaction Modalities and Techniques [electronic resource] : 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II / edited by Masaaki Kurosu.
by Kurosu, Masaaki [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers / edited by Fabrizio Riguzzi, Filip Železn�y.
by Riguzzi, Fabrizio [editor.] | Železn�y, Filip [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Theory of Electroelasticity [electronic resource] / by Zhen-Bang Kuang.
by Kuang, Zhen-Bang [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Dependable Computing [electronic resource] : 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings / edited by Marco Vieira, Jo�ao Carlos Cunha.
by Vieira, Marco [editor.] | Cunha, Jo�ao Carlos [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Topology in Image Context [electronic resource] : 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings / edited by Alexandra Bac, Jean-Luc Mari.
by Bac, Alexandra [editor.] | Mari, Jean-Luc [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Image and Graphics [electronic resource] : 8th International Conference, ICIG 2015, Tianjin, China, August 13-16, 2015, Proceedings, Part III / edited by Yu-Jin Zhang.
by Zhang, Yu-Jin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Waśniewski.
by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Waśniewski, Jerzy [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Provable Security [electronic resource] : 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings / edited by Willy Susilo, Reza Reyhanitabar.
by Susilo, Willy [editor.] | Reyhanitabar, Reza [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Blogosphere and its Exploration [electronic resource] / by Christoph Meinel, Justus Bro�, Philipp Berger, Patrick Hennig.
by Meinel, Christoph [author.] | Bro�, Justus [author.] | Berger, Philipp [author.] | Hennig, Patrick [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
An Expedition to Continuum Theory [electronic resource] / by Wolfgang H. M�uller.
by M�uller, Wolfgang H [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Real-Time Manipulation of Video Streams [electronic resource] / by Jan Herling.
by Herling, Jan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Grammar [electronic resource] : 19th International Conference, FG 2014, T�ubingen, Germany, August 16-17, 2014. Proceedings / edited by Glyn Morrill, Reinhard Muskens, Rainer Osswald, Frank Richter.
by Morrill, Glyn [editor.] | Muskens, Reinhard [editor.] | Osswald, Rainer [editor.] | Richter, Frank [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Bras�ilia, Brazil, October 3 - 4, 2013. Proceedings / edited by Andr�e Rauber Du Bois, Phil Trinder.
by Bois, Andr�e Rauber Du [editor.] | Trinder, Phil [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Euro-Par 2013: Parallel Processing Workshops [electronic resource] : BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 26-27, 2013. Revised Selected Papers / edited by Dieter an Mey, Michael Alexander, Paolo Bientinesi, Mario Cannataro, Carsten Clauss, Alexandru Costan, Gabor Kecskemeti, Christine Morin, Laura Ricci, Julio Sahuquillo, Martin Schulz, Vittorio Scarano, Stephen L. Scott, Josef Weidendorfer.
by Mey, Dieter an [editor.] | Alexander, Michael [editor.] | Bientinesi, Paolo [editor.] | Cannataro, Mario [editor.] | Clauss, Carsten [editor.] | Costan, Alexandru [editor.] | Kecskemeti, Gabor [editor.] | Morin, Christine [editor.] | Ricci, Laura [editor.] | Sahuquillo, Julio [editor.] | Schulz, Martin [editor.] | Scarano, Vittorio [editor.] | Scott, Stephen L [editor.] | Weidendorfer, Josef [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Mobile and Ubiquitous Systems: Computing, Networking, and Services [electronic resource] : 10th International Conference, MOBIQUITOUS 2013, Tokyo, Japan, December 2-4, 2013, Revised Selected Papers / edited by Ivan Stojmenovic, Zixue Cheng, Song Guo.
by Stojmenovic, Ivan [editor.] | Cheng, Zixue [editor.] | Guo, Song [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Scientific Peer Reviewing [electronic resource] : Practical Hints and Best Practices / by Peter Spyns, Mar�ia-Esther Vidal.
by Spyns, Peter [author.] | Vidal, Mar�ia-Esther [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
The Influence of Technology on Social Network Analysis and Mining [electronic resource] / edited by Tansel �Ozyer, Jon Rokne, Gerhard Wagner, Arno H.P. Reuser.
by �Ozyer, Tansel [editor.] | Rokne, Jon [editor.] | Wagner, Gerhard [editor.] | Reuser, Arno H.P [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
ISSE 2013 Securing Electronic Business Processes [electronic resource] : Highlights of the Information Security Solutions Europe 2013 Conference / edited by Helmut Reimer, Norbert Pohlmann, Wolfgang Schneider.
by Reimer, Helmut [editor.] | Pohlmann, Norbert [editor.] | Schneider, Wolfgang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2013Online access: Click here to access online Availability: No items available
|
