Arama Sonuçları - Daraltılmış: Information theory.

Sibernetik düşünme : karmaşık sistemlerde yönetimi anlamak

2024-11-22T11:49:53Z

Yazar Ergunalp, A. Halim.
Yer Numarası Q310 E74 2021
Format: Kitap
Durum Beytepe Kütüphanesi~1

Memristive Nonlinear Electronic Circuits Dynamics, Synchronization and Applications

2024-11-22T11:49:53Z

Yazar Rahma, Fadhil. author. Muneam, Saif. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-11921-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communications, Signal Processing, and Systems Proceedings of the 2018 CSPS Volume I: Communications

2024-11-22T11:49:53Z

Yazar Liang, Qilian. editor. Liu, Xin. editor. Na, Zhenyu. editor. Wang, Wei. editor. Mu, Jiasong. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-6264-4
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

2024-11-22T11:49:53Z

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

Information Technology in Disaster Risk Reduction Second IFIP TC 5 DCITDRR International Conference, ITDRR 2017, Sofia, Bulgaria, October 25-27, 2017, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Murayama, Yuko. editor. Velev, Dimiter. editor. Zlateva, Plamena. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18293-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronic Government 18th IFIP WG 8.5 International Conference, EGOV 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings

2024-11-22T11:49:53Z

Yazar Lindgren, Ida. editor. (orcid)0000-0002-4735-8697 Janssen, Marijn. editor. (orcid)0000-0001-6211-8790 Lee, Habin. editor. (orcid)0000-0003-0071-4874 Polini, Andrea. editor. (orcid)0000-0002-2840-7561 Rodríguez Bolívar, Manuel Pedro. editor. (orcid)0000-0001-8959-7664
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27325-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-22T11:49:53Z

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

Wired/Wireless Internet Communications 17th IFIP WG 6.2 International Conference, WWIC 2019, Bologna, Italy, June 17–18, 2019, Proceedings

2024-11-22T11:49:53Z

Yazar Di Felice, Marco. editor. Natalizio, Enrico. editor. Bruno, Raffaele. editor. Kassler, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30523-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part I

2024-11-22T11:49:53Z

Yazar Nielsen, Petter. editor. (orcid)0000-0003-3723-6976 Kimaro, Honest Christopher. editor. (orcid)0000-0001-6162-3277 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18400-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyberspace Safety and Security 11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part II

2024-11-22T11:49:53Z

Yazar Vaidya, Jaideep. editor. Zhang, Xiao. editor. Li, Jin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-37352-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-Business and Telecommunications 14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paper

2024-11-22T11:49:53Z

Yazar Obaidat, Mohammad S. editor. Cabello, Enrique. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-11039-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Permutation Polynomial Interleavers for Turbo Codes

2024-11-22T11:49:53Z

Yazar Trifina, Lucian. author. Tarniceriu, Daniela. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2625-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management 8th International Joint Conference, IC3K 2016, Porto, Portugal, November 9–11, 2016, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Fred, Ana. editor. Dietz, Jan. editor. Aveiro, David. editor. (orcid)0000-0001-6453-3648 Liu, Kecheng. editor. Bernardino, Jorge. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99701-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geometric Structures of Information

2024-11-22T11:49:53Z

Yazar Nielsen, Frank. editor. (orcid)0000-0001-5728-0726 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02520-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probabilistic Methods and Distributed Information Rudolf Ahlswede’s Lectures on Information Theory 5

2024-11-22T11:49:53Z

Yazar Ahlswede, Rudolf. author. Ahlswede, Alexander. editor. Althöfer, Ingo. editor. Deppe, Christian. editor. Tamm, Ulrich. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00312-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Passive and Active Measurement 20th International Conference, PAM 2019, Puerto Varas, Chile, March 27–29, 2019, Proceedings

2024-11-22T11:49:53Z

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

Text, Speech, and Dialogue 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

2024-11-22T11:49:53Z

Yazar Ekštein, Kamil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27947-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Cognitive Radio

2024-11-22T11:49:53Z

Yazar Zhang, Wei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-1394-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-11-22T11:49:53Z

Yazar Ferreira, Joao Eduardo. editor. (orcid)0000-0001-9607-2014 Musaev, Aibek. editor. (orcid)0000-0001-5836-8754 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-23554-3
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

2024-11-22T11:49:53Z

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

Information and Communication Technologies in Modern Agricultural Development 8th International Conference, HAICTA 2017, Chania, Crete, Greece, September 21–24, 2017, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Salampasis, Michail. editor. Bournaris, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12998-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings

2024-11-22T11:49:53Z

Yazar Polian, Ilia. editor. (orcid)0000-0002-6563-2725 Stöttinger, Marc. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16350-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algebraic Informatics 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings

2024-11-22T11:49:53Z

