Your search returned 14664 results. Subscribe to this search

|
Human Language Technology Challenges for Computer Science and Linguistics [electronic resource] : 5th Language and Technology Conference, LTC 2011, Poznań, Poland, November 25--27, 2011, Revised Selected Papers / edited by Zygmunt Vetulani, Joseph Mariani.

by Vetulani, Zygmunt [editor.] | Mariani, Joseph [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Model-Driven Engineering Languages and Systems [electronic resource] : 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings / edited by Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahao, Emilio Insfran.

by Dingel, Juergen [editor.] | Schulte, Wolfram [editor.] | Ramos, Isidro [editor.] | Abrahao, Silvia [editor.] | Insfran, Emilio [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Advances in Data Mining: Applications and Theoretical Aspects [electronic resource] : 14th Industrial Conference, ICDM 2014, St. Petersburg, Russia, July 16-20, 2014, Proceedings / edited by Petra Perner.

by Perner, Petra [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings / edited by Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier.

by Bondavalli, Andrea [editor.] | Ceccarelli, Andrea [editor.] | Ortmeier, Frank [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Software Architecture [electronic resource] : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings / edited by Paris Avgeriou, Uwe Zdun.

by Avgeriou, Paris [editor.] | Zdun, Uwe [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings / edited by Davide Brugali, Jan Broenink, Torsten Kroeger, Bruce MacDonald.

by Brugali, Davide [editor.] | Broenink, Jan [editor.] | Kroeger, Torsten [editor.] | MacDonald, Bruce [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Formal Modeling and Analysis of Timed Systems [electronic resource] : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings / edited by Axel Legay, Marius Bozga.

by Legay, Axel [editor.] | Bozga, Marius [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2014 [electronic resource] : 17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part II / edited by Polina Golland, Nobuhiko Hata, Christian Barillot, Joachim Hornegger, Robert Howe.

by Golland, Polina [editor.] | Hata, Nobuhiko [editor.] | Barillot, Christian [editor.] | Hornegger, Joachim [editor.] | Howe, Robert [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Computer Vision -- ECCV 2014 [electronic resource] : 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part II / edited by David Fleet, Tomas Pajdla, Bernt Schiele, Tinne Tuytelaars.

by Fleet, David [editor.] | Pajdla, Tomas [editor.] | Schiele, Bernt [editor.] | Tuytelaars, Tinne [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Scalable Uncertainty Management [electronic resource] : 8th International Conference, SUM 2014, Oxford, UK, September 15-17, 2014, Proceedings / edited by Umberto Straccia, Andrea Cali.

by Straccia, Umberto [editor.] | Cali, Andrea [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Integrated Formal Methods [electronic resource] : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings / edited by Elvira Albert, Emil Sekerinski.

by Albert, Elvira [editor.] | Sekerinski, Emil [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

DNA Computing and Molecular Programming [electronic resource] : 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings / edited by Satoshi Murata, Satoshi Kobayashi.

by Murata, Satoshi [editor.] | Kobayashi, Satoshi [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Networked Systems [electronic resource] : Second International Conference, NETYS 2014, Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers / edited by Guevara Noubir, Michel Raynal.

by Noubir, Guevara [editor.] | Raynal, Michel [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Rough Sets and Current Trends in Computing [electronic resource] : 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings / edited by Chris Cornelis, Marzena Kryszkiewicz, Dominik Slezak, Ernestina Menasalvas Ruiz, Rafael Bello, Lin Shang.

by Cornelis, Chris [editor.] | Kryszkiewicz, Marzena [editor.] | Slezak, Dominik [editor.] | Menasalvas Ruiz, Ernestina [editor.] | Bello, Rafael [editor.] | Shang, Lin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

System Analysis and Modeling: Models and Reusability [electronic resource] : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings / edited by Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher.

by Amyot, Daniel [editor.] | Fonseca i Casas, Pau [editor.] | Mussbacher, Gunter [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Trust and Trustworthy Computing [electronic resource] : 7th International Conference, TRUST 2014, Heraklion, Crete, Greece, June 30 -- July 2, 2014, Proceedings / edited by Thorsten Holz, Sotiris Ioannidis.

by Holz, Thorsten [editor.] | Ioannidis, Sotiris [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Rough Sets and Intelligent Systems Paradigms [electronic resource] : Second International Conference, RSEISP 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings / edited by Marzena Kryszkiewicz, Chris Cornelis, Davide Ciucci, Jesús Medina-Moreno, Hiroshi Motoda, Zbigniew Ras.

by Kryszkiewicz, Marzena [editor.] | Cornelis, Chris [editor.] | Ciucci, Davide [editor.] | Medina-Moreno, Jesús [editor.] | Motoda, Hiroshi [editor.] | Ras, Zbigniew [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Declarative Programming and Knowledge Management [electronic resource] : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / edited by Michael Hanus, Ricardo Rocha.

by Hanus, Michael [editor.] | Rocha, Ricardo [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Software Engineering and Formal Methods [electronic resource] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings / edited by Dimitra Giannakopoulou, Gwen Salaün.

by Giannakopoulou, Dimitra [editor.] | Salaün, Gwen [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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

Computers Helping People with Special Needs [electronic resource] : 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I / edited by Klaus Miesenberger, Deborah Fels, Dominique Archambault, Petr Penaz, Wolfgang Zagler.

by Miesenberger, Klaus [editor.] | Fels, Deborah [editor.] | Archambault, Dominique [editor.] | Penaz, Petr [editor.] | Zagler, Wolfgang [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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