TOBB ETU Library catalog › Results of search for 'ccl=su:"Software."'

Your search returned 82 results.

Not what you expected? Check for suggestions

		Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu. by Codescu, Mihai [editor.] \| Diaconescu, Răzvan [editor.] \| Țuțu, Ionuț [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.5913EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.5913EBK. Add to cart (remove)
		Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim. by Meyer, Roland [editor.] \| Platzer, André [editor.] \| Wehrheim, Heike [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.63EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.63EBK. Add to cart (remove)
		Algebraic Informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / edited by Andreas Maletti. by Maletti, Andreas [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.5913EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.5913EBK. Add to cart (remove)
		Computer Safety, Reliability, and Security : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk. by Koornneef, Floor [editor.] \| van Gulijk, Coen [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.63EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.63EBK. Add to cart (remove)
		Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe. by Calinescu, Radu [editor.] \| Rumpe, Bernhard [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / edited by Nikolaj Bjørner, Frank de Boer. by Bjørner, Nikolaj [editor.] \| de Boer, Frank [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine. by Lanese, Ivan [editor.] \| Madelaine, Eric [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / edited by Nir Piterman. by Piterman, Nir [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / edited by Manjunath Gorentla Venkata, Pavel Shamis, Neena Imam, M. Graham Lopez. by Gorentla Venkata, Manjunath [editor.] \| Shamis, Pavel [editor.] \| Imam, Neena [editor.] \| Lopez, M. Graham [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / edited by David Naumann. by Naumann, David [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.9.L63EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.L63EBK. Add to cart (remove)
		Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe. by Combemale, Benoit [editor.] \| Cheng, Betty H.C [editor.] \| France, Robert B [editor.] \| Jézéquel, Jean-Marc [editor.] \| Rumpe, Bernhard [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		Information Security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings / edited by Yvo Desmedt. by Desmedt, Yvo [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Lehel Csató. by Zsók, Viktória [editor.] \| Horváth, Zoltán [editor.] \| Csató, Lehel [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.6-76.66EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.6-76.66EBK. Add to cart (remove)
		Practical Aspects of Declarative Languages : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / edited by Enrico Pontelli, Tran Cao Son. by Pontelli, Enrico [editor.] \| Son, Tran Cao [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.76.C65EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.76.C65EBK. Add to cart (remove)
		Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / edited by Jasmin Christian Blanchette, Nikolai Kosmatov. by Blanchette, Jasmin Christian [editor.] \| Kosmatov, Nikolai [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		Programming Languages with Applications to Biology and Security : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami. by Bodei, Chiara [editor.] \| Ferrari, Gianluigi [editor.] \| Priami, Corrado [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.9.L63EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.L63EBK. Add to cart (remove)
		SDL 2015: Model-Driven Engineering for Smart Cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed. by Fischer, Joachim [editor.] \| Scheidgen, Markus [editor.] \| Schieferdecker, Ina [editor.] \| Reed, Rick [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		Compiler Construction : 24th International Conference, CC 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 Björn Franke. by Franke, Björn [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.7-76.73EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.7-76.73EBK. Add to cart (remove)
		Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / edited by Sandrine Blazy, Thomas Jensen. by Blazy, Sandrine [editor.] \| Jensen, Thomas [editor.] \| 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, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.9.L63EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.L63EBK. Add to cart (remove)
		Graph Transformation : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / edited by Francesco Parisi-Presicce, Bernhard Westfechtel. by Parisi-Presicce, Francesco [editor.] \| Westfechtel, Bernhard [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.9.M35EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.M35EBK. Add to cart (remove)

1
2
3
4
5
Next
Last

		Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu. by Codescu, Mihai [editor.] \| Diaconescu, Răzvan [editor.] \| Țuțu, Ionuț [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.5913EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.5913EBK. Add to cart (remove)
		Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / edited by Roland Meyer, André Platzer, Heike Wehrheim. by Meyer, Roland [editor.] \| Platzer, André [editor.] \| Wehrheim, Heike [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.63EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.63EBK. Add to cart (remove)
		Algebraic Informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / edited by Andreas Maletti. by Maletti, Andreas [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.5913EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.5913EBK. Add to cart (remove)
		Computer Safety, Reliability, and Security : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk. by Koornneef, Floor [editor.] \| van Gulijk, Coen [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.63EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.63EBK. Add to cart (remove)
		Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe. by Calinescu, Radu [editor.] \| Rumpe, Bernhard [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / edited by Nikolaj Bjørner, Frank de Boer. by Bjørner, Nikolaj [editor.] \| de Boer, Frank [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine. by Lanese, Ivan [editor.] \| Madelaine, Eric [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / edited by Nir Piterman. by Piterman, Nir [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / edited by Manjunath Gorentla Venkata, Pavel Shamis, Neena Imam, M. Graham Lopez. by Gorentla Venkata, Manjunath [editor.] \| Shamis, Pavel [editor.] \| Imam, Neena [editor.] \| Lopez, M. Graham [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / edited by David Naumann. by Naumann, David [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.9.L63EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.L63EBK. Add to cart (remove)
		Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe. by Combemale, Benoit [editor.] \| Cheng, Betty H.C [editor.] \| France, Robert B [editor.] \| Jézéquel, Jean-Marc [editor.] \| Rumpe, Bernhard [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		Information Security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings / edited by Yvo Desmedt. by Desmedt, Yvo [editor.] \| SpringerLink (Online service). Edition: 1st ed. 2015.Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Lehel Csató. by Zsók, Viktória [editor.] \| Horváth, Zoltán [editor.] \| Csató, Lehel [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.6-76.66EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.6-76.66EBK. Add to cart (remove)
		Practical Aspects of Declarative Languages : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / edited by Enrico Pontelli, Tran Cao Son. by Pontelli, Enrico [editor.] \| Son, Tran Cao [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.76.C65EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.76.C65EBK. Add to cart (remove)
		Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / edited by Jasmin Christian Blanchette, Nikolai Kosmatov. by Blanchette, Jasmin Christian [editor.] \| Kosmatov, Nikolai [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		Programming Languages with Applications to Biology and Security : Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / edited by Chiara Bodei, Gianluigi Ferrari, Corrado Priami. by Bodei, Chiara [editor.] \| Ferrari, Gianluigi [editor.] \| Priami, Corrado [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.9.L63EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.L63EBK. Add to cart (remove)
		SDL 2015: Model-Driven Engineering for Smart Cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed. by Fischer, Joachim [editor.] \| Scheidgen, Markus [editor.] \| Schieferdecker, Ina [editor.] \| Reed, Rick [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.758EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.758EBK. Add to cart (remove)
		Compiler Construction : 24th International Conference, CC 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 Björn Franke. by Franke, Björn [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.7-76.73EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.7-76.73EBK. Add to cart (remove)
		Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / edited by Sandrine Blazy, Thomas Jensen. by Blazy, Sandrine [editor.] \| Jensen, Thomas [editor.] \| 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, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.9.L63EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.L63EBK. Add to cart (remove)
		Graph Transformation : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / edited by Francesco Parisi-Presicce, Bernhard Westfechtel. by Parisi-Presicce, Francesco [editor.] \| Westfechtel, Bernhard [editor.] \| SpringerLink (Online service). Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Springer eBooks Online access link to the resource Availability: Items available for reference: Merkez Kütüphane [Call number: QA76.9.M35EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.M35EBK. Add to cart (remove)

TOBB ETU Library

Refine your search

Availability

Item types

Collections

Home libraries

Topics

Holding libraries

Authors

Series