Yazar Ćirić, Miroslav. editor. (orcid)0000-0001-8625-4682 Droste, Manfred. editor. (orcid)0000-0001-9128-8844 Pin, Jean-Éric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21363-3
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

2024-11-22T11:49:53Z

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

2024-11-22T11:49:53Z

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

Progress in Cryptology – INDOCRYPT 2019 20th International Conference on Cryptology in India, Hyderabad, India, December 15–18, 2019, Proceedings

2024-11-22T11:49:53Z

Yazar Hao, Feng. editor. Ruj, Sushmita. editor. Sen Gupta, Sourav. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35423-7
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

2024-11-22T11:49:53Z

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

Distributed Computer and Communication Networks 22nd International Conference, DCCN 2019, Moscow, Russia, September 23–27, 2019, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-36614-8
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

2024-11-22T11:49:53Z

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

Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part II

2024-11-22T11:49:53Z

Yazar Nielsen, Petter. editor. (orcid)0000-0003-3723-6976 Kimaro, Honest Christopher. editor. (orcid)0000-0001-6162-3277 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19115-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Massive MIMO Detection Algorithm and VLSI Architecture

2024-11-22T11:49:53Z

Yazar Liu, Leibo. author. Peng, Guiqiang. author. Wei, Shaojun. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-6362-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Digital Communications

2024-11-22T11:49:53Z

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

Advances in Production Management Systems. Towards Smart Production Management Systems IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part II

2024-11-22T11:49:53Z

Yazar Ameri, Farhad. editor. Stecke, Kathryn E. editor. von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055 Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29996-5
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

2024-11-22T11:49:53Z

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

Variant Construction from Theoretical Foundation to Applications

2024-11-22T11:49:53Z

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

CyberParks – The Interface Between People, Places and Technology New Approaches and Perspectives

2024-11-22T11:49:53Z

Yazar Smaniotto Costa, Carlos. editor. (orcid)0000-0002-1896-4663 Šuklje Erjavec, Ina. editor. Kenna, Therese. editor. (orcid)0000-0002-9864-7245 de Lange, Michiel. editor. (orcid)0000-0003-3871-2655 Ioannidis, Konstantinos. editor. (orcid)0000-0001-8381-7013
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-13417-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Blockchain Second International Conference, SmartBlock 2019, Birmingham, UK, October 11–13, 2019, Proceedings

2024-11-22T11:49:53Z

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

Ad-Hoc, Mobile, and Wireless Networks 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1–3, 2019, Proceedings

2024-11-22T11:49:53Z

Yazar Palattella, Maria Rita. editor. (orcid)0000-0002-4945-1406 Scanzio, Stefano. editor. (orcid)0000-0001-7643-2342 Coleri Ergen, Sinem. editor. (orcid)0000-0002-7502-3122 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31831-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Forensics and Watermarking 17th International Workshop, IWDW 2018, Jeju Island, Korea, October 22-24, 2018, Proceedings

2024-11-22T11:49:53Z

Yazar Yoo, Chang D. editor. Shi, Yun-Qing. editor. Kim, Hyoung Joong. editor. Piva, Alessandro. editor. (orcid)0000-0002-3047-0519 Kim, Gwangsu. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-11389-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Production Management Systems. Production Management for the Factory of the Future IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part I

2024-11-22T11:49:53Z

Yazar Ameri, Farhad. editor. Stecke, Kathryn E. editor. von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055 Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30000-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependability in Sensor, Cloud, and Big Data Systems and Applications 5th International Conference, DependSys 2019, Guangzhou, China, November 12–15, 2019, Proceedings

2024-11-22T11:49:53Z

Yazar Wang, Guojun. editor. (orcid)0000-0001-9875-4182 Bhuiyan, Md Zakirul Alam. editor. (orcid)0000-0002-9513-9990 De Capitani di Vimercati, Sabrina. editor. (orcid)0000-0003-0793-3551 Ren, Yizhi. editor. (orcid)0000-0002-1421-9164 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-1304-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Transformation for a Sustainable Society in the 21st Century 18th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2019, Trondheim, Norway, September 18–20, 2019, Proceedings

2024-11-22T11:49:53Z

Yazar Pappas, Ilias O. editor. (orcid)0000-0001-7528-3488 Mikalef, Patrick. editor. (orcid)0000-0002-6788-2277 Dwivedi, Yogesh K. editor. (orcid)0000-0002-5547-9990 Jaccheri, Letizia. editor. (orcid)0000-0002-5547-2270 Krogstie, John. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29374-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Morphological Intelligence Measuring the Body’s Contribution to Intelligence

2024-11-22T11:49:53Z

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

Blockchain – ICBC 2019 Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-11-22T11:49:53Z

Yazar Joshi, James. editor. (orcid)0000-0003-4519-9802 Nepal, Surya. editor. Zhang, Qi. 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-23404-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings

