Search Results for Microprogramming.

1.

Computer organization and microprogramming

Yazar

Chu, Yaohan, 1920-

Yer Numarası

QA 76.5 C488 1972

Format:

Durum

Beytepe Kütüphanesi~3

Rafta:
Kopya:

2.

Microprogramming : principles and practices

Yazar

Husson, Samir S.

Yer Numarası

TK 7888.3 H86 1970

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

3.

Microprogramming and systems architecture.

Yer Numarası

QA 76.6 M5 1975 V.23

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

4.

Design tools for the 90's : 15th Euromicro Symposium on Microprocessing and Microprogramming (EUROMICRO 89) Cologne, Germany, September 4-8, 1989

Yazar

Euromicro Symposium on Microprocessing and Microprogramming (15th : 1989 : Cologne, Germany) Mizzalia, L., ed. Winter, S., ed.

Yer Numarası

QA 76.5 E9 1989 D

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

5.

Microcomputers : usage, methods and structures: thirteenth EUROMİCRO Symposium on Microprocessing and Microprogramming, Ports mounth. Sept. 14-17. 1987

Yazar

Euromicro Symposium on Microprocessing and Microprogramming (13th : 1987 : Portmouth. England) Schumny, H., ed. Molgaard, J., ed.

Yer Numarası

QA 76.5 E9 1987

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

6.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Yazar

Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71177-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part I

Yazar

Chen, Xu. editor. Min, Geyong. editor. Guo, Deke. editor. Xie, Xia. editor. Pu, Lingjun. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2830-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7-8, 2024, Proceedings, Part II

Yazar

Chen, Xu. editor. Min, Geyong. editor. Guo, Deke. editor. Xie, Xia. editor. Pu, Lingjun. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2864-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

Yazar

Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4207-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part I

Yazar

Caino-Lores, Silvina. editor. (orcid)0000-0002-6922-0138 Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Doudali, Thaleia Dimitra. editor. (orcid)0000-0002-3197-839X Singh, David E. editor. (orcid)0000-0002-8125-0049 Garzón, Gracia Ester Martín. editor. (orcid)0000-0002-0568-5470

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90200-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73709-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

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

Yazar

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-77382-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers

Yazar

Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-74558-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-78459-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-78462-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

High Performance Computing 11th Latin American High Performance Computing Conference, CARLA 2024, Santiago de Chile, Chile, September 30 - October 4, 2024, Revised Selected Papers

Yazar

Guerrero, Ginés. editor. (orcid)0000-0002-1346-1143 San Martín, Jaime. editor. (orcid)0000-0002-9273-5260 Meneses, Esteban. editor. (orcid)0000-0002-4307-6000 Barrios Hernández, Carlos Jaime. editor. (orcid)0000-0003-0133-7214 Osthoff, Carla. editor. (orcid)0000-0002-4694-7182

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-80084-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90653-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Yazar

Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71162-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-75387-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

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

Yazar

Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-74498-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-75107-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-75390-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Yazar

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-75380-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

Yazar

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73716-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

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

Yazar

Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Corbalán, Julita. editor. (orcid)0000-0002-3926-5634 Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-74430-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

Yazar

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-87054-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90643-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

Yazar

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90660-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

Yazar

Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90900-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Euro-Par 2024: Parallel Processing Workshops Euro-Par 2024 International Workshops, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Yazar

Caino-Lores, Silvina. editor. (orcid)0000-0002-6922-0138 Zeinalipour, Demetris. editor. (orcid)0000-0002-7239-2387 Doudali, Thaleia Dimitra. editor. (orcid)0000-0002-3197-839X Singh, David E. editor. (orcid)0000-0002-8125-0049 Garzón, Gracia Ester Martín. editor. (orcid)0000-0002-0568-5470

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-90203-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Control Systems: A Historical and Philosophical Perspective History and philosophy of control systems

Yazar

Khaki-Sedigh, Ali. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-7426-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-50521-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-50524-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Transactions on Petri Nets and Other Models of Concurrency XVII

