Search Results for The state.

|

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: Computer science.

Yazar

SpringerLink (Online service)

(51)

Castelli, Mauro. editor.

(2)

Dimitrova, Rayna. editor.

(2)

Dongarra, Jack. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Lahav, Ori. editor. (orcid)0000-0003-4305-6998

(2)

McDermott, James. editor.

(2)

Otto, Friedrich. author. (orcid)0009-0002-9760-5462

(2)

Potapov, Igor. editor.

(2)

Waśniewski, Jerzy. editor.

(2)

Wolff, Sebastian. editor.

(2)

Worrell, James. editor.

(2)

Abbasov, Ali M. editor.

(1)

Ackerman, Mark. editor.

(1)

Adriaansen, Tony. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Allison, Brendan Z. editor.

(1)

Arbel, Eli. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bergman, David. author.

(1)

Biro, Miklos. editor.

(1)

Blazy, Sandrine. editor.

(1)

Bloem, Roderick. editor.

(1)

Boca, Paul. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Bubel, Richard. editor.

(1)

Bulić, Patricio. author.

(1)

Butler, Michael. editor.

(1)

Cabarle, Francis George C. author.

(1)

Carayol, Arnaud. editor.

(1)

Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601

(1)

Channa, Asma. author.

(1)

Chechik, Marsha. editor.

(1)

Chu, Zhufei. author. (orcid)0000-0001-5718-4822

(1)

Cire, Andre A. author.

(1)

Contractor, Noshir. editor.

(1)

Costa, Ernesto. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Diaz-Herrera, Jorge L., 1950- editor.

(1)

Dong, Jianping. author.

(1)

Drechsler, Rolf. editor.

(1)

Edlinger, Günter. editor.

(1)

Elmroth, Erik. editor.

(1)

Fajstrup, Lisbeth. author.

(1)

García-Sánchez, Pablo. editor.

(1)

Gonzalez, Teofilo F., editor.

(1)

Goubault, Eric. author.

(1)

Gu, Zhaoquan. author.

(1)

Guger, Christoph. editor.

(1)

Gurfinkel, Arie. editor.

(1)

Haasdijk, Evert. editor.

(1)

Hague, Matthew. editor.

(1)

Haller, Philipp. editor.

(1)

Haucourt, Emmanuel. author.

(1)

Heywood, Malcolm I. editor.

(1)

Hooker, John. author.

(1)

Hua, Qiang-Sheng. author.

(1)

Hussain, Amir. editor.

(1)

Hähnle, Reiner. editor.

(1)

Janoušek, Jan. editor.

(1)

Josipović, Lana. author.

(1)

(1)

Kephart, Jeffrey O. editor.

(1)

Kiefer, Stefan. editor.

(1)

Kounev, Samuel. editor.

(1)

Kunze, Matthias. author.

(1)

Kučera, Antonín. editor. (orcid)0000-0002-6602-8028

(1)

Kågström, Bo. editor.

(1)

Křetínský, Jan. editor.

(1)

Larsen, Kim Guldstrand. editor.

(1)

Lau, Francis C.M. author.

(1)

Lewis, Peter R. editor.

(1)

Li, Fan. author. (orcid)0000-0002-2348-4488

(1)

Li, Youqi. author. (orcid)0000-0003-3867-5997

(1)

Liere, Robert. editor.

(1)

Liu, Cheng-Lin. editor. (orcid)0000-0002-6743-4175

(1)

Luo, Bin. editor.

(1)

Madsen, Kaj. editor.

(1)

Mahlow, Cerstin. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953

(1)

Memmert, Daniel. editor. (orcid)0000-0002-3406-9175

(1)

Milenkoski, Aleksandar. editor.

(1)

Mimram, Samuel. author.

(1)

Mirkin, Boris. editor. (orcid)0000-0001-5470-8635

(1)

Morita, Kenichi. author.

(1)

Muchnik, Ilya. editor.

(1)

Nicaud, Cyril. editor.

(1)

Ogihara, Mitsunori. author.

(1)

Orellana-Martín, David. author. (orcid)0000-0002-2892-6775

(1)

Pentland, Brian T. editor.

(1)

Pereira, Manuel Seabra. editor.

(1)

Piotrowski, Michael. editor.

(1)

Platzner, Marco. editor.

(1)

Popescu, Nirvana. author.

