Search Results for Students.

|

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

Yazar

SpringerLink (Online service)

(74)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Blum, Christian. author.

(2)

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

(2)

Ahrendt, Wolfgang. editor.

(1)

Akama, Seiki. editor.

(1)

Alexandru, Andrei. author.

(1)

Alkhalaf, Muath. author.

(1)

Ayala-Rincón, Mauricio. author.

(1)

Aydin, Abdulbaki. author.

(1)

Azman, Shazril. author.

(1)

Barnett, Lionel. author.

(1)

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

(1)

Berndtsson, Mikael. author.

(1)

Bossomaier, Terry. author.

(1)

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

(1)

Browne, Will N. author.

(1)

Bruni, Roberto. author.

(1)

Bubel, Richard. editor.

(1)

Bultan, Tevfik. author.

(1)

Börger, Egon. author.

(1)

Cai, Qing. author.

(1)

Channa, Asma. author.

(1)

Charatan, Quentin. author.

(1)

Chowdhary, K.R. author.

(1)

Ciobanu, Gabriel. author.

(1)

Colton, Simon. author.

(1)

Console, Marco. editor. (orcid)0009-0004-5526-019X

(1)

Cuevas, Erik. author. (orcid)0000-0002-0358-6049

(1)

Datta, Dilip. author.

(1)

Deng, Lizhen. author.

(1)

Eden, A. H., 1967-

(1)

Esakkirajan, S. author.

(1)

Fajstrup, Lisbeth. author.

(1)

Farmer, William M. author. (orcid)0009-0009-5524-9085

(1)

Ferragina, Paolo. author.

(1)

Fontoura de Gusmão Cerqueira, Renato. author.

(1)

Gadekallu, Thippa Reddy. editor. (orcid)0000-0003-0097-801X

(1)

Gartner, Richard. author.

(1)

Georgiadis, Apostolos. editor.

(1)

Gervasi, Vincenzo. author.

(1)

Gong, Maoguo. author.

(1)

Gorrieri, Roberto. author.

(1)

Goubault, Eric. author.

(1)

Gruba, Paul. author. (orcid)0000-0002-6616-9568

(1)

Guid, Matej. author.

(1)

Göbel, Susanne. author.

(1)

Haghighi, Boshra. author.

(1)

Hansson, Jörgen. author.

(1)

Harré, Michael. author.

(1)

Haucourt, Emmanuel. author.

(1)

Heinz, Jeffrey. editor.

(1)

Horvat, Martin. author.

(1)

Hähnle, Reiner. editor.

(1)

Iqbal, Azlan. author.

(1)

Kaluri, Rajesh. editor.

(1)

Kans, Aaron. author.

(1)

Kao, Ming-Yang. editor.

(1)

Karagiannis, Dimitris. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Kephart, Jeffrey O. editor.

(1)

Kiefer, Stefan. editor.

(1)

Komm, Dennis. author.

(1)

Konev, Boris. editor. (orcid)0000-0002-6507-0494

(1)

Kounev, Samuel. editor.

(1)

Krivec, Jana. author.

(1)

Kunze, Matthias. author.

(1)

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

(1)

Křetínský, Jan. editor.

(1)

Lakshmanna, Kuruva. editor. (orcid)0000-0003-3480-4851

(1)

Langerak, Rom. editor.

(1)

Lankhorst, Marc. author.

(1)

Lei, Yu. author.

(1)

Leung, Ricky. author. (orcid)0000-0002-2852-6771

(1)

Lewis, Peter R. editor.

(1)

Lind, Morten. author.

(1)

Liu, Xinyu. author.

(1)

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

(1)

Lizier, Joseph T. author.

(1)

Luccio, Fabrizio. author.

(1)

Lundell, Björn. author.

(1)

Ma, Lijia. author.

(1)

Mahmood, Zaigham. editor.

(1)

Mahmud, Mufti. editor.

(1)

Marques Afonso, Luiz. author.

(1)

Mayr, Heinrich C. editor.

(1)

Meduna, Alexander. author.

(1)

Milenkoski, Aleksandar. editor.

(1)

Mimram, Samuel. author.

(1)

Montanari, Ugo. author.

(1)

Moret-Bonillo, Vicente. author.

(1)

Mylopoulos, John. editor. (orcid)0000-0002-8698-3292

(1)

N Subudhi, Badri. author.

(1)

Nagesh Kumar, Dasika. author. (orcid)0000-0002-5294-8501

(1)

Nichelatti, Michele. author. (orcid)0000-0002-5248-361X

(1)

Nicholson, J. (Jonathan), 1983-

(1)

Nikoletseas, Sotiris. editor.

(1)

O'Regan, Gerard. author.

(1)

Ogihara, Mitsunori. author.

(1)

Olague, Gustavo. author.

(1)