Yazar

Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-68191-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Constructive Side-Channel Analysis and Secure Design 15th International Workshop, COSADE 2024, Gardanne, France, April 9-10, 2024, Proceedings

Yazar

Wacquez, Romain. author. Homma, Naofumi. editor. (orcid)0000-0003-0864-3126 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57543-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57246-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57249-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57256-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Yazar

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57259-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

Yazar

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-61753-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part I

Yazar

Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-69577-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part III

Yazar

Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-69583-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

Yazar

Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-69766-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Yazar

Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71379-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

Data Management Technologies and Applications 12th International Conference, DATA 2023, Rome, Italy, July 11-13, 2023, Revised Selected Papers

Yazar

Gusikhin, Oleg. editor. Hammoudi, Slimane. editor. Cuzzocrea, Alfredo. editor. (orcid)0000-0002-7104-6415 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-68919-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

Advancing OpenMP for Future Accelerators 20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings

Yazar

Espinosa, Alexis. editor. (orcid)0000-0002-8869-3985 Klemm, Michael. editor. (orcid)0000-0002-8634-4634 de Supinski, Bronis R. editor. (orcid)0000-0002-0339-1006 Cytowski, Maciej. editor. (orcid)0000-0002-0007-0979 Klinkenberg, Jannis. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-72567-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

High Performance Computing 10th Latin American Conference, CARLA 2023, Cartagena, Colombia, September 18-22, 2023, Revised Selected Papers

Yazar

Barrios H., Carlos J. editor. Rizzi, Silvio. editor. Meneses, Esteban. editor. (orcid)0000-0002-4307-6000 Mocskos, Esteban. editor. (orcid)0000-0002-6473-7672 Monsalve Diaz, Jose M. editor. (orcid)0000-0001-6875-1685

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-52186-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

Active Object Languages: Current Research Trends

Yazar

de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-51060-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

Emerging Technologies for Developing Countries 6th EAI International Conference, AFRICATEK 2023, Arusha, Tanzania, December 11-13, 2023, Proceedings

Yazar

Masinde, Muthoni. editor. (orcid)0000-0002-8914-0055 Möbs, Sabine. editor. (orcid)0000-0002-1912-7007 Bagula, Antoine. editor. (orcid)0000-0002-1106-8938 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63999-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

Progress in Cryptology - AFRICACRYPT 2024 15th International Conference on Cryptology in Africa, Douala, Cameroon, July 10-12, 2024, Proceedings

Yazar

Vaudenay, Serge. editor. (orcid)0000-0001-9185-1449 Petit, Christophe. editor. (orcid)0000-0003-3482-6743 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-64381-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Introduction to Digital Control An Integrated Approach

Yazar

Samanta, Biswanath. author. (orcid)0000-0002-0518-6751 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-66830-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

Parallel Computational Technologies 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024, Revised Selected Papers

Yazar

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73372-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

Yazar

Kofroň, Jan. editor. (orcid)0000-0003-0391-4812 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Seceleanu, Cristina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-49252-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Understanding Computer Organization A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures

Yazar

Bulić, Patricio. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-58075-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Digital Design from the VLSI Perspective Concepts for VLSI Beginners

Yazar

Taraate, Vaibbhav. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-4652-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

Introduction to Mechatronics An Integrated Approach

Yazar

Samanta, Biswanath. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-29320-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

Software Defined Chips Volume II

Yazar

Liu, Leibo. author. Wei, Shaojun. author. Zhu, Jianfeng. author. Deng, Chenchen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-7636-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Yazar

Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-35540-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

Yazar

Podelski, Andreas. editor. Taïani, François. editor. (orcid)0000-0002-9692-5678 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-05529-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

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

Yazar

Muñoz, Víctor Méndez. editor. Ferguson, Donald. editor. Helfert, Markus. editor. Pahl, Claus. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-29193-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

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

Yazar

Polian, Ilia. editor. (orcid)0000-0002-6563-2725 Stöttinger, Marc. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-16350-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

65.

