Search Results for Programming (Computers)

|

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ış:

+

Subject: Artificial intelligence.

Yazar

SpringerLink (Online service)

(35)

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

(3)

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

(2)

Wichert, Andrzej, author.

(2)

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367

(2)

Agha, Gul. editor.

(1)

Alferes, José Júlio. editor.

(1)

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

(1)

Anandan, R. editor. (orcid)0000-0001-5461-1040

(1)

Arif, Tariq M., author.

(1)

Atkinson-Abutridy, John.

(1)

Aulinas, Josep, author.

(1)

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

(1)

Bhatt, Pramod Kumar, editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Brace, Carol, editor.

(1)

Brady, Christopher, 1947- author.

(1)

(1)

Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834

(1)

Carden, Lila, editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Chanda, Debasis, author.

(1)

(1)

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336

(1)

Cheng, Chih-Hong. editor.

(1)

Codish, Michael. editor.

(1)

Cohen, Ernie. editor.

(1)

Cukurova, Mutlu, author.

(1)

Cybenko, George. editor. (orcid)0000-0001-7734-2912

(1)

(1)

Deng, Lizhen. author.

(1)

Dent, Nicholas (Illustrator)

(1)

Di Eugenio, Barbara, author.

(1)

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

(1)

Esparza, Javier. editor.

(1)

Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667

(1)

Fila, Barbara. editor. (orcid)0000-0002-1824-7621

(1)

Fossati, Davide, author.

(1)

Franch, Xavier. editor. (orcid)0000-0001-9733-8830

(1)

George, Karine, author.

(1)

Ghai, Deepika. editor.

(1)

Giannakopoulou, Dimitra. editor.

(1)

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

(1)

Goundar, Sam. editor.

(1)

Goyal, S. B. editor.

(1)

Green, Nick (Engineer), author.

(1)

Hageback, Niklas, author.

(1)

Hanus, Michael. editor. (orcid)0000-0002-4953-8202

(1)

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

(1)

Horváth, Zoltán. editor.

(1)

Hughes, John. editor. (orcid)0000-0001-8042-0969

(1)

Igarashi, Atsushi. editor.

(1)

Islam, Sardar M. N. editor. (orcid)0000-0001-9451-7390

(1)

Jain, Vishal, 1983- editor.

(1)

Jaswal, Gaurav, editor.

(1)

Johansson, Moa. editor. (orcid)0000-0002-1097-8278

(1)

John Wiley & Sons, publisher.

(1)

Kalenkova, Anna. editor.

(1)

Kanhangad, Vivek, editor.

(1)

Karim, Samsul Ariffin Abdul, editor.

(1)

Knecht, Volker, author.

(1)

Kobayashi, Naoki. editor.

(1)

Kroening, Daniel. editor.

(1)

Kulkarni, Anand Jayant, editor.

(1)

Kumar, Prabhat.

(1)

Kumar, Randhir.

(1)

Kumar, Vidyapati. editor.

(1)

Kārttikēyan̲, Pa.

(1)

Lawrence, Calvin (Computer scientist), author.

(1)

Leone, Nicola. editor.

(1)

Lifschitz, Vladimir. author.

(1)

(1)

Luckin, Rosemary, author.

(1)

Lujak, Marin. editor.

(1)

Manna, Marco. editor. (orcid)0000-0003-3323-9328

(1)

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

(1)

Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X

(1)

Massink, Mieke. editor. (orcid)0000-0001-5089-002X

(1)

Masuhara, Hidehiko. editor.

(1)

Matsuoka, Satoshi. editor.

(1)

McIver, Annabelle. editor. (orcid)0000-0002-2405-9838

(1)

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

(1)

Mesnard, Fred. editor.

(1)

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

(1)

Millington, Ian.

(1)

Myers, Marie, editor.

(1)

Männistö, Tomi. editor. (orcid)0000-0001-7470-5183

(1)

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

(1)

Oliveira, José N. editor. (orcid)0000-0002-0196-4229

(1)

Omidshafiei, Shayegan, author.

(1)

Ortiz, Magdalena. editor.

(1)

Osiński, Jędrzej.

(1)

Paes, Aline. editor.

(1)

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

(1)

Pande, Hari Mohan.

(1)

Pandey, Pankaj Kumar, editor.

(1)

Pathak, Sunil, editor.

(1)

Perconti, Pietro, author.

(1)

Plebe, Alessio, author.

(1)

Poliks, Marek, editor.

(1)

Porkoláb, Zoltán. editor.

(1)

Pym, David. editor. (orcid)0000-0002-6504-5838

(1)

Rabin, Steven, editor.

(1)

Ramachandra, Raghavendra, editor.

(1)

