Your search returned 9091 results.

Results
	7581.	Formal Modeling: Actors; Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by Agha, Gul [editor.] Danvy, Olivier [editor.] Meseguer, José [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7000 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7582.	Theory and Practice of Model Transformations [electronic resource] : First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings / by Vallecillo, Antonio [editor.] Gray, Jeff [editor.] Pierantonio, Alfonso [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5063 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7583.	Algorithms and Data Structures [electronic resource] : 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings / by Dehne, Frank [editor.] Iacono, John [editor.] Sack, Jörg-Rüdiger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6844 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Lists: Machine Learning. Add to cart (remove)
	7584.	Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / by Cámara, Javier [editor.] de Lemos, Rogério [editor.] Ghezzi, Carlo [editor.] Lopes, Antonia [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7740 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7585.	Current Trends in Database Technology - EDBT 2006 [electronic resource] : EDBT 2006 Workshop PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMa, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers / by Grust, Torsten [editor.] Höpfner, Hagen [editor.] Illarramendi, Arantza [editor.] Jablonski, Stefan [editor.] Mesiti, Marco [editor.] Müller, Sascha [editor.] Patranjan, Paula-Lavinia [editor.] Sattler, Kai-Uwe [editor.] Spiliopoulou, Myra [editor.] Wijsen, Jef [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4254 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7586.	Quantum Interaction [electronic resource] : 6th International Symposium, QI 2012, Paris, June 27-29, 2012, Revised Selected Papers / by Busemeyer, Jerome R [editor.] Dubois, Francois [editor.] Lambert-Mogiliansky, Ariane [editor.] Melucci, Massimo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7620 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7587.	Algorithms for Sensor Systems [electronic resource] : 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers / by Bose, Prosenjit [editor.] Gąsieniec, Leszek Antoni [editor.] Römer, Kay [editor.] Wattenhofer, Roger [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 9536 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 access: Click here to access online Availability: No items available. Add to cart (remove)
	7588.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings / by Antonucci, Alessandro [editor.] Cholvy, Laurence [editor.] Papini, Odile [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10369 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)
	7589.	Security Protocols XXII [electronic resource] : 22nd International Workshop, Cambridge, UK, March 19-21, 2014, Revised Selected Papers / by Christianson, Bruce [editor.] Malcolm, James [editor.] Matyáš, Vashek [editor.] Švenda, Petr [editor.] Stajano, Frank [editor.] Anderson, Jonathan [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8809 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 access: Click here to access online Availability: No items available. Add to cart (remove)
	7590.	Theory and Practice of Natural Computing [electronic resource] : Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings / by Dediu, Adrian-Horia [editor.] Lozano, Manuel [editor.] Martín-Vide, Carlos [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8890 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 access: Click here to access online Availability: No items available. Add to cart (remove)
	7591.	Language and Automata Theory and Applications [electronic resource] : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings / by Klein, Shmuel Tomi [editor.] Martín-Vide, Carlos [editor.] Shapira, Dana [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10792 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)
	7592.	Digital Libraries at the Crossroads of Digital Information for the Future [electronic resource] : 21st International Conference on Asia-Pacific Digital Libraries, ICADL 2019, Kuala Lumpur, Malaysia, November 4–7, 2019, Proceedings / by Jatowt, Adam [editor.] Maeda, Akira [editor.] Syn, Sue Yeon [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11853 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)
	7593.	Pattern Recognition and Machine Intelligence [electronic resource] : 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part II / by Deka, Bhabesh [editor.] Maji, Pradipta [editor.] Mitra, Sushmita [editor.] Bhattacharyya, Dhruba Kumar [editor.] Bora, Prabin Kumar [editor.] Pal, Sankar Kumar [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11942 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)
	7594.	From Lambda Calculus to Cybersecurity Through Program Analysis [electronic resource] : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / by Di Pierro, Alessandra [editor.] Malacaria, Pasquale [editor.] Nagarajan, Rajagopal [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12065 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)
	7595.	Universal Access in Human-Computer Interaction. Design Approaches and Supporting Technologies [electronic resource] : 14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by Antona, Margherita [editor.] Stephanidis, Constantine [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12188 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)
	7596.	Bio-inspired Information and Communication Technologies [electronic resource] : 12th EAI International Conference, BICT 2020, Shanghai, China, July 7-8, 2020, Proceedings / by Chen, Yifan [editor.] Nakano, Tadashi [editor.] Lin, Lin [editor.] Mahfuz, Mohammad Upal [editor.] Guo, Weisi [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 329 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)
	7597.	6GN for Future Wireless Networks [electronic resource] : Third EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020, Proceedings / by Wang, Xiaofei [editor.] Leung, Victor C. M [editor.] Li, Keqiu [editor.] Zhang, Haijun [editor.] Hu, Xiping [editor.] Liu, Qiang [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 337 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)
	7598.	Ubiquitous Communications and Network Computing [electronic resource] : 4th EAI International Conference, UBICNET 2021, Virtual Event, March 2021, Proceedings / by Kumar, Navin [editor.] Vinodhini, M [editor.] Venkatesha Prasad, Ranga Rao [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 383 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)
	7599.	Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops [electronic resource] : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings / by Trapp, Mario [editor.] Schoitsch, Erwin [editor.] Guiochet, Jérémie [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13415 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)
	7600.	KI 2022: Advances in Artificial Intelligence [electronic resource] : 45th German Conference on AI, Trier, Germany, September 19–23, 2022, Proceedings / by Bergmann, Ralph [editor.] Malburg, Lukas [editor.] Rodermund, Stephanie C [editor.] Timm, Ingo J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13404 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 9091 results.