Search Results for System.

|

|

|

|

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: Theory of Computation.

Author

SpringerLink (Online service)

(69)

Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960

(7)

Sheng, Bin. editor. (orcid)0000-0001-8678-2784

(7)

Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

(7)

Bi, Lei. editor. (orcid)0000-0001-9759-0200

(4)

Kim, Jinman. editor.

(4)

Deng, Zhigang. editor. (orcid)0000-0002-0452-8676

(3)

Kim, Jinman. editor. (orcid)0000-0001-5960-1060

(3)

Kunkel, Julian M. editor.

(3)

Li, Ping. editor. (orcid)0000-0002-1503-0240

(3)

Balaji, Pavan. editor.

(2)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(2)

Cai, Zhiping. editor. (orcid)0000-0001-5726-833X

(2)

Cintrano, Christian. editor.

(2)

Correia, João. editor.

(2)

Dimitrova, Rayna. editor.

(2)

Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946

(2)

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894

(2)

Hart, Emma. editor.

(2)

Huang, De-Shuang. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Kozierkiewicz, Adrianna. editor. (orcid)0000-0001-8445-3979

(2)

Krogstie, John. editor. (orcid)0000-0003-4830-1876

(2)

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

(2)

Lin, Jianqing. editor. (orcid)0000-0002-9332-4746

(2)

Ludwig, André. editor. (orcid)0000-0002-0358-3470

(2)

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

(2)

Núñez, Manuel. editor. (orcid)0000-0001-9808-6401

(2)

Pan, Linqiang. editor. (orcid)0000-0002-4554-455X

(2)

Proper, Henderik A. editor. (orcid)0000-0002-7318-2496

(2)

Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108

(2)

Rossi, Federico. editor.

(2)

Smith, Stephen. editor.

(2)

Suzumura, Toyotaro. editor. (orcid)0000-0001-6412-8386

(2)

Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817

(2)

Treur, Jan. editor. (orcid)0000-0003-2466-9158

(2)

Vossen, Gottfried. editor. (orcid)0000-0002-1478-2838

(2)

Wang, Yong. editor. (orcid)0000-0001-7670-3958

(2)

Wolff, Sebastian. editor.

(2)

Worrell, James. editor.

(2)

Zhang, Jialin. editor. (orcid)0000-0002-6245-1013

(2)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Agha, Gul. editor.

(1)

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011

(1)

Barbosa, Jorge. editor.

(1)

Barnett, Lionel. author.

(1)

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929

(1)

Bergenthum, Robin. editor.

(1)

Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394

(1)

Bevilacqua, Vitoantonio. editor.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530

(1)

Bono, Mayumi. editor.

(1)

Boronat, Artur. editor. (orcid)0000-0003-2024-1736

(1)

Bortolussi, Luca. editor.

(1)

Bossomaier, Terry. author.

(1)

Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761

(1)

Cai, Qing. author.

(1)

Caivano, Danilo. editor.

(1)

Caligiore, Daniele. author.

(1)

Camacho, Rui. editor.

(1)

Cardoso, João M.P. editor.

(1)

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

(1)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(1)

Cavalheiro, Simone. editor.

(1)

Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428

(1)

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279

(1)

Chang, Bor-Yuh Evan. editor.

(1)

Chatzigiannakis, Ioannis. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Concilio, Simona. editor.

(1)

Dediu, Adrian-Horia. editor.

(1)

Doka, Katerina. editor.

(1)

Dongarra, Jack. editor.

(1)

Downey, Rod. author.

(1)

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514

(1)

Dutra, Inês. editor.

(1)

Fajstrup, Lisbeth. author.

(1)

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634

(1)

Fey, Dietmar. editor. (orcid)0000-0002-6077-4732

(1)

Fiadeiro, José. editor.

(1)

Fraser, Gordon. editor. (orcid)0000-0002-4364-6595

(1)

Gallina, Barbara. editor. (orcid)0000-0002-6952-1053

(1)

Goertzel, Ben. editor.

(1)

Gong, Maoguo. author.

(1)

Gopinath, Divya. editor. (orcid)0000-0002-1242-7701

(1)

Goubault, Eric. author.

(1)

Guiochet, Jérémie. editor.

(1)

Hannig, Frank. editor. (orcid)0000-0003-3663-6484

(1)

Harré, Michael. author.

(1)

Haucourt, Emmanuel. author.

(1)

Humphrey, Laura. editor. (orcid)0000-0002-3148-9035

(1)

Inoue, Koji. editor.

(1)

Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X

(1)

Jaeger, Dieter. editor.

(1)

Janoušek, Jan. editor.

(1)

Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092

(1)

Jung, Ranu. editor.

(1)

Kappel, Gerti. editor. (orcid)0000-0002-4758-9436

(1)

Kappel, Gertri. editor. (orcid)0000-0002-4758-9436

(1)

Karl, Wolfgang. editor.

(1)

Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729

(1)

Kesner, Delia. editor. (orcid)0000-0003-4254-3129

(1)

Keyes, David. editor.

(1)

Kikuchi, Hiroaki. editor. (orcid)0000-0002-0903-8430

(1)

Knoop, Jens. editor.

(1)

Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383

(1)

Koutny, Maciej. editor.

(1)

Kunze, Matthias. author.

(1)

Lei, Yu. author.

(1)

Li, Yupeng. editor.

(1)

Lizier, Joseph T. author.

(1)

Ma, Lijia. author.

(1)

Marques, Osni. editor.

(1)

Martín-Vide, Carlos. editor.

(1)

Mavelli, Fabio. editor.

(1)

Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623

(1)

Mimram, Samuel. author.

(1)

Mohr, Bernd. editor.

(1)

Morita, Kenichi. author.

(1)

