Your search returned 298 results.

Results
	61.	Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11246 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)
	62.	Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11247 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)
	63.	Membrane Computing [electronic resource] : 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers / by Hinze, Thomas [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] Zandron, Claudio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11399 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	64.	Computer and Computing Technologies in Agriculture X [electronic resource] : 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19–21, 2016, Proceedings / by Li, Daoliang [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 509 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	65.	High Performance Computing [electronic resource] : 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25–27, 2019, Revised Selected Papers / by Crespo-Mariño, Juan Luis [editor.] Meneses-Rojas, Esteban [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1087 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)
	66.	Rigorous State-Based Methods [electronic resource] : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / by Raschke, Alexander [editor.] Méry, Dominique [editor.] Houdek, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12071 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)
	67.	Theory and Applications of Satisfiability Testing – SAT 2017 [electronic resource] : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / by Gaspers, Serge [editor.] Walsh, Toby [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10491 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	68.	Computer Vision, Imaging and Computer Graphics – Theory and Applications [electronic resource] : 12th International Joint Conference, VISIGRAPP 2017, Porto, Portugal, February 27 – March 1, 2017, Revised Selected Papers / by Cláudio, Ana Paula [editor.] Bechmann, Dominique [editor.] Richard, Paul [editor.] Yamaguchi, Takehiko [editor.] Linsen, Lars [editor.] Telea, Alexandru [editor.] Imai, Francisco [editor.] Tremeau, Alain [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 983 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	69.	Smart Applications and Data Analysis [electronic resource] : Third International Conference, SADASC 2020, Marrakesh, Morocco, June 25–26, 2020, Proceedings / by Hamlich, Mohamed [editor.] Bellatreche, Ladjel [editor.] Mondal, Anirban [editor.] Ordonez, Carlos [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1207 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)
	70.	Benchmarking, Measuring, and Optimizing [electronic resource] : Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14–16, 2019, Revised Selected Papers / by Gao, Wanling [editor.] Zhan, Jianfeng [editor.] Fox, Geoffrey [editor.] Lu, Xiaoyi [editor.] Stanzione, Dan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12093 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)
	71.	Bangabandhu and Digital Bangladesh [electronic resource] : First International Conference, ICBBDB 2021, Dhaka, Bangladesh, December 30, 2021, Revised Selected Papers / by Islam, A. K. M. Muzahidul [editor.] Uddin, Jia [editor.] Mansoor, Nafees [editor.] Rahman, Shahriar [editor.] Al Masud, Shah Murtaza Rashid [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1550 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)
	72.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / by Beyer, Dirk [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10806 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)
	73.	Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection [electronic resource] : 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings / by Demazeau, Yves [editor.] An, Bo [editor.] Bajo, Javier [editor.] Fernández-Caballero, Antonio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10978 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)
	74.	Services Computing – SCC 2020 [electronic resource] : 17th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings / by Wang, Qingyang [editor.] Xia, Yunni [editor.] Seshadri, Sangeetha [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12409 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)
	75.	Applied Technologies [electronic resource] : Second International Conference, ICAT 2020, Quito, Ecuador, December 2–4, 2020, Proceedings / by Botto-Tobar, Miguel [editor.] Montes León, Sergio [editor.] Camacho, Oscar [editor.] Chávez, Danilo [editor.] Torres-Carrión, Pablo [editor.] Zambrano Vizuete, Marcelo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1388 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)
	76.	Provenance and Annotation of Data and Processes [electronic resource] : 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19–22, 2021, Proceedings / by Glavic, Boris [editor.] Braganholo, Vanessa [editor.] Koop, David [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12839 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)
	77.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings / by Mousavi, Mohammad Reza [editor.] Philippou, Anna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13273 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)
	78.	Computer Vision – ACCV 2018 [electronic resource] : 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part II / by Jawahar, C. V [editor.] Li, Hongdong [editor.] Mori, Greg [editor.] Schindler, Konrad [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11362 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	79.	Advances in Information and Computer Security [electronic resource] : 15th International Workshop on Security, IWSEC 2020, Fukui, Japan, September 2–4, 2020, Proceedings / by Aoki, Kazumaro [editor.] Kanaoka, Akira [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12231 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)
	80.	PRIMA 2019: Principles and Practice of Multi-Agent Systems [electronic resource] : 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings / by Baldoni, Matteo [editor.] Dastani, Mehdi [editor.] Liao, Beishui [editor.] Sakurai, Yuko [editor.] Zalila Wenkstern, Rym [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11873 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

First
Previous
1
2
3
4
5
6
7
8
9
10
Next
Last

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 298 results.