Refine your search

Your search returned 654 results.

Not what you expected? Check for suggestions
Sort
Results
41.
Automated Deduction – CADE-24 [electronic resource] : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings / edited by Maria Paola Bonacina. by
  • Bonacina, Maria Paola [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7898
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.

42.
Pattern Recognition and Image Analysis [electronic resource] : 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013. Proceedings / edited by João M. Sanches, Luisa Micó, Jaime S. Cardoso. by
  • Sanches, João M [editor.]
  • Micó, Luisa [editor.]
  • Cardoso, Jaime S [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7887
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.

43.
Natural and Artificial Models in Computation and Biology [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I / edited by José Manuel Ferrández Vicente, José Ramón Álvarez Sánchez, Félix de la Paz López, Fco. Javier Toledo Moreo. by
  • Ferrández Vicente, José Manuel [editor.]
  • Álvarez Sánchez, José Ramón [editor.]
  • Paz López, Félix de la [editor.]
  • Toledo Moreo, Fco. Javier [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7930
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.

44.
Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part I / edited by Ignacio Rojas, Gonzalo Joya, Joan Gabestany. by
  • Rojas, Ignacio [editor.]
  • Joya, Gonzalo [editor.]
  • Gabestany, Joan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7902
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.

45.
End-User Development [electronic resource] : 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings / edited by Yvonne Dittrich, Margaret Burnett, Anders Mørch, David Redmiles. by
  • Dittrich, Yvonne [editor.]
  • Burnett, Margaret [editor.]
  • Mørch, Anders [editor.]
  • Redmiles, David [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7897
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.

46.
Developments in Language Theory [electronic resource] : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / edited by Marie-Pierre Béal, Olivier Carton. by
  • Béal, Marie-Pierre [editor.]
  • Carton, Olivier [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7907
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.

47.
Trust and Trustworthy Computing [electronic resource] : 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013. Proceedings / edited by Michael Huth, N. Asokan, Srdjan Čapkun, Ivan Flechais, Lizzie Coles-Kemp. by
  • Huth, Michael [editor.]
  • Asokan, N [editor.]
  • Čapkun, Srdjan [editor.]
  • Flechais, Ivan [editor.]
  • Coles-Kemp, Lizzie [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7904
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.

48.
Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò. by
  • Veanes, Margus [editor.]
  • Viganò, Luca [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7942
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.

49.
ECOOP 2013 – Object-Oriented Programming [electronic resource] : 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings / edited by Giuseppe Castagna. by
  • Castagna, Giuseppe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7920
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.

50.
The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe. by
  • Bonizzoni, Paola [editor.]
  • Brattka, Vasco [editor.]
  • Löwe, Benedikt [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7921
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.

51.
Information Security and Privacy [electronic resource] : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013. Proceedings / edited by Colin Boyd, Leonie Simpson. by
  • Boyd, Colin [editor.]
  • Simpson, Leonie [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7959
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.

52.
Human Factors in Computing and Informatics [electronic resource] : First International Conference, SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings / edited by Andreas Holzinger, Martina Ziefle, Martin Hitz, Matjaž Debevc. by
  • Holzinger, Andreas [editor.]
  • Ziefle, Martina [editor.]
  • Hitz, Martin [editor.]
  • Debevc, Matjaž [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7946
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.

53.
Theory and Applications of Satisfiability Testing – SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder. by
  • Järvisalo, Matti [editor.]
  • Van Gelder, Allen [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7962
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.

54.
Cross-Cultural Design. Methods, Practice, and Case Studies [electronic resource] : 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by P. L. Patrick Rau. by
  • Rau, P. L. Patrick [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8023
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.

55.
Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data [electronic resource] : Third International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings / edited by Andreas Holzinger, Gabriella Pasi. by
  • Holzinger, Andreas [editor.]
  • Pasi, Gabriella [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7947
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.

56.
Pattern Recognition in Bioinformatics [electronic resource] : 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013. Proceedings / edited by Alioune Ngom, Enrico Formenti, Jin-Kao Hao, Xing-Ming Zhao, Twan van Laarhoven. by
  • Ngom, Alioune [editor.]
  • Formenti, Enrico [editor.]
  • Hao, Jin-Kao [editor.]
  • Zhao, Xing-Ming [editor.]
  • Laarhoven, Twan van [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7986
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.

57.
Web Engineering [electronic resource] : 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings / edited by Florian Daniel, Peter Dolog, Qing Li. by
  • Daniel, Florian [editor.]
  • Dolog, Peter [editor.]
  • Li, Qing [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7977
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.

58.
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.

59.
Design, User Experience, and Usability. Design Philosophy, Methods, and Tools [electronic resource] : Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Aaron Marcus. by
  • Marcus, Aaron [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8012
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.

60.
Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience [electronic resource] : Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by Aaron Marcus. by
  • Marcus, Aaron [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8013
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