On the Physical Security of Physically Unclonable Functions

Yazar

Tajik, Shahin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-75820-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

Java in Two Semesters Featuring JavaFX

Yazar

Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99420-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Test Generation of Crosstalk Delay Faults in VLSI Circuits

Yazar

Jayanthy, S. author. Bhuvaneswari, M.C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-2493-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

Transactions on High-Performance Embedded Architectures and Compilers V

Yazar

Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-58834-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings

Yazar

Abramson, David. editor. (orcid)0000-0003-0441-4596 de Supinski, Bronis R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-18645-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

Supercomputing 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers

Yazar

Torres, Moisés. editor. (orcid)0000-0003-4877-3443 Klapp, Jaime. editor. (orcid)0000-0003-1828-9183 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-38043-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog

Yazar

Taraate, Vaibbhav. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-8776-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

Yazar

Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153 Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177 Katsaros, Panagiotis. editor. Bozzano, Marco. editor. (orcid)0000-0002-4135-103X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-32872-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Technological Innovation for Industry and Service Systems 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8–10, 2019, Proceedings

Yazar

Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Almeida, Ricardo. editor. (orcid)0000-0003-2432-5670 Oliveira, José. editor. (orcid)0000-0002-9398-8841 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-17771-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

Yazar

Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-23703-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

75.

Computer Engineering and Technology 23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers

Yazar

Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhu, Zhenzhen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-15-1850-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

76.

Principles of Radio Navigation for Ground and Ship-Based Aircrafts

Yazar

Sauta O.I. author. Shatrakov A.Y. author. Shatrakov Y.G. author. Zavalishin O.I. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-8293-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

Yazar

Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-15663-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

78.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

79.

A Tutorial Introduction to VHDL Programming

Yazar

Gazi, Orhan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-2309-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

80.

Radio Navigation Systems for Airports and Airways

Yazar

Skrypnik, Oleg Nicolaevich. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-13-7201-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

81.

Industrial Applications of Holonic and Multi-Agent Systems 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedings

Yazar

Mařík, Vladimír. editor. Kadera, Petr. editor. Rzevski, George. editor. Zoitl, Alois. editor. Anderst-Kotsis, Gabriele. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-27878-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

82.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

83.

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

Yazar

Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-03673-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

84.

Intelligent Engineering Informatics Proceedings of the 6th International Conference on FICTA

Yazar

Bhateja, Vikrant. editor. Coello Coello, Carlos A. editor. Satapathy, Suresh Chandra. editor. Pattnaik, Prasant Kumar. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-7566-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Flight Systems and Control A Practical Approach

Yazar

Ng, Tian Seng. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-8721-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

Yazar

Kormanyos, Christopher. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-56718-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Hands-on Experience with Altera FPGA Development Boards

Yazar

Parab, Jivan S. author. Gad, Rajendra S. author. Naik, G.M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-81-322-3769-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Getting Started with Tiva ARM Cortex M4 Microcontrollers A Lab Manual for Tiva LaunchPad Evaluation Kit

Yazar

Gadre, Dhananjay V. author. Gupta, Sarthak. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-81-322-3766-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

VLSI Design: Circuits, Systems and Applications Select Proceedings of ICNETS2, Volume V

Yazar

Li, Jie. editor. Sankar, A Ravi. editor. Beulet, P Augusta Sophy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-7251-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms

Yazar

Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-98833-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings

Yazar

Fan, Junfeng. editor. Gierlichs, Benedikt. editor. (orcid)0000-0002-5866-1990 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-89641-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

Programming in HTML and PHP Coding for Scientists and Engineers

Yazar

Brooks, David R. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-56973-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings

Yazar

Mařík, Vladimír. editor. Wahlster, Wolfgang. editor. Strasser, Thomas. editor. Kadera, Petr. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-64635-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Machine Learning Control - Taming Nonlinear Dynamics and Turbulence

Yazar

Duriez, Thomas. author. Brunton, Steven L. author. Noack, Bernd R. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-40624-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Yazar

Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-68499-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Critical Information Infrastructures Security 11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016, Revised Selected Papers

