Refine your search

Your search returned 255 results.

Not what you expected? Check for suggestions
Software engineering / D. Bj²rner.

by Bj²rner, D., (Dines), 1937-.

Language: İngilizce Publisher: Berlin ; New York : Springer, 2006Availability: Items available for loan: Merkez Kütüphane (3). Location(s): Genel Koleksiyon QA76.758 .B56 2006.

Intelligent Software Methodologies, Tools and Techniques : 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers / edited by Hamido Fujita, Ali Selamat.

by Fujita, Hamido [editor.] | Selamat, Ali [editor.] | SpringerLink (Online service).

Material type: Text Text; Format: electronic available online remote; 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.

Multilevel Business Processes : Modeling and Data Analysis / by Christoph G. Schuetz.

by G. Schuetz, Christoph [author.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: İngilizce Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 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.

Internet of Vehicles - Safe and Intelligent Mobility : Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings / edited by Ching-Hsien Hsu, Feng Xia, Xingang Liu, Shangguang Wang.

by Hsu, Ching-Hsien [editor.] | Xia, Feng [editor.] | Liu, Xingang [editor.] | Wang, Shangguang [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Material type: Text Text; Format: electronic available online remote; 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.A25EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.A25EBK.

Information Security : 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings / edited by Javier Lopez, Chris J. Mitchell.

by Lopez, Javier [editor.] | Mitchell, Chris J [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Material type: Text Text; Format: electronic available online remote; 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.A25EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.A25EBK.

Job Scheduling Strategies for Parallel Processing : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai.

by Cirne, Walfredo [editor.] | Desai, Narayan [editor.] | SpringerLink (Online service).

Material type: Text Text; Format: electronic available online remote; 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.

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 Text; Format: electronic available online remote; 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.

Ad-hoc, Mobile, and Wireless Networks : 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings / edited by Symeon Papavassiliou, Stefan Ruehrup.

by Papavassiliou, Symeon [editor.] | Ruehrup, Stefan [editor.] | SpringerLink (Online service).

Material type: Text Text; Format: electronic available online remote; 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: TK5105.5-5105.9EBK] (1). Location(s): E-Kitap Koleksiyonu TK5105.5-5105.9EBK.

Data Science : Second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015, Proceedings / edited by Chengqi Zhang, Wei Huang, Yong Shi, Philip S. Yu, Yangyong Zhu, Yingjie Tian, Peng Zhang, Jing He.

by Zhang, Chengqi [editor.] | Huang, Wei [editor.] | Shi, Yong [editor.] | Yu, Philip S [editor.] | Zhu, Yangyong [editor.] | Tian, Yingjie [editor.] | Zhang, Peng [editor.] | He, Jing [editor.] | SpringerLink (Online service).

Material type: Text Text; Format: electronic available online remote; 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.D3EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.D3EBK.

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 Text; Format: electronic available online remote; 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.

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 Text; Format: electronic available online remote; 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.

Computational Science and Its Applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Gavrilova, Marina L [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service).

Material type: Text Text; Format: electronic available online remote; 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: TK5105.5-5105.9EBK] (1). Location(s): E-Kitap Koleksiyonu TK5105.5-5105.9EBK.

Computational Science and Its Applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Gavrilova, Marina L [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service).

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: İngilizce Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Online access link to the resource Springer eBooks Availability: Items available for reference: Merkez Kütüphane [Call number: TK5105.5-5105.9EBK] (1). Location(s): E-Kitap Koleksiyonu TK5105.5-5105.9EBK.

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 Text; Format: electronic available online remote; 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.

Introduction to Concurrency Theory : Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari.

by Gorrieri, Roberto [author.] | Versari, Cristian [author.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Material type: Text Text; Format: electronic available online remote; 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.

Engineering the Web in the Big Data Era : 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings / edited by Philipp Cimiano, Flavius Frasincar, Geert-Jan Houben, Daniel Schwabe.

by Cimiano, Philipp [editor.] | Frasincar, Flavius [editor.] | Houben, Geert-Jan [editor.] | Schwabe, Daniel [editor.] | SpringerLink (Online service).

Material type: Text Text; Format: electronic available online remote; 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.

Human-Computer Interaction – INTERACT 2015 : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II / edited by Julio Abascal, Simone Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler.

by Abascal, Julio [editor.] | Barbosa, Simone [editor.] | Fetter, Mirko [editor.] | Gross, Tom [editor.] | Palanque, Philippe [editor.] | Winckler, Marco [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Material type: Text Text; Format: electronic available online remote; 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.U83EBK] (1). Location(s): E-Kitap Koleksiyonu QA76.9.U83EBK.

Computational Science and Its Applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Gavrilova, Marina L [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service).

Material type: Text Text; Format: electronic available online remote; 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: TK5105.5-5105.9EBK] (1). Location(s): E-Kitap Koleksiyonu TK5105.5-5105.9EBK.

Computational Science and Its Applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Gavrilova, Marina L [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service).

Material type: Text Text; Format: electronic available online remote; 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: TK5105.5-5105.9EBK] (1). Location(s): E-Kitap Koleksiyonu TK5105.5-5105.9EBK.

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 Text; Format: electronic available online remote; 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.

Devinim Yazılım Eğitim Danışmanlık tarafından Koha'nın orjinal sürümü uyarlanarak geliştirilip kurulmuştur.