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

Your search returned 48 results.

Not what you expected? Check for suggestions

		Model and Data Engineering : 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings / edited by Ladjel Bellatreche, Yannis Manolopoulos. by Bellatreche, Ladjel [editor.] \| Manolopoulos, Yannis [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)
		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)
		Service Oriented and Cloud Computing : 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings / edited by Schahram Dustdar, Frank Leymann, Massimo Villari. by Dustdar, Schahram [editor.] \| Leymann, Frank [editor.] \| Villari, Massimo [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)
		Analytical and Stochastic Modelling Techniques and Applications : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / edited by Marco Gribaudo, Daniele Manini, Anne Remke. by Gribaudo, Marco [editor.] \| Manini, Daniele [editor.] \| Remke, Anne [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)
		Software Architecture : 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings / edited by Danny Weyns, Raffaela Mirandola, Ivica Crnkovic. by Weyns, Danny [editor.] \| Mirandola, Raffaela [editor.] \| Crnkovic, Ivica [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)
		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)
		OpenMP: Heterogenous Execution and Data Movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings / edited by Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller. by Terboven, Christian [editor.] \| de Supinski, Bronis R [editor.] \| Reble, Pablo [editor.] \| Chapman, Barbara M [editor.] \| Müller, Matthias S [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: TK7895.M5EBK] (1). Location(s): E-Kitap Koleksiyonu TK7895.M5EBK. 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)
		Service-Oriented Computing - ICSOC 2014 Workshops : WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers / edited by Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, Brian Blake, Olivier Perrin, Iman Saleh Moustafa, Sami Bhiri. by Toumani, Farouk [editor.] \| Pernici, Barbara [editor.] \| Grigori, Daniela [editor.] \| Benslimane, Djamal [editor.] \| Mendling, Jan [editor.] \| Ben Hadj-Alouane, Nejib [editor.] \| Blake, Brian [editor.] \| Perrin, Olivier [editor.] \| Saleh Moustafa, Iman [editor.] \| Bhiri, Sami [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)
		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)
		Product-Focused Software Process Improvement : 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings / edited by Pekka Abrahamsson, Luis Corral, Markku Oivo, Barbara Russo. by Abrahamsson, Pekka [editor.] \| Corral, Luis [editor.] \| Oivo, Markku [editor.] \| Russo, Barbara [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)
		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)
		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)
		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)
		Modelling Foundations and Applications : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / edited by Gabriele Taentzer, Francis Bordeleau. by Taentzer, Gabriele [editor.] \| Bordeleau, Francis [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)
		Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings / edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko. by El-Fakih, Khaled [editor.] \| Barlas, Gerassimos [editor.] \| Yevtushenko, Nina [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)

1
2
3
Next
Last

		Model and Data Engineering : 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings / edited by Ladjel Bellatreche, Yannis Manolopoulos. by Bellatreche, Ladjel [editor.] \| Manolopoulos, Yannis [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)
		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)
		Service Oriented and Cloud Computing : 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings / edited by Schahram Dustdar, Frank Leymann, Massimo Villari. by Dustdar, Schahram [editor.] \| Leymann, Frank [editor.] \| Villari, Massimo [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)
		Analytical and Stochastic Modelling Techniques and Applications : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / edited by Marco Gribaudo, Daniele Manini, Anne Remke. by Gribaudo, Marco [editor.] \| Manini, Daniele [editor.] \| Remke, Anne [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)
		Software Architecture : 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings / edited by Danny Weyns, Raffaela Mirandola, Ivica Crnkovic. by Weyns, Danny [editor.] \| Mirandola, Raffaela [editor.] \| Crnkovic, Ivica [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)
		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)
		OpenMP: Heterogenous Execution and Data Movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings / edited by Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller. by Terboven, Christian [editor.] \| de Supinski, Bronis R [editor.] \| Reble, Pablo [editor.] \| Chapman, Barbara M [editor.] \| Müller, Matthias S [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: TK7895.M5EBK] (1). Location(s): E-Kitap Koleksiyonu TK7895.M5EBK. 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)
		Service-Oriented Computing - ICSOC 2014 Workshops : WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers / edited by Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, Brian Blake, Olivier Perrin, Iman Saleh Moustafa, Sami Bhiri. by Toumani, Farouk [editor.] \| Pernici, Barbara [editor.] \| Grigori, Daniela [editor.] \| Benslimane, Djamal [editor.] \| Mendling, Jan [editor.] \| Ben Hadj-Alouane, Nejib [editor.] \| Blake, Brian [editor.] \| Perrin, Olivier [editor.] \| Saleh Moustafa, Iman [editor.] \| Bhiri, Sami [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)
		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)
		Product-Focused Software Process Improvement : 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings / edited by Pekka Abrahamsson, Luis Corral, Markku Oivo, Barbara Russo. by Abrahamsson, Pekka [editor.] \| Corral, Luis [editor.] \| Oivo, Markku [editor.] \| Russo, Barbara [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)
		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)
		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)
		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)
		Modelling Foundations and Applications : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / edited by Gabriele Taentzer, Francis Bordeleau. by Taentzer, Gabriele [editor.] \| Bordeleau, Francis [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)
		Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings / edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko. by El-Fakih, Khaled [editor.] \| Barlas, Gerassimos [editor.] \| Yevtushenko, Nina [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)

TOBB ETU Library

Refine your search

Availability

Topics

Authors

Home libraries

Series

Holding libraries

Item types

Collections