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

Information Security Theory and Practice 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28–29, 2017, Proceedings

2026-04-12T04:19:26Z

Yazar Hancke, Gerhard P. editor. Damiani, Ernesto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93524-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part II

2026-04-12T04:19:26Z

Yazar Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03329-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III

2026-04-12T04:19:26Z

Yazar Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03332-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I

2026-04-12T04:19:26Z

Yazar Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03326-2
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-04-12T04:19:26Z

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

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-04-12T04:19:26Z

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

Software Engineering and Knowledge Engineering: Theory and Practice Selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012)

2026-04-12T04:19:26Z

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

Information Systems Development Challenges in Practice, Theory, and Education Volume 1

2026-04-12T04:19:26Z

Yazar Wojtkowski, Wita. editor. Wojtkowski, Gregory. editor. Lang, Michael. editor. Conboy, Kieran. editor. Barry, Chris. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-68772-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems Development Challenges in Practice, Theory, and Education Volume 2

2026-04-12T04:19:26Z

Yazar Barry, Chris. editor. Lang, Michael. editor. Wojtkowski, Wita. editor. Conboy, Kieran. editor. Wojtkowski, Gregory. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-78578-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Berrezueta-Guzman, Santiago. editor. (orcid)0000-0001-5559-2056 Torres, Rommel. editor. (orcid)0000-0003-2313-0118 Zambrano-Martinez, Jorge Luis. editor. (orcid)0000-0002-5339-7860 Herrera-Tapia, Jorge. editor. (orcid)0000-0002-8673-0236 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75431-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Li, Bo. editor. (orcid)0000-0001-7500-8355 Li, Minming. editor. (orcid)0000-0002-7370-6237 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-7752-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction 10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4-7, 2024, Revised Selected Papers

2026-04-12T04:19:26Z

Yazar Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Meneses Escobar, Carlos Augusto. editor. (orcid)0000-0002-8192-6889 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-91328-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

2026-04-12T04:19:26Z

Yazar Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94706-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77367-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Morishima, Atsuyuki. editor. (orcid)0000-0003-4606-9065 Li, Guoliang. editor. (orcid)0000-0002-1398-0621 Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262 Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502 Jagadish, H. V. editor. (orcid)0000-0003-0724-5214
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0914-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Saeki, Motoshi. editor. Wong, Leah. editor. Araujo, João. editor. (orcid)0000-0001-5914-1631 Ayora, Clara. editor. (orcid)0009-0002-8265-6531 Bernasconi, Anna. editor. (orcid)0000-0001-8016-5750
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75599-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Maass, Wolfgang. editor. (orcid)0000-0003-4057-0924 Han, Hyoil. editor. (orcid)0000-0001-8424-9804 Yasar, Hasan. editor. (orcid)0000-0001-9884-2086 Multari, Nick. editor. (orcid)0000-0002-7275-8182 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75872-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Future Access Enablers for Ubiquitous and Intelligent Infrastructures 8th EAI International Conference, FABULOUS 2024, Zagreb, Croatia, May 9-10, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Perakovic, Dragan. editor. (orcid)0000-0002-0476-9373 Knapcikova, Lucia. editor. (orcid)0000-0003-1925-4038 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72393-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-04-12T04:19:26Z

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

Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part II

2026-04-12T04:19:26Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83790-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-04-12T04:19:26Z

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

HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-04-12T04:19:26Z

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

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

2026-04-12T04:19:26Z

Yazar Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95728-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings

2026-04-12T04:19:26Z

Yazar Chau, Vincent. editor. (orcid)0000-0002-3362-2063 Dürr, Christoph. editor. (orcid)0000-0001-8103-5333 Li, Minming. editor. (orcid)0000-0002-7370-6237 Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-8312-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74498-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part I

2026-04-12T04:19:26Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83783-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part III

2026-04-12T04:19:26Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83793-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection 22nd International Conference, PAAMS 2024, Salamanca, Spain, June 26-28, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Mathieu, Philippe. editor. (orcid)0000-0003-2786-1209 De la Prieta, Fernando. editor. (orcid)0000-0002-8239-5020 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70415-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77382-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers

2026-04-12T04:19:26Z

Yazar Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Corbalán, Julita. editor. (orcid)0000-0002-3926-5634 Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74430-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Information Systems 30th International Conference, CoopIS 2024, Porto, Portugal, November 19-21, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Comuzzi, Marco. editor. (orcid)0000-0002-6944-4705 Grigori, Daniela. editor. (orcid)0000-0003-1741-8676 Sellami, Mohamed. editor. (orcid)0000-0002-7547-1857 Zhou, Zhangbing. editor. (orcid)0000-0002-3195-2253 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81375-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part IV

