Search Results for Computer System Implementation.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Konu: Software engineering.

Yazar

SpringerLink (Online service)

(79)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(9)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(5)

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940

(4)

Bäck, Thomas. editor. (orcid)0000-0001-6768-1478

(4)

Kononova, Anna V. editor. (orcid)0000-0002-4138-7024

(4)

Machado, Penousal. editor. (orcid)0000-0002-6308-6484

(4)

Trautmann, Heike. editor. (orcid)0000-0002-9788-8282

(4)

Tušar, Tea. editor. (orcid)0000-0002-6495-006X

(4)

Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294

(4)

Gao, Honghao. editor. (orcid)0000-0001-6861-9684

(3)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(3)

Voros, Nikolaos. editor.

(3)

Wang, Xinheng. editor.

(3)

Antonov, Alexander. editor. (orcid)0000-0003-2820-7196

(2)

Carro, Luigi. editor.

(2)

Chbeir, Richard. editor. (orcid)0000-0003-4112-1426

(2)

Choi, Baek-Young. editor.

(2)

Clarke, Paul. editor. (orcid)0000-0002-4487-627X

(2)

Domínguez Mayo, Francisco José. editor.

(2)

Eichler, Gerald. editor. (orcid)0000-0002-7420-698X

(2)

Erfurth, Christian. editor. (orcid)0000-0003-2761-3985

(2)

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937

(2)

Franquet, Erwin. editor. (orcid)0000-0002-7009-1521

(2)

Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776

(2)

Greiner, Christian. editor. (orcid)0000-0002-8184-7128

(2)

Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948

(2)

Hernández, German. editor. (orcid)0000-0001-9549-2316

(2)

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

(2)

Messnarz, Richard. editor. (orcid)0000-0002-0555-3160

(2)

Mohanty, Saraju. editor. (orcid)0000-0003-2959-6541

(2)

Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012

(2)

Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995

(2)

Peisl, Thomas. editor. (orcid)0000-0001-5571-2089

(2)

Pilato, Christian. editor.

(2)

Puthal, Deepak. editor. (orcid)0000-0002-8332-278X

(2)

Regazzoni, Francesco. editor.

(2)

Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474

(2)

Riel, Andreas. editor. (orcid)0000-0001-9859-019X

(2)

Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186

(2)

Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384

(2)

Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224

(2)

Aiswarya, C. editor. (orcid)0000-0002-4878-7581

(1)

Al Faruque, Mohammad Abdullah. editor.

(1)

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011

(1)

Anjorin, Anthony. editor.

(1)

Bai, Guangdong. editor.

(1)

Benslimane, Djamal. editor.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Biswas, Kamanashis. editor. (orcid)0000-0003-3719-8607

(1)

Boronat, Artur. editor. (orcid)0000-0003-2024-1736

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bråthen, Svein. editor.

(1)

Cardoso, João M.P. editor.

(1)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(1)

Cavallaro, Lorenzo. editor.

(1)

Cerny, Tomas. editor. (orcid)0000-0002-5882-5502

(1)

Cheikh M. F. Kebe, Kebe. editor.

(1)

Chen, Jyh-Cheng. editor.

(1)

Chen, Min. author.

(1)

Criswell, John. editor.

(1)

Cámara, Javier. editor.

(1)

Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496

(1)

Daněk, Martin. editor.

(1)

Dazzi, Patrizio. author.

(1)

Deng, Der-Jiunn. editor. (orcid)0000-0001-8410-164X

(1)

Dick, Jeremy. author.

(1)

Ding, Chen. editor.

(1)

Dong, Naipeng. editor.

(1)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(1)

Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821

(1)

Espinoza, Huáscar. editor.

(1)

Esposito, Matteo. editor. (orcid)0000-0002-8451-3668

(1)

Fahrnberger, Günter. editor.

(1)

Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988

(1)

Ferreira, Joao C. editor.

(1)

Fey, Dietmar. editor. (orcid)0000-0002-6077-4732

(1)

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341

(1)

Fischer, Wieland. editor.

(1)

Fraser, Gordon. editor. (orcid)0000-0002-4364-6595

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Goel, Sanjay. editor. (orcid)0000-0002-7164-8395

(1)

Gollmann, Dieter. editor.

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

Gong, Xiaoli. editor.

(1)

Graf, Susanne. editor. (orcid)0000-0003-4354-6807

(1)

Guerra, Esther. editor.

(1)

Gueye, Assane. editor. (orcid)0000-0001-6469-4716

(1)

Götz, Marcelo. editor.