Olsson, Björn. author.

(1)

Omodeo, Eugenio G. author.

(1)

Paar, Christof. author.

(1)

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

(1)

Pelzl, Jan. author.

(1)

Platzner, Marco. editor.

(1)

Policriti, Alberto. author.

(1)

Popescu, Nirvana. author.

(1)

Pérez-Cisneros, Marco. author. (orcid)0000-0001-6493-0408

(1)

Raidl, Günther R. author.

(1)

Rajput, Dharmendra Singh. editor.

(1)

Raussen, Martin. author.

(1)

Rensink, Arend. editor.

(1)

Rinner, Bernhard. editor.

(1)

Rossi de Mello Brandão, Rafael. author.

(1)

Schmitt, Peter H. editor.

(1)

Sempere, José M. editor.

(1)

Sieckenius de Souza, Clarisse. author.

(1)

Silvis-Cividjian, Natalia. author.

(1)

Sirca, Simon. author.

(1)

Soare, Robert I. author.

(1)

Soares Jansen Ferreira, Juliana. author.

(1)

Soukup, Ondřej. author.

(1)

Srinivasa Raju, Komaragiri. author. (orcid)0009-0006-9268-8229

(1)

Sundnes, Joakim. author.

(1)

Tomescu, Alexandru I. author.

(1)

Torbert, Shane. author.

(1)

Tørresen, Jim. editor.

(1)

Ulbrich, Mattias. editor.

(1)

Urbanowicz, Ryan J. author.

(1)

Veerakumar, T. author. (orcid)0000-0001-9084-1847

(1)

Wang, Shanfeng. author.

(1)

Wang, Xiaochun. author.

(1)

Weske, Mathias. author.

(1)

Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475

(1)

Xu, Guoxia. author.

(1)

Xu, Jin. author.

(1)

Yang, Yuanyuan. editor.

(1)

Yao, Xin. editor.

(1)

Yu, Fang. author.

(1)

Yuan, Chongyi. author.

(1)

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501

(1)

Zaldívar, Daniel. author.

(1)

Zhang, Hantao. author.

(1)

Zhang, Jian. author.

(1)

Zhang, Zili. editor.

(1)

Zhu, Hu. author.

(1)

Zhu, Xiaoyun. editor.

(1)

Zobel, Justin. author.

(1)

Zygelman, Bernard. author.

(1)

de Moura, Flávio L. C. author.

(1)

van der Aalst, Wil M. P. author.

(1)

Tümünü genişlet

Dil

(75)

Yayın Yılı

-

(22)

(18)

(17)

(14)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Theory of Computation.

(33)

Computer Science Logic and Foundations of Programming.

(22)

Software engineering.

(20)

Artificial intelligence.

(18)

Computer science -- Mathematics.

(12)

Formal Languages and Automata Theory.

(8)

Machine theory.

(8)

Models of Computation.

(8)

(6)

Computational intelligence.

(6)

Mathematical logic.

(6)

Application software.

(5)

Computer and Information Systems Applications.

(5)

Computer simulation.

(5)

Machine learning.

(5)

Mathematical Logic and Foundations.

(5)

Mathematics of Computing.

(5)

Compilers (Computer programs).

(4)

Compilers and Interpreters.

(4)

Computational linguistics.

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(4)

Computer Modelling.

(4)

Computer networks .

(4)

Computer programming.

(4)

Computer vision.

(4)

Discrete mathematics.

(4)

Image processing -- Digital techniques.

(4)

Information technology -- Management.

(4)

Mathematical Applications in Computer Science.

(4)

(4)

Programming Techniques.

(4)

Theory and Algorithms for Application Domains.

(4)

Business information services.

(3)

Computational complexity.

(3)

Computer Application in Administrative Data Processing.

(3)

Discrete Mathematics in Computer Science.

(3)

Electrical and Electronic Engineering.

(3)

Electrical engineering.

(3)

Mathematical optimization.

(3)

Mathematics -- Data processing.

(3)

(3)

Algebraic topology.

(2)

Automated Pattern Recognition.

(2)

Bioinformatics.

(2)

Business Process Management.

(2)

Complex Systems.

(2)

Computational Science and Engineering.

(2)

Computational and Systems Biology.

(2)

Computer Communication Networks.

(2)

Computer Engineering and Networks.

(2)

Computer engineering.

(2)

Data Mining and Knowledge Discovery.

(2)

(2)

Data protection.

(2)

Design and Analysis of Algorithms.

(2)

Engineering mathematics.

(2)

Health Informatics.

(2)

Human-computer interaction.

(2)

IT in Business.

(2)

Information Storage and Retrieval.

(2)

Information storage and retrieval systems.

(2)

Mathematical physics.

(2)

Medical informatics.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

(2)

(2)

Operations research.

(2)

