Arama Sonuçları Science - Daraltılmış: Software engineering.

Design Patterns for e-Science

2026-01-22T15:47:05Z

Yazar Gardner, Henry. author. Manduchi, Gabriele. author. Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-68090-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science XXXIV

2026-01-22T15:47:05Z

Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-59958-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science I

2026-01-22T15:47:05Z

Yazar Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79299-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Python Scripting for Computational Science

2026-01-22T15:47:05Z

Yazar Langtangen, Hans Petter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73916-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science II

2026-01-22T15:47:05Z

Yazar Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Wang, Yingxu. editor. Yao, Yiyu. editor. Wang, Guoyin. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87563-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Python Scripting for Computational Science

2026-01-22T15:47:05Z

Yazar Langtangen, Hans Petter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-31269-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Design Science

2026-01-22T15:47:05Z

Yazar Johannesson, Paul. author. Perjons, Erik. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10632-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science XXXI Special Issue on Signal Processing and Security in Distributed Systems

2026-01-22T15:47:05Z

Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-56499-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perspectives on data science for software engineering

2026-01-22T15:47:05Z

Yazar Menzies, Tim, editor. Williams, Laurie, 1962- editor. Zimmermann, Thomas, editor.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128042069
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science and its Applications CSA 2012

2026-01-22T15:47:05Z

Yazar Yeo, Sang-Soo. editor. Pan, Yi. editor. Lee, Yang Sun. editor. Chang, Hang Bae. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-5699-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software engineering foundations : a software science perspective

2026-01-22T15:47:05Z

Yazar Wang, Yingxu., author.
Yer Numarası QA76.758 .W375 2008
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20787-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV

2026-01-22T15:47:05Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24305-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Software Science State of the Art and Perspectives

2026-01-22T15:47:05Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91908-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Alfaries, Auhood. editor. Mengash, Hanan. editor. Yasar, Ansar. editor. (orcid)0000-0002-1542-2658 Shakshuki, Elhadi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-36368-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24302-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24296-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V

2026-01-22T15:47:05Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24308-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

2026-01-22T15:47:05Z

Yazar Catania, Barbara. editor. (orcid)0000-0002-6443-169X Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Nawrocki, Jerzy. editor. Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-10801-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing and Services Science 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Muñoz, Víctor Méndez. editor. Ferguson, Donald. editor. Helfert, Markus. editor. Pahl, Claus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29193-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24289-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI

2026-01-22T15:47:05Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-24311-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings

2026-01-22T15:47:05Z

Yazar Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145 Dagienė, Valentina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02750-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar De Giusti, Armando Eduardo. editor. (orcid)0000-0002-6459-3592 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75214-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95162-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95165-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Ferguson, Donald. editor. Muñoz, Víctor Méndez. editor. Cardoso, Jorge. editor. Helfert, Markus. editor. Pahl, Claus. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94959-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

2026-01-22T15:47:05Z

Yazar Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89366-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95171-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

2026-01-22T15:47:05Z

