Results of search for 'ccl=Provider:Springer International Publishing :'

Results
	1.	Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation [electronic resource] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / edited by Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran. by Eiter, Thomas [editor.] Strass, Hannes [editor.] Truszczyński, Mirosław [editor.] Woltran, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9060 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Calculus for Computer Graphics [electronic resource] / by John Vince. by Vince, John [author.] SpringerLink (Online service) Edition: 3rd ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Programming Languages and Systems [electronic resource] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / edited by Luís Caires. by Caires, Luís [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11423 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Designing the Digital Transformation [electronic resource] : 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings / edited by Alexander Maedche, Jan vom Brocke, Alan Hevner. by Maedche, Alexander [editor.] vom Brocke, Jan [editor.] Hevner, Alan [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10243 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Discrete Geometry for Computer Imagery [electronic resource] : 18th IAPR International Conference, DGCI 2014, Siena, Italy, September 10-12, 2014. Proceedings / edited by Elena Barcucci, Andrea Frosini, Simone Rinaldi. by Barcucci, Elena [editor.] Frosini, Andrea [editor.] Rinaldi, Simone [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8668 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Information Access Evaluation -- Multilinguality, Multimodality, and Interaction [electronic resource] : 5th International Conference of the CLEF Initiative, CLEF 2014, Sheffield, UK, September 15-18, 2014, Proceedings / edited by Evangelos Kanoulas, Mihai Lupu, Paul Clough, Mark Sanderson, Mark Hall, Allan Hanbury, Elaine Toms. by Kanoulas, Evangelos [editor.] Lupu, Mihai [editor.] Clough, Paul [editor.] Sanderson, Mark [editor.] Hall, Mark [editor.] Hanbury, Allan [editor.] Toms, Elaine [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8685 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Computational Methods in Systems Biology [electronic resource] : 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings / edited by Eugenio Cinquemani, Loïc Paulevé. by Cinquemani, Eugenio [editor.] Paulevé, Loïc [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 12881 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Computer Algebra in Scientific Computing [electronic resource] : 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings / edited by François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov. by Boulier, François [editor.] England, Matthew [editor.] Sadykov, Timur M [editor.] Vorozhtsov, Evgenii V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12865 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Ad Hoc Networks [electronic resource] : 12th EAI International Conference, ADHOCNETS 2020, Paris, France, November 17, 2020, Proceedings / edited by Luca Foschini, Mohamed El Kamili. by Foschini, Luca [editor.] El Kamili, Mohamed [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 345 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Handbook of Biometric Anti-Spoofing [electronic resource] : Presentation Attack Detection / edited by Sébastien Marcel, Mark S. Nixon, Julian Fierrez, Nicholas Evans. by Marcel, Sébastien [editor.] Nixon, Mark S [editor.] Fierrez, Julian [editor.] Evans, Nicholas [editor.] SpringerLink (Online service) Series: Advances in Computer Vision and Pattern Recognition Edition: 2nd 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Security and Privacy in Communication Networks [electronic resource] : 14th International Conference, SecureComm 2018, Singapore, Singapore, August 8-10, 2018, Proceedings, Part II / edited by Raheem Beyah, Bing Chang, Yingjiu Li, Sencun Zhu. by Beyah, Raheem [editor.] Chang, Bing [editor.] Li, Yingjiu [editor.] Zhu, Sencun [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 255 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand [editor.] Nordio, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8987 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Formal Methods for Industrial Critical Systems [electronic resource] : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / edited by Jan Friso Groote, Marieke Huisman. by Groote, Jan Friso [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13487 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Security and Cryptography for Networks [electronic resource] : 13th International Conference, SCN 2022, Amalfi (SA), Italy, September 12–14, 2022, Proceedings / edited by Clemente Galdi, Stanislaw Jarecki. by Galdi, Clemente [editor.] Jarecki, Stanislaw [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13409 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Electronic Voting [electronic resource] : 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4–7, 2022, Proceedings / edited by Robert Krimmer, Melanie Volkamer, David Duenas-Cid, Peter Rønne, Micha Germann. by Krimmer, Robert [editor.] Volkamer, Melanie [editor.] Duenas-Cid, David [editor.] Rønne, Peter [editor.] Germann, Micha [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13553 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	16.	High-Performance Algorithms for Mass Spectrometry-Based Omics [electronic resource] / by Fahad Saeed, Muhammad Haseeb. by Saeed, Fahad [author.] Haseeb, Muhammad [author.] SpringerLink (Online service) Series: Computational Biology 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Modelling, Analysis, and Simulation of Computer and Telecommunication Systems [electronic resource] : 28th International Symposium, MASCOTS 2020, Nice, France, November 17–19, 2020, Revised Selected Papers / edited by Maria Carla Calzarossa, Erol Gelenbe, Krysztof Grochla, Ricardo Lent, Tadeusz Czachórski. by Calzarossa, Maria Carla [editor.] Gelenbe, Erol [editor.] Grochla, Krysztof [editor.] Lent, Ricardo [editor.] Czachórski, Tadeusz [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 12527 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	18.	Algorithms for Sensor Systems [electronic resource] : 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9–10, 2020, Revised Selected Papers / edited by Cristina M. Pinotti, Alfredo Navarra, Amitabha Bagchi. by Pinotti, Cristina M [editor.] Navarra, Alfredo [editor.] Bagchi, Amitabha [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 12503 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12477 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	20.	SOFSEM 2020: Theory and Practice of Computer Science [electronic resource] : 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings / edited by Alexander Chatzigeorgiou, Riccardo Dondi, Herodotos Herodotou, Christos Kapoutsis, Yannis Manolopoulos, George A. Papadopoulos, Florian Sikora. by Chatzigeorgiou, Alexander [editor.] Dondi, Riccardo [editor.] Herodotou, Herodotos [editor.] Kapoutsis, Christos [editor.] Manolopoulos, Yannis [editor.] Papadopoulos, George A [editor.] Sikora, Florian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12011 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 resources: Click here to access online Availability: No items available. Add to cart (remove)