Search Results for A. S.

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

+

Subject: Computer science.

Yazar

SpringerLink (Online service)

(79)

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)

DeGross, Janice I. editor.

(2)

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

(2)

Pianykh, Oleg S. author.

(2)

Aceto, Luca. editor.

(1)

Acuña, Silvia Teresita. author.

(1)

Ahmed, Sarah. author.

(1)

Asjoma, Maxim. author.

(1)

Axenie, Cristian. author. (orcid)0000-0001-6184-0546

(1)

Azim, Tayyaba. author.

(1)

Azman, Shazril. author.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Bareiss, Cathy. author.

(1)

Barik, Rajkishore. editor.

(1)

Baskerville, Richard L. editor.

(1)

Bauer, Roman. author. (orcid)0000-0002-7268-9359

(1)

Bhandarkar, Suchendra M. author.

(1)

Bijalwan, Anchit, editor.

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Borg, Antoine. author.

(1)

Brewer, Kevin. author.

(1)

Bridges, Douglas S. author.

(1)

Cai, Qing. author.

(1)

Caligiore, Daniele. author.

(1)

Carli, Samuele. author. (orcid)0000-0002-3250-2465

(1)

Channa, Asma. author.

(1)

Charatan, Quentin. author.

(1)

Chowdhary, K.R. author.

(1)

Chowdhury, Ananda S. author.

(1)

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

(1)

Cohen, William W. author.

(1)

Colton, Simon. author.

(1)

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

(1)

Delia, Peter. author.

(1)

Deng, Lizhen. author.

(1)

Downey, Rod. author.

(1)

Draheim, Dirk. author.

(1)

Ekendahl, Robert. author.

(1)

Elnashaie, Said S. E. H. author.

(1)

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

(1)

Feeman, Timothy G. author.

(1)

Ferrández, José Manuel. editor.

(1)

Fleischmann, Albert. author.

(1)

Galitsky, Boris. author.

(1)

Ganesh, S G. author.

(1)

Gong, Maoguo. author.

(1)

Guid, Matej. author.

(1)

Gunnerson, Eric. author.

(1)

Gunnerson, Eric. editor.

(1)

Gupta, Rajiv. editor.

(1)

Göbel, Susanne. author.

(1)

Haghighi, Boshra. author.

(1)

Hartono, Natalia. editor. (orcid)0000-0003-2314-1394

(1)

Heinz, Jeffrey. editor.

(1)

Hildre, Hans Petter. author.

(1)

Hunt, John. author.

(1)

Ingólfsdóttir, Anna. editor.

(1)

Iqbal, Azlan. author.

(1)

Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210

(1)

Johnsen, Einar Broch. editor.

(1)

Josipović, Lana. author.

(1)

Juneau, Josh. author.

(1)

Juristo, Natalia. author.

(1)

Kamat, Rajanish K. author.

(1)

Kans, Aaron. author.

(1)

Kao, Ming-Yang. editor.

(1)

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

(1)

Kern, Thorsten A. editor.

(1)

Kiefer, Stefan. editor.

(1)

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

(1)

Krivec, Jana. author.

(1)

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

(1)

Křetínský, Jan. editor.

(1)

Langerak, Rom. editor.

(1)

Legay, Axel. editor.

(1)

Lei, Yu. author.

(1)

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

(1)

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

(1)

Li, Guoyuan. author. (orcid)0000-0001-7553-0899

(1)

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

(1)

Lindley, Sam. editor.

(1)

Liu, Xinyu. author.

(1)

Lyytinen, Kalle. editor.

(1)

López Corona, Oliver. author.

(1)

Ma, Lijia. author.

(1)

Mardare, Radu. editor.

(1)

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

(1)

Mathiassen, Lars. editor.

(1)

McBride, Conor. editor.

(1)

Meduna, Alexander. author.

(1)

Meinel, Christoph. author.

(1)

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

(1)

Mendes, Emilia. author.

(1)

Meyer, Bertrand. editor.

(1)

Mintz, Mike. author.

(1)

Mira, José. editor.

(1)

Mon, Alicia. author.

(1)

Moreno, Ana María. author.

(1)

Naik, Gourish M. author.

(1)

Ogihara, Mitsunori. author.

(1)

Palsberg, Jens. editor. (orcid)0000-0003-4747-365X

(1)

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

(1)

Parab, Jivan S. author.

(1)

Paz, Félix. editor.

(1)

Pham, D. T. editor. (orcid)0000-0003-3148-2404

