Your search returned 13673 results. Subscribe to this search

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

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

Information and Communication Technology [electronic resource] : International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings / edited by Khabib Mustofa, Erich J. Neuhold, A Min Tjoa, Edgar Weippl, Ilsun You.

by Mustofa, Khabib [editor.] | Neuhold, Erich J [editor.] | Tjoa, A Min [editor.] | Weippl, Edgar [editor.] | You, Ilsun [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

Security, Privacy, and Applied Cryptography Engineering [electronic resource] : Third International Conference, SPACE 2013, Kharagpur, India, October 19-23, 2013. Proceedings / edited by Benedikt Gierlichs, Sylvain Guilley, Debdeep Mukhopadhyay.

by Gierlichs, Benedikt [editor.] | Guilley, Sylvain [editor.] | Mukhopadhyay, Debdeep [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

Logic and Its Applications [electronic resource] : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings / edited by Kamal Lodaya.

by Lodaya, Kamal [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

Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 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 Frank Pfenning.

by Pfenning, Frank [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

Logic, Language, and Computation [electronic resource] : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers / edited by Martin Aher, Daniel Hole, Emil Jeř�abek, Clemens Kupke.

by Aher, Martin [editor.] | Hole, Daniel [editor.] | Jeř�abek, Emil [editor.] | Kupke, Clemens [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, 2015Online access: Click here to access online Availability: No items available

Computer and Computing Technologies in Agriculture VI [electronic resource] : 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, Revised Selected Papers, Part II / edited by Daoliang Li, Yingyi Chen.

by Li, Daoliang [editor.] | Chen, Yingyi [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

Mechanics of Moving Materials [electronic resource] / by Nikolay Banichuk, Juha Jeronen, Pekka Neittaanm�aki, Tytti Saksa, Tero Tuovinen.

by Banichuk, Nikolay [author.] | Jeronen, Juha [author.] | Neittaanm�aki, Pekka [author.] | Saksa, Tytti [author.] | Tuovinen, Tero [author.] | 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

Cyber Security [electronic resource] : Deterrence and IT Protection for Critical Infrastructures / edited by Maurizio Martellini.

by Martellini, Maurizio [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, 2013Online access: Click here to access online Availability: No items available

Coordination, Organizations, Institutions, and Norms in Agent Systems IX [electronic resource] : COIN 2013 International Workshops, COIN@AAMAS, St. Paul, MN, USA, May 6, 2013, COIN@PRIMA, Dunedin, New Zealand, December 3, 2013, Revised Selected Papers / edited by Tina Balke, Frank Dignum, M. Birna van Riemsdijk, Amit K. Chopra.

by Balke, Tina [editor.] | Dignum, Frank [editor.] | Riemsdijk, M. Birna van [editor.] | Chopra, Amit K [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

Virtual Realities [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, June 9-14, 2013, Revised Selected Papers / edited by Guido Brunnett, Sabine Coquillart, Robert van Liere, Gregory Welch, Libor V�aša.

by Brunnett, Guido [editor.] | Coquillart, Sabine [editor.] | van Liere, Robert [editor.] | Welch, Gregory [editor.] | V�aša, Libor [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

Data Management Technologies and Applications [electronic resource] : Third International Conference, DATA 2014, Vienna, Austria, August 29-31, 2014, Revised Selected papers / edited by Markus Helfert, Andreas Holzinger, Orlando Belo, Chiara Francalanci.

by Helfert, Markus [editor.] | Holzinger, Andreas [editor.] | Belo, Orlando [editor.] | Francalanci, Chiara [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.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

Information Theoretic Security [electronic resource] : 9th International Conference, ICITS 2016, Tacoma, WA, USA, August 9-12, 2016, Revised Selected Papers / edited by Anderson C.A. Nascimento, Paulo Barreto.

by Nascimento, Anderson C.A [editor.] | Barreto, Paulo [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

Web-Age Information Management [electronic resource] : 14th International Conference, WAIM 2013, Beidaihe, China, June 14-16, 2013. Proceedings / edited by Jianyong Wang, Hui Xiong, Yoshiharu Ishikawa, Jianliang Xu, Junfeng Zhou.

by Wang, Jianyong [editor.] | Xiong, Hui [editor.] | Ishikawa, Yoshiharu [editor.] | Xu, Jianliang [editor.] | Zhou, Junfeng [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

Creativity and Rationale [electronic resource] : Enhancing Human Experience by Design / edited by John M. Carroll.

by Carroll, John M [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

E-Technologies [electronic resource] : 6th International Conference, MCETECH 2015, Montr�eal, QC, Canada, May 12-15, 2015, Proceedings / edited by Morad Benyoucef, Michael Weiss, Hafedh Mili.

by Benyoucef, Morad [editor.] | Weiss, Michael [editor.] | Mili, Hafedh [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

Information Security and Cryptology [electronic resource] : 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers / edited by Dongdai Lin, XiaoFeng Wang, Moti Yung.

by Lin, Dongdai [editor.] | Wang, XiaoFeng [editor.] | Yung, Moti [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

Towards Advanced Data Analysis by Combining Soft Computing and Statistics [electronic resource] / edited by Christian Borgelt, Mar�ia �Angeles Gil, Jo�ao M.C. Sousa, Michel Verleysen.

by Borgelt, Christian [editor.] | Gil, Mar�ia �Angeles [editor.] | Sousa, Jo�ao M.C [editor.] | Verleysen, Michel [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

EVOLVE- A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation [electronic resource] / edited by Emilia Tantar, Alexandru-Adrian Tantar, Pascal Bouvry, Pierre Del Moral, Pierrick Legrand, Carlos A. Coello Coello, Oliver Sch�utze.

by Tantar, Emilia [editor.] | Tantar, Alexandru-Adrian [editor.] | Bouvry, Pascal [editor.] | Del Moral, Pierre [editor.] | Legrand, Pierrick [editor.] | Coello Coello, Carlos A [editor.] | Sch�utze, Oliver [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

Modeling and Simulation in Engineering, Economics, and Management [electronic resource] : International Conference, MS 2013, Castell�on de la Plana, Spain, June 6-7, 2013. Proceedings / edited by Mar�ia �Angeles Fern�andez-Izquierdo, Mar�ia Jes�us Mu�noz-Torres, Ra�ul Le�on.

by Fern�andez-Izquierdo, Mar�ia �Angeles [editor.] | Mu�noz-Torres, Mar�ia Jes�us [editor.] | Le�on, Ra�ul [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