2024-11-22T11:49:53Z

Yazar Vera-Rodriguez, Ruben. editor. Fierrez, Julian. editor. Morales, Aythami. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-13469-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High-Temperature Superconducting Microwave Circuits and Applications

2024-11-22T11:49:53Z

Yazar Liu, Haiwen. author. Ren, Baoping. author. Guan, Xuehui. author. Wen, Pin. author. Zuo, Tao. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-6868-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 II

2024-11-22T11:49:53Z

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

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part I

2024-11-22T11:49:53Z

Yazar Ishai, Yuval. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17653-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Space Information Networks Third International Conference, SINC 2018, Changchun, China, August 9–10, 2018, Revised Selected Papers

2024-11-22T11:49:53Z

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

E-Business and Telecommunications 15th International Joint Conference, ICETE 2018, Porto, Portugal, July 26–28, 2018, Revised Selected Papers

2024-11-22T11:49:53Z

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

Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part I

2024-11-22T11:49:53Z

Yazar Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34578-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Translation 15th China Conference, CCMT 2019, Nanchang, China, September 27–29, 2019, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Huang, Shujian. editor. Knight, Kevin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-1721-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Empowering Learners for Life in the Digital Age IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, Linz, Austria, June 24–28, 2018, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Passey, Don. editor. (orcid)0000-0002-9205-502X Bottino, Rosa. editor. (orcid)0000-0001-6709-0053 Lewin, Cathy. editor. (orcid)0000-0002-3430-4075 Sanchez, Eric. editor. (orcid)0000-0002-3819-6681 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23513-0
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

2024-11-22T11:49:53Z

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

Asymptotic Nonparametric Statistical Analysis of Stationary Time Series

2024-11-22T11:49:53Z

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

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Moiseev, Alexander. editor. (orcid)0000-0003-2369-452X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33388-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Transformation and Global Society 4th International Conference, DTGS 2019, St. Petersburg, Russia, June 19–21, 2019, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Alexandrov, Daniel A. editor. (orcid)0000-0002-4059-8903 Boukhanovsky, Alexander V. editor. Chugunov, Andrei V. editor. Kabanov, Yury. editor. (orcid)0000-0002-4011-2010 Koltsova, Olessia. editor. (orcid)0000-0002-2669-3154
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-37858-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security and Privacy 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings

2024-11-22T11:49:53Z

Yazar Jang-Jaccard, Julian. editor. (orcid)0000-0002-1002-057X Guo, Fuchun. editor. (orcid)0000-0001-6939-7710 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21548-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Polar Codes A Non-Trivial Approach to Channel Coding

2024-11-22T11:49:53Z

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

Semantics, Analytics, Visualization 3rd International Workshop, SAVE-SD 2017, Perth, Australia, April 3, 2017, and 4th International Workshop, SAVE-SD 2018, Lyon, France, April 24, 2018, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar González-Beltrán, Alejandra. editor. (orcid)0000-0003-3499-8262 Osborne, Francesco. editor. (orcid)0000-0001-6557-3131 Peroni, Silvio. editor. (orcid)0000-0003-0530-4305 Vahdati, Sahar. editor. (orcid)0000-0002-7171-169X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01379-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science

2024-11-22T11:49:53Z

Yazar Ausiello, Giorgio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62680-2
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

2024-11-22T11:49:53Z

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

2024-11-22T11:49:53Z

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

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

2024-11-22T11:49:53Z

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

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

2024-11-22T11:49:53Z

Yazar Manea, Florin. editor. Miller, Russell G. editor. Nowotka, Dirk. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94418-0
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

2024-11-22T11:49:53Z

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

Principles in Noisy Optimization Applied to Multi-agent Coordination

2024-11-22T11:49:53Z

Yazar Rakshit, Pratyusha. author. Konar, Amit. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8642-7
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

2024-11-22T11:49:53Z

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

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

2024-11-22T11:49:53Z

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

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

2024-11-22T11:49:53Z

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

An Introduction to Metaheuristics for Optimization

2024-11-22T11:49:53Z

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

Transactions on Petri Nets and Other Models of Concurrency XIII

2024-11-22T11:49:53Z

Yazar Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58381-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Engineering and Knowledge Management 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings

2024-11-22T11:49:53Z

Yazar Faron Zucker, Catherine. editor. (orcid)0000-0001-5959-5561 Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965 Napoli, Amedeo. editor. Toussaint, Yannick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03667-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Parallel Constraint Reasoning

2024-11-22T11:49:53Z

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

Intelligent Data Engineering and Automated Learning – IDEAL 2018 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part I

2024-11-22T11:49:53Z

Yazar Yin, Hujun. editor. (orcid)0000-0002-9198-5401 Camacho, David. editor. (orcid)0000-0002-0535-7450 Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Tallón-Ballesteros, Antonio J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03493-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2024-11-22T11:49:53Z

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

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2024-11-22T11:49:53Z