Yazar

Havarneanu, Grigore. editor. Setola, Roberto. editor. Nassopoulos, Hypatia. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-71368-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers

Yazar

Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-57858-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

Prototyping of Concurrent Control Systems Implemented in FPGA Devices

Yazar

Wiśniewski, Remigiusz. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-45811-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

Constructive Side-Channel Analysis and Secure Design 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers

Yazar

Guilley, Sylvain. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-64647-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Selected Areas in Cryptography - SAC 2016 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised Selected Papers

Yazar

Avanzi, Roberto. editor. Heys, Howard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-69453-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

PLD Based Design with VHDL RTL Design, Synthesis and Implementation

Yazar

Taraate, Vaibbhav. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-3296-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

Analysis and Synthesis of Positive Systems Under ℓ1 and L1 Performance

Yazar

Chen, Xiaoming. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-2227-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Design of an Intelligent Embedded System for Condition Monitoring of an Industrial Robot

Yazar

Jaber, Alaa Abdulhady. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-44932-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

Foundations of Programming Languages

Yazar

Lee, Kent D. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-70790-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

Understanding Control Flow Concurrent Programming Using μC++

Yazar

Buhr, Peter A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-25703-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

Real Time Control Engineering Systems And Automation

Yazar

Ng, Tian Seng. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-1509-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

Theory of Control Systems Described by Differential Inclusions

Yazar

Han, Zhengzhi. author. Cai, Xiushan. author. Huang, Jun. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-49245-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Frontier Computing Theory, Technologies and Applications

Yazar

Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-0539-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving

Yazar

Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-33361-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

Optimal Design of Distributed Control and Embedded Systems

Yazar

Çela, Arben. author. Ben Gaid, Mongi. author. Li, Xu-Guang. author. Niculescu, Silviu-Iulian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-02729-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

Body Sensor Networks

Yazar

Yang, Guang-Zhong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-6374-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

A Combined Data and Power Management Infrastructure For Small Satellites

Yazar

Eickhoff, Jens. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334005.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35557-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

Yazar

Kormanyos, Christopher Michael. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333884.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34688-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers

Yazar

Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-28566-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Reflections on the History of Computing Preserving Memories and Sharing Stories

Yazar

Tatnall, Arthur. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33899-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

The BOXES Methodology Black Box Dynamic Control

Yazar

Russell, David W. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84996-528-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

Dependable and Historic Computing Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Yazar

Jones, Cliff B. editor. Lloyd, John L. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-24541-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

An Investigation into the Detection and Mitigation of Denial of Service (DoS) Attacks Critical Information Infrastructure Protection

Yazar

Raghavan, S.V. editor. Dawson, E. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-81-322-0277-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

Thinkquest~2010 Proceedings of the First International Conference on Contours of Computing Technology

Yazar

Pise, S. J. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-81-8489-989-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

Microelectronic Systems Circuits, Systems and Applications

Yazar

Heuberger, Albert. editor. Elst, Günter. editor. Hanke, Randolf. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-23071-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

VLSI-SoC: Technologies for Systems Integration 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papers

Yazar

Becker, Jürgen. editor. Johann, Marcelo. editor. Reis, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-23120-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings

Yazar

Das, Vinu V. editor. Stephen, Janahanlal. editor. Thankachan, Nessy. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-15739-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Unmanned Rotorcraft Systems

Yazar

Cai, Guowei. author. Chen, Ben M. author. Lee, Tong Heng. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-85729-635-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings

Yazar

Das, Vinu V. editor. Thankachan, Nessy. editor. Debnath, Narayan C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-20499-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

Yazar

Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-11802-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers

Yazar

Piguet, Christian. editor. Reis, Ricardo. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-12267-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

Anwendungsorientierte Mikroprozessoren Mikrocontroller und Digitale Signalprozessoren

Yazar

Bähring, Helmut. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-12292-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Enterprise Mac Managed Preferences