Roberts, Paul (Game programmer)

(1)

Roberts, Paul (Game programmer), editor.

(1)

Rocha, Ricardo. editor.

(1)

Rybalchenko, Andrey. editor.

(1)

Sabouret, Nicolas, author.

(1)

Salaün, Gwen. editor.

(1)

Santos Costa, Vítor. editor.

(1)

Sarveshwaran, Velliangiri.

(1)

Savin-Baden, Maggi, 1960-

(1)

Schaefer, Ina. editor.

(1)

Semini, Laura. editor. (orcid)0000-0001-8774-2346

(1)

Shibayama, Etsuya. editor.

(1)

Siarry, Patrick, editor.

(1)

Simpson, Alex. editor.

(1)

Singh, Jaspreet, 1976- editor.

(1)

Singh, Sanjay Kumar (Research professional), editor.

(1)

Sjafrie, Hanky, author.

(1)

Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623

(1)

Soeken, Mathias. editor. (orcid)0000-0002-0229-8766

(1)

Solanki, Arun, 1985- editor.

(1)

Stamelos, Ioannis. editor.

(1)

Stuckey, Peter J. editor.

(1)

Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215

(1)

Sumii, Eijiro. editor.

(1)

Taura, Kenjiro. editor.

(1)

Tayal, Akash, 1973- editor.

(1)

Taylor and Francis.

(1)

Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609

(1)

Trillo, Roberto Alonso, 1983- editor.

(1)

Tripathi, Ashutosh, editor.

(1)

Tuyls, Karl, author.

(1)

Van Horn, David. editor.

(1)

Woeginger, Gerhard. editor.

(1)

Xiao, Perry, author.

(1)

Xu, Guoxia. author.

(1)

Yavorskiy, Rostislav. editor.

(1)

Yee-King, Matthew John, author.

(1)

Zaverucha, Gerson. editor.

(1)

Zhu, Hu. author.

(1)

Zsók, Viktória. editor.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Tümünü genişlet

Dil

(69)

Yayın Yılı

-

(20)

(14)

(9)

(8)

(7)

(4)

(4)

(1)

(1)

(1)

Tümünü genişlet

Konu

Programming languages (Electronic computers).

(31)

COMPUTERS / Computer Graphics / Game Programming & Design

(20)

Software engineering.

(18)

COMPUTERS / Artificial Intelligence

(16)

Computer logic.

(14)

Computer programming.

(12)

COMPUTERS / Computer Science

(8)

COMPUTERS / Programming / Systems Analysis & Design

(8)

(8)

Mathematical logic.

(7)

(5)

Application software.

(5)

COMPUTERS / General

(5)

Computer science.

(5)

Programming Language.

(5)

COMPUTERS / Machine Theory

(4)

Machine learning.

(4)

Blockchains (Databases)

(3)

COMPUTERS / Computer Graphics / Image Processing (see also PHOTOGRAPHY / Techniques / Digital)

(3)

Computational intelligence.

(3)

Computer security.

(3)

Internet of things.

(3)

COMPUTERS / Programming / Software Development

(2)

Computer Communication Networks.

(2)

Computer System Implementation.

(2)

Computer and Information Systems Applications.

(2)

Computer games -- Programming.

(2)

Computer networks .

(2)

Computer systems.

(2)

Computer-assisted instruction.

(2)

(2)

Database management.

(2)

Electronic books.

(2)

Image processing -- Digital techniques.

(2)

Intelligence artificielle.

(2)

Quantum computers.

(2)

Theory of Computation.

(2)

Video games -- Design.

(2)

Application software -- Development

(1)

Application software -- Development.

(1)

Apprentissage profond.

(1)

Architecture, Computer.

(1)

Artificial intelligence

(1)

Artificial intelligence -- Data processing.

(1)

Automation -- Computer programs.

(1)

Automobiles -- Automatic control.

(1)

Automobiles -- Electronic equipment.

(1)

BUSINESS & ECONOMICS / Management Science

(1)

(1)

Biometric identification.

(1)

(1)

C++ (Computer program language)

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS -- Programming -- Games.

(1)

COMPUTERS -- Programming -- General.

(1)

COMPUTERS -- Programming -- Systems Analysis & Design.

(1)

COMPUTERS / Computer Engineering

(1)

COMPUTERS / Computer Vision & Pattern Recognition

(1)

COMPUTERS / Information Technology

(1)

COMPUTERS / Internet / General

(1)

COMPUTERS / Neural Networks

(1)

COMPUTERS / Programming / Algorithms

(1)

COMPUTERS / Programming Languages / Python

(1)

COMPUTERS / Security / General

(1)

(1)

Chaînes de blocs.

(1)

(1)

Cognitive science.

(1)