Yazar Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89884-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Collective Intelligence XXX

2024-11-22T11:49:53Z

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

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2024-11-22T11:49:53Z

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

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

2024-11-22T11:49:53Z

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

Computational Matter

2024-11-22T11:49:53Z

Yazar Stepney, Susan. editor. Rasmussen, Steen. editor. Amos, Martyn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65826-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

2024-11-22T11:49:53Z

Yazar Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93701-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Artifacts Towards a Philosophy of Computer Science

2024-11-22T11:49:53Z

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

Hyper-Heuristics: Theory and Applications

2024-11-22T11:49:53Z

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

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

2024-11-22T11:49:53Z

Yazar Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93698-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

2024-11-22T11:49:53Z

Yazar Shi, Yong. editor. Fu, Haohuan. editor. Tian, Yingjie. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Lees, Michael Harold. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93713-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

2024-11-22T11:49:53Z

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

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

2024-11-22T11:49:53Z

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

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

2024-11-22T11:49:53Z

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

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

2024-11-22T11:49:53Z

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

Fault-Tolerant Message-Passing Distributed Systems An Algorithmic Approach

2024-11-22T11:49:53Z

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

Transactions on Computational Science XXXIII

2024-11-22T11:49:53Z

Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58039-4
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

2024-11-22T11:49:53Z

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

Foraging-Inspired Optimisation Algorithms

2024-11-22T11:49:53Z

Yazar Brabazon, Anthony. author. McGarraghy, Seán. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59156-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

2024-11-22T11:49:53Z

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

Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday

2024-11-22T11:49:53Z

Yazar Böckenhauer, Hans-Joachim. editor. Komm, Dennis. editor. Unger, Walter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-98355-4
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

2024-11-22T11:49:53Z

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

2024-11-22T11:49:53Z

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

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

2024-11-22T11:49:53Z

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

Handbook of Model Checking

2024-11-22T11:49:53Z

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

Linear Network Error Correction Coding

2024-11-22T11:49:53Z

Yazar Guang, Xuan. author. Zhang, Zhen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4939-0588-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Control in Networks

2024-11-22T11:49:53Z

Yazar Como, Giacomo. editor. Bernhardsson, Bo. editor. Rantzer, Anders. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-02150-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cryptology and Network Security 13th International Conference, CANS 2014, Heraklion, Crete, Greece, October 22-24, 2014. Proceedings

2024-11-22T11:49:53Z

Yazar Gritzalis, Dimitris. editor. Kiayias, Aggelos. editor. Askoxylakis, Ioannis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-12280-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Selected Areas in Cryptography -- SAC 2014 21st International Conference, Montreal, QC, Canada, August 14-15, 2014, Revised Selected Papers

2024-11-22T11:49:53Z

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

Topological Signal Processing

2024-11-22T11:49:53Z

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

Satellite Network Robust QoS-aware Routing

2024-11-22T11:49:53Z

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

Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Bacon, Dave. editor. Martin-Delgado, Miguel. editor. Roetteler, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54429-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-22T11:49:53Z

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

Selected Areas in Cryptography -- SAC 2013 20th International Conference, Burnaby, BC, Canada, August 14-16, 2013, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Lange, Tanja. editor. Lauter, Kristin. editor. Lisoněk, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43414-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Video Coding Systems

2024-11-22T11:49:53Z

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

Directed Information Measures in Neuroscience

2024-11-22T11:49:53Z

Yazar Wibral, Michael. editor. Vicente, Raul. editor. Lizier, Joseph T. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54474-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings

2024-11-22T11:49:53Z

Yazar Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Huang, Kaiqi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-45498-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

QC-LDPC Code-Based Cryptography

2024-11-22T11:49:53Z

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

Information and Life

2024-11-22T11:49:53Z

Yazar Battail, Gérard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-94-007-7040-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Construction and Analysis of Cryptographic Functions

2024-11-22T11:49:53Z

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

Digital-Forensics and Watermarking 12th International Workshop, IWDW 2013, Auckland, New Zealand, October 1-4, 2013. Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Shi, Yun Qing. editor. Kim, Hyoung-Joong. editor. Pérez-González, Fernando. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43886-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Communication Communication, Multimedia, Security

2024-11-22T11:49:53Z

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

Forward Error Correction Based On Algebraic-Geometric Theory

2024-11-22T11:49:53Z

Yazar A. Alzubi, Jafar. author. A. Alzubi, Omar. author. M. Chen, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08293-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

2024-11-22T11:49:53Z

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

Storing and Transmitting Data Rudolf Ahlswede’s Lectures on Information Theory 1

2024-11-22T11:49:53Z