Yazar

Marczak, Edward. author. Neagle, Greg. author. Andres, Clay. editor. Anglin, Steve. editor. Beckner, Mark. editor.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-2938-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Flying Insects and Robots

Yazar

Floreano, Dario. editor. Zufferey, Jean-Christophe. editor. Srinivasan, Mandyam V. editor. Ellington, Charlie. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-89393-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Digitale Hardware/Software-Systeme Spezifikation und Verifikation

Yazar

Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-05356-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

Mikrocontroller und Mikroprozessoren

Yazar

Brinkschulte, Uwe. author. Ungerer, Theo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-05398-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

Embedded Microcontroller Interfacing Designing Integrated Projects

Yazar

Gupta, Gourab Sen. author. Mukhopadhyay, Subhas Chandra. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-13636-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

Logic Synthesis for FSM-Based Control Units

Yazar

Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-04309-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

Introduction to Embedded System Design Using Field Programmable Gate Arrays

Yazar

Dubey, Rahul. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84882-016-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA

Yazar

Hasler, Paul. editor. Mooney, Vincent. editor. Reis, Ricardo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-89558-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings

Yazar

Kaeli, David. editor. Sachs, Kai. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-93799-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

Yazar

Lämmel, Ralf. editor. Visser, Joost. editor. Saraiva, João. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-88643-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

Distributed Embedded Control Systems Improving Dependability with Coherent Design

Yazar

Colnarič, Matjaž. author. Verber, Domen. author. Halang, Wolfgang A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-052-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

Creating Cool MINDSTORMS® NXT Robots

Yazar

Benedettelli, Daniele. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4302-0599-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

Logic Synthesis for Compositional Microprogram Control Units

Yazar

Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69285-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Informatics in Control, Automation and Robotics II

Yazar

Filipe, Joaquim. editor. Ferrier, Jean-Louis. editor. Cetto, Juan A. editor. Carvalho, Marina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-5626-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

Neural Preprocessing and Control of Reactive Walking Machines Towards Versatile Artificial Perception-Action Systems

Yazar

Manoonpong, Poramate. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-68803-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

Mikrocontroller und Mikroprozessoren

Yazar

Brinkschulte, Uwe. author. Ungerer, Theo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-46819-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Digitale Hardware/Software-Systeme Synthese und Optimierung

Yazar

Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-46824-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

Measurement, Control, and Communication Using IEEE 1588

Yazar

Eidson, John C. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-251-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS I

Yazar

BRAZ, JOSÉ. editor. ARAÚJO, HELDER. editor. VIEIRA, ALVES. editor. ENCARNAÇÃO, BRUNO. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-4020-4543-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

Body Sensor Networks

Yazar

Yang, Guang-Zhong. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/1-84628-484-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Interfacing with C++ Programming Real-World Applications

Yazar

Katupitiya, Jayantha. author. Bentley, Kim. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-33581-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Computers, Software Engineering, and Digital Devices

Yazar

Dorf, Richard C., author. Taylor and Francis.

Yer Numarası

TK7885

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond

Yazar

Subirana, Brian. author. Bain, Malcolm. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b101542

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

Guide to RISC Processors for Programmers and Engineers

Yazar

Dandamudi, Sivarama P. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b139084

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

Design of Embedded Control Systems

Yazar

Adamski, Marian Andrzej. author. Karatkevich, Andrei. author. Wegrzyn, Marek. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/0-387-28327-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

Quantitative Measure for Discrete Event Supervisory Control

Yazar

Ray, Asok. editor. Phoha, Vir V. editor. Phoha, Shashi P. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b103444

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

Constrained Control and Estimation An Optimisation Approach

Yazar

Goodwin, Graham C. author. Doná, José A. author. Seron, María M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138145

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

Mikroprozessortechnik und Rechnerstrukturen

Yazar

Flik, Thomas. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b137981

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

Moderne Prozessorarchitekturen Prinzipien und ihre Realisierungen

Yazar

Menge, Matthias. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b139114

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}