Search Results for Students.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Konu: Computer science.

Author

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)

Language

(75)

Publication Date

-

(22)

(18)

(17)

(14)

(1)

(1)

(1)

(1)

Subject

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)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

75 Results Found

Subscribe to search results

1 2 3 4 5 .. 7

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

13.

Cover image for Maximal Planar Graph Theory and the Four-Color Conjecture

Maximal Planar Graph Theory and the Four-Color Conjecture

Maximal Planar Graph Theory and the Four-Color Conjecture

Author

Xu, Jin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Restarting Automata The Standard Type of Restarting Automaton and Its Variants

Restarting Automata The Standard Type of Restarting Automaton and Its Variants

Restarting Automata The Standard Type of Restarting Automaton and Its Variants

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for A First Introduction to Quantum Computing and Information

A First Introduction to Quantum Computing and Information

A First Introduction to Quantum Computing and Information

Author

Zygelman, Bernard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Artificial Intelligence and Machine Learning Techniques in Engineering and Management

Artificial Intelligence and Machine Learning Techniques in Engineering and Management

Artificial Intelligence and Machine Learning Techniques in Engineering and Management

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

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

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Category Theory Using Haskell An Introduction with Moggi and Yoneda

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Principle of Petri Nets

Principle of Petri Nets

Principle of Petri Nets

Author

Yuan, Chongyi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Logic in Computer Science

Logic in Computer Science

Logic in Computer Science

Author

Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-9816-2

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for An Introduction to Theory of Computation An Algorithmic Approach

An Introduction to Theory of Computation An Algorithmic Approach

An Introduction to Theory of Computation An Algorithmic Approach

Author

Ogihara, Mitsunori. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease

Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease

Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease

Author

Channa, Asma. author. Popescu, Nirvana. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-45003-7

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Mathematics in Programming

Mathematics in Programming

Mathematics in Programming

Author

Liu, Xinyu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-2432-1

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 7

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11