Yazar Ahlswede, Rudolf. author. Ahlswede, Alexander. editor. Althöfer, Ingo. editor. Deppe, Christian. editor. Tamm, Ulrich. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-05479-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fast Software Encryption 20th International Workshop, FSE 2013, Singapore, March 11-13, 2013. Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-43933-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Channel Estimation for Physical Layer Network Coding Systems

2024-11-22T11:49:53Z

Yazar Gao, Feifei. author. Xing, Chengwen. author. Wang, Gongpu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11668-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

2024-11-22T11:49:53Z

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

Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?

2024-11-22T11:49:53Z

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

The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discovery

2024-11-22T11:49:53Z

Yazar de Moura, Carlos A. editor. Kubrusly, Carlos S. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330567.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-0-8176-8394-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

2024-11-22T11:49:53Z

Yazar Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334663.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38756-2
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

2024-11-22T11:49:53Z

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

"Raw data" is an oxymoron

2024-11-22T11:49:53Z

Yazar Gitelman, Lisa, editor of compilation.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451327
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

2024-11-22T11:49:53Z

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

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

2024-11-22T11:49:53Z

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

Information ist Energie Definition eines physikalisch begründeten Informationsbegriffs

2024-11-22T11:49:53Z

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

Advances in Applied Self-Organizing Systems

2024-11-22T11:49:53Z

Yazar Prokopenko, Mikhail. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331148.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-5113-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Optimization in Space Engineering

2024-11-22T11:49:53Z

