Refine your search

Your search returned 2058 results.

Not what you expected? Check for suggestions
Sort
Results
1101.
Computer Vision – ACCV 2012 [electronic resource] : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II / edited by Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu. by
  • Lee, Kyoung Mu [editor.]
  • Matsushita, Yasuyuki [editor.]
  • Rehg, James M [editor.]
  • Hu, Zhanyi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7725
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.

1102.
Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII [electronic resource] : Special Issue on Advances in Data Warehousing and Knowledge Discovery / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Alfredo Cuzzocrea, Umeshwar Dayal. by
  • Hameurlain, Abdelkader [editor.]
  • Küng, Josef [editor.]
  • Wagner, Roland [editor.]
  • Cuzzocrea, Alfredo [editor.]
  • Dayal, Umeshwar [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7790
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.

1103.
Programming Logics [electronic resource] : Essays in Memory of Harald Ganzinger / edited by Andrei Voronkov, Christoph Weidenbach. by
  • Voronkov, Andrei [editor.]
  • Weidenbach, Christoph [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7797
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.

1104.
Semantic Technology [electronic resource] : Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings / edited by Hideaki Takeda, Yuzhong Qu, Riichiro Mizoguchi, Yoshinobu Kitamura. by
  • Takeda, Hideaki [editor.]
  • Qu, Yuzhong [editor.]
  • Mizoguchi, Riichiro [editor.]
  • Kitamura, Yoshinobu [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7774
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.

1105.
Clinical Image-Based Procedures. From Planning to Intervention [electronic resource] : International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers / edited by Klaus Drechsler, Marius Erdt, Marius George Linguraru, Cristina Oyarzun Laura, Karun Sharma, Raj Shekhar, Stefan Wesarg. by
  • Drechsler, Klaus [editor.]
  • Erdt, Marius [editor.]
  • Linguraru, Marius George [editor.]
  • Oyarzun Laura, Cristina [editor.]
  • Sharma, Karun [editor.]
  • Shekhar, Raj [editor.]
  • Wesarg, Stefan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7761
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.

1106.
The Future Internet [electronic resource] : Future Internet Assembly 2013: Validated Results and New Horizons / edited by Alex Galis, Anastasius Gavras. by
  • Galis, Alex [editor.]
  • Gavras, Anastasius [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7858
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.

1107.
Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert. by
  • Albert, Elvira [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7844
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.

1108.
Optical Supercomputing [electronic resource] : 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean. by
  • Dolev, Shlomi [editor.]
  • Oltean, Mihai [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7715
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.

1109.
Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 Revised Selected Papers / edited by Leif E. Peterson, Francesco Masulli, Giuseppe Russo. by
  • Peterson, Leif E [editor.]
  • Masulli, Francesco [editor.]
  • Russo, Giuseppe [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7845
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.

1110.
Recent Trends in Applied Artificial Intelligence [electronic resource] : 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings / edited by Moonis Ali, Tibor Bosse, Koen V. Hindriks, Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur. by
  • Ali, Moonis [editor.]
  • Bosse, Tibor [editor.]
  • Hindriks, Koen V [editor.]
  • Hoogendoorn, Mark [editor.]
  • Jonker, Catholijn M [editor.]
  • Treur, Jan [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7906
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.

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

1112.
Artificial Intelligence and Soft Computing [electronic resource] : 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013, Proceedings, Part II / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada. by
  • Rutkowski, Leszek [editor.]
  • Korytkowski, Marcin [editor.]
  • Scherer, Rafał [editor.]
  • Tadeusiewicz, Ryszard [editor.]
  • Zadeh, Lotfi A [editor.]
  • Zurada, Jacek M [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7895
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.

1113.
Natural and Artificial Computation in Engineering and Medical Applications [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part II / 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 ; 7931
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.

1114.
Network and System Security [electronic resource] : 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedings / edited by Javier Lopez, Xinyi Huang, Ravi Sandhu. by
  • Lopez, Javier [editor.]
  • Huang, Xinyi [editor.]
  • Sandhu, Ravi [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7873
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.

1115.
Language Processing and Intelligent Information Systems [electronic resource] : 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedings / edited by Mieczysław A. Kłopotek, Jacek Koronacki, Małgorzata Marciniak, Agnieszka Mykowiecka, Sławomir T. Wierzchoń. by
  • Kłopotek, Mieczysław A [editor.]
  • Koronacki, Jacek [editor.]
  • Marciniak, Małgorzata [editor.]
  • Mykowiecka, Agnieszka [editor.]
  • Wierzchoń, Sławomir T [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7912
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.

1116.
Programming Multi-Agent Systems [electronic resource] : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Mehdi Dastani, Jomi F. Hübner, Brian Logan. by
  • Dastani, Mehdi [editor.]
  • Hübner, Jomi F [editor.]
  • Logan, Brian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7837
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.

1117.
Supercomputing [electronic resource] : 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings / edited by Julian Martin Kunkel, Thomas Ludwig, Hans Werner Meuer. by
  • Kunkel, Julian Martin [editor.]
  • Ludwig, Thomas [editor.]
  • Meuer, Hans Werner [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7905
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.

1118.
Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers / edited by Fabrizio Riguzzi, Filip Železný. by
  • Riguzzi, Fabrizio [editor.]
  • Železný, Filip [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7842
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.

1119.
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / edited by Francesco Logozzo, Manuel Fähndrich. by
  • Logozzo, Francesco [editor.]
  • Fähndrich, Manuel [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7935
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.

1120.
Formal Methods for Dynamical Systems [electronic resource] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky. by
  • Bernardo, Marco [editor.]
  • Vink, Erik de [editor.]
  • Pierro, Alessandra Di [editor.]
  • Wiklicky, Herbert [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7938
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