2026-04-12T04:19:26Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83796-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

2026-04-12T04:19:26Z

Yazar Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52183-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers

2026-04-12T04:19:26Z

Yazar Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51057-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Engineering 24th International Conference, ICWE 2024, Tampere, Finland, June 17-20, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Stefanidis, Kostas. editor. (orcid)0000-0003-1317-8062 Systä, Kari. editor. Matera, Maristella. editor. (orcid)0000-0003-0552-8624 Heil, Sebastian. editor. (orcid)0000-0003-2761-9009 Kondylakis, Haridimos. editor. (orcid)0000-0002-9917-4486
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62362-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64285-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Challenging the Future with Lean 9th IFIP WG 5.7 European Lean Educator Conference, ELEC 2023, 's-Hertogenbosch, The Netherlands, October 24-26, 2023, Proceedings

2026-04-12T04:19:26Z

Yazar van Kollenburg, Ton. editor. (orcid)0000-0003-0958-7605 Kokkinou, Alinda. editor. (orcid)0000-0001-7991-2253 McDermott, Olivia. editor. (orcid)0000-0001-5714-4601 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63265-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Information Systems 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30-November 3, 2023, Proceedings

2026-04-12T04:19:26Z

Yazar Sellami, Mohamed. editor. Vidal, Maria-Esther. editor. van Dongen, Boudewijn. editor. Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-46846-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modern C Programming Including Standards C99, C11, C17, C23

2026-04-12T04:19:26Z

Yazar Gazi, Orhan. author. (orcid)0000-0001-5328-7955 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45361-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Future Access Enablers for Ubiquitous and Intelligent Infrastructures 7th EAI International Conference, FABULOUS 2023, Bratislava, Slovakia, October 24-26, 2023, Proceedings

2026-04-12T04:19:26Z

Yazar Perakovic, Dragan. editor. (orcid)0000-0002-0476-9373 Knapcikova, Lucia. editor. (orcid)0000-0003-1925-4038 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50051-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part IV

2026-04-12T04:19:26Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64067-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part III

2026-04-12T04:19:26Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64070-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part I

2026-04-12T04:19:26Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64076-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database and Expert Systems Applications - DEXA 2024 Workshops IWCFS, AISys, CIU, Naples, Italy, August 26-28, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Moser, Bernhard. editor. Fischer, Lukas. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Sametinger, Johannes. editor. (orcid)0000-0002-0637-6602 Glock, Anna-Christina. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68302-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Information Systems and Industrial Management 23rd International Conference, CISIM 2024, Bialystok, Poland, September 27-29, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Dvorský, Jiří. editor. (orcid)0000-0003-3787-9533 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71115-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linking Theory and Practice of Digital Libraries 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24-27, 2024, Proceedings, Part I

2026-04-12T04:19:26Z

Yazar Antonacopoulos, Apostolos. editor. (orcid)0000-0001-9552-0233 Hinze, Annika. editor. (orcid)0000-0002-7383-1134 Piwowarski, Benjamin. editor. (orcid)0000-0001-6792-3262 Coustaty, Mickaël. editor. (orcid)0000-0002-0123-439X Di Nunzio, Giorgio Maria. editor. (orcid)0000-0001-9709-6392
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72437-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part II

2026-04-12T04:19:26Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64064-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency XVII

2026-04-12T04:19:26Z

Yazar Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-68191-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Model and Data Engineering in the Digitalization Era MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2-4, 2023, Proceedings

2026-04-12T04:19:26Z

Yazar Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281 Bellatreche, Ladjel. editor. Gargouri, Faiez. editor. Guegan, Chirine Ghedira. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55729-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction 9th Iberoamerican Workshop, HCI-COLLAB 2023, Buenos Aires, Argentina, September 13-15, 2023, Revised Selected Papers

2026-04-12T04:19:26Z

Yazar Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Mon, Alicia. editor. (orcid)0000-0001-6365-9943 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57982-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI for Cybersecurity, Privacy and Trust 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part I

2026-04-12T04:19:26Z

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

HCI for Cybersecurity, Privacy and Trust 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II