Nakano, Yukiko. editor. (orcid)0000-0003-1658-8219

(1)

Narukawa, Yasuo. editor.

(1)

Pionteck, Thilo. editor.

(1)

Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226

(1)

Piotto, Stefano. editor.

(1)

Premaratne, Prashan. editor.

(1)

Raussen, Martin. author.

(1)

Rump, Siegfried M. editor.

(1)

Schoitsch, Erwin. editor.

(1)

Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443

(1)

Schröder-Preikschat, Wolfgang. editor.

(1)

Schulz, Martin. editor.

(1)

Shi, Nija. editor.

(1)

Sirjani, Marjan. editor.

(1)

Skavhaug, Amund. editor.

(1)

Stano, Pasquale. editor.

(1)

Steunebrink, Bas. editor.

(1)

Taufer, Michela. editor.

(1)

Teich, Jürgen. editor.

(1)

Titolo, Laura. editor. (orcid)0000-0001-7820-7640

(1)

Torra, Vicenç. editor. (orcid)0000-0002-0368-8037

(1)

Trapp, Mario. editor.

(1)

Truthe, Bianca. editor.

(1)

Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876

(1)

Van Houdt, Benny. editor.

(1)

Wang, Pei. editor.

(1)

Wang, Shanfeng. author.

(1)

Weske, Mathias. author.

(1)

Xiao, Mingyu. editor.

(1)

Xu, Jianliang. editor.

(1)

Yang, Hongseok. editor.

(1)

Yap, Chee K. editor.

(1)

Yin, Yitong. editor. (orcid)0000-0001-9204-7794

(1)

Yokota, Rio. editor.

(1)

Yuan, Chongyi. author.

(1)

Zhang, Yong. editor. (orcid)0000-0002-8730-3711

(1)

Language

(69)

Publication Date

-

(25)

(18)

(14)

(11)

(1)

Subject

Computer science.

(69)

Computer networks .

(33)

Computer Communication Networks.

(27)

Computer System Implementation.

(27)

Computer systems.

(27)

Artificial intelligence.

(22)

Software engineering.

(21)

Computer science -- Mathematics.

(19)

Data Structures and Information Theory.

(18)

Data structures (Computer science).

(18)

Information theory.

(18)

Application software.

(17)

Computer and Information Systems Applications.

(17)

Mathematics of Computing.

(15)

Computers, Special purpose.

(11)

(11)

Special Purpose and Application-Based Systems.

(11)

Electronic digital computers -- Evaluation.

(9)

System Performance and Evaluation.

(9)

Computer Engineering and Networks.

(8)

Computer engineering.

(8)

Database management.

(8)

Coding and Information Theory.

(7)

(7)

Computer Modelling.

(7)

Computer simulation.

(7)

Complex Systems.

(6)

Computing Milieux.

(6)

Control Structures and Microprogramming.

(6)

Microprogramming .

(6)

(6)

(5)

Computer vision.

(5)

Operating Systems.

(5)

Operating systems (Computers).

(5)

Computer Science Logic and Foundations of Programming.

(4)

Computer programming.

(4)

Information technology -- Management.

(4)

Programming Techniques.

(4)

Automated Pattern Recognition.

(3)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Computer Application in Administrative Data Processing.

(3)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(3)

Data Mining and Knowledge Discovery.

(3)

(3)

Formal Languages and Automata Theory.

(3)

Hardware Performance and Reliability.

(3)

Image processing -- Digital techniques.

(3)

Machine theory.

(3)

Mathematical Logic and Foundations.

(3)

Mathematical logic.

(3)

Pattern recognition systems.

(3)

Theory and Algorithms for Application Domains.

(3)

Bioinformatics.

(2)

Computational and Systems Biology.

(2)

Computational complexity.

(2)

Computer architecture.

(2)

Database Management System.

(2)

(2)

Logic programming.

(2)

Mathematical statistics.

(2)

Microprocessors.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

(2)

(2)

Probability and Statistics in Computer Science.

(2)

Processor Architectures.

(2)

(2)

The Computing Profession.

(2)

Algebraic topology.

(1)

Applied Dynamical Systems.

(1)

Arithmetic and Logic Structures.

(1)

(1)

Business Process Management.

(1)

Computability and Recursion Theory.

(1)

Computable functions.

(1)

Computer Hardware.

(1)

Computer arithmetic and logic units.

(1)

Data protection.

(1)

Differential equations.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

Machine learning.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical optimization.

(1)

Mathematical physics.

(1)

Models of Computation.

(1)

Neuroengineering.

(1)

Neurotechnology (Bioengineering).

(1)

Nonlinear theories.

(1)

(1)

Recursion theory.

(1)

Security Services.

(1)

Symbolic and Algebraic Manipulation.

(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

69 Results Found

Subscribe to search results

1 2 3 4 5 6

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.

1.

Cover image for Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

Author

Downey, Rod. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers

Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers

Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers

Author

Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7743-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

Author

Chatzigiannakis, Ioannis. editor. Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II

Author

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Author

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Author

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications

Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications

Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applications

Author

Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I

Author

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV

Author

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Transactions on Petri Nets and Other Models of Concurrency XVII

Transactions on Petri Nets and Other Models of Concurrency XVII

Transactions on Petri Nets and Other Models of Concurrency XVII

Author

Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-68191-6

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III

Advances in Computer Graphics 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III

Author

Sheng, Bin. editor. (orcid)0000-0001-8678-2784 Bi, Lei. editor. (orcid)0000-0001-9759-0200 Kim, Jinman. editor. Magnenat-Thalmann, Nadia. editor. (orcid)0000-0002-1459-5960 Thalmann, Daniel. editor. (orcid)0000-0002-0451-7491

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I

Author

Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11