Search Results for Computer systems

|

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 Techniques.

Yazar

SpringerLink (Online service)

(47)

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

(2)

Deelman, Ewa. editor. (orcid)0000-0001-5106-503X

(2)

Dongarra, Jack. editor.

(2)

Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996

(2)

Karczewski, Konrad. editor.

(2)

Kitowski, Jacek. editor.

(2)

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

(2)

Perner, Petra. editor.

(2)

Wiatr, Kazimierz. editor.

(2)

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786

(2)

Abelló, Alberto. editor.

(1)

Alam, Mehwish. editor. (orcid)0000-0002-7867-6612

(1)

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

(1)

Anjorin, Anthony. editor.

(1)

Araujo, Theo. editor.

(1)

Araujo, Theo. editor. (orcid)0000-0002-4633-9339

(1)

Aycock, John. author.

(1)

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448

(1)

Bazzan, Ana. editor.

(1)

Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066

(1)

Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

(1)

Botterweck, Goetz. editor.

(1)

Boucheneb, Hanifa. editor.

(1)

Brandtzaeg, Petter Bae. editor.

(1)

Brandtzaeg, Petter Bae. editor. (orcid)0000-0002-9010-0800

(1)

Breitman, Karin. editor.

(1)

Bråthen, Svein. editor.

(1)

Buhr, Peter A. author.

(1)

Burns, Richard. editor. (orcid)0000-0002-3961-438X

(1)

Cabaleiro, José C. editor.

(1)

Carretero, Jesus. editor.

(1)

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

(1)

Chapman, Barbara M. editor.

(1)

Corchado, Emilio. editor.

(1)

Costantini, Stefania. editor.

(1)

Criswell, John. editor.

(1)

Di Napoli, Edoardo. editor.

(1)

Ding, Chen. editor.

(1)

Diniz Junqueira Barbosa, Simone. editor.

(1)

Domínguez Mayo, Francisco José. editor.

(1)

Dutot, Pierre-François. editor.

(1)

Espinoza, Huáscar. editor.

(1)

Ferreira, Joao C. editor.

(1)

Filipe, Joaquim. editor.

(1)

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

(1)

Fontoura de Gusmão Cerqueira, Renato. author.

(1)

Franconi, Enrico. editor.

(1)

Garcia-Blas, Javier. editor.

(1)

Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145

(1)

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

(1)

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

(1)

Goodwin, Morten. editor.

(1)

Gorentla Venkata, Manjunath. editor.

(1)

Gray, Iain. author.

(1)

Helgheim, Berit Irene. editor.

(1)

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

(1)

Hermanns, Marc-André. editor.

(1)

Hobert, Sebastian. editor.

(1)

Hobert, Sebastian. editor. (orcid)0000-0003-3621-0272

(1)

Hollink, Laura. editor. (orcid)0000-0002-6865-0021

(1)

Iliev, Hristo. editor.

(1)

Imam, Neena. editor.

(1)

Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384

(1)

Jacquet, Jean-Marie. editor.

(1)

Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678

(1)

Kapitsaki, Georgia M. editor.

(1)

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

(1)

Ko, Ryan K.L. editor.

(1)

Kocian, Alexander. editor.

(1)

Kontchakov, Roman. editor.

(1)

Kunkel, Julian M. editor.

(1)

Kunčak, Viktor. editor.

(1)

Law, Effie L.-C. editor.

(1)

Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150

(1)

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752

(1)

Lintermann, Andreas. editor.

(1)

Liu, Mingming. editor.

(1)

Liu, Shaoying. editor. (orcid)0000-0002-6748-5052

(1)

Luger, Ewa. editor.

(1)

Luger, Ewa. editor. (orcid)0000-0001-7882-9415

(1)

Maciaszek, Leszek A. editor.

(1)

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

(1)

Majumdar, Rupak. editor.

(1)

Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021

(1)

Marques Afonso, Luiz. author.

(1)

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

(1)

Martínez de Pisón, Francisco Javier. editor.

(1)

Massink, Mieke. editor.

(1)

Mery, Dominique. editor. (orcid)0000-0001-5231-6611

(1)

Meyer, Bertrand. editor.

(1)

Mili, Ali. editor.

(1)

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

(1)

Mintz, Tiffany M. editor.

(1)

Mueller, Peter. editor.

(1)

Müller, Matthias S. editor.

(1)

Nagel, Kai. editor.

(1)

Nakano, Koji. editor.

(1)

Namazi-Rad, Mohammad-Reza. editor.

(1)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(1)

Olivier, Stephen L. editor.

(1)

Ouhammou, Yassine. editor.

(1)

Padgham, Lin. editor.

(1)

Papadopoulos, Symeon. editor.

(1)

Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341

(1)

Pena, Tomás F. editor.

(1)

Perez, Pascal. editor.

(1)

Peyser, Alexander. editor.

(1)

Pophale, Swaroop. editor.

(1)

Quintián, Héctor. editor.

(1)

Rivera, Francisco F. editor.

(1)

Roman, Dumitru. editor.

(1)

Rospocher, Marco. editor. (orcid)0000-0001-9391-3201

(1)

Rossi de Mello Brandão, Rafael. author.

(1)

Sadri, Fariba. editor.

(1)

Santana de Almeida, Eduardo. editor.

(1)

