Refine your search

Your search returned 372 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
221.
Advances in Service-Oriented and Cloud Computing [electronic resource] : Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers / edited by Carlos Canal, Massimo Villari. by
  • Canal, Carlos [editor.]
  • Villari, Massimo [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 393
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
222.
Enterprise Information Systems [electronic resource] : 14th International Conference, ICEIS 2012, Wroclaw, Poland, June 28 - July 1, 2012, Revised Selected Papers / edited by José Cordeiro, Leszek A. Maciaszek, Joaquim Filipe. by
  • Cordeiro, José [editor.]
  • Maciaszek, Leszek A [editor.]
  • Filipe, Joaquim [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 141
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
223.
Finding Source Code on the Web for Remix and Reuse [electronic resource] / edited by Susan Elliott Sim, Rosalva E. Gallardo-Valencia. by
  • Sim, Susan Elliott [editor.]
  • Gallardo-Valencia, Rosalva E [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
224.
Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh. by
  • Singh, Neeraj Kumar [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
225.
Trends in Mobile Web Information Systems [electronic resource] : MobiWIS 2013 International Workshops, Paphos, Cyprus, August 26-28, 2013, Revised Selected Papers / edited by Maristella Matera, Gustavo Rossi. by
  • Matera, Maristella [editor.]
  • Rossi, Gustavo [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 183
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
226.
Concurrent Programming: Algorithms, Principles, and Foundations [electronic resource] : Algorithms, Principles, and Foundations / by Michel Raynal. by
  • Raynal, Michel [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
227.
'Archaeologizing' Heritage? [electronic resource] : Transcultural Entanglements between Local Social Practices and Global Virtual Realities / edited by Michael Falser, Monica Juneja. by
  • Falser, Michael [editor.]
  • Juneja, Monica [editor.]
  • SpringerLink (Online service)
Series: Transcultural Research – Heidelberg Studies on Asia and Europe in a Global Context
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
228.
Enterprise Interoperability [electronic resource] : 5th International IFIP Working Conference, IWEI 2013, Enschede, The Netherlands, March 27-28, 2013. Proceedings / edited by Marten van Sinderen, Paul Oude Luttighuis, Erwin Folmer, Steven Bosems. by
  • Sinderen, Marten van [editor.]
  • Oude Luttighuis, Paul [editor.]
  • Folmer, Erwin [editor.]
  • Bosems, Steven [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 144
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
229.
Aliasing in Object-Oriented Programming. Types, Analysis and Verification [electronic resource] / edited by Dave Clarke, James Noble, Tobias Wrigstad. by
  • Clarke, Dave [editor.]
  • Noble, James [editor.]
  • Wrigstad, Tobias [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7850
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
230.
Information Systems: Development, Learning, Security [electronic resource] : 6th SIGSAND/PLAIS EuroSymposium 2013, Gdańsk, Poland, September 26, 2013. Proceedings / edited by Stanisław Wrycza. by
  • Wrycza, Stanisław [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 161
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
231.
Personal Satellite Services [electronic resource] : 4th International ICST Conference, PSATS 2012, Bradford, UK, March 22-23, 2012. Revised Selected Papers / edited by Prashant Pillai, Rajeev Shorey, Erina Ferro. by
  • Pillai, Prashant [editor.]
  • Shorey, Rajeev [editor.]
  • Ferro, Erina [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 52
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
232.
Data-Intensive Computing : Architectures, Algorithms, and Applications / edited by Ian Gorton, Deborah K. Gracio. by
  • Gorton, Ian [editor.]
  • Gracio, Deborah K [editor.]
Material type: Text Text; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Online access:
Availability: No items available.

Add to cart
233.
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki. by
  • Motomura, Yoichi [editor.]
  • Butler, Alastair [editor.]
  • Bekki, Daisuke [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7856
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
234.
Advances in Digital Forensics IX [electronic resource] : 9th IFIP WG 11.9 International Conference on Digital Forensics, Orlando, FL, USA, January 28-30, 2013, Revised Selected Papers / edited by Gilbert Peterson, Sujeet Shenoi. by
  • Peterson, Gilbert [editor.]
  • Shenoi, Sujeet [editor.]
  • SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 410
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
235.
Fundamentals of Business Process Management [electronic resource] / by Marlon Dumas, Marcello La Rosa, Jan Mendling, Hajo A. Reijers. by
  • Dumas, Marlon [author.]
  • La Rosa, Marcello [author.]
  • Mendling, Jan [author.]
  • Reijers, Hajo A [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
236.
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by
  • Johnsen, Einar Broch [editor.]
  • Petre, Luigia [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7940
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
237.
Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller. by
  • Dueck, Gerhard W [editor.]
  • Miller, D. Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7948
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
238.
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by
  • Piterman, Nir [editor.]
  • Smolka, Scott A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7795
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
239.
Information Systems: Methods, Models, and Applications [electronic resource] : 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers / edited by Heinrich C. Mayr, Christian Kop, Stephen Liddle, Athula Ginige. by
  • Mayr, Heinrich C [editor.]
  • Kop, Christian [editor.]
  • Liddle, Stephen [editor.]
  • Ginige, Athula [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 137
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
240.
User-Level Workflow Design [electronic resource] : A Bioinformatics Perspective / edited by Anna-Lena Lamprecht. by
  • Lamprecht, Anna-Lena [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8311
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
Pages