Communications Engineering, Networks.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computer Vision & Pattern Recognition.

(1)

Computer algorithms.

(1)

Computer animation.

(1)

Computer crimes.

(1)

Computer games -- Design.

(1)

Computer networks.

(1)

Computer programming

(1)

Computer science -- Mathematics.

(1)

Computer science -- Study and teaching -- Data processing.

(1)

Computer science—Mathematics.

(1)

Computer simulation.

(1)

Computer sound processing.

(1)

Computer system failures.

(1)

Computer vision.

(1)

Computers, Special purpose.

(1)

Consolidation and merger of corporations -- Computer networks.

(1)

Consolidation and merger of corporations -- Mathematical models.

(1)

Cooperating objects (Computer systems).

(1)

Creative ability.

(1)

Cyber-Physical Systems.

(1)

(1)

Data and Information Security.

(1)

Data protection.

(1)

Death -- Social aspects.

(1)

Deep learning (Machine learning)

(1)

Digital forensic science.

(1)

Education -- Effect of technological innovations on.

(1)

Educational technology.

(1)

(1)

Embedded computer systems -- Programming

(1)

Embedded computer systems -- Programming.

(1)

Expert systems (Computer science).

(1)

Formal Languages and Automata Theory.

(1)

GAMES -- Video & Electronic.

(1)

Génie mécanique.

(1)

Heuristic algorithms.

(1)

Image processing -- Digital techniques

(1)

Information technology.

(1)

Internet des objets.

(1)

Internet of things

(1)

Java (Computer program language)

(1)

Java (Langage de programmation)

(1)

Knowledge Based Systems.

(1)

LAW / Forensic Science

(1)

Law and legislation.

(1)

Livres numériques.

(1)

(1)

(1)

Logic programming.

(1)

Logiciels d'application -- Développement.

(1)

Machine theory.

(1)

Mathematical optimization.

(1)

Mathematical statistics.

(1)

Mathematics of Computing.

(1)

Mechanical engineering.

(1)

(1)

Metaheuristics.

(1)

Micro-ordinateurs -- Programmation.

(1)

Microcomputers -- Programming

(1)

Microcomputers -- Programming.

(1)

Microelectronics.

(1)

Microélectronique.

(1)

(1)

(1)

Music -- Computer programs.

(1)

Neural computers.

(1)

Neural networks (Neurobiology)

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

(1)

Performing arts.

(1)

Philosophy of mind.

(1)

Physics -- Data processing.

(1)

Plug-ins (Computer programs)

(1)

Process control.

(1)

Programmation (Informatique)

(1)

Programming Techniques.

(1)

(1)

Quantum Communications and Cryptography.

(1)

Quantum Computing.

(1)

Quantum communication.

(1)

Quantum computing.

(1)

(1)

SCIENCE -- Life Sciences -- General.

(1)

SCIENCE / Energy

(1)

SCIENCE / Life Sciences / General

(1)

Special Purpose and Application-Based Systems.

(1)

Sports -- Data processing.

(1)

Sports -- Mathematical models.

(1)

Systems engineering -- Data processing.

(1)

TECHNOLOGY & ENGINEERING.

(1)

TECHNOLOGY / Manufacturing

(1)

Telecommunication.

(1)

User interfaces (Computer systems)

(1)

(1)

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Wiley E-Kitap Koleksiyonu

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

69 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6

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.

Computing and Software Science State of the Art and Perspectives için kapak resmi

Computing and Software Science State of the Art and Perspectives

Computing and Software Science State of the Art and Perspectives

Yazar

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings için kapak resmi

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Yazar

ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings için kapak resmi

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Yazar

Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings için kapak resmi

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

Yazar

Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-35333-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers için kapak resmi

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

Yazar

Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-28346-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers için kapak resmi

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

Yazar

Lujak, Marin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings için kapak resmi

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

Yazar

Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-030-21500-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings için kapak resmi

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Yazar

Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings için kapak resmi

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Yazar

Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Practical Java® programming for IoT, AI, and Blockchain için kapak resmi

Practical Java® programming for IoT, AI, and Blockchain

Practical Java® programming for IoT, AI, and Blockchain

Yazar

Xiao, Perry, author.

Yer Numarası

QA76.73 .J38 X536 2019 EB

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119560050

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Artificial intelligence and data mining for mergers and acquisitions için kapak resmi

Artificial intelligence and data mining for mergers and acquisitions

Artificial intelligence and data mining for mergers and acquisitions

Yazar

Chanda, Debasis, author.

Yer Numarası

HD2746.5

Elektronik Erişim

Taylor & Francis https://www.taylorfrancis.com/books/9780429424571
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers için kapak resmi

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Yazar

Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11