Search Results for Computer System Implementation.

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:

+

Subject: Computer science.

Author

SpringerLink (Online service)

(60)

C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

(11)

Faginas Lago, Maria Noelia. editor. (orcid)0000-0002-4056-3364

(11)

Garau, Chiara. editor. (orcid)0000-0002-6239-5402

(11)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(11)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(11)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(11)

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

(7)

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

(7)

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

(7)

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

(7)

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

(5)

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)

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

(3)

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

(2)

Cintrano, Christian. editor.

(2)

Correia, João. editor.

(2)

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

(2)

Hart, Emma. editor.

(2)

Kobayashi, Naoki. editor.

(2)

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

(2)

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

(2)

Smith, Stephen. editor.

(2)

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

(2)

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

(2)

Worrell, James. editor.

(2)

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

(2)

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

(1)

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

(1)

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

(1)

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

(1)

Burg, Andreas. editor.

(1)

Cardoso, João M.P. editor.

(1)

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

(1)

Cavallaro, Lorenzo. editor.

(1)

Chatzigiannakis, Ioannis. editor.

(1)

Coṣkun, Ayṣe. editor.

(1)

Daněk, Martin. editor.

(1)

Doka, Katerina. editor.

(1)

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

(1)

Flegel, Ulrich. editor.

(1)

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

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Gollmann, Dieter. editor.

(1)

Guthaus, Matthew. editor.

(1)

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

(1)

Hill, Richard. author.

(1)

Hirsch, Laurie. author.

(1)

Hochberger, Christian. editor.

(1)

Inoue, Koji. editor.

(1)

Jiang, Hongbo. editor.

(1)

Karl, Wolfgang. editor.

(1)

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

(1)

Katkoori, Srinivas. editor.

(1)

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

(1)

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

(1)

Knoop, Jens. editor.

(1)

Kormanyos, Christopher Michael. author.

(1)

Kubátová, Hana. editor.

(1)

Kunkel, Julian Martin. editor.

(1)

Lake, Peter. author.

(1)

Li, Mo. editor.

(1)

Li, Yupeng. editor.

(1)

Ludwig, Thomas. editor.

(1)

Markatos, Evangelos. editor.

(1)

Meuer, Hans Werner. editor.

(1)

Miller, Dale. editor. (orcid)0000-0003-0274-4954

(1)

Moshiri, Siavash. author.

(1)

Narukawa, Yasuo. editor.

(1)

Pearson, Siani. editor.

(1)

Pionteck, Thilo. editor.

(1)

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

(1)

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050

(1)

Raad, Azalea. editor. (orcid)0000-0002-2319-3242

(1)

Reis, Ricardo. editor.

(1)

Reynolds, Andrew. editor.

(1)

Rieck, Konrad. editor.

(1)

Robertson, William. editor.

(1)

Schröder-Preikschat, Wolfgang. editor.

(1)

Schulz, Martin. editor.

(1)

Seifert, Jean-Pierre. editor.

(1)

Sick, Bernhard. editor.

(1)

Stewin, Patrick. editor.

(1)

Tasiran, Serdar. editor.

(1)

Teich, Jürgen. editor.

(1)

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

(1)

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

(1)

Wang, Ruchuan. editor.

(1)

Xiao, Fu. editor.

(1)

Xiao, Mingyu. editor.

(1)

Xu, Jianliang. editor.

(1)

Xu, Jin. author.

(1)

Yee, George. editor.

(1)

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

(1)

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

(1)

Zheng, Kan. editor.

(1)

Language

(60)

Publication Date

-

(29)

(18)

(11)

(1)

(1)

Subject

Computer System Implementation.

(60)

Computer systems.

(49)

Computer Communication Networks.

(38)

Computer networks .

(32)

Theory of Computation.

(27)

Special Purpose and Application-Based Systems.

(22)

Software engineering.

(21)

Artificial intelligence.

(18)

Computers, Special purpose.

(18)

Data structures (Computer science).

(14)

Data Structures and Information Theory.

(13)

Information theory.

(13)

Application software.

(11)

Computer Engineering and Networks.

(11)

Computer and Information Systems Applications.

(11)

Computer engineering.

(11)

Computer network architectures.

(11)

Computer Science Logic and Foundations of Programming.

(10)

Computer science -- Mathematics.

(9)

Control Structures and Microprogramming.

(9)

Mathematics of Computing.

(9)

Microprogramming .

(8)

Coding and Information Theory.

(7)

(7)

(7)

Formal Languages and Automata Theory.

(5)

Machine theory.

(5)

Operating systems (Computers).

(5)

Computing Milieux.

(4)

Computer system performance.

(3)

Data protection.

(3)

Information Systems Applications (incl. Internet).

(3)

Mathematical Logic and Foundations.

(3)

Mathematical logic.

(3)

Operating Systems.

(3)

Programming Techniques.

(3)

System Performance and Evaluation.

(3)

Systems and Data Security.

(3)

(2)

Computer Hardware.

(2)

Computer programming.

(2)

Data Encryption.

(2)

Data encryption (Computer science).

(2)

Database management.

(2)

Information Storage and Retrieval.

(2)

Information Systems.

(2)

Information storage and retrieval systems.

(2)

(2)

Logic programming.

(2)

Management of Computing and Information Systems.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

Performance and Reliability.

(2)

Theory and Algorithms for Application Domains.

(2)

e-Commerce/e-business.

(2)

Algorithm Analysis and Problem Complexity.

(1)

Computer Science, general.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer hardware.

(1)

Computer software.

(1)

Computers and Society.

(1)

Data Storage Representation.

(1)

Data Structures.

(1)

Hardware Performance and Reliability.

(1)

Microprogramming.

(1)

Models of Computation.

(1)

Processor Architectures.

(1)

Programming Language.

(1)

Programming languages (Electronic computers).

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

60 Results Found

Subscribe to search results

1 2 3 4 5

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.

37.

Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part III

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part III

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part III

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part V

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part V

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part V

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIII

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIII

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VIII

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part X

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65332-2

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Author

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part XI

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part XI

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part XI

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part II

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part II

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part II

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65223-3

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VI

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VI

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VI

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VII

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VII

Computational Science and Its Applications - ICCSA 2024 Workshops Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part VII

Author

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings

Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings

Architecture of Computing Systems - ARCS 2017 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings

Author

Knoop, Jens. editor. Karl, Wolfgang. editor. Schulz, Martin. editor. Inoue, Koji. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-54999-6

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11