Your search returned 1124 results.

Results
	961.	Distributed Computing in Sensor Systems [electronic resource] : 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009, Proceedings / by Krishnamachari, Bhaskar [editor.] Suri, Subhash [editor.] Heinzelman, Wendi [editor.] Mitra, Urbashi [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 5516 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	962.	Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers / by Obermaisser, Roman [editor.] Nah, Yunmook [editor.] Puschner, Peter [editor.] Rammig, Franz J [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4761 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	963.	Big Data – BigData 2018 [electronic resource] : 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings / by Chin, Francis Y. L [editor.] Chen, C. L. Philip [editor.] Khan, Latifur [editor.] Lee, Kisung [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10968 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	964.	Advances in Web-Based Learning – ICWL 2018 [electronic resource] : 17th International Conference, Chiang Mai, Thailand, August 22-24, 2018, Proceedings / by Hancke, Gerhard [editor.] Spaniol, Marc [editor.] Osathanunkul, Kitisak [editor.] Unankard, Sayan [editor.] Klamma, Ralf [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11007 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	965.	Intelligent Transport Systems, From Research and Development to the Market Uptake [electronic resource] : 4th EAI International Conference, INTSYS 2020, Virtual Event, December 3, 2020, Proceedings / by Martins, Ana Lúcia [editor.] Ferreira, João C [editor.] Kocian, Alexander [editor.] Costa, Vera [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 364 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	966.	Computer Security – ESORICS 2022 [electronic resource] : 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part III / by Atluri, Vijayalakshmi [editor.] Di Pietro, Roberto [editor.] Jensen, Christian D [editor.] Meng, Weizhi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13556 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	967.	HCI International 2022 – Late Breaking Papers: HCI for Health, Well-being, Universal Access and Healthy Aging [electronic resource] : 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings / by Duffy, Vincent G [editor.] Gao, Qin [editor.] Zhou, Jia [editor.] Antona, Margherita [editor.] Stephanidis, Constantine [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13521 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	968.	Formal Methods: Foundations and Applications [electronic resource] : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings / by Lima, Lucas [editor.] Molnár, Vince [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13768 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	969.	Augmented Reality, Virtual Reality, and Computer Graphics [electronic resource] : 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part II / by De Paolis, Lucio Tommaso [editor.] Bourdot, Patrick [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10851 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	970.	Genetic Programming [electronic resource] : 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by Hu, Ting [editor.] Lourenço, Nuno [editor.] Medvet, Eric [editor.] Divina, Federico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12101 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	971.	Distributed, Ambient and Pervasive Interactions. Smart Environments, Ecosystems, and Cities [electronic resource] : 10th International Conference, DAPI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I / by Streitz, Norbert A [editor.] Konomi, Shin'ichi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13325 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	972.	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13701 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	973.	Innovations and Interdisciplinary Solutions for Underserved Areas [electronic resource] : 5th EAI International Conference, InterSol 2022, Abuja, Nigeria, March 23-24, 2022, Proceedings / by Mambo, Abdulhameed Danjuma [editor.] Gueye, Assane [editor.] Bassioni, Ghada [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 449 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	974.	New Technologies, Artificial Intelligence and Smart Data [electronic resource] : 10th International Conference, INTIS 2022, Casablanca, Morocco, May 20–21, 2022, and 11th International Conference, INTIS 2023, Tangier, Morocco, May 26–27, 2023, Revised Selected Papers / by Tabaa, Mohamed [editor.] Badir, Hassan [editor.] Bellatreche, Ladjel [editor.] Boulmakoul, Azedine [editor.] Lbath, Ahmed [editor.] Monteiro, Fabrice [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1728 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	975.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II / by Dimitrova, Rayna [editor.] Lahav, Ori [editor.] Wolff, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14500 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	976.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I / by Dimitrova, Rayna [editor.] Lahav, Ori [editor.] Wolff, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14499 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	977.	Telecommunications and Remote Sensing [electronic resource] : 12th International Conference, ICTRS 2023, Rhodes, Greece, September 18-19, 2023, Proceedings / by Shishkov, Boris [editor.] Lazarov, Andon [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1990 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	978.	Formal Methods: Foundations and Applications [electronic resource] : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings / by Barbosa, Haniel [editor.] Zohar, Yoni [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14414 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	979.	Social Robotics [electronic resource] : 15th International Conference, ICSR 2023, Doha, Qatar, December 3–7, 2023, Proceedings, Part I / by Ali, Abdulaziz Al [editor.] Cabibihan, John-John [editor.] Meskin, Nader [editor.] Rossi, Silvia [editor.] Jiang, Wanyue [editor.] He, Hongsheng [editor.] Ge, Shuzhi Sam [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14453 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	980.	Intelligent Transport Systems [electronic resource] : 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings / by Martins, Ana Lucia [editor.] Ferreira, Joao C [editor.] Kocian, Alexander [editor.] Tokkozhina, Ulpan [editor.] Helgheim, Berit Irene [editor.] Bråthen, Svein [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 540 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

First
Previous
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
Next
Last

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1124 results.