2026-04-12T04:19:26Z

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

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62638-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Business and Intelligent Systems 16th International Baltic Conference, Baltic DB&IS 2024, Vilnius, Lithuania, June 30 - July 3, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Lupeikienė, Audronė. editor. (orcid)0000-0001-6011-3072 Ralyté, Jolita. editor. (orcid)0000-0001-8561-3567 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63543-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

2026-04-12T04:19:26Z

Yazar Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71261-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linking Theory and Practice of Digital Libraries 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24-27, 2024, Proceedings, Part II

2026-04-12T04:19:26Z

Yazar Antonacopoulos, Apostolos. editor. (orcid)0000-0001-9552-0233 Hinze, Annika. editor. (orcid)0000-0002-7383-1134 Piwowarski, Benjamin. editor. (orcid)0000-0001-6792-3262 Coustaty, Mickaël. editor. (orcid)0000-0002-0123-439X Di Nunzio, Giorgio Maria. editor. (orcid)0000-0001-9709-6392
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72440-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment

2026-04-12T04:19:26Z

Yazar Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X Dix, Jürgen. editor. (orcid)0000-0002-8528-1440 Fiekas, Niklas. editor. (orcid)0000-0002-8369-4890 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-37959-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

2026-04-12T04:19:26Z

Yazar Yangui, Sami. editor. (orcid)0000-0001-9756-642X Bouassida Rodriguez, Ismael. editor. Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Tari, Zahir. editor. (orcid)0000-0002-1235-9673 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33702-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT Education 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18–20, 2018, Revised Selected Papers

2026-04-12T04:19:26Z

Yazar Kabanda, Salah. editor. Suleman, Hussein. editor. Gruner, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05813-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Cryptology – AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings

2026-04-12T04:19:26Z

Yazar Buchmann, Johannes. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Rachidi, Tajjeeddine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23696-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet of Things – ICIOT 2019 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2026-04-12T04:19:26Z

Yazar Issarny, Valerie. editor. Palanisamy, Balaji. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23357-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

2026-04-12T04:19:26Z

Yazar Lange, Tanja. editor. Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-25283-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II

2026-04-12T04:19:26Z

Yazar Lin, Dongdai. editor. Sako, Kazue. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17259-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers

2026-04-12T04:19:26Z

Yazar Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-06019-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji

2026-04-12T04:19:26Z

Yazar Carlet, Claude. editor. Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534 Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Souidi, El Mamoun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16458-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I

2026-04-12T04:19:26Z

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

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

2026-04-12T04:19:26Z

Yazar Thomson, Robert. editor. Dancy, Christopher. editor. Hyder, Ayaz. editor. Bisgin, Halil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93372-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2026-04-12T04:19:26Z

Yazar Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00244-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2026-04-12T04:19:26Z

Yazar Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02852-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2026-04-12T04:19:26Z

Yazar Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94144-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Model Checking

2026-04-12T04:19:26Z

Yazar Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10575-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2026-04-12T04:19:26Z

Yazar Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68397-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2026-04-12T04:19:26Z

Yazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03424-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2026-04-12T04:19:26Z

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

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2026-04-12T04:19:26Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95582-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2026-04-12T04:19:26Z

Yazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02768-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2026-04-12T04:19:26Z

Yazar Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77935-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2026-04-12T04:19:26Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78054-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2026-04-12T04:19:26Z

Yazar Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01461-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

2026-04-12T04:19:26Z

Yazar Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96562-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 21st International Conference, FASE 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-04-12T04:19:26Z

Yazar Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89363-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

2026-04-12T04:19:26Z

Yazar Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00623-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2026-04-12T04:19:26Z

Yazar Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92970-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2026-04-12T04:19:26Z

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

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2026-04-12T04:19:26Z

Yazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03427-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings

2026-04-12T04:19:26Z

Yazar Barbero, Ángela I. editor. Skachek, Vitaly. editor. Ytrehus, Øyvind. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66278-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Post-Quantum Cryptography 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedings

2026-04-12T04:19:26Z

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

Electronic Government 16th IFIP WG 8.5 International Conference, EGOV 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings

2026-04-12T04:19:26Z

Yazar Janssen, Marijn. editor. (orcid)0000-0001-6211-8790 Axelsson, Karin. editor. Glassey, Olivier. editor. Klievink, Bram. editor. Krimmer, Robert. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64677-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology - CRYPTO 2017 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part II

2026-04-12T04:19:26Z

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

Electronic Voting Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings

2026-04-12T04:19:26Z