Yazar Fasano, Giorgio. editor. Pintér, János D. editor. SpringerLink (Online service)
Yer Numarası ONLINE(331514.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-4469-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Decentralized Spatial Computing Foundations of Geosensor Networks

2024-11-22T11:49:53Z

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

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

2024-11-22T11:49:53Z

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

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2024-11-22T11:49:53Z

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

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334022.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35656-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2024-11-22T11:49:53Z

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

Computing Nature Turing Centenary Perspective

2024-11-22T11:49:53Z

Yazar Dodig-Crnkovic, Gordana. editor. Giovagnoli, Raffaela. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334387.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37225-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

2024-11-22T11:49:53Z

Yazar Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334564.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38236-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers

2024-11-22T11:49:53Z

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

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings

2024-11-22T11:49:53Z

Yazar Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334901.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40164-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Algorithms for Message-Passing Systems

2024-11-22T11:49:53Z

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

Quantum Walks and Search Algorithms

2024-11-22T11:49:53Z

Yazar Portugal, Renato. author. SpringerLink (Online service)
Yer Numarası ONLINE(332008.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6336-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice X

2024-11-22T11:49:53Z

Yazar Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332135.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-22T11:49:53Z

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

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332975.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03473-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information

2024-11-22T11:49:53Z

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

Analyzing Evolutionary Algorithms The Computer Science Perspective

2024-11-22T11:49:53Z

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

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334465.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37635-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Massively Parallel Evolutionary Computation on GPGPUs

2024-11-22T11:49:53Z

Yazar Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334507.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-37959-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

2024-11-22T11:49:53Z

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

People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010

2024-11-22T11:49:53Z

Yazar Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)
Yer Numarası ONLINE(335104.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41422-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Search: From Algorithms to Systems

2024-11-22T11:49:53Z

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

Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applications

2024-11-22T11:49:53Z

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

Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings

2024-11-22T11:49:53Z

Yazar Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335433.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-4-431-54436-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Teoria degli Automi Finiti

2024-11-22T11:49:53Z

Yazar Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)
Yer Numarası ONLINE(335644.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-88-470-5474-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Complexity Theory, Techniques, and Applications

2024-11-22T11:49:53Z

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

Search Computing Broadening Web Search

2024-11-22T11:49:53Z

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

Emerging Research in Artificial Intelligence and Computational Intelligence International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings

2024-11-22T11:49:53Z

Yazar Lei, Jingsheng. editor. Wang, Fu Lee. editor. Deng, Hepu. editor. Miao, Duoqian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34240-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings

2024-11-22T11:49:53Z

Yazar Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-4-431-54106-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Approximation Algorithms and Semidefinite Programming

2024-11-22T11:49:53Z

Yazar Gärtner, Bernd. author. Matousek, Jiri. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22015-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Natural Computing

2024-11-22T11:49:53Z

Yazar Rozenberg, Grzegorz. editor. Bäck, Thomas. editor. Kok, Joost N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92910-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Complexity of Valued Constraint Satisfaction Problems

2024-11-22T11:49:53Z

Yazar Živný, Stanislav. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33974-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence and Intelligent Systems 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings

2024-11-22T11:49:53Z

Yazar Li, Zhenhua. editor. Li, Xiang. editor. Liu, Yong. editor. Cai, Zhihua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34289-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum Interaction 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Busemeyer, Jerome R. editor. Dubois, François. editor. Lambert-Mogiliansky, Ariane. editor. Melucci, Massimo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35659-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ordnungen, Verbände und Relationen mit Anwendungen

2024-11-22T11:49:53Z

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

Algorithmen und Datenstrukturen

2024-11-22T11:49:53Z

Yazar Ottmann, Thomas. author. Widmayer, Peter. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8274-2804-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Time in Computing

2024-11-22T11:49:53Z

Yazar Furia, Carlo A. author. Mandrioli, Dino. author. Morzenti, Angelo. author. Rossi, Matteo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32332-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomous Search

2024-11-22T11:49:53Z

Yazar Hamadi, Youssef. editor. Monfroy, Eric. editor. Saubion, Frédéric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21434-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Universe as Automaton From Simplicity and Symmetry to Complexity

2024-11-22T11:49:53Z

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

Computation, Physics and Beyond International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

2024-11-22T11:49:53Z

Yazar Dinneen, Michael J. editor. Khoussainov, Bakhadyr. editor. Nies, André. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27654-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parameterized and Exact Computation 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Marx, Dániel. editor. Rossmanith, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28050-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Adam, Gheorghe. editor. Buša, Ján. editor. Hnatič, Michal. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28212-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Petri Nets and Other Models of Concurrency V

2024-11-22T11:49:53Z

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

Mathematics of Discrete Structures for Computer Science

2024-11-22T11:49:53Z

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

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

2024-11-22T11:49:53Z

Yazar Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29952-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday

2024-11-22T11:49:53Z

Yazar Bordihn, Henning. editor. Kutrib, Martin. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31644-9
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

2024-11-22T11:49:53Z

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

Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings

2024-11-22T11:49:53Z

Yazar Baeten, Jos C. M. editor. Ball, Tom. editor. Boer, Frank S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33475-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Boolean Function Complexity Advances and Frontiers

2024-11-22T11:49:53Z

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

Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Mossakowski, Till. editor. Kreowski, Hans-Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28412-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings

2024-11-22T11:49:53Z

Yazar Snoeyink, Jack. editor. Lu, Pinyan. editor. Su, Kaile. editor. Wang, Lusheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29700-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Realism-Antirealism Debate in the Age of Alternative Logics

2024-11-22T11:49:53Z

Yazar Rahman, Shahid. editor. Primiero, Giuseppe. editor. Marion, Mathieu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1923-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Chemical thermodynamics and information theory with applications

2024-11-22T11:49:53Z

Yazar Graham, Daniel J.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proofs and Algorithms An Introduction to Logic and Computability

2024-11-22T11:49:53Z

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

Computability and Complexity Theory

2024-11-22T11:49:53Z

Yazar Homer, Steven. author. Selman, Alan L. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-0682-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice IX

2024-11-22T11:49:53Z

Yazar Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Moore, Jason H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1770-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geospatial Abduction Principles and Practice

2024-11-22T11:49:53Z

Yazar Shakarian, Paulo. author. Subrahmanian, V. S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-1794-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science

2024-11-22T11:49:53Z

Yazar Preparata, F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11120-4
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

2024-11-22T11:49:53Z

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

Extremal Combinatorics With Applications in Computer Science

2024-11-22T11:49:53Z

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

Search Computing Trends and Developments

2024-11-22T11:49:53Z

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

Theoretische Informatik Formale Sprachen, Berechenbarkeit, Komplexitätstheorie,Algorithmik, Kommunikation und Kryptographie

2024-11-22T11:49:53Z

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

Computer Science The Hardware, Software and Heart of It

2024-11-22T11:49:53Z

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

Introduction to the Theory of Programming Languages

2024-11-22T11:49:53Z

Yazar Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-85729-076-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice VIII

2024-11-22T11:49:53Z

Yazar Riolo, Rick. editor. McConaghy, Trent. editor. Vladislavleva, Ekaterina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7747-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings

2024-11-22T11:49:53Z

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

Transactions on Rough Sets XIV

2024-11-22T11:49:53Z

Yazar Peters, James F. editor. Skowron, Andrzej. editor. Sakai, Hiroshi. editor. Chakraborty, Mihir Kumar. editor. Slezak, Dominik. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21563-6
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

2024-11-22T11:49:53Z

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

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings

2024-11-22T11:49:53Z

Yazar Ditmarsch, Hans. editor. Lang, Jérôme. editor. Ju, Shier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24130-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Computation Theory

2024-11-22T11:49:53Z

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

Theory of Quantum Computation, Communication, and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Dam, Wim. editor. Kendon, Vivien M. editor. Severini, Simone. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-18073-6
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

2024-11-22T11:49:53Z

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

Apartness and Uniformity A Constructive Development

2024-11-22T11:49:53Z

Yazar Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22415-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optical Supercomputing Third International Workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010, Revised Selected Papers

2024-11-22T11:49:53Z

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

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

2024-11-22T11:49:53Z

Yazar Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23211-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Informatics and Communication International Conference, ICAIC 2011,Xi’an, China, August 20-21, 2011, Proceedings, Part I

2024-11-22T11:49:53Z

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

Applied Informatics and Communication International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part II

2024-11-22T11:49:53Z

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

Applied Informatics and Communication International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part V

2024-11-22T11:49:53Z

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

Applied Informatics and Communication International Conference, ICAIC 2011, Xi’an, China, August 20-21, 2011, Proceedings, Part IV

2024-11-22T11:49:53Z

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

Applied Informatics and Communication International Conference, ICAIC 2011, Xi’ian, China, August 20-21, 2011. Proceedings, Part III

2024-11-22T11:49:53Z

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

Universal Semantic Communication

2024-11-22T11:49:53Z

Yazar Juba, Brendan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23297-8
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

2024-11-22T11:49:53Z

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

2024-11-22T11:49:53Z

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

New Structures for Physics

2024-11-22T11:49:53Z

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

Theoretical Aspects of Distributed Computing in Sensor Networks

2024-11-22T11:49:53Z

Yazar Nikoletseas, Sotiris. editor. Rolim, José D.P. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14849-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deterministic Extraction from Weak Random Sources

2024-11-22T11:49:53Z

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

A Short Course in Quantum Information Theory An Approach From Theoretical Physics

2024-11-22T11:49:53Z

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

Cartesian Genetic Programming

2024-11-22T11:49:53Z

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

Patterns in Permutations and Words

2024-11-22T11:49:53Z

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

Rainbow of Computer Science Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

2024-11-22T11:49:53Z

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

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Joint International Conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011. Proceedings

2024-11-22T11:49:53Z

Yazar Atallah, Mikhail. editor. Li, Xiang-Yang. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21204-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobility in Process Calculi and Natural Computing

2024-11-22T11:49:53Z

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

Quantum Interaction 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Song, Dawei. editor. Melucci, Massimo. editor. Frommholz, Ingo. editor. Zhang, Peng. editor. Wang, Lei. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24971-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Perspectives on information

2024-11-22T11:49:53Z

Yazar Ramage, Magnus (Magnus Alastair), 1970- Chapman, David (David Alan), 1958-
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum teleportation and entanglement a hybrid approach to optical quantum information processing

2024-11-22T11:49:53Z

Yazar Furusawa, Akira. Van Loock, Peter.
Yer Numarası ONLINE
Elektronik Erişim Wiley InterScience An electronic book accessible through the World Wide Web; click for information Click here to view book MyiLibrary, Table of contents http://www.myilibrary.com?id=328326&ref=toc http://site.ebrary.com/lib/alltitles/Doc?id=10501287
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Genetic Programming Theory and Practice VII

2024-11-22T11:49:53Z

Yazar Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-1626-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cognitive Reasoning A Formal Approach

2024-11-22T11:49:53Z

Yazar Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68875-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Game of Life Cellular Automata

2024-11-22T11:49:53Z

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

Search Computing Challenges and Directions

2024-11-22T11:49:53Z

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

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings

2024-11-22T11:49:53Z

Yazar Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13562-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP

2024-11-22T11:49:53Z

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

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14322-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Rough Sets XII

2024-11-22T11:49:53Z

Yazar Peters, James F. editor. Skowron, Andrzej. editor. Słowiński, Roman. editor. Lingras, Pawan. editor. Miao, Duoqian. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14467-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

2024-11-22T11:49:53Z

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

Algorithmic Randomness and Complexity

2024-11-22T11:49:53Z

Yazar Downey, Rodney G. author. Hirschfeldt, Denis R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-68441-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The P=NP Question and Gödel’s Lost Letter

2024-11-22T11:49:53Z

Yazar Lipton, Richard J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7155-5
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

2024-11-22T11:49:53Z

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

Bioinspired Computation in Combinatorial Optimization Algorithms and Their Computational Complexity

2024-11-22T11:49:53Z

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

Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings

2024-11-22T11:49:53Z

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

Transactions on Petri Nets and Other Models of Concurrency IV

2024-11-22T11:49:53Z

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

Natural Computing 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings

2024-11-22T11:49:53Z

Yazar Peper, F. editor. Umeo, H. editor. Matsui, N. editor. Isokawa, T. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-4-431-53868-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien

2024-11-22T11:49:53Z

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

Transactions on Rough Sets XI

2024-11-22T11:49:53Z

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

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings

2024-11-22T11:49:53Z

Yazar Wu, Yanwen. editor. Luo, Qi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11618-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

2024-11-22T11:49:53Z

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

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

2024-11-22T11:49:53Z

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

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

2024-11-22T11:49:53Z

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

2024-11-22T11:49:53Z

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

Logic and the Foundations of Game and Decision Theory – LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Bonanno, Giacomo. editor. Löwe, Benedikt. editor. Hoek, Wiebe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15164-4
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

2024-11-22T11:49:53Z

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

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

2024-11-22T11:49:53Z

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

Information Theory and Statistical Learning

2024-11-22T11:49:53Z

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

Genetic Programming Theory and Practice VI

2024-11-22T11:49:53Z

Yazar Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-87623-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computability of Julia Sets

2024-11-22T11:49:53Z

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

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

2024-11-22T11:49:53Z

Yazar Dediu, Adrian Horia. editor. Ionescu, Armand Mihai. editor. Martín-Vide, Carlos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00982-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

2024-11-22T11:49:53Z

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

Hagenberg Research

2024-11-22T11:49:53Z

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

Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

2024-11-22T11:49:53Z

Yazar Ono, Hiroakira. editor. Kanazawa, Makoto. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02261-6
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

2024-11-22T11:49:53Z

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

2024-11-22T11:49:53Z

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

2024-11-22T11:49:53Z

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

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

2024-11-22T11:49:53Z

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

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings

2024-11-22T11:49:53Z

Yazar Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02906-6
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

2024-11-22T11:49:53Z

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

2024-11-22T11:49:53Z

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

Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers

2024-11-22T11:49:53Z

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

Computable Models

2024-11-22T11:49:53Z

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

Models of Computation An Introduction to Computability Theory

2024-11-22T11:49:53Z

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

Algorithmic Adventures From Knowledge to Magic

2024-11-22T11:49:53Z

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

Post-Quantum Cryptography

2024-11-22T11:49:53Z

Yazar Bernstein, Daniel J. editor. Buchmann, Johannes. editor. Dahmen, Erik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88702-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Bioprocesses

2024-11-22T11:49:53Z

Yazar Condon, Anne. editor. Harel, David. editor. Kok, Joost N. editor. Salomaa, Arto. editor. Winfree, Erik. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88869-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Gröbner Bases, Coding, and Cryptography

2024-11-22T11:49:53Z

Yazar Sala, Massimiliano. editor. Sakata, Shojiro. editor. Mora, Teo. editor. Traverso, Carlo. editor. Perret, Ludovic. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-93806-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings

2024-11-22T11:49:53Z

Yazar Nielsen, Mogens. editor. Kučera, Antonín. editor. Miltersen, Peter Bro. editor. Palamidessi, Catuscia. editor. Tůma, Petr. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-95891-8
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

2024-11-22T11:49:53Z

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

Quantum Interaction Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings

2024-11-22T11:49:53Z

Yazar Bruza, Peter. editor. Sofge, Donald. editor. Lawless, William. editor. Rijsbergen, Keith. editor. Klusch, Matthias. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00834-4
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

2024-11-22T11:49:53Z

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

Formale Sprachen, abstrakte Automaten und Compiler Lehr- und Arbeitsbuch für Grundstudium und Fortbildung

2024-11-22T11:49:53Z

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

Grundkurs Künstliche Intelligenz Eine praxisorientierte Einführung

2024-11-22T11:49:53Z

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

Claude E. Shannon Spielzeug, Leben und die geheime Geschichte seiner Theorie der Information

2024-11-22T11:49:53Z

Yazar Roch, Axel.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5271069
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Elements of Computation Theory

2024-11-22T11:49:53Z

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

Neural-Symbolic Cognitive Reasoning

2024-11-22T11:49:53Z

Yazar d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73246-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

2024-11-22T11:49:53Z

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

Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings

2024-11-22T11:49:53Z

Yazar Ramanujam, R. editor. Sarukkai, Sundar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92701-3
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

2024-11-22T11:49:53Z

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

2024-11-22T11:49:53Z

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

Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information

2024-11-22T11:49:53Z

Yazar Sommaruga, Giovanni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-00659-3
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

2024-11-22T11:49:53Z

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

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

2024-11-22T11:49:53Z

Yazar Grumberg, Orna. editor. Kaminski, Michael. editor. Katz, Shmuel. editor. Wintner, Shuly. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01748-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

2024-11-22T11:49:53Z

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

2024-11-22T11:49:53Z

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

Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

2024-11-22T11:49:53Z

Yazar Ambos-Spies, Klaus. editor. Löwe, Benedikt. editor. Merkle, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03073-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03092-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Rough Sets X

2024-11-22T11:49:53Z

Yazar Peters, James F. editor. Skowron, Andrzej. editor. Wolski, Marcin. editor. Chakraborty, Mihir K. editor. Wu, Wei-Zhi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03281-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings

2024-11-22T11:49:53Z

Yazar Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03351-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

2024-11-22T11:49:53Z

Yazar Corradini, Andrea. editor. Montanari, Ugo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03429-9
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

2024-11-22T11:49:53Z

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

CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

2024-11-22T11:49:53Z

Yazar Bravetti, Mario. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04081-8
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

2024-11-22T11:49:53Z

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