(1)

Pérez-Jiménez, Mario J. author.

(1)

(1)

Raussen, Martin. author.

(1)

Reformat, Marek Z. editor.

(1)

Ricci, Alessandro. editor.

(1)

Rinner, Bernhard. editor.

(1)

Robič, Borut. author.

(1)

Rozonoer, Lev. editor.

(1)

Scherl, Holger. author.

(1)

Schewe, Klaus-Dieter. editor.

(1)

Schmitt, Peter H. editor.

(1)

Sekanina, Lukas. editor.

(1)

Seshia, Sanjit A. editor.

(1)

Shahbazova, Shahnaz N. editor.

(1)

Siddiqi, Jawed. editor.

(1)

Sim, Kevin. editor.

(1)

Slivnik, Boštjan. author.

(1)

Srba, Jiří. editor.

(1)

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

(1)

Steinfield, Charles. editor.

(1)

Strichman, Ofer. editor.

(1)

Tan, Kay Chen. editor.

(1)

Tang, Xifan. author.

(1)

Topi, Heikki, editor.

(1)

Trobec, Roman. author.

(1)

Truthe, Bianca. editor.

(1)

Tu, Kaihui. author.

(1)

Tucker, Allen B., editor.

(1)

Tzoref-Brill, Rachel. editor.

(1)

Tørresen, Jim. editor.

(1)

Ulbrich, Mattias. editor.

(1)

Valencia-Cabrera, Luis. author. (orcid)0000-0002-6576-9529

(1)

Verlan, Sergey. author. (orcid)0000-0001-7800-1618

(1)

Wang, Yuexuan. author.

(1)

Weske, Mathias. author.

(1)

Winters-Hilt, Stephen, author.

(1)

Woeginger, Gerhard. editor.

(1)

Wu, Tingfang. author. (orcid)0000-0001-8137-2436

(1)

Xue, Jie. author.

(1)

Yager, Ronald R. editor.

(1)

Yang, Song. author.

(1)

Yao, Xin. editor.

(1)

Yu, Cunxi. author. (orcid)0000-0003-3481-307X

(1)

Yuan, Chongyi. author.

(1)

Zeng, Yi. editor.

(1)

Zhang, Chuan. author.

(1)

Zhang, Gexiang. author. (orcid)0000-0001-8034-0977

(1)

Zhang, Zhaoxiang. editor. (orcid)0000-0003-2648-3875

(1)

Zhu, Xiaoyun. editor.

(1)

Zudilova-Seinstra, Elena. editor.

(1)

van Hoeve, Willem-Jan. author.

(1)

van der Aalst, Wil M. P. author.

(1)

Tümünü genişlet

Dil

(54)

Yayın Yılı

-

(14)

(9)

(8)

(5)

(4)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Theory of Computation.

(21)

Software engineering.

(19)

Artificial intelligence.

(17)

Formal Languages and Automata Theory.

(14)

Machine theory.

(14)

Computer science -- Mathematics.

(12)

Computer Science Logic and Foundations of Programming.

(11)

(9)

Compilers (Computer programs).

(7)

Compilers and Interpreters.

(7)

Computer networks .

(5)

Models of Computation.

(5)

Application software.

(4)

Computer and Information Systems Applications.

(4)

(4)

Machine learning.

(4)

Mathematics of Computing.

(4)

Theory and Algorithms for Application Domains.

(4)

Computational complexity.

(3)

Computer Communication Networks.

(3)

Computer software.

(3)

(3)

Data structures (Computer science).

(3)

Discrete Mathematics in Computer Science.

(3)

Discrete mathematics.

(3)

Information Storage and Retrieval.

(3)

Information storage and retrieval systems.

(3)

Computational intelligence.

(2)

Computational linguistics.

(2)

Computer Engineering and Networks.

(2)

Computer System Implementation.

(2)

Computer engineering.

(2)

Computer programming.

(2)

Computer systems.

(2)

Computer vision.

(2)

Computers, Special purpose.

(2)

Control Structures and Microprogramming.

(2)

Data Structures and Information Theory.

(2)

Electronic data processing.

(2)

Information systems.

(2)

Information technology -- Management.

(2)

Information theory.

(2)

(2)

Logic programming.

(2)

Mathematical Applications in Computer Science.

(2)

Mathematical Logic and Foundations.

(2)

