Results of search for 'ccl=Provider:Berlin,;,'

Results
		Fundamental Approaches to Software Engineering : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Alexander Egyed, Ina Schaefer. by Egyed, Alexander [editor.] Schaefer, Ina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9033 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Perspectives of System Informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / edited by Andrei Voronkov, Irina Virbitskaite. by Voronkov, Andrei [editor.] Virbitskaite, Irina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8974 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. by Halldórsson, Magnús M [editor.] Iwama, Kazuo [editor.] Kobayashi, Naoki [editor.] Speckmann, Bettina [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9134 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Service-Oriented Computing : 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings / edited by Alistair Barros, Daniela Grigori, Nanjangud C. Narendra, Hoa Khanh Dam. by Barros, Alistair [editor.] Grigori, Daniela [editor.] Narendra, Nanjangud C [editor.] Dam, Hoa Khanh [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9435 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Models of Strategic Reasoning : Logics, Games, and Communities / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge. by van Benthem, Johan [editor.] Ghosh, Sujata [editor.] Verbrugge, Rineke [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8972 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. by Davis, Martin [editor.] Fehnker, Ansgar [editor.] McIver, Annabelle [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9450 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Web and Internet Economics : 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings / edited by Evangelos Markakis, Guido Schäfer. by Markakis, Evangelos [editor.] Schäfer, Guido [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9470 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Andrew Pitts. by Pitts, Andrew [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9034 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		ICTs for Improving Patients Rehabilitation Research Techniques : Second International Workshop, REHAB 2014, Oldenburg, Germany, May 20-23, 2014, Revised Selected Papers / edited by Habib M. Fardoun, Victor M R. Penichet, Daniyal M. Alghazzawi. by Fardoun, Habib M [editor.] R. Penichet, Victor M [editor.] Alghazzawi, Daniyal M [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 515 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli. by Baier, Christel [editor.] Tinelli, Cesare [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9035 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Fireworks Algorithm : A Novel Swarm Intelligence Optimization Method / by Ying Tan. by Tan, Ying [author.] SpringerLink (Online service) Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		CryptoSchool / by Joachim von zur Gathen. by von zur Gathen, Joachim [author.] SpringerLink (Online service) Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII : Selected Papers from DaWaK 2013 / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Ladjel Bellatreche, Mukesh Mohania. by Hameurlain, Abdelkader [editor.] Küng, Josef [editor.] Wagner, Roland [editor.] Bellatreche, Ladjel [editor.] Mohania, Mukesh [editor.] SpringerLink (Online service) Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 8970 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Financial Cryptography and Data Security : 19th International Conference, FC 2015, San Juan, Puerto Rico, January 26-30, 2015, Revised Selected Papers / edited by Rainer Böhme, Tatsuaki Okamoto. by Böhme, Rainer [editor.] Okamoto, Tatsuaki [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 8975 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Robotics : Joint Conference on Robotics, LARS 2014, SBR 2014, Robocontrol 2014, São Carlos, Brazil, October 18-23, 2014. Revised Selected Papers / edited by Fernando S. Osório, Denis Fernando Wolf, Kalinka Castelo Branco, Valdir Grassi Jr., Marcelo Becker, Roseli Romero. by Osório, Fernando S [editor.] Wolf, Denis Fernando [editor.] Castelo Branco, Kalinka [editor.] Grassi Jr., Valdir [editor.] Becker, Marcelo [editor.] Romero, Roseli [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 507 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Evolvable Hardware : From Practice to Application / by Martin A. Trefzer, Andy M. Tyrrell. by Trefzer, Martin A [author.] Tyrrell, Andy M [author.] SpringerLink (Online service) Series: Natural Computing Series Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Knowledge Discovery, Knowledge Engineering and Knowledge Management : 5th International Joint Conference, IC3K 2013, Vilamoura, Portugal, September 19-22, 2013. Revised Selected Papers / edited by Ana Fred, Jan L.G. Dietz, Kecheng Liu, Joaquim Filipe. by Fred, Ana [editor.] Dietz, Jan L.G [editor.] Liu, Kecheng [editor.] Filipe, Joaquim [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 454 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Advances in Cryptology – ASIACRYPT 2015 : 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part II / edited by Tetsu Iwata, Jung Hee Cheon. by Iwata, Tetsu [editor.] Cheon, Jung Hee [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9453 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		SOFSEM 2015: Theory and Practice of Computer Science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings / edited by Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer. by Italiano, Giuseppe F [editor.] Margaria-Steffen, Tiziana [editor.] Pokorný, Jaroslav [editor.] Quisquater, Jean-Jacques [editor.] Wattenhofer, Roger [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8939 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)
		Advances in Cryptology - EUROCRYPT 2015 : 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II / edited by Elisabeth Oswald, Marc Fischlin. by Oswald, Elisabeth [editor.] Fischlin, Marc [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9057 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 Online resources: Springer eBooks Online access link to the resource Availability: Not available: Merkez Kütüphane: Geçerli değil-e-Kitap / Not applicable-e-Book (1). Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Home libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 484 results.