Search Results for Programming.

|

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: Programming Language.

Yazar

SpringerLink (Online service)

(41)

Baxter, James. editor. (orcid)0000-0001-6083-9607

(2)

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

(2)

Laaksonen, Antti. author.

(2)

Luković, Ivan. editor. (orcid)0000-0003-1319-488X

(2)

Pradella, Matteo. editor. (orcid)0000-0003-3039-1084

(2)

Rossi, Matteo. editor. (orcid)0000-0002-9193-9560

(2)

Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828

(2)

Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864

(2)

Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334

(2)

Weirich, Stephanie. editor.

(2)

Xue, Bing. editor. (orcid)0000-0002-4865-8026

(2)

Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369

(1)

Altmann, Jörn. editor. (orcid)0000-0002-8880-9546

(1)

Bakurov, Illya. editor. (orcid)0000-0002-6458-942X

(1)

Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241

(1)

Behzadidoost, Rashid. author.

(1)

Brandt, Steven R. author.

(1)

Cavalli, Ana Rosa. editor.

(1)

Chang, Stephen. editor. (orcid)0000-0002-4760-0658

(1)

Chen, Guoliang. editor.

(1)

Chen, Mingrui. editor.

(1)

Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172

(1)

Deng, Lizhen. author.

(1)

Diehl, Patrick. author.

(1)

Djemame, Karim. editor. (orcid)0000-0001-5811-5263

(1)

Erdem, Esra. editor. (orcid)0000-0001-8384-7810

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Fumero, Juan. author.

(1)

Giacobini, Mario. editor.

(1)

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

(1)

Hemann, Jason. editor. (orcid)0000-0002-5405-2936

(1)

Hosseini, Samira. author. (orcid)0000-0001-9190-4782

(1)

Izadkhah, Habib. author. (orcid)0000-0001-7595-8350

(1)

Jabbarzadeh, Jafar. author. (orcid)0009-0004-3534-795X

(1)

Jarzębowicz, Aleksander. editor.

(1)

Kaiser, Hartmut. author.

(1)

Kalenkova, Anna. editor.

(1)

Kardas, Geylani. editor. (orcid)0000-0001-6975-305X

(1)

Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813

(1)

Kotselidis, Christos. author. (orcid)0000-0002-8146-3503

(1)

Kumar-M, Praveen. editor.

(1)

Manzoni, Luca. editor.

(1)

Manzoni, Luca. editor. (orcid)0000-0001-6312-7728

(1)

Maurer, Christian. author.

(1)

Meier, Arne. editor. (orcid)0000-0002-8061-5376

(1)

Meng, Weizhi. editor. (orcid)0000-0003-4384-5786

(1)

Meyer, Bertrand. editor.

(1)

Milašinović, Boris. editor. (orcid)0000-0002-7889-3131

(1)

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

(1)

Mishra, Archana. editor. (orcid)0000-0001-8837-299X

(1)

Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308

(1)

Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X

(1)

Ochodek, Mirosław. editor. (orcid)0000-0002-9103-717X

(1)

Okoye, Kingsley. author.

(1)

Ortiz, Magdalena. editor.

(1)

Pan, Yushan. author. (orcid)0000-0002-6877-3937

(1)

Panjuta, Denis. author. (orcid)0009-0001-4855-9300

(1)

Platzer, Andre. editor. (orcid)0000-0001-7238-5710

(1)

Platzer, André. editor. (orcid)0000-0001-7238-5710

(1)

Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089

(1)

Prevosto, Virgile. editor.

(1)

Przybyłek, Adam. editor.

(1)

Przybyłek, Adam. editor. (orcid)0000-0002-8231-709X

(1)

Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597

(1)

Rahlf, Thomas. author.

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Scheer, August-Wilhelm. author.

(1)

Shao, Jun. editor. (orcid)0000-0001-8352-0973

(1)

Shen, Hong. editor.

(1)

Signoles, Julien. editor.

(1)

Srinivasan, Anand. editor.

(1)

Stephenson, Ben. author.

(1)

Stratikopoulos, Athanasios. author. (orcid)0000-0002-0154-4523

(1)

Swacha, Jakub. editor. (orcid)0000-0002-2214-6989

(1)

Upadhyaya, Bhim P. author.

(1)

Varga, Ervin. author.

(1)

Vidal, Germán. editor. (orcid)0000-0002-1857-6951

(1)

Wang, Yang. editor.

(1)

