Refine your search

Your search returned 784 results.

Not what you expected? Check for suggestions
Sort
Results
401.
Computer-Supported Collaborative Learning at the Workplace [electronic resource] : CSCL@Work / edited by Sean P. Goggins, Isa Jahnke, Volker Wulf. by
  • Goggins, Sean P [editor.]
  • Jahnke, Isa [editor.]
  • Wulf, Volker [editor.]
  • SpringerLink (Online service)
Series: Computer-Supported Collaborative Learning Series ; 14
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2013
Availability: No items available.

402.
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by
  • Brat, Guillaume [editor.]
  • Rungta, Neha [editor.]
  • Venet, Arnaud [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7871
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
Availability: No items available.

403.
Digital Forensics and Watermaking [electronic resource] : 11th International Workshop, IWDW 2012, Shanghai, China, October 31 – November 3, 2012, Revised Selected Papers / edited by Yun Q. Shi, Hyoung-Joong Kim, Fernando Pérez-González. by
  • Shi, Yun Q [editor.]
  • Kim, Hyoung-Joong [editor.]
  • Pérez-González, Fernando [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7809
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
Availability: No items available.

404.
Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes. by
  • Pecheur, Charles [editor.]
  • Dierkes, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8187
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
Availability: No items available.

405.
Understanding Petri Nets [electronic resource] : Modeling Techniques, Analysis Methods, Case Studies / by Wolfgang Reisig. by
  • Reisig, Wolfgang [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
Availability: No items available.

406.
Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by
  • Abdulla, Parosh Aziz [editor.]
  • Potapov, Igor [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8169
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
Availability: No items available.

407.
Network Geeks [electronic resource] : How They Built the Internet / by Brian E. Carpenter. by
  • Carpenter, Brian E [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: Copernicus, 2013
Availability: No items available.

408.
Countering Brandjacking in the Digital Age [electronic resource] : … and Other Hidden Risks to Your Brand / by Christopher Hofman, Simeon Keates. by
  • Hofman, Christopher [author.]
  • Keates, Simeon [author.]
  • SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

409.
Introduction to the Theory of Quantum Information Processing [electronic resource] / by János A. Bergou, Mark Hillery. by
  • Bergou, János A [author.]
  • Hillery, Mark [author.]
  • SpringerLink (Online service)
Series: Graduate Texts in Physics
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
Availability: No items available.

410.
Future Information Communication Technology and Applications [electronic resource] : ICFICE 2013 / edited by Hoe-Kyung Jung, Jung Tae Kim, Tony Sahama, Chung-Huang Yang. by
  • Jung, Hoe-Kyung [editor.]
  • Kim, Jung Tae [editor.]
  • Sahama, Tony [editor.]
  • Yang, Chung-Huang [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 235
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Availability: No items available.

411.
Intelligent Technologies and Engineering Systems [electronic resource] / edited by Jengnan Juang, Yi-Cheng Huang. by
  • Juang, Jengnan [editor.]
  • Huang, Yi-Cheng [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 234
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
Availability: No items available.

412.
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)
Series: Lecture Notes in Computer Science ; 8209
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
Availability: No items available.

413.
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings / edited by G. Alan Wang, Xiaolong Zheng, Michael Chau, Hsinchun Chen. by
  • Wang, G. Alan [editor.]
  • Zheng, Xiaolong [editor.]
  • Chau, Michael [editor.]
  • Chen, Hsinchun [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8039
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
Availability: No items available.

414.
OpenMP in the Era of Low Power Devices and Accelerators [electronic resource] : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings / edited by Alistair P. Rendell, Barbara M. Chapman, Matthias S. Müller. by
  • Rendell, Alistair P [editor.]
  • Chapman, Barbara M [editor.]
  • Müller, Matthias S [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8122
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
Availability: No items available.

415.
Essential Speech and Language Technology for Dutch [electronic resource] : Results by the STEVIN-programme / edited by Peter Spyns, Jan Odijk. by
  • Spyns, Peter [editor.]
  • Odijk, Jan [editor.]
  • SpringerLink (Online service)
Series: Theory and Applications of Natural Language Processing
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
Availability: No items available.

416.
Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
  • Liu, Zhiming [editor.]
  • Woodcock, Jim [editor.]
  • Zhu, Huibiao [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8050
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
Availability: No items available.

417.
Ethical and Social Issues in the Information Age [electronic resource] / by Joseph Migga Kizza. by
  • Kizza, Joseph Migga [author.]
  • SpringerLink (Online service)
Series: Texts in Computer Science
Edition: 5th ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

418.
Multiple Access Communcations [electronic resource] : 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings / edited by Magnus Jonsson, Alexey Vinel, Boris Bellalta, Ninoslav Marina, Desislava Dimitrova, Dieter Fiems. by
  • Jonsson, Magnus [editor.]
  • Vinel, Alexey [editor.]
  • Bellalta, Boris [editor.]
  • Marina, Ninoslav [editor.]
  • Dimitrova, Desislava [editor.]
  • Fiems, Dieter [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8310
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

419.
Human Interface and the Management of Information. Information and Interaction for Learning, Culture, Collaboration and Business, [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III / edited by Sakae Yamamoto. by
  • Yamamoto, Sakae [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8018
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
Availability: No items available.

420.
Distributed, Ambient, and Pervasive Interactions [electronic resource] : First International Conference, DAPI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / edited by Norbert Streitz, Constantine Stephanidis. by
  • Streitz, Norbert [editor.]
  • Stephanidis, Constantine [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8028
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
Availability: No items available.

Pages