Shalf, John. editor.

(1)

Sieckenius de Souza, Clarisse. author.

(1)

Soares Jansen Ferreira, Juliana. author.

(1)

Sobolev, Sergey. editor.

(1)

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

(1)

Sun, Meng. editor.

(1)

Tahar, Sofiène. editor.

(1)

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

(1)

Taufer, Michela. editor.

(1)

Terboven, Christian. editor.

(1)

Tokkozhina, Ulpan. editor.

(1)

Trystram, Denis. editor.

(1)

Urraca, Rubén. editor.

(1)

Van Woensel, William. editor.

(1)

Viana, Petrucio. editor. (orcid)0000-0002-3517-6706

(1)

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

(1)

Werner, Claudia. editor.

(1)

Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811

(1)

Wong, Hiu Yung. author.

(1)

Wu, Peng. editor.

(1)

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

(1)

Xu, Min. editor.

(1)

Yan, Jialiang. editor. (orcid)0009-0005-2163-2300

(1)

Yang, Xiaolu. editor.

(1)

Yokota, Rio. editor.

(1)

Zhang, Zili. editor.

(1)

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

(1)

de Supinski, Bronis R. editor.

(1)

van Erp, Marieke. editor. (orcid)0000-0001-9195-8203

(1)

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

(1)

van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X

(1)

Tümünü genişlet

Dil

(47)

Yayın Yılı

-

(21)

(10)

(10)

(6)

Konu

Computer programming.

(47)

Software engineering.

(28)

Compilers (Computer programs).

(22)

Compilers and Interpreters.

(22)

Application software.

(18)

Computer and Information Systems Applications.

(18)

Computer System Implementation.

(17)

Computer systems.

(17)

Computer Communication Networks.

(12)

Computer networks .

(12)

Artificial intelligence.

(11)

Computer science.

(11)

(10)

(7)

Natural Language Processing (NLP).

(7)

Natural language processing (Computer science).

(7)

Computers, Special purpose.

(6)

Electronic digital computers -- Evaluation.

(6)

Human-computer interaction.

(6)

Special Purpose and Application-Based Systems.

(6)

System Performance and Evaluation.

(6)

Theory of Computation.

(6)

User Interfaces and Human Computer Interaction.

(6)

User interfaces (Computer systems).

(6)

Formal Languages and Automata Theory.

(5)

Machine theory.

(5)

Computer Modelling.

(4)

Computer Science Logic and Foundations of Programming.

(4)

Computer science -- Mathematics.

(4)

Computer simulation.

(4)

Control Structures and Microprogramming.

(4)

(4)

Logic programming.

(4)

Microprogramming .

(4)

Data Mining and Knowledge Discovery.

(3)

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

Mathematics of Computing.

(3)

Operating Systems.

(3)

Operating systems (Computers).

(3)

(3)

Programming Language.

(3)

Programming languages (Electronic computers).

(3)

The Computing Profession.

(3)

Computer Hardware.

(2)

Computer architecture.

(2)

Data Structures and Information Theory.

(2)

Data structures (Computer science).

(2)

Database management.

(2)

Information theory.

(2)

(2)

Microprocessors.

(2)

Processor Architectures.

(2)

(1)

Computer Application in Administrative Data Processing.

(1)

Computer graphics.

(1)

Computer input-output equipment.

(1)

Computer programs -- Testing.

(1)

Computers -- History.

(1)

Computing Milieux.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Embedded Systems.

(1)

Embedded computer systems.

(1)

Hardware Performance and Reliability.

(1)

History of Computing.

(1)

Information technology -- Management.

(1)

Input/Output and Data Communications.

(1)

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Media Sociology.

(1)

Models of Computation.

(1)

Multimedia Information Systems.

(1)

Multimedia systems.

(1)

Numerical analysis.

(1)

Quantum Computing.

(1)

Quantum computers.

(1)

(1)

Software Testing.

(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

47 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.

13.

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers için kapak resmi

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings için kapak resmi

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

Yazar

Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings için kapak resmi

Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings

Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings

Yazar

Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554 Wu, Yulei. editor. (orcid)0000-0003-0801-8443 Xu, Min. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers için kapak resmi

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

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:

17.

Introduction to Quantum Computing From a Layperson to a Programmer in 30 Steps için kapak resmi

Introduction to Quantum Computing From a Layperson to a Programmer in 30 Steps

Introduction to Quantum Computing From a Layperson to a Programmer in 30 Steps

Yazar

Wong, Hiu Yung. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Snake Charming - The Musical Python için kapak resmi

Snake Charming - The Musical Python

Snake Charming - The Musical Python

Yazar

Gray, Iain. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers için kapak resmi

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Yazar

Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings için kapak resmi

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

Yazar

Martínez de Pisón, Francisco Javier. editor. Urraca, Rubén. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-59650-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings için kapak resmi

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

Yazar

Perner, Petra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Conversations Around Semiotic Engineering için kapak resmi

Conversations Around Semiotic Engineering

Conversations Around Semiotic Engineering

Yazar

Diniz Junqueira Barbosa, Simone. editor. Breitman, Karin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II için kapak resmi

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Yazar

Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings için kapak resmi

Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Yazar

Jacquet, Jean-Marie. editor. Massink, Mieke. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-59746-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