Search Results for Computer Applications.

|

|

|

|

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: Logic design.

Author

SpringerLink (Online service)

(20)

Ablayev, Farid. editor.

(1)

Berghammer, Rudolf. editor.

(1)

Bonacina, Maria Paola. editor.

(1)

Bonizzoni, Paola. editor.

(1)

Brattka, Vasco. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Decker, Hendrik. editor.

(1)

Duarte-González, Mario. editor.

(1)

Díaz-Gutierrez, Yesid. editor.

(1)

Düntsch, Ivo. editor.

(1)

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937

(1)

Fomin, Fedor V. editor.

(1)

Frid, Anna. editor.

(1)

Hameurlain, Abdelkader. editor.

(1)

Hirsch, Edward A. editor.

(1)

Jacko, Julie A. editor.

(1)

Jaoua, Ali Mohamed. editor.

(1)

Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X

(1)

Karhumäki, Juhani. editor.

(1)

Kim, Haeng-kon. editor.

(1)

Kim, Tai-hoon. editor.

(1)

Kiumi, Akingbehin. editor.

(1)

Korytkowski, Marcin. editor.

(1)

Kruse, Carola. editor. (orcid)0000-0002-4142-7356

(1)

Kulikov, Alexander. editor.

(1)

Küng, Josef. editor.

(1)

Lepistö, Arto. editor.

(1)

Löwe, Benedikt. editor.

(1)

MacCaull, Wendy. editor.

(1)

Mayr, Ernst W. editor.

(1)

Mohammed, Sabah. editor.

(1)

Moller, Faron. author.

(1)

Morozov, Andrey. editor.

(1)

Möller, Bernhard. editor.

(1)

Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X

(1)

Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603

(1)

O’Regan, Gerard. author.

(1)

Podolskii, Vladimir V. editor.

(1)

Prilutskii, Michail. editor.

(1)

Ramos, Carlos. editor.

(1)

Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525

(1)

Rybalchenko, Andrey. editor.

(1)

Scherer, Rafał. editor. (orcid)0000-0001-9592-262X

(1)

Shur, Arseny M. editor.

(1)

Stephanidis, Constantine. editor.

(1)

Stickel, Mark E. editor.

(1)

Struth, Georg. author.

(1)

Tadeusiewicz, Ryszard. editor.

(1)

Vereshchagin, Nikolay. editor.

(1)

Vingron, Shimon P. author.

(1)

Wagner, Klaus W. editor.

(1)

Wagner, Roland. editor.

(1)

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073

(1)

Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841

(1)

Winter, Michael. editor.

(1)

Zadeh, Lotfi A. editor.

(1)

Zurada, Jacek M. editor.

(1)

Ślęzak, Dominik. editor.

(1)

Language

(20)

Publication Date

-

(5)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(15)

Computational complexity.

(9)

Artificial intelligence.

(6)

Computer software.

(6)

Software engineering.

(6)

Logics and Meanings of Programs.

(5)

Math Applications in Computer Science.

(4)

Mathematical Logic and Formal Languages.

(4)

Computer Communication Networks.

(3)

Discrete Mathematics in Computer Science.

(3)

Algebra -- Data processing.

(2)

Algorithm Analysis and Problem Complexity.

(2)

(2)

Computation by Abstract Devices.

(2)

Information storage and retrieval systems.

(2)

Mathematical Applications in Computer Science.

(2)

Multimedia systems.

(2)

(1)

(1)

Application software.

(1)

Artificial Intelligence (incl. Robotics).

(1)

Coding and Information Theory.

(1)

Computer Engineering and Networks.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computer and Information Systems Applications.

(1)

Computer architecture.

(1)

Computer engineering.

(1)

Computer networks .

(1)

Computer science -- Mathematics.

(1)

Computer security.

(1)

Computer vision.

(1)

Computers, Special purpose.

(1)

(1)

Control Structures and Microprogramming.

(1)

Data Mining and Knowledge Discovery.

(1)

(1)

Data structures (Computer scienc.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Electronic data processing.

(1)

Formal Languages and Automata Theory.

(1)

History of Mathematical Sciences.

(1)

Image processing -- Digital techniques.

(1)

Information theory.

(1)

Logic, Symbolic and mathematical.

(1)

Machine theory.

(1)

Mathematical Logic and Foundations.

(1)

Microprocessors.

(1)

Microprogramming .

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Processor Architectures.

(1)

Special Purpose and Application-Based Systems.

(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

20 Results Found

Subscribe to search results

1 2

00000000DEFAULT

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 High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

Author

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Logic Circuit Design Selected Topics and Methods

Logic Circuit Design Selected Topics and Methods

Logic Circuit Design Selected Topics and Methods

Author

Vingron, Shimon P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I

Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I

Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I

Author

Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Korytkowski, Marcin. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-59063-9

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications

Author

Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Decker, Hendrik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-55947-5

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

Author

O’Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331002.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4534-9

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Modelling Computing Systems Mathematics for Computer Science

Modelling Computing Systems Mathematics for Computer Science

Modelling Computing Systems Mathematics for Computer Science

Author

Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332574.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-322-4

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Automated Reasoning and Mathematics Essays in Memory of William W. McCune

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

Author

Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334264.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36675-8

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334718.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39053-1

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11