Mathematical logic.

(2)

Microprogramming .

(2)

(2)

Programming Techniques.

(2)

Special Purpose and Application-Based Systems.

(2)

User Interfaces and Human Computer Interaction.

(2)

Algebraic topology.

(1)

Applied Dynamical Systems.

(1)

Apprentissage automatique.

(1)

(1)

Artificial Intelligence (incl. Robotics).

(1)

Artificial intelligence -- Data processing.

(1)

Automated Pattern Recognition.

(1)

Bio-informatique.

(1)

(1)

Bioinformatics.

(1)

Business Process Management.

(1)

Business information services.

(1)

(1)

C++ (Computer program language).

(1)

(1)

COMPUTERS / Computer Graphics / Game Programming & Design

(1)

COMPUTERS / General

(1)

COMPUTERS / Information Technology

(1)

Cloud Computing.

(1)

Computational Intelligence.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational biology

(1)

Computational biology.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Applications.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Modelling.

(1)

Computer hardware description languages.

(1)

Computer network architectures.

(1)

Computer science

(1)

Computer simulation.

(1)

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

(1)

Computer-aided engineering.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Mining and Knowledge Discovery.

(1)

(1)

Data transmission systems.

(1)

Design and Analysis of Algorithms.

(1)

Discrete Optimization.

(1)

(1)

Electronic data processing

(1)

(1)

Engineering design.

(1)

Health Informatics.

(1)

Human-computer interaction.

(1)

IT in Business.

(1)

Image processing -- Digital techniques.

(1)

Information technology -- Quality control.

(1)

Information technology.

(1)

(1)

Innovation and Technology Management.

(1)

Machine learning

(1)

Management science.

(1)

Mathematical optimization.

(1)

Mathematical statistics.

(1)

Mathematics -- Data processing.

(1)

(1)

Medical and Radiation Physics.

(1)

Medical informatics.

(1)

Microprogramming.

(1)

Mobile computing.

(1)

Multimedia systems.

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

(1)

Nonlinear theories.

(1)

(1)

Open source software.

(1)

Operations Research and Decision Theory.

(1)

Operations Research, Management Science.

(1)

Operations research.

(1)

Optical pattern recognition.

(1)

Pattern recognition systems.

(1)

Probability and Statistics in Computer Science.

(1)

Process control.

(1)

Programming languages (Electronic computers).

(1)

Quality control.

(1)

Recreation -- Equipment and supplies.

(1)

Register-Transfer-Level Implementation.

(1)

Risk management.

(1)

Signal, Image and Speech Processing.

(1)

Social sciences -- Data processing.

(1)

Sport Analytics.

(1)

(1)

Sport Technology.

(1)

Sports sciences.

(1)

Symbolic and Algebraic Manipulation.

(1)

Systems engineering.

(1)

Technological innovations.

(1)

Text processing (Computer science.

(1)

Translators (Computer programs).

(1)

User interfaces (Computer systems).

(1)

data processing.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

CRC Ekitapları

Elektronik Kütüphane

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

54 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5

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.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II için kapak resmi

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday için kapak resmi

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Yazar

Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

FPGA EDA Design Principles and Implementation için kapak resmi

FPGA EDA Design Principles and Implementation

FPGA EDA Design Principles and Implementation

Yazar

Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-7755-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Spiking Neural P Systems Theory, Applications and Implementations için kapak resmi

Spiking Neural P Systems Theory, Applications and Implementations

Spiking Neural P Systems Theory, Applications and Implementations

Yazar

Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-9282-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I için kapak resmi

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Informatics and machine learning : from Martingales to metaheuristics için kapak resmi

Informatics and machine learning : from Martingales to metaheuristics

Informatics and machine learning : from Martingales to metaheuristics

Yazar

Winters-Hilt, Stephen, author.

Yer Numarası

Q325.5 .W558 2022

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings için kapak resmi

Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings

Yazar

McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Self-Aware Computing Systems için kapak resmi

Self-Aware Computing Systems

Self-Aware Computing Systems

Yazar

Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings için kapak resmi

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Yazar

Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings için kapak resmi

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Yazar

Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Theory of Reversible Computing için kapak resmi

Theory of Reversible Computing

Theory of Reversible Computing

Yazar

Morita, Kenichi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-4-431-56606-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings için kapak resmi

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Yazar

Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11