Refine your search

Your search returned 910 results.

Not what you expected? Check for suggestions
Sort
Results
561.
Semantic Models for Adaptive Interactive Systems [electronic resource] / edited by Tim Hussein, Heiko Paulheim, Stephan Lukosch, Jürgen Ziegler, Gaëlle Calvary. by
  • Hussein, Tim [editor.]
  • Paulheim, Heiko [editor.]
  • Lukosch, Stephan [editor.]
  • Ziegler, Jürgen [editor.]
  • Calvary, Gaëlle [editor.]
  • SpringerLink (Online service)
Series: Human–Computer Interaction Series
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.

562.
Introduction to Cryptography with Maple [electronic resource] / by José Luis Gómez Pardo. by
  • Gómez Pardo, José Luis [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.

563.
Programming Languages and Systems [electronic resource] : 22nd European Symposium on Programming, ESOP 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 Matthias Felleisen, Philippa Gardner. by
  • Felleisen, Matthias [editor.]
  • Gardner, Philippa [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7792
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.

564.
Trustworthy Eternal Systems via Evolving Software, Data and Knowledge [electronic resource] : Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers / edited by Alessandro Moschitti, Barbara Plank. by
  • Moschitti, Alessandro [editor.]
  • Plank, Barbara [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 379
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.

565.
Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings / edited by Kostis Sagonas. by
  • Sagonas, Kostis [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7752
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.

566.
ICT in Education, Research, and Industrial Applications [electronic resource] : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych. by
  • Ermolayev, Vadim [editor.]
  • Mayr, Heinrich C [editor.]
  • Nikitchenko, Mykola [editor.]
  • Spivakovsky, Aleksander [editor.]
  • Zholtkevych, Grygoriy [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 347
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.

567.
Progress in Location-Based Services [electronic resource] / edited by Jukka M. Krisp. by
  • Krisp, Jukka M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Geoinformation and Cartography
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.

568.
Enterprise and Organizational Modeling and Simulation [electronic resource] : 9th International Workshop, EOMAS 2013, Held at CAiSE 2013, Valencia, Spain, June 17, 2013, Selected Papers / edited by Joseph Barjis, Ashish Gupta, Amir Meshkat. by
  • Barjis, Joseph [editor.]
  • Gupta, Ashish [editor.]
  • Meshkat, Amir [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 153
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.

569.
Traffic Measurement on the Internet [electronic resource] / by Tao Li, Shigang Chen. by
  • Li, Tao [author.]
  • Chen, Shigang [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: New York, NY : Springer New York : Imprint: Springer, 2013
Availability: No items available.

570.
Wireless Virtualization [electronic resource] / by Heming Wen, Prabhat Kumar Tiwary, Tho Le-Ngoc. by
  • Wen, Heming [author.]
  • Tiwary, Prabhat Kumar [author.]
  • Le-Ngoc, Tho [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: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.

571.
Cloud Computing [electronic resource] : Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers / edited by Mazin Yousif, Lutz Schubert. by
  • Yousif, Mazin [editor.]
  • Schubert, Lutz [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 112
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.

572.
Environmental Software Systems. Fostering Information Sharing [electronic resource] : 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings / edited by Jiří Hřebíček, Gerald Schimak, Miroslav Kubásek, Andrea E. Rizzoli. by
  • Hřebíček, Jiří [editor.]
  • Schimak, Gerald [editor.]
  • Kubásek, Miroslav [editor.]
  • Rizzoli, Andrea E [editor.]
  • SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 413
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.

573.
Introduction to Queueing Systems with Telecommunication Applications [electronic resource] / by Laszlo Lakatos, Laszlo Szeidl, Miklos Telek. by
  • Lakatos, Laszlo [author.]
  • Szeidl, Laszlo [author.]
  • Telek, Miklos [author.]
  • SpringerLink (Online service)
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.

574.
Cloud Computing and Services Science [electronic resource] : Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers / edited by Ivan I. Ivanov, Marten van Sinderen, Frank Leymann, Tony Shan. by
  • Ivanov, Ivan I [editor.]
  • Sinderen, Marten van [editor.]
  • Leymann, Frank [editor.]
  • Shan, Tony [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 367
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.

575.
Enterprise Architecture Patterns [electronic resource] : Practical Solutions for Recurring IT-Architecture Problems / by Thierry Perroud, Reto Inversini. by
  • Perroud, Thierry [author.]
  • Inversini, Reto [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.

576.
Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale. by
  • Beyer, Dirk [editor.]
  • Boreale, Michele [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7892
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.

577.
Intelligent Information and Database Systems [electronic resource] : 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II / edited by Ali Selamat, Ngoc Thanh Nguyen, Habibollah Haron. by
  • Selamat, Ali [editor.]
  • Nguyen, Ngoc Thanh [editor.]
  • Haron, Habibollah [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7803
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.

578.
Selected Topics in Performance Evaluation and Benchmarking [electronic resource] : 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. by
  • Nambiar, Raghunath [editor.]
  • Poess, Meikel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7755
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.

579.
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
Availability: No items available.

580.
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
Availability: No items available.

Pages