Search Results for Students.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: 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

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

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

14.

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:

15.

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:

16.

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:

17.

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

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

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-75775-4

Format:

Availability

Online Library~1

Available:
Copies:

18.

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

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

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Restarting Automata Extensions and Generalizations

Restarting Automata Extensions and Generalizations

Restarting Automata Extensions and Generalizations

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Theory of Computation Automata, Formal Languages, Computation and Complexity

Theory of Computation Automata, Formal Languages, Computation and Complexity

Theory of Computation Automata, Formal Languages, Computation and Complexity

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Mathematical Tools for Telemedicine

Mathematical Tools for Telemedicine

Mathematical Tools for Telemedicine

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Structures of Computing A Guide to Practice-Oriented Theory

Structures of Computing A Guide to Practice-Oriented Theory

Structures of Computing A Guide to Practice-Oriented Theory

Author

Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Infrared Small Target Detection Theory, Methods, and Algorithms.

Infrared Small Target Detection Theory, Methods, and Algorithms.

Infrared Small Target Detection Theory, Methods, and Algorithms.

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 7

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11