Results of search for 'ccl=su:"Programming Techniques."'

Results
		Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation : 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 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)
		Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / edited by Ezio Bartocci, Rupak Majumdar. by Bartocci, Ezio [editor.] Majumdar, Rupak [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9333 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)
		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)
		Smart Learning Objects for Smart Education in Computer Science : Theory, Methodology and Robot-Based Implementation / by Vytautas Štuikys. by Štuikys, Vytautas [author.] SpringerLink (Online service) 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)
		Finite Difference Methods,Theory and Applications : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov. by Dimov, Ivan [editor.] Faragó, István [editor.] Vulkov, Lubin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9045 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)
		Software Engineering : 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 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)
		Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers / edited by Stefano Markidis, Erwin Laure. by Markidis, Stefano [editor.] Laure, Erwin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8759 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)
		Software, Services, and Systems : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / edited by Rocco De Nicola, Rolf Hennicker. by Nicola, Rocco De [editor.] Hennicker, Rolf [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8950 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)
		NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi. by Havelund, Klaus [editor.] Holzmann, Gerard [editor.] Joshi, Rajeev [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9058 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)
		Transactions on Aspect-Oriented Software Development XII / edited by Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld. by Chiba, Shigeru [editor.] Tanter, Éric [editor.] Ernst, Erik [editor.] Hirschfeld, Robert [editor.] SpringerLink (Online service) Series: Transactions on Aspect-Oriented Software Development ; 8989 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 Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. by Calimeri, Francesco [editor.] Ianni, Giovambattista [editor.] Truszczynski, Miroslaw [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9345 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)
		Coordination Models and Languages : 17th IFIP WG 6.1 International Conference, COORDINATION 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 Tom Holvoet, Mirko Viroli. by Holvoet, Tom [editor.] Viroli, Mirko [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9037 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)
		Genetic Programming Theory and Practice XII / edited by Rick Riolo, William P. Worzel, Mark Kotanchek. by Riolo, Rick [editor.] Worzel, William P [editor.] Kotanchek, Mark [editor.] SpringerLink (Online service) Series: Genetic and Evolutionary Computation 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)
		Guide to High Performance Distributed Computing : Case Studies with Hadoop, Scalding and Spark / by K.G. Srinivasa, Anil Kumar Muppalla. by Srinivasa, K.G [author.] Muppalla, Anil Kumar [author.] SpringerLink (Online service) Series: Computer Communications and Networks 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)
		Software Engineering for Collective Autonomic Systems : The ASCENS Approach / edited by Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer. by Wirsing, Martin [editor.] Hölzl, Matthias [editor.] Koch, Nora [editor.] Mayer, Philip [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8998 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)
		Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott. by Martí-Oliet, Narciso [editor.] Ölveczky, Peter Csaba [editor.] Talcott, Carolyn [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9200 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)
		Search-Based Software Engineering : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings / edited by Márcio Barros, Yvan Labiche. by Barros, Márcio [editor.] Labiche, Yvan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9275 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)
		Building Secure Defenses Against Code-Reuse Attacks / by Lucas Davi, Ahmad-Reza Sadeghi. by Davi, Lucas [author.] Sadeghi, Ahmad-Reza [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer Science 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)
		Data Structures and Algorithms with Python / by Kent D. Lee, Steve Hubbard. by Lee, Kent D [author.] Hubbard, Steve [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science 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)
		Engineering Multi-Agent Systems : Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani. by Baldoni, Matteo [editor.] Baresi, Luciano [editor.] Dastani, Mehdi [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9318 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Home libraries

Item types

Series

Topics

Your search returned 53 results.