Yazar Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73117-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95168-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95174-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09150-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09153-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09129-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09156-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09144-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part IV

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09147-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing and Services Science Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Helfert, Markus. editor. Desprez, Frédéric. editor. Ferguson, Donald. editor. Leymann, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11561-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Wang, Mingzheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334849.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39787-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334910.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40206-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud Computing and Services Science Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012. Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Ivanov, Ivan I. editor. Sinderen, Marten. editor. Leymann, Frank. editor. Shan, Tony. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333024.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-04519-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.
Yer Numarası ONLINE(334064.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35843-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.
Yer Numarası ONLINE(334106.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36046-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Pfenning, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334358.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Brocke, Jan. editor. Hekkala, Riitta. editor. Ram, Sudha. editor. Rossi, Matti. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334675.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38827-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334826.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39637-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334827.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39640-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334828.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39643-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334829.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39646-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.
Yer Numarası ONLINE(334830.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39649-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31075-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31125-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31128-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31137-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

2026-01-22T15:47:05Z

Yazar Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33314-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25929-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings

2026-01-22T15:47:05Z

Yazar Bieliková, Mária. editor. Friedrich, Gerhard. editor. Gottlob, Georg. editor. Katzenbeisser, Stefan. editor. Turán, György. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27660-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems

2026-01-22T15:47:05Z

Yazar Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Phan, Cong-Vinh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28525-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

2026-01-22T15:47:05Z

Yazar Birkedal, Lars. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28729-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

2026-01-22T15:47:05Z

Yazar Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29863-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33681-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-01-22T15:47:05Z

Yazar Hofmann, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19805-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21402-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research on Computer Science and Information Engineering International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Shen, Gang. editor. Huang, Xiong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21411-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21887-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part IV

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21898-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21928-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21931-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2011 International Conference, Santander, Spain, June 20-23, 2011. Proceedings, Part V

2026-01-22T15:47:05Z

Yazar Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Iglesias, Andrés. editor. Taniar, David. editor. Apduhan, Bernady O. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21934-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science and Education Applications International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Zhou, Mark. editor. Tan, Honghua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22456-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part V

2026-01-22T15:47:05Z

Yazar Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23357-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

2026-01-22T15:47:05Z

Yazar Kuich, Werner. editor. Rahonis, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24897-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science and Information Technology First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17857-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Networks and Communications First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17878-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computing First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Meghanathan, Natarajan. editor. Kaushik, Brajesh Kumar. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17881-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings

2026-01-22T15:47:05Z

Yazar Černá, Ivana. editor. Gyimóthy, Tibor. editor. Hromkovič, Juraj. editor. Jefferey, Keith. editor. Králović, Rastislav. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-18381-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Perspectives in Design Science Research 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings

2026-01-22T15:47:05Z

Yazar Jain, Hemant. editor. Sinha, Atish P. editor. Vitharana, Padmal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20633-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23321-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23324-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part IV

2026-01-22T15:47:05Z

Yazar Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23339-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science, Environment, Ecoinformatics, and Education International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011, Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23345-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computer Science and Information Technology Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings

2026-01-22T15:47:05Z

Yazar Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Robles, Rosslin John. editor. Balitanas, Maricel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24267-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing for Computational Science – VECPAR 2010 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Palma, José M. Laginha M. editor. Daydé, Michel. editor. Marques, Osni. editor. Lopes, João Correia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19328-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

2026-01-22T15:47:05Z

Yazar Swart, Harrie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21070-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings

2026-01-22T15:47:05Z

Yazar Leeuwen, Jan. editor. Muscholl, Anca. editor. Peleg, David. editor. Pokorný, Jaroslav. editor. Rumpe, Bernhard. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11266-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12156-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12165-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12179-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV

2026-01-22T15:47:05Z

Yazar Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12189-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

U- and E-Service, Science and Technology International Conference UNESST 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

2026-01-22T15:47:05Z

Yazar Kim, Tai-hoon. editor. Ma, Jianhua. editor. Fang, Wai-chi. editor. Park, Byungjoo. editor. Kang, Byeong-Ho. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17644-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2026-01-22T15:47:05Z

Yazar Ong, Luke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12032-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

2026-01-22T15:47:05Z

Yazar Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15205-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.

2026-01-22T15:47:05Z

Yazar Winter, Robert. editor. Zhao, J. Leon. editor. Aier, Stephan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13335-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings

2026-01-22T15:47:05Z

Yazar Tomar, G. S. editor. Chang, Ruay-Shiung. editor. Gervasi, Osvaldo. editor. Kim, Tai-hoon. editor. Bandyopadhyay, Samir Kumar. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13346-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science X Special Issue on Security in Computing, Part I

2026-01-22T15:47:05Z

Yazar Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17499-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science IV Special Issue on Security in Computing

2026-01-22T15:47:05Z

Yazar Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01004-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01970-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01973-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-01-22T15:47:05Z

Yazar Alfaro, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00596-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02454-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02457-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computational Science and Engineering Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Kim, Tai-hoon. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Chang, Alan Chin-Chen. editor. Vasilakos, Thanos. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10238-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69384-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69387-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2008 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Bubak, Marian. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69389-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30 – July 3, 2008, Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69839-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2008 International Conference, Perugia, Italy, June 30– July 3, 2008, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Taniar, David. editor. Mun, Youngsong. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69848-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings

2026-01-22T15:47:05Z

Yazar Geffert, Viliam. editor. Karhumäki, Juhani. editor. Bertoni, Alberto. editor. Preneel, Bart. editor. Návrat, Pavol. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77566-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2026-01-22T15:47:05Z

Yazar Amadio, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78499-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings

2026-01-22T15:47:05Z

Yazar Berghammer, Rudolf. editor. Möller, Bernhard. editor. Struth, Georg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78913-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Palma, José M. Laginha M. editor. Amestoy, Patrick R. editor. Daydé, Michel. editor. Mattoso, Marta. editor. Lopes, João Correia. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92859-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2007: Theory and Practice of Computer Science 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings

2026-01-22T15:47:05Z

Yazar Leeuwen, Jan. editor. Italiano, Giuseppe F. editor. Hoek, Wiebe. editor. Meinel, Christoph. editor. Sack, Harald. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69507-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72584-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72586-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72588-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2007 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV

2026-01-22T15:47:05Z

Yazar Shi, Yong. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor. Sloot, Peter M. A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72590-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

2026-01-22T15:47:05Z

Yazar Mossakowski, Till. editor. Montanari, Ugo. editor. Haveraaen, Magne. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73859-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74484-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers

2026-01-22T15:47:05Z

Yazar Daydé, Michel. editor. Palma, José M. L. M. editor. Coutinho, Álvaro L. G. A. editor. Pacitti, Esther. editor. Lopes, João Correia. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71351-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

2026-01-22T15:47:05Z

Yazar Seidl, Helmut. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71389-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74472-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74477-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11758501
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV

2026-01-22T15:47:05Z

Yazar Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11758549
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2006: Theory and Practice of Computer Science 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings

2026-01-22T15:47:05Z

Yazar Wiedermann, Jiří. editor. Tel, Gerard. editor. Pokorný, Jaroslav. editor. Bieliková, Mária. editor. Štuller, Július. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11611257
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

2026-01-22T15:47:05Z

Yazar Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11690634
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings

2026-01-22T15:47:05Z

Yazar Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11828563
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

2026-01-22T15:47:05Z

Yazar MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11734673
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11751540
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11751588
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11751595
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV

2026-01-22T15:47:05Z

Yazar Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11751632
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V

2026-01-22T15:47:05Z

Yazar Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11751649
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11758525
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Alexandrov, Vassil N. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11758532
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings

2026-01-22T15:47:05Z

Yazar Maher, Michael J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b103476
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

2026-01-22T15:47:05Z

Yazar Daydé, Michel. editor. Dongarra, Jack. editor. Hernández, Vicente. editor. Palma, José M. L. M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106965
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

2026-01-22T15:47:05Z

Yazar Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11548133
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136266
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136269
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136271
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers

2026-01-22T15:47:05Z

Yazar Konagaya, Akihiko. editor. Satou, Kenji. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106923
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV

2026-01-22T15:47:05Z

Yazar Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganá, Antonio. editor. Lee, Heow Pueh. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136278
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings

2026-01-22T15:47:05Z

Yazar Zhang, Jun. editor. He, Ji-Huan. editor. Fu, Yuxi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b104566
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings

2026-01-22T15:47:05Z

Yazar Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b105088
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2026-01-22T15:47:05Z

Yazar Sassone, Vladimiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106850
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136570
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136571
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136575
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DATA SCIENCE AND MACHINE LEARNING APPLICATIONS IN SUBSURFACE ENGINEERING

2026-01-22T15:47:05Z

Yazar Otchere, Daniel Asante.
Yer Numarası QA76.758
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003366980 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

2026-01-22T15:47:05Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-21438-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1

2026-01-22T15:47:05Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35311-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Application in Networks and Systems Proceedings of 12th Computer Science On-line Conference 2023, Volume 3

2026-01-22T15:47:05Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35314-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A pragmatic programmer for machine learning : engineering analytics and data science solutions

2026-01-22T15:47:05Z

Yazar Scutari, Marco, author. Malvestio, Mauro, author.
Yer Numarası Q325.5
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429292835 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Networks and Systems in Cybernetics Proceedings of 12th Computer Science On-line Conference 2023, Volume 2

2026-01-22T15:47:05Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35317-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Science of Cyber Security Second International Conference, SciSec 2019, Nanjing, China, August 9–11, 2019, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Liu, Feng. editor. Xu, Jia. editor. Xu, Shouhuai. editor. Yung, Moti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34637-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings

2026-01-22T15:47:05Z

Yazar Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430 Šmuc, Tomislav. editor. (orcid)0000-0002-9185-9384 Džeroski, Sašo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33778-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings

2026-01-22T15:47:05Z

Yazar Shi, Zhongzhi. editor. Pennartz, Cyriel. editor. Huang, Tiejun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01313-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Prattichizzo, Domenico. editor. Shinoda, Hiroyuki. editor. Tan, Hong Z. editor. Ruffaldi, Emanuele. editor. Frisoli, Antonio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93445-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Prattichizzo, Domenico. editor. Shinoda, Hiroyuki. editor. Tan, Hong Z. editor. Ruffaldi, Emanuele. editor. Frisoli, Antonio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93399-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence

2026-01-22T15:47:05Z

Yazar Dey, Nilanjan. editor. Babo, Rosalina. editor. Ashour, Amira S. editor. Bhatnagar, Vishal. editor. Bouhlel, Med Salim. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90059-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart STEM-Driven Computer Science Education Theory, Methodology and Robot-based Practices

2026-01-22T15:47:05Z

Yazar Štuikys, Vytautas. author. Burbaitė, Renata. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78485-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Hliněný, Petr. editor. Dvořák, Zdeněk. editor. Jaroš, Jiří. editor. (orcid)0000-0002-0087-8804 Kofroň, Jan. editor. Kořenek, Jan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14896-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities

2026-01-22T15:47:05Z

Yazar Kacsuk, Péter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11268-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design Science Methodology for Information Systems and Software Engineering

2026-01-22T15:47:05Z

Yazar Wieringa, Roel J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43839-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2026-01-22T15:47:05Z

Yazar Paule, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332822.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-00966-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011

2026-01-22T15:47:05Z

Yazar Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335821.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-4786-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exploring Services Science 4th International Conference, IESS 2013, Porto, Portugal, February 7-8, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Falcão e Cunha, João. editor. Snene, Mehdi. editor. Nóvoa, Henriqueta. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334183.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36356-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exploring Services Science Third International Conference, IESS 2012, Geneva, Switzerland, February 15-17, 2012. Proceedings

2026-01-22T15:47:05Z

Yazar Snene, Mehdi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28227-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 2

2026-01-22T15:47:05Z

Yazar Wyld, David C. editor. Zizka, Jan. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30111-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1

2026-01-22T15:47:05Z

Yazar Wyld, David C. editor. Zizka, Jan. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30157-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science and Convergence CSA 2011 & WCC 2011 Proceedings

2026-01-22T15:47:05Z

Yazar J. (Jong Hyuk) Park, James. editor. Chao, Han-Chieh. editor. S. Obaidat, Mohammad. editor. Kim, Jongsung. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-2792-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27299-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27308-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III

2026-01-22T15:47:05Z

Yazar Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27317-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science The Hardware, Software and Heart of It

2026-01-22T15:47:05Z

Yazar Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1168-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exploring Services Science Second International Conference, IESS 2011, Geneva, Switzerland, February 16-18, 2011, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Snene, Mehdi. editor. Ralyté, Jolita. editor. Morin, Jean-Henry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21547-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings

2026-01-22T15:47:05Z

Yazar Pries-Heje, Jan. editor. Venable, John. editor. Bunker, Deborah. editor. Russo, Nancy L. editor. DeGross, Janice I. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-12113-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

2026-01-22T15:47:05Z

Yazar Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15240-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliable and Autonomous Computational Science International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010

2026-01-22T15:47:05Z

Yazar Shin, Sung Y. editor. Gantenbein, Rex. editor. Kuo, Tei-Wei. editor. Hong, Jiman. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-0348-0031-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exploring Services Science First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers

2026-01-22T15:47:05Z

Yazar Morin, Jean-Henry. editor. Ralyté, Jolita. editor. Snene, Mehdi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14319-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-Government Ict Professionalism and Competences Service Science

2026-01-22T15:47:05Z

Yazar Mazzeo, Antonino. editor. Bellini, Roberto. editor. Motta, Gianmario. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-09712-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Workflows for e-Science Scientific Workflows for Grids

2026-01-22T15:47:05Z

Yazar Taylor, Ian J. editor. Deelman, Ewa. editor. Gannon, Dennis B. editor. Shields, Matthew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84628-757-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The cognitive dynamics of computer science cost-effective large scale software development

2026-01-22T15:47:05Z

Yazar De Gyurky, Szabolcs Michael. Tarbell, Mark A. John Wiley & Sons.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201429
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Middleware Solutions for the Internet of Things

2026-01-22T15:47:05Z

Yazar Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)
Yer Numarası ONLINE(331206.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5481-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sustainable Web Ecosystem Design

2026-01-22T15:47:05Z

Yazar O'Toole, Greg. author. SpringerLink (Online service)
Yer Numarası ONLINE(332331.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

2026-01-22T15:47:05Z

Yazar Henderson-Sellers, Brian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29825-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Testing in the Cloud Migration and Execution

2026-01-22T15:47:05Z

Yazar Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32122-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Design of Cloud Workflow Systems

2026-01-22T15:47:05Z

Yazar Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1933-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Configuration Problem Solving

2026-01-22T15:47:05Z

Yazar Petrie, Charles J. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4532-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Specification of Software Systems

2026-01-22T15:47:05Z

Yazar Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-277-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Video Processing in the Cloud

2026-01-22T15:47:05Z

Yazar Pereira, Rafael Silva. author. Breitman, Karin K. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2137-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Introduction to Computer Architecture

2026-01-22T15:47:05Z

Yazar Page, Daniel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-84882-256-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Configuration Management Using Vesta

2026-01-22T15:47:05Z

Yazar Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-30852-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Assembly Language Programming For Pentium and RISC Processors

2026-01-22T15:47:05Z

Yazar Dandamudi, Sivarama P. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138691
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reverse Engineering of Object Oriented Code

2026-01-22T15:47:05Z

Yazar Tonella, Paolo. author. Potrich, Alessandra. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b102522
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Integrated Approach to Software Engineering

2026-01-22T15:47:05Z

Yazar Jalote, Pankaj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28132-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Soft Real-Time Systems Predictability vs. Efficiency

2026-01-22T15:47:05Z

Yazar Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28147-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adapting Proofs-as-Programs The Curry-Howard Protocol

2026-01-22T15:47:05Z

Yazar Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-28183-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computing Hits the Power Wall Principles, Challenges, and a Survey of Solutions

2026-01-22T15:47:05Z

Yazar Francisco Lorenzon, Arthur. author. Beck Filho, Antonio Carlos Schneider. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28719-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fault Prediction Modeling for the Prediction of Number of Software Faults

2026-01-22T15:47:05Z

Yazar Rathore, Santosh Singh. author. Kumar, Sandeep. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-7131-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applications

2026-01-22T15:47:05Z

Yazar Wienke, B. R. author. O'Leary, T. R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94054-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses

2026-01-22T15:47:05Z

Yazar H. M. Cruz, Eduardo. author. Diener, Matthias. author. O. A. Navaux, Philippe. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91074-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tree-Based Convolutional Neural Networks Principles and Applications

2026-01-22T15:47:05Z

Yazar Mou, Lili. author. Jin, Zhi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-1870-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smartphone-Based Indoor Map Construction Principles and Applications

2026-01-22T15:47:05Z

Yazar Gao, Ruipeng. author. Ye, Fan. author. Luo, Guojie. author. Cong, Jason. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8378-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Fault Prediction A Road Map

2026-01-22T15:47:05Z

Yazar Kumar, Sandeep. author. Rathore, Santosh Singh. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8715-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Fault Detection and Correction: Modeling and Applications

2026-01-22T15:47:05Z

Yazar Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-1162-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Gear Engineering

2026-01-22T15:47:05Z

Yazar Goldfarb, Veniamin. editor. Trubachev, Evgenii. editor. Barmina, Natalya. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60399-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emergent Interfaces for Feature Modularization

2026-01-22T15:47:05Z

Yazar Ribeiro, Márcio. author. Borba, Paulo. author. Brabrand, Claus. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11493-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Risk Management

2026-01-22T15:47:05Z

Yazar Moran, Alan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-05008-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Anywhere Essays on Agile Projects and Beyond

2026-01-22T15:47:05Z

Yazar Hazzan, Orit. author. (orcid)0000-0002-8627-0997 Dubinsky, Yael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10157-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automatic Generation of Combinatorial Test Data

2026-01-22T15:47:05Z

Yazar Zhang, Jian. author. Zhang, Zhiqiang. author. Ma, Feifei. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43429-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software engineering

2026-01-22T15:47:05Z

Yazar Sommerville, Ian, 1951-
Yer Numarası QA76.6 S66 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

2026-01-22T15:47:05Z

Yazar England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26831-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

2026-01-22T15:47:05Z

Yazar Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93736-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2026-01-22T15:47:05Z

Yazar Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2423-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91632-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2026-01-22T15:47:05Z

Yazar Rusu, Vlad. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99840-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers

2026-01-22T15:47:05Z

Yazar Mikulski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97955-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73359-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

2026-01-22T15:47:05Z

Yazar Graciani, Carmen. editor. Riscos-Núñez, Agustín. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00265-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89719-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7844-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

2026-01-22T15:47:05Z

Yazar Korošec, Peter. editor. Melab, Nouredine. editor. Talbi, El-Ghazali. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91641-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2026-01-22T15:47:05Z

Yazar Moss, Lawrence S. editor. de Queiroz, Ruy. editor. Martinez, Maricarmen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-57669-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2026-01-22T15:47:05Z

Yazar Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94821-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

2026-01-22T15:47:05Z

Yazar Giese, Holger. editor. König, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-09108-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings

2026-01-22T15:47:05Z

Yazar Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44199-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332921.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332934.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-02654-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I

2026-01-22T15:47:05Z

Yazar Kołodziej, Joanna. editor. Martino, Beniamino. editor. Talia, Domenico. editor. Xiong, Kaiqi. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333000.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03859-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomic Computing Principles, Design and Implementation

2026-01-22T15:47:05Z

Yazar Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Yer Numarası ONLINE(331115.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Databases A Practical Introduction

2026-01-22T15:47:05Z

Yazar Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Yer Numarası ONLINE(331224.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2026-01-22T15:47:05Z

Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Yer Numarası ONLINE(332964.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03089-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ambient Assisted Living and Active Aging 5th International Work-Conference, IWAAL 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2026-01-22T15:47:05Z

Yazar Nugent, Christopher. editor. Coronato, Antonio. editor. Bravo, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332965.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03092-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings

2026-01-22T15:47:05Z

Yazar Urzaiz, Gabriel. editor. Ochoa, Sergio F. editor. Bravo, José. editor. Chen, Liming Luke. editor. Oliveira, Jonice. editor.
Yer Numarası ONLINE(332969.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03176-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Yer Numarası ONLINE(333558.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32341-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334236.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36563-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334263.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36672-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334274.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36727-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334278.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36742-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.
Yer Numarası ONLINE(334280.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36751-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

S-BPM ONE - Running Processes 5th International Conference, S-BPM ONE 2013, Deggendorf, Germany, March 11-12, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Fischer, Herbert. editor. Schneeberger, Josef. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334281.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36754-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334282.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36757-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334290.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36781-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Card Research and Advanced Applications 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Mangard, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334401.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37288-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334425.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37419-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Doerr, Joerg. editor. Opdahl, Andreas L. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334426.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37422-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334469.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37658-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing - ICSOC 2012 Workshops ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Ghose, Aditya. editor. Zhu, Huibiao. editor. Yu, Qi. editor. Delis, Alex. editor. Sheng, Quang Z. editor.
Yer Numarası ONLINE(334485.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37804-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Baldoni, Matteo. editor. Dennis, Louise. editor. Mascardi, Viviana. editor. Vasconcelos, Wamberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334494.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37890-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334533.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38088-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency VII

2026-01-22T15:47:05Z

Yazar Jensen, Kurt. editor. Aalst, Wil M. P. editor. Balbo, Gianfranco. editor. Koutny, Maciej. editor. Wolf, Karsten. editor.
Yer Numarası ONLINE(334545.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38143-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

2026-01-22T15:47:05Z

Yazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334547.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Albert, Elvira. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334552.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38197-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

2026-01-22T15:47:05Z

Yazar Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334556.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38209-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Infocomm Technology 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers

2026-01-22T15:47:05Z

Yazar Guyot, Vincent. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334561.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38227-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334562.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38230-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334610.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38493-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334616.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38530-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Bonacina, Maria Paola. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334626.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38574-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334630.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38592-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334631.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38601-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Process Models. Change Management

2026-01-22T15:47:05Z

Yazar Gerth, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE(334632.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38604-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334580.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38317-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

2026-01-22T15:47:05Z

Yazar Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334706.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38977-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334708.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38986-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging Management Mechanisms for the Future Internet 7th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Doyen, Guillaume. editor. Waldburger, Martin. editor. Čeleda, Pavel. editor. Sperotto, Anna. editor. Stiller, Burkhard. editor.
Yer Numarası ONLINE(334710.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38998-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334711.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39013-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Health Information Engineering and Systems Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Weber, Jens. editor. Perseil, Isabelle. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334727.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39088-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334743.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39176-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-Voting and Identify 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Heather, James. editor. Schneider, Steve. editor. Teague, Vanessa. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334746.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39185-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334851.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39799-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Müller, Jörg P. editor. Cossentino, Massimo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334859.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39866-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad-hoc, Mobile, and Wireless Network 12th International Conference, ADHOC-NOW 2013, Wrocław, Poland, July 8-10, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Cichoń, Jacek. editor. Gȩbala, Maciej. editor. Klonowski, Marek. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334764.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39247-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334871.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39958-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Liu, Shaoying. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334772.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39277-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334797.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39408-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334905.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40184-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334911.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40213-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334913.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40229-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Web Information Systems 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Daniel, Florian. editor. Papadopoulos, George A. editor. Thiran, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334922.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40276-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Bitsch, Friedemann. editor. Guiochet, Jérémie. editor. Kaâniche, Mohamed. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335005.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40793-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency VIII

2026-01-22T15:47:05Z

Yazar Koutny, Maciej. editor. Aalst, Wil M. P. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334949.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40465-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2026-01-22T15:47:05Z

Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334969.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

2026-01-22T15:47:05Z

Yazar Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334973.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40579-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

2026-01-22T15:47:05Z

Yazar Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335046.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41036-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.
Yer Numarası ONLINE(335047.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41043-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Sensor Networks for Developing Countries First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Shaikh, Faisal Karim. editor. Chowdhry, Bhawani Shankar. editor. Ammari, Habib M. editor. Uqaili, Muhammad Aslam. editor. Shah, Assadullah. editor.
Yer Numarası ONLINE(335048.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41054-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Accorsi, Rafael. editor. Ranise, Silvio. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335057.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41098-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering – WISE 2013 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part II

2026-01-22T15:47:05Z

Yazar Lin, Xuemin. editor. Manolopoulos, Yannis. editor. Srivastava, Divesh. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335065.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41154-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Palamidessi, Catuscia. editor. Ryan, Mark D. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335066.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41157-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented and Cloud Computing Second European Conference, ESOCC 2013, Málaga, Spain, September 11-13, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Lau, Kung-Kiu. editor. Lamersdorf, Winfried. editor. Pimentel, Ernesto. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334983.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40651-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

2026-01-22T15:47:05Z

Yazar Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335072.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41202-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Gupta, Ashutosh. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334992.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40708-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings

2026-01-22T15:47:05Z

Yazar Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334995.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40725-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

2026-01-22T15:47:05Z

Yazar Hinze, Ralf. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335126.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41582-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1