(1)

Popescu, Nirvana. author.

(1)

Pries-Heje, Jan. editor.

(1)

Ramachandran, S. author.

(1)

Ray, Kumar S. author.

(1)

Raß, Stefan. author.

(1)

Rensink, Arend. editor.

(1)

Root, Randal. author.

(1)

Sannella, Don. editor. (orcid)0000-0003-4520-8924

(1)

Sempere, José M. editor.

(1)

Sharma, Tushar. author.

(1)

Shelake, Vinod G. author.

(1)

Shepherd, Jay. author.

(1)

Singer, Robert. author.

(1)

Soare, Robert I. author.

(1)

Soukup, Ondřej. author.

(1)

Steffen, Bernhard. editor.

(1)

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

(1)

Stockebrand, Benedikt. author.

(1)

Sutphin, Joe. author.

(1)

Sweeney, Mary Romero. author.

(1)

Sørensen, Carsten. editor.

(1)

Tang, Xifan. author.

(1)

Toledo, F. Javier. editor.

(1)

Trinder, Phil. editor.

(1)

Tu, Kaihui. author.

(1)

Uhlig, Frank. author.

(1)

Vaszil, György. editor. (orcid)0000-0003-1213-8616

(1)

Vîţă, Luminiţa Simona. author.

(1)

Wang, Shanfeng. author.

(1)

Weng, Wei. author.

(1)

West, Jeffrey. author. (orcid)0000-0001-9579-4664

(1)

Wienholt, Nick. editor.

(1)

Winters-Hilt, Stephen, author.

(1)

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

(1)

Xu, Guoxia. author.

(1)

Xu, Jin. author.

(1)

Yang, Song. author.

(1)

Yoo, Youngjin. editor.

(1)

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

(1)

Yu, Liyang. author.

(1)

Yuan, Chongyi. author.

(1)

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

(1)

Zhang, Chuan. author.

(1)

Zhang, Houxiang. author. (orcid)0000-0003-0122-0964

(1)

Zhu, Hu. author.

(1)

van der Aalst, Wil M. P. author.

(1)

Ábrahám, Erika. editor.

(1)

Álvarez, José R. editor.

(1)

Tümünü genişlet

Dil

(81)

Yayın Yılı

-

(22)

(12)

(11)

(5)

(5)

(5)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

Tümünü genişlet

Konu

Theory of Computation.

(23)

Software engineering.

(19)

Computer Science Logic and Foundations of Programming.

(18)

Artificial intelligence.

(17)

Computer science -- Mathematics.

(8)

Formal Languages and Automata Theory.

(8)

Machine theory.

(8)

Bioinformatics.

(7)

Computer vision.

(7)

Compilers (Computer programs).

(6)

Compilers and Interpreters.

(6)

Computer simulation.

(6)

Theory and Algorithms for Application Domains.

(6)

(5)

Information systems.

(5)

Application software.

(4)

Computational complexity.

(4)

Computational linguistics.

(4)

Computer Modelling.

(4)

Computer and Information Systems Applications.

(4)

Computer programming.

(4)

(4)

Information storage and retrieval systems.

(4)

Machine learning.

(4)

Mathematics of Computing.

(4)

(4)

Programming Techniques.

(4)

Radiology, Medical.

(4)

Biomedical engineering.

(3)

Computer network architectures.

(3)

Mathematical statistics.

(3)

Models of Computation.

(3)

Optical pattern recognition.

(3)

Systems engineering.

(3)

Complex Systems.

(2)

Computational Mathematics and Numerical Analysis.

(2)

Computational and Systems Biology.

(2)

Computer Engineering and Networks.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer Science, general.

(2)

Computer engineering.

(2)

Computer networks .

(2)

Data Mining and Knowledge Discovery.

(2)

(2)

Design and Analysis of Algorithms.

(2)

Electrical and Electronic Engineering.

(2)

Electrical engineering.

(2)

(2)

Health Informatics.

(2)

Image processing -- Digital techniques.

(2)

Industrial and Production Engineering.

(2)

Industrial engineering.

(2)

Information theory.

(2)

(2)

Management information systems.

(2)

Mathematical Logic and Foundations.

(2)

Mathematical logic.

(2)

Mathematics -- Data processing.

(2)

Medical informatics.

(2)

Medical records -- Data processing.

(2)

(2)

Probability and Statistics in Computer Science.

(2)

Production engineering.

(2)

Programming Language.

(2)