(1)

Hannig, Frank. editor. (orcid)0000-0003-3663-6484

(1)

Helgheim, Berit Irene. editor.

(1)

Hochberger, Christian. editor.

(1)

Homma, Naofumi. editor.

(1)

Huang, Xinyi. editor.

(1)

Hull, Elizabeth. author.

(1)

Inoue, Koji. editor.

(1)

Jackson, Ken. author.

(1)

Janes, Andrea. editor. (orcid)0000-0002-1423-6773

(1)

Jiang, Hongbo. editor.

(1)

Jongmans, Sung-Shik. editor.

(1)

Juddoo, Suraj. editor.

(1)

Jurdak, Raja. editor. (orcid)0000-0001-7517-0782

(1)

Kadera, Petr. editor.

(1)

Kanhere, Salil. editor. (orcid)0000-0002-1835-3475

(1)

Karl, Wolfgang. editor.

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

Knoop, Jens. editor.

(1)

Kocian, Alexander. editor.

(1)

Kormanyos, Christopher Michael. author.

(1)

Kubátová, Hana. editor.

(1)

Kunkel, Julian Martin. editor.

(1)

Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133

(1)

Li, Chao. editor. (orcid)0000-0001-6218-4659

(1)

Li, Mo. editor.

(1)

Li, Zhenhua. editor. (orcid)0000-0001-7286-122X

(1)

Liu, Jianghua. editor.

(1)

Liu, Xuanzhe. editor. (orcid)0000-0002-6813-2435

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Ludwig, Thomas. editor.

(1)

Lü, Jian. author.

(1)

M., Thilaga. editor. (orcid)0000-0002-7177-958X

(1)

Maciaszek, Leszek A. editor.

(1)

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017

(1)

Maiga, Amadou-Seidou. editor.

(1)

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673

(1)

Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595

(1)

Masciari, Elio. editor.

(1)

Mařík, Vladimír. editor.

(1)

Mei, Hong. author.

(1)

Meuer, Hans Werner. editor.

(1)

Miller, Dale. editor. (orcid)0000-0003-0274-4954

(1)

Ndiaye, Ababacar. editor. (orcid)0000-0002-4281-8973

(1)

Ngyuen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

(1)

Nunes de Souza, Paulo Roberto. editor.

(1)

P., Thanalakshmi. editor. (orcid)0000-0003-2607-5222

(1)

Pahl, Claus. editor. (orcid)0000-0002-9049-212X

(1)

Pal, Shantanu. editor. (orcid)0000-0002-8784-0154

(1)

Parkinson, Joy. editor.

(1)

Pettersson, Paul. editor. (orcid)0000-0003-4040-3480

(1)

Phillipson, Frank. editor. (orcid)0000-0003-4580-7521

(1)

Phokeer, Amreesh. editor.

(1)

Pillai, Babu. editor. (orcid)0000-0003-4675-154X

(1)

Pionteck, Thilo. editor.

(1)

Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226

(1)

Pires, Luís Ferreira. editor.

(1)

Pitoura, Evaggelia. editor. (orcid)0000-0002-3775-4995

(1)

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050

(1)

R., Latha. editor. (orcid)0000-0001-7011-1329

(1)

Raad, Azalea. editor. (orcid)0000-0002-2319-3242

(1)

Ramsurrun, Visham. editor.

(1)

Rettberg, Achim. editor.

(1)

Reynolds, Andrew. editor.

(1)

Rieck, Konrad. editor.

(1)

Rinaldi, Antonio. editor. (orcid)0000-0001-7003-4781

(1)

Schagaev, Igor. author.

(1)

Schirner, Gunar. editor.

(1)

Schröder-Preikschat, Wolfgang. editor.

(1)

Schulz, Martin. editor.

(1)

Seeam, Amar. editor.

(1)

Seidewitz, Edwin. editor.

(1)

Seifert, Jean-Pierre. editor.

(1)

Sen, Prabal Kumar. editor.

(1)

Sene, Ndèye Awa. editor.

(1)

Sheen, Shina. editor. (orcid)0000-0002-8624-4174

(1)

Shen, Li. editor. (orcid)0000-0001-9043-2998

(1)

Sick, Bernhard. editor.

(1)

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918

(1)

Sridharan, Bhavani. editor.

(1)

Srivastava, Shashi Mohan. editor.

(1)

Stewin, Patrick. editor.

(1)

Strasser, Thomas. editor.

(1)

Sun, Meng. editor.

(1)

Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554

(1)

Tasiran, Serdar. editor.

