Your search returned 8612 results. Subscribe to this search

|
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

Cyber-Security for Smart Grid Control [electronic resource] : Vulnerability Assessment, Attack Detection, and Mitigation / by Amulya Sreejith, K. Shanti Swarup.

by Sreejith, Amulya [author.] | Shanti Swarup, K [author.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

Generative Intelligence and Intelligent Tutoring Systems [electronic resource] : 20th International Conference, ITS 2024, Thessaloniki, Greece, June 10-13, 2024, Proceedings, Part II / edited by Angelo Sifaleras, Fuhua Lin.

by Sifaleras, Angelo [editor.] | Lin, Fuhua [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

Generative Intelligence and Intelligent Tutoring Systems [electronic resource] : 20th International Conference, ITS 2024, Thessaloniki, Greece, June 10-13, 2024, Proceedings, Part I / edited by Angelo Sifaleras, Fuhua Lin.

by Sifaleras, Angelo [editor.] | Lin, Fuhua [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

HCI International 2024 Posters [electronic resource] : 26th International Conference on Human-Computer Interaction, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part VII / edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy.

by Stephanidis, Constantine [editor.] | Antona, Margherita [editor.] | Ntoa, Stavroula [editor.] | Salvendy, Gavriel [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

HCI International 2024 Posters [electronic resource] : 26th International Conference on Human-Computer Interaction, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part VI / edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy.

by Stephanidis, Constantine [editor.] | Antona, Margherita [editor.] | Ntoa, Stavroula [editor.] | Salvendy, Gavriel [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

HCI International 2024 Posters [electronic resource] : 26th International Conference on Human-Computer Interaction, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part IV / edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy.

by Stephanidis, Constantine [editor.] | Antona, Margherita [editor.] | Ntoa, Stavroula [editor.] | Salvendy, Gavriel [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

HCI International 2024 Posters [electronic resource] : 26th International Conference on Human-Computer Interaction, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part II / edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy.

by Stephanidis, Constantine [editor.] | Antona, Margherita [editor.] | Ntoa, Stavroula [editor.] | Salvendy, Gavriel [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

HCI International 2024 Posters [electronic resource] : 26th International Conference on Human-Computer Interaction, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I / edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy.

by Stephanidis, Constantine [editor.] | Antona, Margherita [editor.] | Ntoa, Stavroula [editor.] | Salvendy, Gavriel [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

Attacks, Defenses and Testing for Deep Learning [electronic resource] / by Jinyin Chen, Ximin Zhang, Haibin Zheng.

by Chen, Jinyin [author.] | Zhang, Ximin [author.] | Zheng, Haibin [author.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

Advances in Neural Networks - ISNN 2014 [electronic resource] : 11th International Symposium on Neural Networks, ISNN 2014, Hong Kong and Macao, China, November 28 -- December 1, 2014. Proceedings / edited by Zhigang Zeng, Yangmin Li, Irwin King.

by Zeng, Zhigang [editor.] | Li, Yangmin [editor.] | King, Irwin [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

Design, User Experience, and Usability [electronic resource] : 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part III / edited by Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares.

by Marcus, Aaron [editor.] | Rosenzweig, Elizabeth [editor.] | Soares, Marcelo M [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

Artificial Intelligence for Knowledge Management, Energy and Sustainability [electronic resource] : 10th IFIP International Workshop on Artificial Intelligence for Knowledge Management, AI4KMES 2023, Krakow, Poland, September 30-October 1, 2023, Revised Selected Papers / edited by Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Abdul Wahid, Karl Mason.

by Mercier-Laurent, Eunika [editor.] | Kayakutlu, Gülgün [editor.] | Owoc, Mieczyslaw Lech [editor.] | Wahid, Abdul [editor.] | Mason, Karl [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

International Conference on Applied Technologies [electronic resource] : 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part III / edited by Miguel Botto-Tobar, Marcelo Zambrano Vizuete, Sergio Montes León, Pablo Torres-Carrión, Benjamin Durakovic.

by Botto-Tobar, Miguel [editor.] | Zambrano Vizuete, Marcelo [editor.] | Montes León, Sergio [editor.] | Torres-Carrión, Pablo [editor.] | Durakovic, Benjamin [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

HCI International 2024 Posters [electronic resource] : 26th International Conference on Human-Computer Interaction, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V / edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy.

by Stephanidis, Constantine [editor.] | Antona, Margherita [editor.] | Ntoa, Stavroula [editor.] | Salvendy, Gavriel [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

HCI International 2024 Posters [electronic resource] : 26th International Conference on Human-Computer Interaction, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part III / edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy.

by Stephanidis, Constantine [editor.] | Antona, Margherita [editor.] | Ntoa, Stavroula [editor.] | Salvendy, Gavriel [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

Smart Sensing and Context [electronic resource] : Second European Conference, EuroSSC 2007, Kendal, England, October 23-25, 2007, Proceedings / edited by Gerd Kortuem, Joe Finney, Rodger Lea, Vasughi Sundramoorthy.

by Kortuem, Gerd [editor.] | Finney, Joe [editor.] | Lea, Rodger [editor.] | Sundramoorthy, Vasughi [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Ubiquitous Networking [electronic resource] : 9th International Symposium, UNet 2023, Clermont-Ferrand, France, November 1-3, 2023, Revised Selected Papers / edited by Oussama Habachi, Gerard Chalhoub, Halima Elbiaze, Essaid Sabir.

by Habachi, Oussama [editor.] | Chalhoub, Gerard [editor.] | Elbiaze, Halima [editor.] | Sabir, Essaid [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available

Location- and Context-Awareness [electronic resource] : Third International Symposium, LoCA 2007, Oberpfaffenhofen, Germany, September 20-21, 2007, Proceedings / edited by Jeffrey Hightower, Bernt Schiele, Thomas Strang.

by Hightower, Jeffrey [editor.] | Schiele, Bernt [editor.] | Strang, Thomas [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available

Formal Methods and Software Engineering [electronic resource] : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings / edited by Stephan Merz, Jun Pang.

by Merz, Stephan [editor.] | Pang, Jun [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