Central Library

Your search returned 28037 results. Subscribe to this search

Unhighlight
No cover image available
Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / edited by Francesco Logozzo, Manuel F�ahndrich.

by Logozzo, Francesco [editor.] | F�ahndrich, Manuel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Multibody System Dynamics, Robotics and Control [electronic resource] / edited by Hubert Gattringer, Johannes Gerstmayr.

by Gattringer, Hubert [editor.] | Gerstmayr, Johannes [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Vienna : Springer Vienna : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Proceedings of 3rd International Conference on Advanced Computing, Networking and Informatics [electronic resource] : ICACNI 2015, Volume 2 / edited by Atulya Nagar, Durga Prasad Mohapatra, Nabendu Chaki.

by Nagar, Atulya [editor.] | Mohapatra, Durga Prasad [editor.] | Chaki, Nabendu [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New Delhi : Springer India : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
WALCOM: Algorithms and Computation [electronic resource] : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings / edited by Subir Kumar Ghosh, Takeshi Tokuyama.

by Ghosh, Subir Kumar [editor.] | Tokuyama, Takeshi [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Rewriting Logic and Its Applications [electronic resource] : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Dorel Lucanu.

by Lucanu, Dorel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Knowledge Management and Acquisition for Smart Systems and Services [electronic resource] : 13th Pacific Rim Knowledge Acquisition Workshop, PKAW 2014, Gold Cost, Qld, Australia, December 1-2, 2014. Proceedings / edited by Yang Sok Kim, Byeong Ho Kang, Deborah Richards.

by Kim, Yang Sok [editor.] | Kang, Byeong Ho [editor.] | Richards, Deborah [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial 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
1
2
3
4
5
No cover image available
Similarity Search and Applications [electronic resource] : 8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings / edited by Giuseppe Amato, Richard Connor, Fabrizio Falchi, Claudio Gennaro.

by Amato, Giuseppe [editor.] | Connor, Richard [editor.] | Falchi, Fabrizio [editor.] | Gennaro, Claudio [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Pristine Perspectives on Logic, Language, and Computation [electronic resource] : ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers / edited by Margot Colinet, Sophia Katrenko, Rasmus K. Rendsvig.

by Colinet, Margot [editor.] | Katrenko, Sophia [editor.] | Rendsvig, Rasmus K [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
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).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Statistical Language and Speech Processing [electronic resource] : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings / edited by Pavel Kr�al, Carlos Mart�in-Vide.

by Kr�al, Pavel [editor.] | Mart�in-Vide, Carlos [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Recent Advances in Radial Basis Function Collocation Methods [electronic resource] / by Wen Chen, Zhuo-Jia Fu, C.S. Chen.

by Chen, Wen [author.] | Fu, Zhuo-Jia [author.] | Chen, C.S [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Handbook of Space Security [electronic resource] : Policies, Applications and Programs / edited by Kai-Uwe Schrogl, Peter L. Hays, Jana Robinson, Denis Moura, Christina Giannopapa.

by Schrogl, Kai-Uwe [editor.] | Hays, Peter L [editor.] | Robinson, Jana [editor.] | Moura, Denis [editor.] | Giannopapa, Christina [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Process Mining [electronic resource] : Data Science in Action / by Wil van der Aalst.

by van der Aalst, Wil [author.] | SpringerLink (Online service).

Edition: 2nd ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / edited by Marco Gribaudo, Daniele Manini, Anne Remke.

by Gribaudo, Marco [editor.] | Manini, Daniele [editor.] | Remke, Anne [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Intertwingled [electronic resource] : The Work and Influence of Ted Nelson / edited by Douglas R. Dechow, Daniele C. Struppa.

by Dechow, Douglas R [editor.] | Struppa, Daniele C [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Reasoning Web. Web Logic Rules [electronic resource] : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. / edited by Wolfgang Faber, Adrian Paschke.

by Faber, Wolfgang [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Is 'Fuzzy Theory' an Appropriate Tool for Large Size Problems? [electronic resource] / by Ranjit Biswas.

by Biswas, Ranjit [author.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
High Performance Computing for Computational Science - VECPAR 2012 [electronic resource] : 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers / edited by Michel Dayd�e, Osni Marques, Kengo Nakajima.

by Dayd�e, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Thermal Comfort Assessment of Buildings [electronic resource] / by Salvatore Carlucci.

by Carlucci, Salvatore [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Milano : Springer Milan : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
1
2
3
4
5
No cover image available
Public Key Infrastructures, Services and Applications [electronic resource] : 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers / edited by Sokratis Katsikas, Isaac Agudo.

by Katsikas, Sokratis [editor.] | Agudo, Isaac [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
1
2
3
4
5