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

Your search returned 65 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)
		DNA Computing and Molecular Programming : 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings / edited by Andrew Phillips, Peng Yin. by Phillips, Andrew [editor.] \| Yin, Peng [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)
		Large-Scale Scientific Computing : 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers / edited by Ivan Lirkov, Svetozar D. Margenov, Jerzy Waśniewski. by Lirkov, Ivan [editor.] \| Margenov, Svetozar D [editor.] \| Waśniewski, Jerzy [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: QA297-299.4EBK] (1). Location(s): E-Kitap Koleksiyonu QA297-299.4EBK. Add to cart (remove)
		Intelligent Data Engineering and Automated Learning – IDEAL 2015 : 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings / edited by Konrad Jackowski, Robert Burduk, Krzysztof Walkowiak, Michal Wozniak, Hujun Yin. by Jackowski, Konrad [editor.] \| Burduk, Robert [editor.] \| Walkowiak, Krzysztof [editor.] \| Wozniak, Michal [editor.] \| Yin, Hujun [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.D343EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.D343EBK. Add to cart (remove)
		Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. by Halldórsson, Magnús M [editor.] \| Iwama, Kazuo [editor.] \| Kobayashi, Naoki [editor.] \| Speckmann, Bettina [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.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)
		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)
		Theory and Practice of Natural Computing : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings / edited by Adrian-Horia Dediu, Luis Magdalena, Carlos Martín-Vide. by Dediu, Adrian-Horia [editor.] \| Magdalena, Luis [editor.] \| Martín-Vide, Carlos [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.A43EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.A43EBK. 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)
		Web Reasoning and Rule Systems : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. / edited by Balder ten Cate, Alessandra Mileo. by ten Cate, Balder [editor.] \| Mileo, Alessandra [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.A65EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.76.A65EBK. Add to cart (remove)
		Swarm, Evolutionary, and Memetic Computing : 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das. by Panigrahi, Bijaya Ketan [editor.] \| Suganthan, Ponnuthurai Nagaratnam [editor.] \| Das, Swagatam [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)
		Evolutionary Multi-Criterion Optimization : 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II / edited by António Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello. by Gaspar-Cunha, António [editor.] \| Henggeler Antunes, Carlos [editor.] \| Coello, Carlos Coello [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: QA297-299.4EBK] (1). Location(s): E-Kitap Koleksiyonu QA297-299.4EBK. 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)
		Computational Intelligence Methods for Bioinformatics and Biostatistics : 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers / edited by Clelia DI Serio, Pietro Liò, Alessandro Nonis, Roberto Tagliaferri. by DI Serio, Clelia [editor.] \| Liò, Pietro [editor.] \| Nonis, Alessandro [editor.] \| Tagliaferri, Roberto [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: QH324.2-324.25EBK] (1). Location(s): E-Kitap Koleksiyonu QH324.2-324.25EBK. Add to cart (remove)
		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). 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)
		Machine Learning Meets Medical Imaging : First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papers / edited by Kanwal Bhatia, Herve Lombaert. by Bhatia, Kanwal [editor.] \| Lombaert, Herve [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: TA1637-1638EBK] (1). Location(s): E-Kitap Koleksiyonu TA1637-1638EBK. Add to cart (remove)
		Perspectives of System Informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / edited by Andrei Voronkov, Irina Virbitskaite. by Voronkov, Andrei [editor.] \| Virbitskaite, Irina [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.5913EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.5913EBK. Add to cart (remove)
		Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. by Halldórsson, Magnús M [editor.] \| Iwama, Kazuo [editor.] \| Kobayashi, Naoki [editor.] \| Speckmann, Bettina [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.9.A43EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.A43EBK. Add to cart (remove)
		Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 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 Andrew Pitts. by Pitts, Andrew [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.5913EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.5913EBK. Add to cart (remove)
		Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 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 Christel Baier, Cesare Tinelli. by Baier, Christel [editor.] \| Tinelli, Cesare [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.5913EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.5913EBK. Add to cart (remove)

1
2
3
4
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)
		DNA Computing and Molecular Programming : 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings / edited by Andrew Phillips, Peng Yin. by Phillips, Andrew [editor.] \| Yin, Peng [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)
		Large-Scale Scientific Computing : 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers / edited by Ivan Lirkov, Svetozar D. Margenov, Jerzy Waśniewski. by Lirkov, Ivan [editor.] \| Margenov, Svetozar D [editor.] \| Waśniewski, Jerzy [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: QA297-299.4EBK] (1). Location(s): E-Kitap Koleksiyonu QA297-299.4EBK. Add to cart (remove)
		Intelligent Data Engineering and Automated Learning – IDEAL 2015 : 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings / edited by Konrad Jackowski, Robert Burduk, Krzysztof Walkowiak, Michal Wozniak, Hujun Yin. by Jackowski, Konrad [editor.] \| Burduk, Robert [editor.] \| Walkowiak, Krzysztof [editor.] \| Wozniak, Michal [editor.] \| Yin, Hujun [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.D343EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.D343EBK. Add to cart (remove)
		Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. by Halldórsson, Magnús M [editor.] \| Iwama, Kazuo [editor.] \| Kobayashi, Naoki [editor.] \| Speckmann, Bettina [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.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)
		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)
		Theory and Practice of Natural Computing : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings / edited by Adrian-Horia Dediu, Luis Magdalena, Carlos Martín-Vide. by Dediu, Adrian-Horia [editor.] \| Magdalena, Luis [editor.] \| Martín-Vide, Carlos [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.A43EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.A43EBK. 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)
		Web Reasoning and Rule Systems : 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. / edited by Balder ten Cate, Alessandra Mileo. by ten Cate, Balder [editor.] \| Mileo, Alessandra [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.A65EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.76.A65EBK. Add to cart (remove)
		Swarm, Evolutionary, and Memetic Computing : 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das. by Panigrahi, Bijaya Ketan [editor.] \| Suganthan, Ponnuthurai Nagaratnam [editor.] \| Das, Swagatam [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)
		Evolutionary Multi-Criterion Optimization : 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II / edited by António Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello. by Gaspar-Cunha, António [editor.] \| Henggeler Antunes, Carlos [editor.] \| Coello, Carlos Coello [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: QA297-299.4EBK] (1). Location(s): E-Kitap Koleksiyonu QA297-299.4EBK. 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)
		Computational Intelligence Methods for Bioinformatics and Biostatistics : 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers / edited by Clelia DI Serio, Pietro Liò, Alessandro Nonis, Roberto Tagliaferri. by DI Serio, Clelia [editor.] \| Liò, Pietro [editor.] \| Nonis, Alessandro [editor.] \| Tagliaferri, Roberto [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: QH324.2-324.25EBK] (1). Location(s): E-Kitap Koleksiyonu QH324.2-324.25EBK. Add to cart (remove)
		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). 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)
		Machine Learning Meets Medical Imaging : First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papers / edited by Kanwal Bhatia, Herve Lombaert. by Bhatia, Kanwal [editor.] \| Lombaert, Herve [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: TA1637-1638EBK] (1). Location(s): E-Kitap Koleksiyonu TA1637-1638EBK. Add to cart (remove)
		Perspectives of System Informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / edited by Andrei Voronkov, Irina Virbitskaite. by Voronkov, Andrei [editor.] \| Virbitskaite, Irina [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.5913EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.5913EBK. Add to cart (remove)
		Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. by Halldórsson, Magnús M [editor.] \| Iwama, Kazuo [editor.] \| Kobayashi, Naoki [editor.] \| Speckmann, Bettina [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.9.A43EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.A43EBK. Add to cart (remove)
		Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 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 Andrew Pitts. by Pitts, Andrew [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.5913EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.5913EBK. Add to cart (remove)
		Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 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 Christel Baier, Cesare Tinelli. by Baier, Christel [editor.] \| Tinelli, Cesare [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.5913EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.5913EBK. Add to cart (remove)

TOBB ETU Library

Refine your search

Availability

Holding libraries

Home libraries

Item types

Series

Collections

Topics

Authors