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

Your search returned 67 results.

Not what you expected? Check for suggestions

		Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / edited by Francisco Botana, Pedro Quaresma. by Botana, Francisco [editor.] \| Quaresma, Pedro [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: Q334-342EBK] (1). Location(s): E-Kitap Koleksiyonu Q334-342EBK. Add to cart (remove)
		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)
		Artificial General Intelligence : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / edited by Jordi Bieger, Ben Goertzel, Alexey Potapov. by Bieger, Jordi [editor.] \| Goertzel, Ben [editor.] \| Potapov, Alexey [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: Q334-342EBK] (1). Location(s): E-Kitap Koleksiyonu Q334-342EBK. 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)
		Multi-Agent Systems : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers / edited by Nils Bulling. by Bulling, Nils [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: Q334-342EBK] (1). Location(s): E-Kitap Koleksiyonu Q334-342EBK. 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)
		Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / edited by Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella. by Italiano, Giuseppe F [editor.] \| Pighizzini, Giovanni [editor.] \| Sannella, Donald T [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.A43EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.A43EBK. 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)
		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)
		Implementation and Application of Automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings / edited by Frank Drewes. by Drewes, 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: QA75.5-76.95EBK] (1). Location(s): E-Kitap Koleksiyonu QA75.5-76.95EBK. 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)
		Developments in Language Theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. / edited by Igor Potapov. by Potapov, Igor [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: QA75.5-76.95EBK] (1). Location(s): E-Kitap Koleksiyonu QA75.5-76.95EBK. 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)
		Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi. by Butler, Michael [editor.] \| Conchon, Sylvain [editor.] \| Zaïdi, Fatiha [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)
		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)
		Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / edited by Carlos Canal, Akram Idani. by Canal, Carlos [editor.] \| Idani, Akram [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)

1
2
3
4
Next
Last

		Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / edited by Francisco Botana, Pedro Quaresma. by Botana, Francisco [editor.] \| Quaresma, Pedro [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: Q334-342EBK] (1). Location(s): E-Kitap Koleksiyonu Q334-342EBK. Add to cart (remove)
		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)
		Artificial General Intelligence : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / edited by Jordi Bieger, Ben Goertzel, Alexey Potapov. by Bieger, Jordi [editor.] \| Goertzel, Ben [editor.] \| Potapov, Alexey [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: Q334-342EBK] (1). Location(s): E-Kitap Koleksiyonu Q334-342EBK. 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)
		Multi-Agent Systems : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers / edited by Nils Bulling. by Bulling, Nils [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: Q334-342EBK] (1). Location(s): E-Kitap Koleksiyonu Q334-342EBK. 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)
		Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / edited by Giuseppe F Italiano, Giovanni Pighizzini, Donald T. Sannella. by Italiano, Giuseppe F [editor.] \| Pighizzini, Giovanni [editor.] \| Sannella, Donald T [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.A43EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.A43EBK. 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)
		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)
		Implementation and Application of Automata : 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings / edited by Frank Drewes. by Drewes, 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: QA75.5-76.95EBK] (1). Location(s): E-Kitap Koleksiyonu QA75.5-76.95EBK. 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)
		Developments in Language Theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. / edited by Igor Potapov. by Potapov, Igor [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: QA75.5-76.95EBK] (1). Location(s): E-Kitap Koleksiyonu QA75.5-76.95EBK. 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)
		Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi. by Butler, Michael [editor.] \| Conchon, Sylvain [editor.] \| Zaïdi, Fatiha [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)
		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)
		Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / edited by Carlos Canal, Akram Idani. by Canal, Carlos [editor.] \| Idani, Akram [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)

TOBB ETU Library

Refine your search

Availability

Topics

Item types

Home libraries

Collections

Series

Authors

Holding libraries