Pattern recognition systems.

(2)

Python (Computer program language).

(2)

(2)

Quantum computers.

(2)

Quantum physics.

(2)

(2)

User Interfaces and Human Computer Interaction.

(2)

User interfaces (Computer systems).

(2)

Algebra, Homological.

(1)

(1)

Applications of Mathematics.

(1)

Applied Dynamical Systems.

(1)

Arithmetic and Logic Structures.

(1)

Artificial intelligence -- Data processing.

(1)

(1)

Biomedical engineering.

(1)

Category Theory, Homological Algebra.

(1)

(1)

Civil engineering.

(1)

Cloud Computing.

(1)

Computational Geometry.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational Physics and Simulations.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer arithmetic and logic units.

(1)

Computer software -- Development.

(1)

Computers -- History.

(1)

(1)

Control engineering.

(1)

Control, Robotics, Automation.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

(1)

Data and Information Security.

(1)

Data structures (Computer science).

(1)

Digital and Analog Signal Processing.

(1)

Digital humanities.

(1)

(1)

Education, Higher.

(1)

Electronic data processing -- Management.

(1)

Electronic digital computers -- Evaluation.

(1)

Engineering -- Data processing.

(1)

Enterprise Architecture.

(1)

Evolution (Biology).

(1)

Evolutionary Biology.

(1)

Formal Reasoning.

(1)

(1)

(1)

(1)

Higher Education.

(1)

History of Computing.

(1)

Humanities and Social Sciences.

(1)

(1)

(1)

Industrial Management.

(1)

Industrial design.

(1)

Instructional Psychology.

(1)

Learning, Psychology of.

(1)

Library science.

(1)

(1)

Logic programming.

(1)

(1)

Management science.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematics in Popular Science.

(1)

Medical and Health Technologies.

(1)

Microwaves, RF Engineering and Optical Communications.

(1)

Nonlinear theories.

(1)

Object-oriented programming (Computer science)

(1)

Operations Research and Decision Theory.

(1)

Operations Research, Management Science.

(1)

Philosophy of Technology.

(1)

(1)

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

(1)

Quantum Computing.

(1)

Quantum Information.

(1)

Quantum computing.

(1)

(1)

(1)

(1)

Signal processing.

(1)

Social sciences -- Data processing.

(1)

Social sciences.

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

(1)

Systems engineering.

(1)

Technology -- Philosophy.

(1)

Telecommunication.

(1)

The Computing Profession.

(1)

Theoretical, Mathematical and Computational Physics.

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

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

75 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 7

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.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III için kapak resmi

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Theory of Computation Automata, Formal Languages, Computation and Complexity için kapak resmi

Theory of Computation Automata, Formal Languages, Computation and Complexity

Theory of Computation Automata, Formal Languages, Computation and Complexity

Yazar

Chowdhary, K.R. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-6234-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Restarting Automata The Standard Type of Restarting Automaton and Its Variants için kapak resmi

Restarting Automata The Standard Type of Restarting Automaton and Its Variants

Restarting Automata The Standard Type of Restarting Automaton and Its Variants

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II için kapak resmi

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Yazar

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Category Theory Using Haskell An Introduction with Moggi and Yoneda için kapak resmi

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Yazar

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Principle of Petri Nets için kapak resmi

Principle of Petri Nets

Principle of Petri Nets

Yazar

Yuan, Chongyi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-7336-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Mathematical Tools for Telemedicine için kapak resmi

Mathematical Tools for Telemedicine

Mathematical Tools for Telemedicine

Yazar

Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Artificial Intelligence and Machine Learning Techniques in Engineering and Management için kapak resmi

Artificial Intelligence and Machine Learning Techniques in Engineering and Management

Artificial Intelligence and Machine Learning Techniques in Engineering and Management

Yazar

Srinivasa Raju, Komaragiri. author. (orcid)0009-0006-9268-8229 Nagesh Kumar, Dasika. author. (orcid)0000-0002-5294-8501 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2621-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Maximal Planar Graph Theory and the Four-Color Conjecture için kapak resmi

Maximal Planar Graph Theory and the Four-Color Conjecture

Maximal Planar Graph Theory and the Four-Color Conjecture

Yazar

Xu, Jin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4745-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R için kapak resmi

Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R

Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R

Yazar

Leung, Ricky. author. (orcid)0000-0002-2852-6771 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-032-08677-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Digital Signal Processing Illustration Using Python için kapak resmi

Digital Signal Processing Illustration Using Python

Digital Signal Processing Illustration Using Python

Yazar

Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Infrared Small Target Detection Theory, Methods, and Algorithms. için kapak resmi

Infrared Small Target Detection Theory, Methods, and Algorithms.

Infrared Small Target Detection Theory, Methods, and Algorithms.

Yazar

Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-9799-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 7

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11