Search Results for Program Development

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

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

Daraltılmış:

+

Konu: Artificial intelligence.

Yazar

SpringerLink (Online service)

(15)

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

(2)

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

(2)

Abdulrazak, Bessam. editor.

(1)

Aloulou, Hamdi. editor.

(1)

Bangsow, Steffen. author. (orcid)0009-0001-7553-9647

(1)

Bayro-Corrochano, Eduardo. author. (orcid)0000-0002-4738-3593

(1)

Casteleiro-Roca, José-Luis. editor. (orcid)0000-0001-9740-6477

(1)

Correia, António Dourado. editor.

(1)

De Nicola, Rocco. editor.

(1)

Díaz-Longueira, Antonio. editor.

(1)

Filipe, Joaquim. editor. (orcid)0000-0002-5961-6606

(1)

Gumzej, Roman. author.

(1)

Howlett, Robert J. editor.

(1)

Hu, Ting. editor. (orcid)0000-0001-6382-0602

(1)

Iyengar, S.S. editor.

(1)

Jain, Lakhmi C. editor.

(1)

Joshi, Amit. editor.

(1)

Jove, Esteban. editor. (orcid)0000-0002-0625-359X

(1)

Kühn, Eva. editor.

(1)

Lee, Roger. editor.

(1)

Madani, Kurosh. editor.

(1)

Mahmud, Mufti. editor.

(1)

Mokhtari, Mounir. editor.

(1)

Ofria, Charles. editor.

(1)

Ragel, Roshan G. editor.

(1)

Rosa, Agostinho. editor.

(1)

Sun, Kun. editor.

(1)

Sunnersjö, Staffan. author.

(1)

Trujillo, Leonardo. editor. (orcid)0000-0003-1812-5736

(1)

Uskov, Vladimir L. editor.

(1)

Wang, Cliff. editor.

(1)

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

(1)

Zayas-Gato, Francisco. editor.

(1)

Tümünü genişlet

Dil

(15)

Yayın Yılı

-

(6)

(3)

(3)

(2)

(1)

Konu

Computational intelligence.

(10)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Computer Science Logic and Foundations of Programming.

(3)

Computer science.

(3)

Formal Languages and Automata Theory.

(3)

Machine theory.

(3)

Software engineering.

(3)

Data and Information Security.

(2)

Data protection.

(2)

Theory of Computation.

(2)

Algebraic geometry.

(1)

Applied Dynamical Systems.

(1)

(1)

Communications Engineering, Networks.

(1)

Computer Communication Networks.

(1)

Computer Crime.

(1)

Computer crimes.

(1)

Computer networks -- Security measures.

(1)

Computer networks .

(1)

Computer programming.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Computers, Special purpose.

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

(1)

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Engineering design.

(1)

Human-computer interaction.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Information and Communication Technologies (ICT).

(1)

Information technology.

(1)

Mobile and Network Security.

(1)

Nonlinear theories.

(1)

Operations Management.

(1)

Production engineering.

(1)

Production management.

(1)

Programming Techniques.

(1)

(1)

Security Science and Technology.

(1)

Security systems.

(1)

Special Purpose and Application-Based Systems.

(1)

Teachers -- Training of.

(1)

Teaching and Teacher Education.

(1)

Technology -- Sociological aspects.

(1)

Telecommunication.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(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ç

15 sonuç bulundu

Arama sonuçlarına abone ol

1 2

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.

Distributed Computing and Artificial Intelligence, Special Sessions III - Intelligent Systems Applications, 21st International Conference için kapak resmi

Distributed Computing and Artificial Intelligence, Special Sessions III - Intelligent Systems Applications, 21st International Conference

Distributed Computing and Artificial Intelligence, Special Sessions III - Intelligent Systems Applications, 21st International Conference

Yazar

Zayas-Gato, Francisco. editor. Díaz-Longueira, Antonio. editor. Casteleiro-Roca, José-Luis. editor. (orcid)0000-0001-9740-6477 Jove, Esteban. editor. (orcid)0000-0002-0625-359X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Genetic Programming Theory and Practice XX için kapak resmi

Genetic Programming Theory and Practice XX

Genetic Programming Theory and Practice XX

Yazar

Winkler, Stephan. editor. (orcid)0000-0002-5196-4294 Trujillo, Leonardo. editor. (orcid)0000-0003-1812-5736 Ofria, Charles. editor. Hu, Ting. editor. (orcid)0000-0001-6382-0602 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8413-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Geometric Algebra Applications Vol. III Integral Transforms, Machine Learning, and Quantum Computing için kapak resmi

Geometric Algebra Applications Vol. III Integral Transforms, Machine Learning, and Quantum Computing

Geometric Algebra Applications Vol. III Integral Transforms, Machine Learning, and Quantum Computing

Yazar

Bayro-Corrochano, Eduardo. author. (orcid)0000-0002-4738-3593 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Information and Communication Technology for Competitive Strategies (ICTCS 2022) ICT: Applications and Social Interfaces için kapak resmi

Information and Communication Technology for Competitive Strategies (ICTCS 2022) ICT: Applications and Social Interfaces

Information and Communication Technology for Competitive Strategies (ICTCS 2022) ICT: Applications and Social Interfaces

Yazar

Joshi, Amit. editor. Mahmud, Mufti. editor. Ragel, Roshan G. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-19-9638-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Smart Education and e-Learning-Smart University Proceedings of the 10th International Conference on Smart Education and e-Learning (KES SEEL-2023) için kapak resmi

Smart Education and e-Learning-Smart University Proceedings of the 10th International Conference on Smart Education and e-Learning (KES SEEL-2023)

Smart Education and e-Learning-Smart University Proceedings of the 10th International Conference on Smart Education and e-Learning (KES SEEL-2023)

Yazar

Uskov, Vladimir L. editor. Howlett, Robert J. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-2993-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

AI Embedded Assurance for Cyber Systems için kapak resmi

AI Embedded Assurance for Cyber Systems

AI Embedded Assurance for Cyber Systems

Yazar

Wang, Cliff. editor. Iyengar, S.S. editor. Sun, Kun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Enhanced Quality of Life and Smart Living 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings için kapak resmi

Enhanced Quality of Life and Smart Living 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings

Enhanced Quality of Life and Smart Living 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017, Proceedings

Yazar

Mokhtari, Mounir. editor. Abdulrazak, Bessam. editor. Aloulou, Hamdi. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-66188-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings için kapak resmi

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Yazar

De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, 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-319-47169-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Intelligent Computer Systems in Engineering Design Principles and Applications için kapak resmi

Intelligent Computer Systems in Engineering Design Principles and Applications

Intelligent Computer Systems in Engineering Design Principles and Applications

Yazar

Sunnersjö, Staffan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Tecnomatix Plant Simulation Modeling and Programming by Means of Examples için kapak resmi

Tecnomatix Plant Simulation Modeling and Programming by Means of Examples

Tecnomatix Plant Simulation Modeling and Programming by Means of Examples

Yazar

Bangsow, Steffen. author. (orcid)0009-0001-7553-9647 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-19503-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I için kapak resmi

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, 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-319-47166-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11