Wang, Ying. author.

(1)

Xu, Guoxia. author.

(1)

Yavorskiy, Rostislav. editor.

(1)

Yu, Hai. author. (orcid)0000-0002-8024-1781

(1)

Yung, Moti. editor. (orcid)0000-0003-0848-0873

(1)

Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

(1)

Zhu, Hu. author.

(1)

Zhu, Zhiliang. author.

(1)

Tümünü genişlet

Dil

(41)

Yayın Yılı

-

(21)

(15)

(5)

Konu

Programming languages (Electronic computers).

(41)

Software engineering.

(15)

Computer networks .

(9)

Computer programming.

(9)

Programming Techniques.

(9)

Computer Communication Networks.

(7)

Computer science.

(7)

Compilers (Computer programs).

(6)

Compilers and Interpreters.

(6)

Application software.

(5)

Artificial intelligence.

(5)

Computer and Information Systems Applications.

(5)

Formal Languages and Automata Theory.

(5)

Machine theory.

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

Theory of Computation.

(4)

Computer Science Logic and Foundations of Programming.

(3)

Computer System Implementation.

(3)

Computer systems.

(3)

Computers, Special purpose.

(3)

(3)

Control Structures and Microprogramming.

(3)

Microprogramming .

(3)

Special Purpose and Application-Based Systems.

(3)

(2)

Complex Systems.

(2)

Computer Engineering and Networks.

(2)

Computer engineering.

(2)

Computer programs -- Testing.

(2)

Computer science -- Mathematics.

(2)

Computers and Education.

(2)

Computing Milieux.

(2)

Education -- Data processing.

(2)

Expert systems (Computer science).

(2)

Knowledge Based Systems.

(2)

Machine learning.

(2)

Python (Computer program language).

(2)

(2)

Software Management.

(2)

Software Testing.

(2)

Software engineering -- Management.

(2)

(2)

Artificial intelligence -- Data processing.

(1)

(1)

(1)

(1)

Business information services.

(1)

Coding and Information Theory.

(1)

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Hardware.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer architecture.

(1)

Computer graphics.

(1)

Computer networks -- Security measures.

(1)

Computer vision.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

Cooperating objects (Computer systems).

(1)

(1)

(1)

Cyber-Physical Systems.

(1)

(1)

Data and Information Security.

(1)

Data encryption (Computer science).

(1)

Data protection.

(1)

Electronic data processing -- Management.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

(1)

IT in Business.

(1)

Image processing -- Digital techniques.

(1)

Information technology -- Management.

(1)

Information theory.

(1)

Java (Computer program language).

(1)

(1)

(1)

Logic programming.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical statistics -- Data processing.

(1)

Mathematical statistics.

(1)

Mathematics -- Data processing.

(1)

Mathematics of Computing.

(1)

Microprocessors.

(1)

Mobile and Network Security.

(1)

Numerical analysis.

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Processor Architectures.

(1)

(1)

Statistics and Computing.

(1)

(1)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

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

41 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4

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.

25.

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers için kapak resmi

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

Yazar

Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II için kapak resmi

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

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:

27.

Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings için kapak resmi

Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings

Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings

Yazar

Meng, Weizhi. editor. (orcid)0000-0003-4384-5786 Yung, Moti. editor. (orcid)0000-0003-0848-0873 Shao, Jun. editor. (orcid)0000-0001-8352-0973 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings için kapak resmi

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

Yazar

Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Compiler Construction Fundamentals and Applications için kapak resmi

Compiler Construction Fundamentals and Applications

Compiler Construction Fundamentals and Applications

Yazar

Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers için kapak resmi

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Yazar

Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Learning C# Through Small Projects için kapak resmi

Learning C# Through Small Projects

Learning C# Through Small Projects

Yazar

Panjuta, Denis. author. (orcid)0009-0001-4855-9300 Jabbarzadeh, Jafar. author. (orcid)0009-0004-3534-795X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Guide to Software Verification with Frama-C Core Components, Usages, and Applications için kapak resmi

Guide to Software Verification with Frama-C Core Components, Usages, and Applications

Guide to Software Verification with Frama-C Core Components, Usages, and Applications

Yazar

Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II için kapak resmi

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II

Yazar

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I için kapak resmi

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I

Yazar

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software için kapak resmi

The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software

The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software

Yazar

Scheer, August-Wilhelm. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-43089-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings için kapak resmi

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

Yazar

Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11