|
|
|
Data Management in Grid and Peer-to-Peer Systems [electronic resource] : First International Conference, Globe 2008, Turin, Italy, September 3, 2008, Proceedings / edited by Abdelkader Hameurlain.
by Hameurlain, Abdelkader [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Fun with Algorithms [electronic resource] : 5th International Conference, FUN 2010, Ischia, Italy, June 2-4, 2010, Proceedings / edited by Paolo Boldi, Luisa Gargano.
by Boldi, Paolo [editor.] | Gargano, Luisa [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Andrew Gordon.
by Gordon, Andrew [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
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). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Categories and Types in Logic, Language, and Physics [electronic resource] : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday / edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott.
by Casadio, Claudia [editor.] | Coecke, Bob [editor.] | Moortgat, Michael [editor.] | Scott, Philip [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Transactions on High-Performance Embedded Architectures and Compilers III [electronic resource] / edited by Per Stenström.
by Stenström, Per [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II / edited by Axel Legay, Tiziana Margaria.
by Legay, Axel [editor.] | Margaria, Tiziana [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Knowledge Processing and Data Analysis [electronic resource] : First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007,and First International Conference, KPP 2007, Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers / edited by Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko, Urs Andelfinger.
by Wolff, Karl Erich [editor.] | Palchunov, Dmitry E [editor.] | Zagoruiko, Nikolay G [editor.] | Andelfinger, Urs [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Integer Programming and Combinatorial Optimization [electronic resource] : 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings / edited by Matteo Fischetti, David P. Williamson.
by Fischetti, Matteo [editor.] | Williamson, David P [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 12th International Conference, ACIVS 2010, Sydney, Australia, December 13-16, 2010, Proceedings, Part II / edited by Jacques Blanc-Talon, Don Bone, Wilfried Philips, Dan Popescu, Paul Scheunders.
by Blanc-Talon, Jacques [editor.] | Bone, Don [editor.] | Philips, Wilfried [editor.] | Popescu, Dan [editor.] | Scheunders, Paul [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
High Performance Computing [electronic resource] : ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers / edited by Michela Taufer, Bernd Mohr, Julian M. Kunkel.
by Taufer, Michela [editor.] | Mohr, Bernd [editor.] | Kunkel, Julian M [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Fundamentals of Software Engineering [electronic resource] : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani.
by Arbab, Farhad [editor.] | Sirjani, Marjan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Performance Engineering [electronic resource] : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings / edited by Philipp Reinecke, Antinisca Di Marco.
by Reinecke, Philipp [editor.] | Di Marco, Antinisca [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Cellular Automata and Discrete Complex Systems [electronic resource] : 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings / edited by Jarkko Kari, Martin Kutrib, Andreas Malcher.
by Kari, Jarkko [editor.] | Kutrib, Martin [editor.] | Malcher, Andreas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
Controlled Natural Language [electronic resource] : 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings / edited by Brian Davis, Kaarel Kaljurand, Tobias Kuhn.
by Davis, Brian [editor.] | Kaljurand, Kaarel [editor.] | Kuhn, Tobias [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings / edited by Jan Kratochvil, Angsheng Li, Jiri Fiala, Petr Kolman.
by Kratochvil, Jan [editor.] | Li, Angsheng [editor.] | Fiala, Jiri [editor.] | Kolman, Petr [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Cryptology -- ASIACRYPT 2013 [electronic resource] : 19th International Conference on the Theory and Application of Cryptology and Information, Bengaluru, India, December 1-5, 2013, Proceedings, Part II / edited by Kazue Sako, Palash Sarkar.
by Sako, Kazue [editor.] | Sarkar, Palash [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial 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
|
|
|
|
SDL 2005: Model Driven [electronic resource] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings / edited by Andreas Prinz, Rick Reed, Jeanne Reed.
by Prinz, Andreas [editor.] | Reed, Rick [editor.] | Reed, Jeanne [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Theory of Cryptography [electronic resource] : 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011, Proceedings / edited by Yuval Ishai.
by Ishai, Yuval [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Model-Based Safety and Assessment [electronic resource] : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings / edited by Frank Ortmeier, Antoine Rauzy.
by Ortmeier, Frank [editor.] | Rauzy, Antoine [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
