Your search returned 16792 results.

Results
	14321.	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)
	14322.	Smart Homes and Health Telematics [electronic resource] : 6th International Conference, ICOST 2008 Ames, IA, USA, June 28th July 2, 2008, Proceedings / by Helal, Abdelsalam (Sumi) [editor.] Mitra, Simanta [editor.] Wong, Johnny [editor.] Chang, Carl K [editor.] Mounir, Mokhtari [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5120 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)
	14323.	Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications [electronic resource] : 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012, Proceedings / by Alvarez, Luis [editor.] Mejail, Marta [editor.] Gomez, Luis [editor.] Jacobo, Julio [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 7441 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)
	14324.	Informatics Education - Supporting Computational Thinking [electronic resource] : Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008 Torun Poland, July 1-4, 2008 Proceedings / by Mittermeir, Roland [editor.] Syslo, Maciej M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5090 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)
	14325.	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)
	14326.	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)
	14327.	Web Information Systems Engineering – WISE 2014 Workshops [electronic resource] : 15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers / by Benatallah, Boualem [editor.] Bestavros, Azer [editor.] Catania, Barbara [editor.] Haller, Armin [editor.] Manolopoulos, Yannis [editor.] Vakali, Athena [editor.] Zhang, Yanchun [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9051 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)
	14328.	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)
	14329.	Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / by Taft, S. Tucker [editor.] Duff, Robert A [editor.] Brukardt, Randall L [editor.] Ploedereder, Erhard [editor.] Leroy, Pascal [editor.] Schonberg, Edmond [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8339 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)
	14330.	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)
	14331.	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)
	14332.	Semantics, Analytics, Visualization. Enhancing Scholarly Data [electronic resource] : Second International Workshop, SAVE-SD 2016, Montreal, QC, Canada, April 11, 2016, Revised Selected Papers / by González-Beltrán, Alejandra [editor.] Osborne, Francesco [editor.] Peroni, Silvio [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9792 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14333.	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)
	14334.	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)
	14335.	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)
	14336.	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)
	14337.	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)
	14338.	Artificial Intelligence in Education [electronic resource] : 19th International Conference, AIED 2018, London, UK, June 27–30, 2018, Proceedings, Part I / by Penstein Rosé, Carolyn [editor.] Martínez-Maldonado, Roberto [editor.] Hoppe, H. Ulrich [editor.] Luckin, Rose [editor.] Mavrikis, Manolis [editor.] Porayska-Pomsta, Kaska [editor.] McLaren, Bruce [editor.] du Boulay, Benedict [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10947 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)
	14339.	Communication, Networks and Computing [electronic resource] : First International Conference, CNC 2018, Gwalior, India, March 22-24, 2018, Revised Selected Papers / by Verma, Shekhar [editor.] Tomar, Ranjeet Singh [editor.] Chaurasia, Brijesh Kumar [editor.] Singh, Vrijendra [editor.] Abawajy, Jemal [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 839 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	14340.	Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection [electronic resource] : 7th International Conference, EuroMed 2018, Nicosia, Cyprus, October 29–November 3, 2018, Proceedings, Part I / by Ioannides, Marinos [editor.] Fink, Eleanor [editor.] Brumana, Raffaella [editor.] Patias, Petros [editor.] Doulamis, Anastasios [editor.] Martins, João [editor.] Wallace, Manolis [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11196 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 16792 results.