Your search returned 8707 results. Subscribe to this search

|
Computer and Computing Technologies in Agriculture VII [electronic resource] : 7th IFIP WG 5.14 International Conference, CCTA 2013, Beijing, China, September 18-20, 2013, Revised Selected Papers, Part I / edited by Daoliang Li, Yingyi Chen.

by Li, Daoliang [editor.] | Chen, Yingyi [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

SDL 2013: Model-Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed.

by Khendek, Ferhat [editor.] | Toeroe, Maria [editor.] | Gherbi, Abdelouahed [editor.] | Reed, Rick [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Semantics, Logics, and Calculi [electronic resource] : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / edited by Christian W. Probst, Chris Hankin, Ren�e Rydhof Hansen.

by Probst, Christian W [editor.] | Hankin, Chris [editor.] | Hansen, Ren�e Rydhof [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Asia Pacific Business Process Management [electronic resource] : Third Asia Pacific Conference, AP-BPM 2015, Busan, South Korea, June 24-26, 2015, Proceedings / edited by Joonsoo Bae, Suriadi Suriadi, Lijie Wen.

by Bae, Joonsoo [editor.] | Suriadi, Suriadi [editor.] | Wen, Lijie [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Mobile and Wireless Technology 2015 [electronic resource] / edited by Kuinam J. Kim, Naruemon Wattanapongsakorn.

by Kim, Kuinam J [editor.] | Wattanapongsakorn, Naruemon [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

On the Move to Meaningful Internet Systems: OTM 2014 Workshops [electronic resource] : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings / edited by Robert Meersman, Herv�e Panetto, Alok Mishra, Rafael Valencia-Garc�ia, Ant�onio Lucas Soares, Ioana Ciuciu, Fernando Ferri, Georg Weichhart, Thomas Moser, Michele Bezzi, Henry Chan.

by Meersman, Robert [editor.] | Panetto, Herv�e [editor.] | Mishra, Alok [editor.] | Valencia-Garc�ia, Rafael [editor.] | Soares, Ant�onio Lucas [editor.] | Ciuciu, Ioana [editor.] | Ferri, Fernando [editor.] | Weichhart, Georg [editor.] | Moser, Thomas [editor.] | Bezzi, Michele [editor.] | Chan, Henry [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Computer Engineering and Technology [electronic resource] : 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Chengyi Zhang, Jinwen Li, Liyan Yu.

by Xu, Weixia [editor.] | Xiao, Liquan [editor.] | Zhang, Chengyi [editor.] | Li, Jinwen [editor.] | Yu, Liyan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Web Information Systems and Technologies [electronic resource] : 9th International Conference, WEBIST 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers / edited by Karl-Heinz Krempels, Alexander Stocker.

by Krempels, Karl-Heinz [editor.] | Stocker, Alexander [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Service-Oriented Computing - ICSOC 2015 Workshops [electronic resource] : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers / edited by Alex Norta, Walid Gaaloul, G. R. Gangadharan, Hoa Khanh Dam.

by Norta, Alex [editor.] | Gaaloul, Walid [editor.] | Gangadharan, G. R [editor.] | Dam, Hoa Khanh [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Combinatorics on Words [electronic resource] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / edited by Florin Manea, Dirk Nowotka.

by Manea, Florin [editor.] | Nowotka, Dirk [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Theoretical Aspects of Computing - ICTAC 2014 [electronic resource] : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings / edited by Gabriel Ciobanu, Dominique M�ery.

by Ciobanu, Gabriel [editor.] | M�ery, Dominique [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Testing Software and Systems [electronic resource] : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings / edited by Mercedes G. Merayo, Edgardo Montes de Oca.

by Merayo, Mercedes G [editor.] | Oca, Edgardo Montes de [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online 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 Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Practical Biometrics [electronic resource] : From Aspiration to Implementation / by Julian Ashbourn.

by Ashbourn, Julian [author.] | SpringerLink (Online service).

Edition: 2nd ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Software Process Improvement and Capability Determination [electronic resource] : 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings / edited by Paul M. Clarke, Rory V. O'Connor, Terry Rout, Alec Dorling.

by Clarke, Paul M [editor.] | O'Connor, Rory V [editor.] | Rout, Terry [editor.] | Dorling, Alec [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Electronic Participation [electronic resource] : 7th IFIP 8.5 International Conference, ePart 2015, Thessaloniki, Greece, August 30 -- September 2, 2015, Proceedings / edited by Efthimios Tambouris, Panos Panagiotopoulos, �ystein S�b�, Konstantinos Tarabanis, Maria A. Wimmer, Michela Milano, Theresa Pardo.

by Tambouris, Efthimios [editor.] | Panagiotopoulos, Panos [editor.] | S�b�, �ystein [editor.] | Tarabanis, Konstantinos [editor.] | Wimmer, Maria A [editor.] | Milano, Michela [editor.] | Pardo, Theresa [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Euro-Par 2014: Parallel Processing Workshops [electronic resource] : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II / edited by Lu�is Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, Jos�e Gracia, Sascha Hunold, Stephen L. Scott, Stefan Lankes, Christian Lengauer, Jes�us Carretero, Jens Breitbart, Michael Alexander.

by Lopes, Lu�is [editor.] | Žilinskas, Julius [editor.] | Costan, Alexandru [editor.] | Cascella, Roberto G [editor.] | Kecskemeti, Gabor [editor.] | Jeannot, Emmanuel [editor.] | Cannataro, Mario [editor.] | Ricci, Laura [editor.] | Benkner, Siegfried [editor.] | Petit, Salvador [editor.] | Scarano, Vittorio [editor.] | Gracia, Jos�e [editor.] | Hunold, Sascha [editor.] | Scott, Stephen L [editor.] | Lankes, Stefan [editor.] | Lengauer, Christian [editor.] | Carretero, Jes�us [editor.] | Breitbart, Jens [editor.] | Alexander, Michael [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

The Design of Requirements Modelling Languages [electronic resource] : How to Make Formalisms for Problem Solving in Requirements Engineering / by Ivan Jureta.

by Jureta, Ivan [author.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by V�ictor Braberman, Laurent Fribourg.

by Braberman, V�ictor [editor.] | Fribourg, Laurent [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available