(1)

Teich, Jürgen. editor.

(1)

Tekli, Joe. editor. (orcid)0000-0003-3441-7974

(1)

Thomas, Kaegi. author.

(1)

Tokkozhina, Ulpan. editor.

(1)

U. K., Sridevi. editor. (orcid)0000-0003-2445-9193

(1)

Utting, Mark. editor. (orcid)0000-0003-3134-6306

(1)

Wahlster, Wolfgang. editor.

(1)

Wang, Jianping. editor. (orcid)0000-0002-9318-1482

(1)

Wehrmeister, Marco Aurélio. editor.

(1)

Wu, Fan. editor. (orcid)0000-0003-0965-9058

(1)

Wu, Peng. editor.

(1)

Wu, Yulei. editor. (orcid)0000-0003-0801-8443

(1)

Xiao, Bin. editor. (orcid)0000-0003-4223-8220

(1)

Xu, Lei. editor. (orcid)0000-0001-9178-6640

(1)

Xu, Min. editor.

(1)

Youn, Chan-Hyun. author.

(1)

Zervakis, Michalis. editor.

(1)

Zheng, Kan. editor.

(1)

Zielinski, Sebastian. editor. (orcid)0009-0000-0894-8996

(1)

Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656

(1)

van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353

(1)

van den Brand, Mark. editor.

(1)

Tümünü genişlet

Dil

(79)

Yayın Yılı

-

(33)

(28)

(9)

(6)

(3)

Konu

Computer System Implementation.

(76)

Computer systems.

(70)

Computer networks .

(41)

Computer Communication Networks.

(40)

Special Purpose and Application-Based Systems.

(38)

Computers, Special purpose.

(34)

Computer science.

(21)

Application software.

(16)

Artificial intelligence.

(16)

Computer Engineering and Networks.

(16)

Computer and Information Systems Applications.

(16)

Computer engineering.

(16)

Control Structures and Microprogramming.

(16)

Microprogramming .

(15)

Operating systems (Computers).

(13)

Operating Systems.

(12)

Computer Science Logic and Foundations of Programming.

(10)

(10)

Computer programming.

(9)

Formal Languages and Automata Theory.

(9)

Machine theory.

(9)

Programming Techniques.

(9)

System Performance and Evaluation.

(8)

Data protection.

(7)

Computer network architectures.

(6)

Electronic digital computers -- Evaluation.

(6)

Computer input-output equipment.

(5)

Data and Information Security.

(5)

Information Storage and Retrieval.

(5)

Information storage and retrieval systems.

(5)

Input/Output and Data Communications.

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

Theory of Computation.

(5)

Computer Hardware.

(4)

Computing Milieux.

(4)

(4)

Logic programming.

(4)

Machine learning.

(4)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Computer Application in Social and Behavioral Sciences.

(3)

Data Structures and Information Theory.

(3)

Data structures (Computer science).

(3)

Electronic data processing -- Management.

(3)

(3)

Information theory.

(3)

Social sciences -- Data processing.

(3)

(2)

Computational intelligence.

(2)

Computer system performance.

(2)

Data encryption (Computer science).

(2)

Database Management System.

(2)

Database management.

(2)

Information Systems Applications (incl. Internet).

(2)

Processor Architectures.

(2)

Systems and Data Security.

(2)

Business information services.

(1)

Communications Engineering, Networks.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science, general.

(1)

Computer architecture.

(1)

Computer vision.

(1)

Computers and Society.

(1)

(1)

(1)

Data Encryption.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Hardware Performance and Reliability.

(1)

Human-computer interaction.

(1)

IT in Business.

(1)

Image processing -- Digital techniques.

(1)

Information Systems.

(1)

(1)

(1)

Management of Computing and Information Systems.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Microprocessors.

(1)

Microprogramming.

(1)

Performance and Reliability.

(1)

(1)

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

Security Science and Technology.

(1)

Security systems.

(1)

Telecommunication.

(1)

The Computing Profession.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

e-Commerce/e-business.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

79 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 7

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

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 için kapak resmi

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

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:

2.

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

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

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

Yazar

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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

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

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

Yazar

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career için kapak resmi

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Yazar

Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 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-73751-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

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 için kapak resmi

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

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:

6.

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 için kapak resmi

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

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:

7.

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

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

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:

8.

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 için kapak resmi

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

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:

9.

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers için kapak resmi

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Yazar

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-73741-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings için kapak resmi

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

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:

11.

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

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

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:

12.

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

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

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 7

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11