Results of search for 'ccl=su:"Computer Science."'

Results
		Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann. by Núñez, Manuel [editor.] Güdemann, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9128 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen. by Bernardo, Marco [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9104 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Fundamentals of Software Engineering : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani. by Dastani, Mehdi [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9392 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Privacy in a Digital, Networked World : Technologies, Implications and Solutions / edited by Sherali Zeadally, Mohamad Badra. by Zeadally, Sherali [editor.] Badra, Mohamad [editor.] SpringerLink (Online service) Series: Computer Communications and Networks Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Petri Net Synthesis / by Eric Badouel, Luca Bernardinello, Philippe Darondeau. by Badouel, Eric [author.] Bernardinello, Luca [author.] Darondeau, Philippe [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS 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)
		Fundamentals of Predictive Text Mining / by Sholom M. Weiss, Nitin Indurkhya, Tong Zhang. by Weiss, Sholom M [author.] Indurkhya, Nitin [author.] Zhang, Tong [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 2nd ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: London : Springer London : 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)
		Hybrid Artificial Intelligent Systems : 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, Proceedings / edited by Enrique Onieva, Igor Santos, Eneko Osaba, Héctor Quintián, Emilio Corchado. by Onieva, Enrique [editor.] Santos, Igor [editor.] Osaba, Eneko [editor.] Quintián, Héctor [editor.] Corchado, Emilio [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9121 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Smart Cities, Green Technologies, and Intelligent Transport Systems : 4th International Conference, SMARTGREENS 2015, and 1st International Conference VEHITS 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers / edited by Markus Helfert, Karl-Heinz Krempels, Cornel Klein, Brian Donellan, Oleg Guiskhin. by Helfert, Markus [editor.] Krempels, Karl-Heinz [editor.] Klein, Cornel [editor.] Donellan, Brian [editor.] Guiskhin, Oleg [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 579 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Semantic Keyword-based Search on Structured Data Sources : First COST Action IC1302 International KEYSTONE Conference, IKC 2015, Coimbra, Portugal, September 8-9, 2015. Revised Selected Papers / edited by Jorge Cardoso, Francesco Guerra, Geert-Jan Houben, Alexandre Miguel Pinto, Yannis Velegrakis. by Cardoso, Jorge [editor.] Guerra, Francesco [editor.] Houben, Geert-Jan [editor.] Pinto, Alexandre Miguel [editor.] Velegrakis, Yannis [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9398 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Information Security and Privacy : 20th Australasian Conference, ACISP 2015, Brisbane, QLD, Australia, June 29 -- July 1, 2015, Proceedings / edited by Ernest Foo, Douglas Stebila. by Foo, Ernest [editor.] Stebila, Douglas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9144 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Intelligent Robotics and Applications : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part I / edited by Honghai Liu, Naoyuki Kubota, Xiangyang Zhu, Rüdiger Dillmann, Dalin Zhou. by Liu, Honghai [editor.] Kubota, Naoyuki [editor.] Zhu, Xiangyang [editor.] Dillmann, Rüdiger [editor.] Zhou, Dalin [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9244 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Susanne Graf, Mahesh Viswanathan. by Graf, Susanne [editor.] Viswanathan, Mahesh [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9039 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Universal Access in Human-Computer Interaction. Access to the Human Environment and Culture : 9th International Conference, UAHCI 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part IV / edited by Margherita Antona, Constantine Stephanidis. by Antona, Margherita [editor.] Stephanidis, Constantine [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9178 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Pattern Recognition and Machine Intelligence : 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings / edited by Marzena Kryszkiewicz, Sanghamitra Bandyopadhyay, Henryk Rybinski, Sankar K. Pal. by Kryszkiewicz, Marzena [editor.] Bandyopadhyay, Sanghamitra [editor.] Rybinski, Henryk [editor.] Pal, Sankar K [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9124 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Human Aspects of IT for the Aged Population. Design for Everyday Life : First International Conference, ITAP 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part II / edited by Jia Zhou, Gavriel Salvendy. by Zhou, Jia [editor.] Salvendy, Gavriel [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9194 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Design, User Experience, and Usability: Users and Interactions : 4th International Conference, DUXU 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II / edited by Aaron Marcus. by Marcus, Aaron [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9187 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Neural Information Processing : 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV / edited by Sabri Arik, Tingwen Huang, Weng Kin Lai, Qingshan Liu. by Arik, Sabri [editor.] Huang, Tingwen [editor.] Lai, Weng Kin [editor.] Liu, Qingshan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9492 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		HCI International 2015 - Posters’ Extended Abstracts : International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part I / edited by Constantine Stephanidis. by Stephanidis, Constantine [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 528 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		E-Voting and Identity : 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings / edited by Rolf Haenni, Reto E. Koenig, Douglas Wikström. by Haenni, Rolf [editor.] Koenig, Reto E [editor.] Wikström, Douglas [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9269 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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)
		Cross-Cultural Design Applications in Mobile Interaction, Education, Health, Transport and Cultural Heritage : 7th International Conference, CCD 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II / edited by P.L. Patrick Rau. by Rau, P.L. Patrick [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9181 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : 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

Topics

Titles

Your search returned 1015 results.