Arama Sonuçları Computer Hardware. - Daraltılmış: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002bHardware.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?
2026-04-26T03:39:21Z
Computer, network, software, and hardware engineering with applications
ent://SD_ILS/0/SD_ILS:249355
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Schneidewind, Norman.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEEXplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer, network, software, and hardware engineering with applications
ent://SD_ILS/0/SD_ILS:269837
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Shneidewind, Norman.<br/>Yer Numarası TK7885 S2564 2012<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Computer Science The Hardware, Software and Heart of It
ent://SD_ILS/0/SD_ILS:173871
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Blum, Edward K. editor. Aho, Alfred V. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-1168-0">http://dx.doi.org/10.1007/978-1-4614-1168-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
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
ent://SD_ILS/0/SD_ILS:184002
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607116
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607214
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:607963
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Giorgi, Roberto. editor. (orcid)0000-0003-0384-8229 Stojilović, Mirjana. editor. (orcid)0000-0001-5649-5020 Stroobandt, Dirk. editor. (orcid)0000-0002-4477-5313 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Barriga Barros, Ángel. editor. (orcid)0000-0001-6673-6684<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-87995-1">https://doi.org/10.1007/978-3-031-87995-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:608337
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-86695-1">https://doi.org/10.1007/978-3-031-86695-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604456
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66064-1">https://doi.org/10.1007/978-3-031-66064-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
VLSI-SoC 2023: Innovations for Trustworthy Artificial Intelligence 31st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Sharjah, United Arab Emirates, October 16-18, 2023, Revised Extended Selected Papers
ent://SD_ILS/0/SD_ILS:607124
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Albasha, Lutfi. editor. (orcid)0000-0001-5933-0280 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70947-0">https://doi.org/10.1007/978-3-031-70947-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:601939
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Li, Chao. editor. (orcid)0000-0001-6218-4659 Li, Zhenhua. editor. (orcid)0000-0001-7286-122X Shen, Li. editor. (orcid)0000-0001-9043-2998 Wu, Fan. editor. (orcid)0000-0003-0965-9058 Gong, Xiaoli. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-7872-4">https://doi.org/10.1007/978-981-99-7872-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602425
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-51057-1">https://doi.org/10.1007/978-3-031-51057-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Design for Resilient Computer Systems
ent://SD_ILS/0/SD_ILS:604307
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-55139-0">https://doi.org/10.1007/978-3-031-55139-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:602838
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Skliarova, Iouliia. editor. (orcid)0000-0002-6684-9416 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Véstias, Mário. editor. Diniz, Pedro C. editor. (orcid)0000-0003-3131-9367 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-55673-9">https://doi.org/10.1007/978-3-031-55673-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483679
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 Jagode, Heike. editor. (orcid)0000-0002-8173-9434 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-34356-9">https://doi.org/10.1007/978-3-030-34356-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485010
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Bhasin, Shivam. editor. (orcid)0000-0002-6903-5127 Mendelson, Avi. editor. Nandi, Mridul. editor. (orcid)0000-0002-1029-6576 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-35869-3">https://doi.org/10.1007/978-3-030-35869-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484657
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-25636-4">https://doi.org/10.1007/978-3-030-25636-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483032
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17227-5">https://doi.org/10.1007/978-3-030-17227-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483471
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Chamberlain, Roger. editor. Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17910-6">https://doi.org/10.1007/978-3-030-17910-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:398985
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99241-9">https://doi.org/10.1007/978-3-319-99241-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399783
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
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)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99229-7">https://doi.org/10.1007/978-3-319-99229-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399906
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Rebeiro, Chester. editor. (orcid)0000-0001-8063-0026 Yarom, Yuval. editor. (orcid)0000-0003-0401-4197 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05072-6">https://doi.org/10.1007/978-3-030-05072-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses
ent://SD_ILS/0/SD_ILS:400350
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar H. M. Cruz, Eduardo. author. Diener, Matthias. author. O. A. Navaux, Philippe. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91074-1">https://doi.org/10.1007/978-3-319-91074-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400452
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Ferguson, Donald. editor. Muñoz, Víctor Méndez. editor. Cardoso, Jorge. editor. Helfert, Markus. editor. Pahl, Claus. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94959-8">https://doi.org/10.1007/978-3-319-94959-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:400641
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:402522
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399962
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-01042-3">https://doi.org/10.1007/978-3-030-01042-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400146
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92432-8">https://doi.org/10.1007/978-3-319-92432-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400521
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Voros, Nikolaos. editor. Huebner, Michael. editor. Keramidas, Georgios. editor. Goehringer, Diana. editor. Antonopoulos, Christos. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-78890-6">https://doi.org/10.1007/978-3-319-78890-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610911
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613295
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Shi, Xuanhua. editor. (orcid)0000-0001-8451-8656 An, Hong. editor. Wang, Chao. editor. Kandemir, Mahmut. editor. Jin, Hai. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68210-5">https://doi.org/10.1007/978-3-319-68210-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616359
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-57708-1">https://doi.org/10.1007/978-3-319-57708-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:618261
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Götz, Marcelo. editor. Schirner, Gunar. editor. Wehrmeister, Marco Aurélio. editor. Al Faruque, Mohammad Abdullah. editor. Rettberg, Achim. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-90023-0">https://doi.org/10.1007/978-3-319-90023-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612618
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Green IT Engineering: Concepts, Models, Complex Systems Architectures
ent://SD_ILS/0/SD_ILS:611372
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44162-7">https://doi.org/10.1007/978-3-319-44162-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616686
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Wong, Stephan. editor. Beck, Antonio Carlos. editor. Bertels, Koen. editor. Carro, Luigi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-56258-2">https://doi.org/10.1007/978-3-319-56258-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616750
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cryptographic Hardware and Embedded Systems - CHES 2017 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611609
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Fischer, Wieland. editor. Homma, Naofumi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-66787-4">https://doi.org/10.1007/978-3-319-66787-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616098
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Maruyama, Naoya. editor. de Supinski, Bronis R. editor. Wahib, Mohamed. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45550-1">https://doi.org/10.1007/978-3-319-45550-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617572
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Gadducci, Fabio. editor. Tavosanis, Mirko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-47286-7">https://doi.org/10.1007/978-3-319-47286-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Variation Based Dense 3D Reconstruction Application on Monocular Mini-Laparoscopic Sequences
ent://SD_ILS/0/SD_ILS:612584
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Painer, Sven. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-12698-8">https://doi.org/10.1007/978-3-658-12698-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
System Architecture An Ordinary Engineering Discipline
ent://SD_ILS/0/SD_ILS:612989
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Paul, Wolfgang J. author. Baumann, Christoph. author. Lutsyk, Petro. author. Schmaltz, Sabine. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-43065-2">https://doi.org/10.1007/978-3-319-43065-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Behavioural Models From Modelling Finite Automata to Analysing Business Processes
ent://SD_ILS/0/SD_ILS:614579
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
ent://SD_ILS/0/SD_ILS:617799
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Herdt, Vladimir. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-12680-3">https://doi.org/10.1007/978-3-658-12680-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
ent://SD_ILS/0/SD_ILS:488919
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13906-7">https://doi.org/10.1007/978-3-319-13906-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems
ent://SD_ILS/0/SD_ILS:489327
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Biedermann, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-08047-1">https://doi.org/10.1007/978-3-658-08047-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations
ent://SD_ILS/0/SD_ILS:333514
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Raynal, Michel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333514.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32027-9">http://dx.doi.org/10.1007/978-3-642-32027-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334328
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.<br/>Yer Numarası ONLINE(334328.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36949-0">http://dx.doi.org/10.1007/978-3-642-36949-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197272
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32770-4">http://dx.doi.org/10.1007/978-3-642-32770-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
ent://SD_ILS/0/SD_ILS:197076
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-31424-7">http://dx.doi.org/10.1007/978-3-642-31424-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193070
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Das, Vinu V. editor. Stephen, Janahanlal. editor. Thankachan, Nessy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15739-4">http://dx.doi.org/10.1007/978-3-642-15739-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:195148
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Impagliazzo, John. editor. Proydakov, Eduard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22816-2">http://dx.doi.org/10.1007/978-3-642-22816-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194393
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Das, Vinu V. editor. Thankachan, Nessy. editor. Debnath, Narayan C. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20499-9">http://dx.doi.org/10.1007/978-3-642-20499-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Der Computer - Mein Lebenswerk
ent://SD_ILS/0/SD_ILS:191886
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Zuse, Konrad. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12096-1">http://dx.doi.org/10.1007/978-3-642-12096-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quantum Communication and Quantum Networking First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191783
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Sergienko, Alexander. editor. Pascazio, Saverio. editor. Villoresi, Paolo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11731-2">http://dx.doi.org/10.1007/978-3-642-11731-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Innovations and Advances in Computer Sciences and Engineering
ent://SD_ILS/0/SD_ILS:205143
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Sobh, Tarek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-3658-2">http://dx.doi.org/10.1007/978-90-481-3658-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Electronic Engineering and Computing Technology
ent://SD_ILS/0/SD_ILS:205313
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Ao, Sio-Iong. editor. Gelman, Len. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-90-481-8776-8">http://dx.doi.org/10.1007/978-90-481-8776-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware Based Packet Classification for High Speed Internet Routers
ent://SD_ILS/0/SD_ILS:172668
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Meiners, Chad R. author. Liu, Alex X. author. Torng, Eric. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-6700-8">http://dx.doi.org/10.1007/978-1-4419-6700-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Artificial Life Models in Hardware
ent://SD_ILS/0/SD_ILS:175997
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-530-7">http://dx.doi.org/10.1007/978-1-84882-530-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hardware Software Co-Design of a Multimedia SOC Platform
ent://SD_ILS/0/SD_ILS:170593
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-9623-5">http://dx.doi.org/10.1007/978-1-4020-9623-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Pervasive Healthcare Computing EMR/EHR, Wireless and Health Monitoring
ent://SD_ILS/0/SD_ILS:171899
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Varshney, Upkar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4419-0215-3">http://dx.doi.org/10.1007/978-1-4419-0215-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Les virus informatiques: théorie, pratique et applications
ent://SD_ILS/0/SD_ILS:176476
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Filiol, Éric. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-2-287-98240-8">http://dx.doi.org/10.1007/978-2-287-98240-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications
ent://SD_ILS/0/SD_ILS:169692
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Bobda, Christophe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6100-4">http://dx.doi.org/10.1007/978-1-4020-6100-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Fine- and Coarse-Grain Reconfigurable Computing
ent://SD_ILS/0/SD_ILS:169834
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Vassiliadis, Stamatis. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-6505-7">http://dx.doi.org/10.1007/978-1-4020-6505-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Embedded Systems Specification and Design Languages Selected contributions from FDL’07
ent://SD_ILS/0/SD_ILS:170107
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Villar, Eugenio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4020-8297-9">http://dx.doi.org/10.1007/978-1-4020-8297-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Der Computer - Mein Lebenswerk
ent://SD_ILS/0/SD_ILS:186756
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Zuse, Konrad. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73139-9">http://dx.doi.org/10.1007/978-3-540-73139-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
IT-Projektrecht Vertragliche Gestaltung und Steuerung von IT-Projekten, Best Practices, Haftung der Geschäftsleitung
ent://SD_ILS/0/SD_ILS:186781
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Koch, Frank A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73224-2">http://dx.doi.org/10.1007/978-3-540-73224-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings
ent://SD_ILS/0/SD_ILS:187697
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Xu, Ming. editor. Zhan, Yinwei. editor. Cao, Jiannong. editor. Liu, Yijun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76837-1">http://dx.doi.org/10.1007/978-3-540-76837-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Techniques virales avancées
ent://SD_ILS/0/SD_ILS:176382
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Filiol, Éric. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-2-287-33888-5">http://dx.doi.org/10.1007/978-2-287-33888-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
ent://SD_ILS/0/SD_ILS:169385
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-4020-5138-7">http://dx.doi.org/10.1007/1-4020-5138-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business
ent://SD_ILS/0/SD_ILS:175378
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Roussos, George. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-321-3">http://dx.doi.org/10.1007/1-84628-321-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183086
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Cin, Mario. editor. Kaâniche, Mohamed. editor. Pataricza, András. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b107276">http://dx.doi.org/10.1007/b107276</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183095
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11560548">http://dx.doi.org/10.1007/11560548</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183169
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Cao, Jiannong. editor. Nejdl, Wolfgang. editor. Xu, Ming. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11573937">http://dx.doi.org/10.1007/11573937</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computers, Software Engineering, and Digital Devices
ent://SD_ILS/0/SD_ILS:542493
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Dorf, Richard C., author. Taylor and Francis.<br/>Yer Numarası TK7885<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420037050">Click here to view.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France
ent://SD_ILS/0/SD_ILS:165066
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Dissaux, Pierre. editor. Filali-Amine, Mamoun. editor. Michel, Pierre. editor. Vernadat, François. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106318">http://dx.doi.org/10.1007/b106318</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Introduction to Assembly Language Programming For Pentium and RISC Processors
ent://SD_ILS/0/SD_ILS:165340
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Dandamudi, Sivarama P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138691">http://dx.doi.org/10.1007/b138691</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Kompendium der Informationstechnologie Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken
ent://SD_ILS/0/SD_ILS:181180
2026-04-26T03:39:21Z
2026-04-26T03:39:21Z
Yazar Brause, Rüdiger. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138377">http://dx.doi.org/10.1007/b138377</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>