Yazar Krimmer, Robert. editor. Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Braun Binder, Nadja. editor. Kersting, Norbert. editor. Pereira, Olivier. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68687-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering - WISE 2017 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part I

2026-04-12T04:19:26Z

Yazar Bouguettaya, Athman. editor. Gao, Yunjun. editor. Klimenko, Andrey. editor. Chen, Lu. editor. Zhang, Xiangliang. editor. (orcid)0000-0002-3574-5665
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68783-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

2026-04-12T04:19:26Z

Yazar Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51963-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings

2026-04-12T04:19:26Z

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

Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

2026-04-12T04:19:26Z

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

Advances in Computing 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings

2026-04-12T04:19:26Z

Yazar Solano, Andrés. editor. Ordoñez, Hugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66562-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology - CRYPTO 2017 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part III

2026-04-12T04:19:26Z

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

Web Information Systems Engineering - WISE 2017 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part II

2026-04-12T04:19:26Z

Yazar Bouguettaya, Athman. editor. Gao, Yunjun. editor. Klimenko, Andrey. editor. Chen, Lu. editor. Zhang, Xiangliang. editor. (orcid)0000-0002-3574-5665
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68786-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering - WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I

2026-04-12T04:19:26Z

Yazar Cellary, Wojciech. editor. Mokbel, Mohamed F. editor. Wang, Jianmin. editor. Wang, Hua. editor. Zhou, Rui. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48740-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control

2026-04-12T04:19:26Z

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

Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis

2026-04-12T04:19:26Z

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

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2026-04-12T04:19:26Z

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

Modelling and Implementation of Complex Systems Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, Constantine, Algeria

2026-04-12T04:19:26Z

Yazar Chikhi, Salim. editor. Amine, Abdelmalek. editor. Chaoui, Allaoua. editor. Kholladi, Mohamed Khireddine. editor. Saidouni, Djamel Eddine. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33410-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering - WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II

2026-04-12T04:19:26Z

Yazar Cellary, Wojciech. editor. Mokbel, Mohamed F. editor. Wang, Jianmin. editor. Wang, Hua. editor. Zhou, Rui. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48743-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research, Management and Applications

2026-04-12T04:19:26Z

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

Economics of Grids, Clouds, Systems, and Services 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers

2026-04-12T04:19:26Z

Yazar Altmann, Jörn. editor. Silaghi, Gheorghe Cosmin. editor. Rana, Omer F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43177-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings

2026-04-12T04:19:26Z

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

SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

2026-04-12T04:19:26Z

Yazar Freivalds, Rūsiņš Mārtiņš. editor. Engels, Gregor. editor. Catania, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49192-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Instruction Selection Principles, Methods, and Applications

2026-04-12T04:19:26Z

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

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings

2026-04-12T04:19:26Z

Yazar Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11439-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Python Quick Syntax Reference

2026-04-12T04:19:26Z

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

The Privacy Engineer's Manifesto Getting from Policy to Code to QA to Value

2026-04-12T04:19:26Z

Yazar Dennedy, Michelle. author. Fox, Jonathan. author. Finneran, Tom. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4302-6356-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-12T04:19:26Z

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

Introduction to Cryptography with Maple

2026-04-12T04:19:26Z

