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

Der Computer - Mein Lebenswerk

2026-03-21T13:33:35Z

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

Der Computer - Mein Lebenswerk

2026-03-21T13:33:35Z

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

Practical Introduction to Computer Architecture

2026-03-21T13:33:35Z

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

Software Design for Resilient Computer Systems

2026-03-21T13:33:35Z

Yazar Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55139-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Design for Resilient Computer Systems

2026-03-21T13:33:35Z

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

Music and Human-Computer Interaction

2026-03-21T13:33:35Z

Yazar Holland, Simon. editor. Wilkie, Katie. editor. Mulholland, Paul. editor. Seago, Allan. editor. SpringerLink (Online service)
Yer Numarası ONLINE(330896.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-2990-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Automation and Computer Engineering

2026-03-21T13:33:35Z

Yazar Huang, Xu. editor. Ao, Sio-Iong. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3517-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependability benchmarking for computer systems

2026-03-21T13:33:35Z

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

Software engineering and computer games

2026-03-21T13:33:35Z

Yazar Rucker, Rudy v. B. (Rudy von Bitter), 1946-
Yer Numarası QA76.758 R83 2003
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software Engineering Perspectives in Computer Game Development.

2026-03-21T13:33:35Z

Yazar Cooper, Kendra M. L., editor.
Yer Numarası QA76.76 .C672
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781315145549 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Handbook of Formal Methods in Human-Computer Interaction

2026-03-21T13:33:35Z

Yazar Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. (orcid)0000-0002-5381-971X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51838-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science and its Applications CSA 2012

2026-03-21T13:33:35Z

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

Analyzing Computer System Performance with Perl::PDQ

2026-03-21T13:33:35Z

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

Algorithmen kompakt und verständlich Lösungsstrategien am Computer

2026-03-21T13:33:35Z

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

Algorithmen kompakt und verständlich Lösungsstrategien am Computer

2026-03-21T13:33:35Z

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

Computer-Aided Design of User Interfaces V

2026-03-21T13:33:35Z

Yazar Calvary, Gaëlle. editor. Pribeanu, Costin. editor. Santucci, Giuseppe. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5820-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78380-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78377-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

2026-03-21T13:33:35Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82949-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

2026-03-21T13:33:35Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82957-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

2026-03-21T13:33:35Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83885-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85923-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Science 20th International Conference, ICDATA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Stahlbock, Robert. editor. (orcid)0000-0002-0393-4904 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85856-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86644-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Communication Engineering 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Neri, Filippo. editor. (orcid)0000-0002-2529-2287 Du, Ke-Lin. editor. (orcid)0000-0002-9136-3952 San-Blas, Angel-Antonio. editor. (orcid)0000-0002-4341-8277 Jiang, Zhiyu. editor. (orcid)0000-0002-6360-8262 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71079-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85930-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

Artificial Intelligence and Applications 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86623-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Management and Wireless Networks 23rd International Conference, SAM 2024 and 23rd International Conference, ICWN 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Daimi, Kevin. editor. Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86637-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering 28th International Conference, IPCV 2024, and 23rd International Conference, IKE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85933-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scientific Computing and Bioinformatics and Computational Biology 22nd International Conference, CSC 2024, and 25th International Conference, BIOCOMP 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Hodson, Douglas D. editor. Grimaila, Michael R. editor. (orcid)0000-0002-8355-7992 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Wagner, Torrey J. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85902-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Health Informatics and Medical Systems and Biomedical Engineering 10th International Conference, HIMS 2024, and 10th International Conference, BIOENG 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Alsadoon, Abeer. editor. (orcid)0000-0002-2309-3540 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85908-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV

2026-03-21T13:33:35Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98685-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98679-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98668-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

2026-03-21T13:33:35Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98682-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74598-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74595-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering of Complex Computer Systems 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings

2026-03-21T13:33:35Z

Yazar Bai, Guangdong. editor. (orcid)0000-0002-6390-9890 Ishikawa, Fuyuki. editor. (orcid)0000-0001-7725-2618 Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Papadopoulos, George A. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66456-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85884-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Cognitive Computing and Artificial Intelligence 8th International Conference, ACC 2024, and 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Ferens, Ken. editor. (orcid)0000-0002-1031-0518 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85628-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel and Distributed Processing Techniques 30th International Conference, PDPTA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85638-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research in Computer Science 6th Conference, CRI 2023, Yaounde, Cameroon, December 12-13, 2023, Proceedings

2026-03-21T13:33:35Z

Yazar Melatagia Yonta, Paulin. editor. (orcid)0000-0003-3479-2627 Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Ndoundam, René. editor. (orcid)0000-0003-1105-762X Yenke, Omer-Blaise. editor. (orcid)0000-0001-9670-1001 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63110-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-65627-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings

2026-03-21T13:33:35Z

Yazar Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68606-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings

2026-03-21T13:33:35Z

Yazar Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68738-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

2026-03-21T13:33:35Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-65633-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-65630-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Human-Computer Interaction 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19–21, 2019, Revised Selected Papers

2026-03-21T13:33:35Z

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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

2026-03-21T13:33:35Z

Yazar Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-35092-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

2026-03-21T13:33:35Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31019-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings

2026-03-21T13:33:35Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Barzola-Monteses, Julio. editor. Santos-Baquerizo, Eduardo. editor. Espinoza-Andaluz, Mayken. editor. Yánez-Pazmiño, Wendy. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12018-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

Computer-Aided Architectural Design. "Hello, Culture" 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Villegas, Juan G. editor. (orcid)0000-0002-2940-571X Orozco-Arroyave, Juan Rafael. editor. (orcid)0000-0002-8507-0782 Maya Duque, Pablo Andres. editor. (orcid)0000-0002-5348-8615 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00353-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings

2026-03-21T13:33:35Z

Yazar Kozielski, Stanisław. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Paweł. editor. (orcid)0000-0002-2090-335X Małysiak-Mrozek, Bożena. editor. (orcid)0000-0003-4977-4915 Kostrzewa, Daniel. editor. (orcid)0000-0003-2781-3709
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99987-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96145-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings

2026-03-21T13:33:35Z

Yazar Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258 Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Grochla, Krzysztof. editor. (orcid)0000-0001-6221-4790 Lent, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00840-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

2026-03-21T13:33:35Z

Yazar Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99639-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2026-03-21T13:33:35Z

Yazar Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00359-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. (orcid)0000-0001-7670-7756 Rodriguez-Molano, José Ignacio. editor. (orcid)0000-0003-2581-277X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00350-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96142-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Campegiani, Paolo. editor. Czachórski, Tadeusz. editor. Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Komnios, Ioannis. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95189-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63390-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT Education 46th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2017, Magaliesburg, South Africa, July 3-5, 2017, Revised Selected Papers

2026-03-21T13:33:35Z

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

Applied Computer Sciences in Engineering 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings

2026-03-21T13:33:35Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. Villa-Ramírez, José Luis. editor. Ferro-Escobar, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66963-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Games 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 van den Herik, H. Jaap. editor. Kosters, Walter A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71649-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

2026-03-21T13:33:35Z

Yazar Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72453-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

2026-03-21T13:33:35Z

Yazar Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57418-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

2026-03-21T13:33:35Z

Yazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66176-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63387-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings

2026-03-21T13:33:35Z

Yazar Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66320-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

2026-03-21T13:33:35Z

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

Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings

2026-03-21T13:33:35Z

Yazar Czachórski, Tadeusz. editor. Gelenbe, Erol. editor. Grochla, Krzysztof. editor. Lent, Ricardo. editor. (orcid)0000-0003-4884-3456 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47217-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computer Sciences in Engineering Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 López-Santana, Eduyn Ramiro. editor. Ferro-Escobar, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50880-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

2026-03-21T13:33:35Z

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

ICT Education 45th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2016, Cullinan, South Africa, July 5-6, 2016, Revised Selected Papers

2026-03-21T13:33:35Z

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

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

2026-03-21T13:33:35Z

Yazar Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08867-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part III

2026-03-21T13:33:35Z

Yazar Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Yer Numarası ONLINE(334950.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40477-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Yer Numarası ONLINE(334951.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40480-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Yer Numarası ONLINE(334952.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40483-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2013 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part IV

2026-03-21T13:33:35Z

Yazar Kotzé, Paula. editor. Marsden, Gary. editor. Lindgaard, Gitte. editor. Wesson, Janet. editor. Winckler, Marco. editor.
Yer Numarası ONLINE(334955.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40498-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings

2026-03-21T13:33:35Z

Yazar Saeed, Khalid. editor. Chaki, Rituparna. editor. Cortesi, Agostino. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335029.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40925-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings

2026-03-21T13:33:35Z

Yazar Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334686.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38865-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2026-03-21T13:33:35Z

Yazar Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334688.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38874-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

Computer Architecture ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Varbanescu, Ana Lucia. editor. Molnos, Anca. editor. Nieuwpoort, Rob. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24322-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings

2026-03-21T13:33:35Z

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

Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

2026-03-21T13:33:35Z

Yazar Cortesi, Agostino. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33260-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings

2026-03-21T13:33:35Z

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

Computer Safety, Reliability, and Security 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part I

2026-03-21T13:33:35Z

Yazar Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Grosky, William I. editor. Pissinou, Niki. editor. Shih, Timothy K. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27204-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

2026-03-21T13:33:35Z

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

Computer Applications for Communication, Networking, and Digital Contents International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2026-03-21T13:33:35Z

Yazar Kim, Tai-hoon. editor. Ko, Dae-sik. editor. Vasilakos, Thanos. editor. Stoica, Adrian. editor. Abawajy, Jemal. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35594-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Applications for Graphics, Grid Computing, and Industrial Environment International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2026-03-21T13:33:35Z

Yazar Kim, Tai-hoon. editor. Cho, Hyun-seob. editor. Gervasi, Osvaldo. editor. Yau, Stephen S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35600-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Applications for Database, Education, and Ubiquitous Computing International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2026-03-21T13:33:35Z

Yazar Kim, Tai-hoon. editor. Ma, Jianhua. editor. Fang, Wai-chi. editor. Zhang, Yanchun. editor. Cuzzocrea, Alfredo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35603-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

2026-03-21T13:33:35Z

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

Computer Security – ESORICS 2012 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings

2026-03-21T13:33:35Z

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

Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2026-03-21T13:33:35Z

Yazar Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35248-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2026-03-21T13:33:35Z

Yazar Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35267-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III

2026-03-21T13:33:35Z

Yazar Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23765-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV

2026-03-21T13:33:35Z

Yazar Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23768-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23771-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2011 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar Campos, Pedro. editor. Graham, Nicholas. editor. Jorge, Joaquim. editor. Nunes, Nuno. editor. Palanque, Philippe. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23774-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

Computer Safety, Reliability, and Security 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings

2026-03-21T13:33:35Z

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

Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Performance Evaluation of Computer and Communication Systems. Milestones and Future Challenges IFIP WG 6.3/7.3 International Workshop, PERFORM 2010, in Honor of Günter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Hummel, Karin Anna. editor. Hlavacs, Helmut. editor. Gansterer, Wilfried. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-25575-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Grosky, William I. editor. Pissinou, Niki. editor. Shih, Timothy K. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27186-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Information Systems – Analysis and Technologies 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011. Proceedings

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

2026-03-21T13:33:35Z

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

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22170-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22191-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

2026-03-21T13:33:35Z

Yazar Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22203-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

2026-03-21T13:33:35Z

Yazar Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-13678-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Processing in Computer-Assisted Interventions First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings

2026-03-21T13:33:35Z

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

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

2026-03-21T13:33:35Z

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

Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings

2026-03-21T13:33:35Z

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

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

2026-03-21T13:33:35Z

Yazar Aldini, Alessandro. editor. Bernardo, Marco. editor. Bononi, Luciano. editor. Cortellessa, Vittorio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15784-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

2026-03-21T13:33:35Z

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

Universal Access in Human-Computer Interaction. Addressing Diversity 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I

2026-03-21T13:33:35Z

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

Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part II

2026-03-21T13:33:35Z

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

Universal Access in Human-Computer Interaction. Applications and Services 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III

2026-03-21T13:33:35Z

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

Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings

2026-03-21T13:33:35Z

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

Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar Gross, Tom. editor. Gulliksen, Jan. editor. Kotzé, Paula. editor. Oestreicher, Lars. editor. Palanque, Philippe. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03655-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2009 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Gross, Tom. editor. Gulliksen, Jan. editor. Kotzé, Paula. editor. Oestreicher, Lars. editor. Palanque, Philippe. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03658-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings

2026-03-21T13:33:35Z

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

Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers

2026-03-21T13:33:35Z

Yazar Ystad, Sølvi. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02518-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings

2026-03-21T13:33:35Z

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

Computer Networks 16th Conference, CN 2009, Wisła, Poland, June 16-20, 2009. Proceedings

2026-03-21T13:33:35Z

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

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

2026-03-21T13:33:35Z

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

Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

2026-03-21T13:33:35Z

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

Computer Music Modeling and Retrieval. Sense of Sounds 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers

2026-03-21T13:33:35Z

Yazar Kronland-Martinet, Richard. editor. Ystad, Sølvi. editor. Jensen, Kristoffer. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85035-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Shen, Weiming. editor. Yong, Jianming. editor. Yang, Yun. editor. Barthès, Jean-Paul A. editor. Luo, Junzhou. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-92719-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

2026-03-21T13:33:35Z

Yazar Harrison, Michael D. editor. Sujan, Mark-Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87698-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

2026-03-21T13:33:35Z

Yazar Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68894-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments

2026-03-21T13:33:35Z

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

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72863-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

2026-03-21T13:33:35Z

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

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

2026-03-21T13:33:35Z

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

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2026-03-21T13:33:35Z

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

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2026-03-21T13:33:35Z

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

Human-Computer Interaction. Interaction Platforms and Techniques 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II

2026-03-21T13:33:35Z

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

Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III

2026-03-21T13:33:35Z

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

Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV

2026-03-21T13:33:35Z

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

Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2026-03-21T13:33:35Z

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

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

2026-03-21T13:33:35Z

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

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74796-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Baranauskas, Cécilia. editor. Palanque, Philippe. editor. Abascal, Julio. editor. Barbosa, Simone Diniz Junqueira. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74800-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

2026-03-21T13:33:35Z

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

Computer Music Modeling and Retrieval Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers

2026-03-21T13:33:35Z

Yazar Kronland-Martinet, Richard. editor. Voinier, Thierry. editor. Ystad, Sølvi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11751069
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

2026-03-21T13:33:35Z

Yazar Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11753810
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings

2026-03-21T13:33:35Z

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

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11686699
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

2026-03-21T13:33:35Z

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

Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Shen, Weiming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Li, Tangqiu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11568421
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Music Modeling and Retrieval Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

2026-03-21T13:33:35Z

Yazar Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11549970
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings

2026-03-21T13:33:35Z

Yazar Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136094
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

Yazar Yolum, pInar. editor. Güngör, Tunga. editor. Gürgen, Fikret. editor. Özturan, Can. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11569596
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Bastide, Rémi. editor. Palanque, Philippe. editor. Roth, Jörg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b136790
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

2026-03-21T13:33:35Z

Yazar Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11563228
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Computer Science and Education in Computer Science 20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28-30, 2024, Proceedings

2026-03-21T13:33:35Z

Yazar Zlateva, Tanya. editor. Tuparov, Georgi. editor. (orcid)0000-0003-4162-5106 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84312-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01216-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part III

2026-03-21T13:33:35Z

Yazar Lai, Jian-Huang. editor. Liu, Cheng-Lin. editor. Chen, Xilin. editor. Zhou, Jie. editor. Tan, Tieniu. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03338-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings

2026-03-21T13:33:35Z

Yazar Stoyanov, Danail. editor. Taylor, Zeike. editor. Sarikaya, Duygu. editor. McLeod, Jonathan. editor. González Ballester, Miguel Angel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01201-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XVI

2026-03-21T13:33:35Z

Yazar Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01270-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95270-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI

2026-03-21T13:33:35Z

Yazar Ferrari, Vittorio. editor. Hebert, Martial. editor. Sminchisescu, Cristian. editor. Weiss, Yair. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01252-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95282-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Augmented Reality, Virtual Reality, and Computer Graphics 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar De Paolis, Lucio Tommaso. editor. Bourdot, Patrick. editor. Mongelli, Antonio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60928-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Augmented Reality, Virtual Reality, and Computer Graphics 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar De Paolis, Lucio Tommaso. editor. Bourdot, Patrick. editor. Mongelli, Antonio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60922-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4

2026-03-21T13:33:35Z

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

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

2026-03-21T13:33:35Z

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

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2

2026-03-21T13:33:35Z

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

Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6

2026-03-21T13:33:35Z

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

Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1

2026-03-21T13:33:35Z

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

Machine Learning Methods in Systems Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4

2026-03-21T13:33:35Z

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

Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2

2026-03-21T13:33:35Z

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

Artificial Intelligence Algorithm Design for Systems Proceedings of 13th Computer Science Online Conference 2024, Volume 3

2026-03-21T13:33:35Z

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

Evolution of STEM-Driven Computer Science Education The Perspective of Big Concepts

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

2026-03-21T13:33:35Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26601-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Information and Computer Security 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28–30, 2019, Proceedings

2026-03-21T13:33:35Z

Yazar Attrapadung, Nuttapong. editor. (orcid)0000-0003-4116-1751 Yagi, Takeshi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26834-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

2026-03-21T13:33:35Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Gashi, Ilir. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26250-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

2026-03-21T13:33:35Z

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

Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II

2026-03-21T13:33:35Z

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

Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2026-03-21T13:33:35Z

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

Computer and Computing Technologies in Agriculture X 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19–21, 2016, Proceedings

2026-03-21T13:33:35Z

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

Computer Security ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0002-6575-9814 Antón, Annie. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12786-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. Perspectives on Design Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2026-03-21T13:33:35Z

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

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I

2026-03-21T13:33:35Z

Yazar Sako, Kazue. editor. Schneider, Steve. editor. (orcid)0000-0001-8365-6993 Ryan, Peter Y. A. editor. (orcid)0000-0002-1677-9034 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29959-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Sako, Kazue. editor. Schneider, Steve. editor. (orcid)0000-0001-8365-6993 Ryan, Peter Y. A. editor. (orcid)0000-0002-1677-9034 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29962-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings

2026-03-21T13:33:35Z

Yazar Drevin, Lynette. editor. (orcid)0000-0001-9370-8216 Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99734-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Entertainment Computing – ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedings

2026-03-21T13:33:35Z

Yazar Clua, Esteban. editor. (orcid)0000-0001-5650-1718 Roque, Licinio. editor. (orcid)0000-0002-1911-2788 Lugmayr, Artur. editor. (orcid)0000-0001-6994-4470 Tuomi, Pauliina. editor. (orcid)0000-0001-9986-6426 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99426-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

2026-03-21T13:33:35Z

Yazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99229-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

2026-03-21T13:33:35Z

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

Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

2026-03-21T13:33:35Z

Yazar Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02227-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

2026-03-21T13:33:35Z

Yazar Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. (orcid)0000-0001-7787-4927 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99954-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-03-21T13:33:35Z

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

Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

2026-03-21T13:33:35Z

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

ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings

2026-03-21T13:33:35Z

Yazar Janczewski, Lech Jan. editor. (orcid)0000-0003-3319-924X Kutyłowski, Mirosław. editor. (orcid)0000-0003-3192-2430 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99828-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2026-03-21T13:33:35Z

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

Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2026-03-21T13:33:35Z

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

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

2026-03-21T13:33:35Z

Yazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Skavhaug, Amund. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99130-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lambrinoudakis, Costas. editor. Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72817-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security - ESORICS 2017 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II

2026-03-21T13:33:35Z

Yazar Foley, Simon N. editor. Gollmann, Dieter. editor. Snekkenes, Einar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66399-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. User Interface Design, Development and Multimodality 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

2026-03-21T13:33:35Z

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

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2026-03-21T13:33:35Z

Yazar Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66583-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computer Science for GGOS Observatories Communication, Coordination and Automation of Future Geodetic Infrastructures

2026-03-21T13:33:35Z

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

Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015

2026-03-21T13:33:35Z

Yazar Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2717-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2016

2026-03-21T13:33:35Z

Yazar Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3950-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

2026-03-21T13:33:35Z

Yazar Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89935-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

2026-03-21T13:33:35Z

Yazar Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66284-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

2026-03-21T13:33:35Z

Yazar Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66266-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

2026-03-21T13:33:35Z

Yazar Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62075-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. Interaction Contexts 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

2026-03-21T13:33:35Z

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

Human-Computer Interaction. Theory, Design, Development and Practice 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I

2026-03-21T13:33:35Z

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

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

2026-03-21T13:33:35Z

Yazar Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45477-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015

2026-03-21T13:33:35Z

Yazar Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-0551-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction. Novel User Experiences 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III

2026-03-21T13:33:35Z

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

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2026-03-21T13:33:35Z

Yazar Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-34096-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

2026-03-21T13:33:35Z

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

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

2026-03-21T13:33:35Z

Yazar Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45480-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2026-03-21T13:33:35Z

Yazar Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46433-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

2026-03-21T13:33:35Z

Yazar Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42547-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

2026-03-21T13:33:35Z

Yazar Kofroň, Jan. editor. Vojnar, Tomáš. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29817-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2026-03-21T13:33:35Z

Yazar Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-07317-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

2026-03-21T13:33:35Z

Yazar Bondavalli, Andrea. editor. Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10506-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

2026-03-21T13:33:35Z

Yazar Bondavalli, Andrea. editor. Ceccarelli, Andrea. editor. Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10557-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Towards Practical Brain-Computer Interfaces Bridging the Gap from Research to Real-World Applications

2026-03-21T13:33:35Z

Yazar Allison, Brendan Z. editor. Dunne, Stephen. editor. Leeb, Robert. editor. Del R. Millán, José. editor. Nijholt, Anton. editor.
Yer Numarası ONLINE(333262.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29746-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T13:33:35Z

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

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

2026-03-21T13:33:35Z

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

Computer, network, software, and hardware engineering with applications

2026-03-21T13:33:35Z

Yazar Shneidewind, Norman.
Yer Numarası TK7885 S2564 2012
Format: Kitap
Durum Beytepe Kütüphanesi~1

Computer, Informatics, Cybernetics and Applications Proceedings of the CICA 2011

2026-03-21T13:33:35Z

Yazar He, Xingui. editor. Hua, Ertian. editor. Lin, Yun. editor. Liu, Xiaozhu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1839-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1