Programming languages (Electronic computers).

(2)

Social sciences -- Data processing.

(2)

(2)

Algebra, Homological.

(1)

Algebraic topology.

(1)

Applications of Mathematics.

(1)

Apprentissage automatique.

(1)

Arithmetic and Logic Structures.

(1)

Artificial intelligence -- Data processing.

(1)

Bio-informatique.

(1)

Biochemical engineering.

(1)

(1)

Biology -- Data processing.

(1)

Business Information Systems.

(1)

Business information services.

(1)

C++ (Computer program language).

(1)

(1)

(1)

Category Theory, Homological Algebra.

(1)

Chemical engineering.

(1)

Chemistry -- Data processing.

(1)

Cloud Computing.

(1)

Computability and Recursion Theory.

(1)

Computable functions.

(1)

Computational Chemistry.

(1)

Computational Geometry.

(1)

Computational Physics and Simulations.

(1)

Computational biology

(1)

Computational biology.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer Communication Networks.

(1)

Computer System Implementation.

(1)

Computer aided design.

(1)

Computer arithmetic and logic units.

(1)

Computer hardware description languages.

(1)

Computer hardware.

(1)

Computer industry.

(1)

Computer programs -- Testing.

(1)

Computer science

(1)

Computer software.

(1)

Computer system performance.

(1)

Computer systems.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers, Special purpose.

(1)

Control Structures and Microprogramming.

(1)

Control engineering systems.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

(1)

Differential equations.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

(1)

Electric power production.

(1)

Electrical Power Engineering.

(1)

Electronic books.

(1)

Electronic commerce.

(1)

Electronic data processing

(1)

Electronic data processing -- Management.

(1)

Electronic data processing.

(1)

Engineering mathematics.

(1)

Expert systems (Computer science).

(1)

Formal Reasoning.

(1)

Functional analysis.

(1)

Geographic information systems.

(1)

Geographical Information System.

(1)

(1)

Global analysis (Mathematics).

(1)

Human-computer interaction.

(1)

(1)

IT in Business.

(1)

Information Storage and Retrieval.

(1)

Information Systems Applications (incl. Internet).

(1)

Information technology -- Management.

(1)

Integral Transforms.

(1)

Intelligence (AI) & Semantics.

(1)

Knowledge Based Systems.

(1)

Knowledge management.

(1)

(1)

Logic programming.

(1)

Logic, Symbolic and mathematical.

(1)

Machine learning

(1)

Management of Computing and Information Systems.

(1)

Marine engineering.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical optimization.

(1)

Mathematical physics.

(1)

Mathematics in Popular Science.

(1)

Medical and Health Technologies.

(1)

Microprogramming .

(1)

Microwaves, RF Engineering and Optical Communications.

(1)

Mobile computing.

(1)

Neuroengineering.

(1)

(1)

(1)

(1)

(1)

Neurotechnology (Bioengineering).

(1)

(1)

Open source software.

(1)

Operations Research and Decision Theory.

(1)

Operations research.

(1)

(1)

Project management.

(1)

(1)

(1)

Recreation -- Equipment and supplies.

(1)

Recursion theory.

(1)

Register-Transfer-Level Implementation.

(1)

(1)

Software Testing.

(1)

Special Purpose and Application-Based Systems.

(1)

Sport Analytics.

(1)

(1)

Sport Technology.

(1)

Sports sciences.

(1)

(1)

Telecommunication.

(1)

(1)

Traffic engineering.

(1)

Transportation Technology and Traffic Engineering.

(1)

Transportation engineering.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

data processing.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

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ç

81 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 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.

1.

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I 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 I

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

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-75783-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Restarting Automata Extensions and Generalizations için kapak resmi

Restarting Automata Extensions and Generalizations

Restarting Automata Extensions and Generalizations

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-78701-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

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:

4.

An Introduction to Theory of Computation An Algorithmic Approach için kapak resmi

An Introduction to Theory of Computation An Algorithmic Approach

An Introduction to Theory of Computation An Algorithmic Approach

Yazar

Ogihara, Mitsunori. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas için kapak resmi

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

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:

7.

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:

8.

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:

9.

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures için kapak resmi

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Yazar

Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-80283-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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:

11.

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:

12.

Artificial Intelligence and Machine Learning in Sports Science için kapak resmi

Artificial Intelligence and Machine Learning in Sports Science

Artificial Intelligence and Machine Learning in Sports Science

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-70155-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4 5 6 7

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11