Yazar Gómez Pardo, José Luis. author. SpringerLink (Online service)
Yer Numarası ONLINE(333533.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32166-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2026-04-12T04:19:26Z

Yazar Reisig, Wolfgang. author. SpringerLink (Online service)
Yer Numarası ONLINE(333688.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33278-4
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-04-12T04:19:26Z

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

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

2026-04-12T04:19:26Z

Yazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334837.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39698-4
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-04-12T04:19:26Z

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

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2026-04-12T04:19:26Z

Yazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334841.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39721-9
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-04-12T04:19:26Z

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

Concise Guide to Databases A Practical Introduction

2026-04-12T04:19:26Z

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

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

2026-04-12T04:19:26Z

Yazar Raynal, Michel. author. SpringerLink (Online service)
Yer Numarası ONLINE(333514.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32027-9
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-04-12T04:19:26Z

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

Transactions on Petri Nets and Other Models of Concurrency V

2026-04-12T04:19:26Z

Yazar Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29072-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings

2026-04-12T04:19:26Z

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

Search Computing Broadening Web Search

2026-04-12T04:19:26Z

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

Search Computing Trends and Developments

2026-04-12T04:19:26Z

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

Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers

2026-04-12T04:19:26Z

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

Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part II

2026-04-12T04:19:26Z

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

Information Computing and Applications Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I

2026-04-12T04:19:26Z

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

Computer Science The Hardware, Software and Heart of It

2026-04-12T04:19:26Z

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

Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I

2026-04-12T04:19:26Z

Yazar Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16336-4
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-04-12T04:19:26Z

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

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-04-12T04:19:26Z

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

Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien

2026-04-12T04:19:26Z

Yazar Reisig, Wolfgang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8348-9708-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I

2026-04-12T04:19:26Z

Yazar Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13119-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

2026-04-12T04:19:26Z

Yazar Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15582-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings

2026-04-12T04:19:26Z

Yazar Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16167-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency IV

2026-04-12T04:19:26Z

Yazar Jensen, Kurt. editor. Donatelli, Susanna. editor. Koutny, Maciej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-18222-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II

2026-04-12T04:19:26Z

Yazar Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13136-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings

2026-04-12T04:19:26Z

Yazar Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14553-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II

2026-04-12T04:19:26Z

Yazar Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16339-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings

2026-04-12T04:19:26Z

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

Search Computing Challenges and Directions

2026-04-12T04:19:26Z

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

Hagenberg Research

2026-04-12T04:19:26Z

Yazar Buchberger, Bruno. editor. Affenzeller, Michael. editor. Ferscha, Alois. editor. Haller, Michael. editor. Jebelean, Tudor. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02127-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications and Theory of Petri Nets 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings

2026-04-12T04:19:26Z

Yazar Franceschinis, Giuliana. editor. Wolf, Karsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02424-5
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-04-12T04:19:26Z

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-04-12T04:19:26Z

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

Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

2026-04-12T04:19:26Z

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

Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures

2026-04-12T04:19:26Z

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

Programming Languages and Systems 18th European Symposium on Programming, ESOP 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-04-12T04:19:26Z

Yazar Castagna, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00590-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-04-12T04:19:26Z

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

Compiler Construction 18th International Conference, CC 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-04-12T04:19:26Z

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

Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers

2026-04-12T04:19:26Z

Yazar César, Eduardo. editor. Alexander, Michael. editor. Streit, Achim. editor. Träff, Jesper Larsson. editor. Cérin, Christophe. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00955-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models of Computation An Introduction to Computability Theory

2026-04-12T04:19:26Z

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

Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I

2026-04-12T04:19:26Z

Yazar Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02927-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

2026-04-12T04:19:26Z

Yazar Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02930-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

2026-04-12T04:19:26Z

Yazar Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04368-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency III

2026-04-12T04:19:26Z

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

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems

2026-04-12T04:19:26Z

Yazar Jensen, Kurt. editor. Aalst, Wil M. P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00899-3
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-04-12T04:19:26Z

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-04-12T04:19:26Z

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

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

2026-04-12T04:19:26Z

Yazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70575-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

2026-04-12T04:19:26Z

Yazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70583-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Decision Procedures An Algorithmic Point of View

2026-04-12T04:19:26Z

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

Logics of Specification Languages

2026-04-12T04:19:26Z

Yazar Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74107-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers

2026-04-12T04:19:26Z

Yazar Bougé, Luc. editor. Forsell, Martti. editor. Träff, Jesper Larsson. editor. Streit, Achim. editor. Ziegler, Wolfgang. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78474-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science I

2026-04-12T04:19:26Z

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

Principles of the Spin Model Checker

2026-04-12T04:19:26Z

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

Unfoldings A Partial-Order Approach to Model Checking

2026-04-12T04:19:26Z

Yazar Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77426-6
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-04-12T04:19:26Z

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

Euro-Par 2008 – Parallel Processing 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings

2026-04-12T04:19:26Z

Yazar Luque, Emilio. editor. Margalef, Tomàs. editor. Benítez, Domingo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85451-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

2026-04-12T04:19:26Z

Yazar Fitzgerald, John S. editor. Haxthausen, Anne E. editor. Yenigun, Husnu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85762-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2026-04-12T04:19:26Z

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

Transactions on Computational Science II

2026-04-12T04:19:26Z

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

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

2026-04-12T04:19:26Z

Yazar Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Soós, Anna. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88059-2
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-04-12T04:19:26Z

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

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

2026-04-12T04:19:26Z

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

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

2026-04-12T04:19:26Z

Yazar Hee, Kees M. editor. Valk, Rüdiger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68746-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-04-12T04:19:26Z

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-04-12T04:19:26Z

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-04-12T04:19:26Z

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-04-12T04:19:26Z

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-04-12T04:19:26Z

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

Euro-Par 2006: Parallel Processing Workshops: CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers

2026-04-12T04:19:26Z

Yazar Lehner, Wolfgang. editor. Meyer, Norbert. editor. Streit, Achim. editor. Stewart, Craig. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72337-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

2026-04-12T04:19:26Z

Yazar Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73420-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings

2026-04-12T04:19:26Z

Yazar Kermarrec, Anne-Marie. editor. Bougé, Luc. editor. Priol, Thierry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74466-5
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-04-12T04:19:26Z

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-04-12T04:19:26Z

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 and Its Applications – ICCSA 2007 International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III

2026-04-12T04:19:26Z

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

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

2026-04-12T04:19:26Z

Yazar Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings

2026-04-12T04:19:26Z

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

Modelling Distributed Systems

2026-04-12T04:19:26Z

Yazar Fokkink, Wan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73938-8
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-04-12T04:19:26Z

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

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-04-12T04:19:26Z

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-04-12T04:19:26Z

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-04-12T04:19:26Z

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-04-12T04:19:26Z

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-04-12T04:19:26Z

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

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-04-12T04:19:26Z

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

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

2026-04-12T04:19:26Z

Yazar Bollig, Benedikt. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32923-4
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-04-12T04:19:26Z

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

Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

2026-04-12T04:19:26Z

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

Vorlesungen über Informatik Band 2: Objektorientiertes Programmieren und Algorithmen

2026-04-12T04:19:26Z

Yazar Goos, Gerhard. author. Zimmermann, Wolf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-34778-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Introduction to Programming

2026-04-12T04:19:26Z

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

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies

2026-04-12T04:19:26Z

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

Coordination of Large-Scale Multiagent Systems

2026-04-12T04:19:26Z

Yazar Scerri, Paul. editor. Vincent, Régis. editor. Mailler, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-27972-5
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-04-12T04:19:26Z

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-04-12T04:19:26Z

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-04-12T04:19:26Z

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-04-12T04:19:26Z

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-04-12T04:19:26Z

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-04-12T04:19:26Z

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-04-12T04:19:26Z

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

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

2026-04-12T04:19:26Z

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

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I

2026-04-12T04:19:26Z

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

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

2026-04-12T04:19:26Z

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

Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings

2026-04-12T04:19:26Z

Yazar Nagel, Wolfgang E. editor. Walter, Wolfgang V. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11823285
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings

2026-04-12T04:19:26Z

Yazar Levi, Albert. editor. Savaş, Erkay. editor. Yenigün, Hüsnü. editor. Balcısoy, Selim. editor. Saygın, Yücel. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11902140
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Vorlesungen über Informatik Grundlagen und funktionales Programmieren

2026-04-12T04:19:26Z

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

Informatik Aufgaben und Lösungen, Begleitbuch zu Blieberger et al.: Informatik

2026-04-12T04:19:26Z

Yazar Kastner, Wolfgang. editor. Schildt, Gerhard-Helge. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138718
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-04-12T04:19:26Z

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

Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings

2026-04-12T04:19:26Z

Yazar Liew, Kim-Meow. editor. Shen, Hong. editor. See, Simon. editor. Cai, Wentong. editor. Fan, Pingzhi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b103538
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-04-12T04:19:26Z

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

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-04-12T04:19:26Z

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

Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers

2026-04-12T04:19:26Z

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

Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings

2026-04-12T04:19:26Z

Yazar Yolum, pInar. editor. Güngör, Tunga. editor. Gürgen, Fikret. editor. Özturan, Can. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11569596
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-04-12T04:19:26Z

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-04-12T04:19:26Z

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

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

2026-04-12T04:19:26Z

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

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling

2026-04-12T04:19:26Z

Yazar Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b101185
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

2026-04-12T04:19:26Z

Yazar Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3532-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings

2026-04-12T04:19:26Z

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

Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

2026-04-12T04:19:26Z

Yazar Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11523468
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-04-12T04:19:26Z

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

Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings

2026-04-12T04:19:26Z

Yazar Cunha, José C. editor. Medeiros, Pedro D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11549468
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-04-12T04:19:26Z

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 – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I

2026-04-12T04:19:26Z

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-04-12T04:19:26Z

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 and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV

2026-04-12T04:19:26Z

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