Search Results for Japan

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: Compilers (Computer programs).

Author

SpringerLink (Online service)

(8)

Artho, Cyrille. editor.

(2)

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186

(2)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(2)

Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502

(1)

Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262

(1)

Jagadish, H. V. editor. (orcid)0000-0003-0724-5214

(1)

King, Andy. editor.

(1)

Lawford, Mark. editor.

(1)

Legay, Axel. editor.

(1)

Li, Guoliang. editor. (orcid)0000-0002-1398-0621

(1)

Liu, Shaoying. editor.

(1)

Liu, Shaoying. editor. (orcid)0000-0002-6748-5052

(1)

Lu, Kejing. editor. (orcid)0000-0002-4006-3378

(1)

Maruyama, Naoya. editor.

(1)

Mery, Dominique. editor. (orcid)0000-0001-5231-6611

(1)

Morishima, Atsuyuki. editor. (orcid)0000-0003-4606-9065

(1)

Peled, Doron. editor.

(1)

Sun, Meng. editor.

(1)

Wahib, Mohamed. editor.

(1)

de Supinski, Bronis R. editor.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Language

(8)

Publication Date

-

(4)

(2)

(1)

(1)

Subject

Compilers and Interpreters.

(8)

Software engineering.

(7)

Computer science.

(6)

Computer programming.

(5)

Programming Techniques.

(5)

Computer Science Logic and Foundations of Programming.

(4)

Artificial intelligence.

(3)

Formal Languages and Automata Theory.

(3)

Machine theory.

(3)

Theory of Computation.

(3)

(1)

Application software.

(1)

Coding and Information Theory.

(1)

(1)

Computer Communication Networks.

(1)

Computer Hardware.

(1)

Computer Modelling.

(1)

Computer and Information Systems Applications.

(1)

Computer architecture.

(1)

Computer networks .

(1)

Computer simulation.

(1)

(1)

Data Mining and Knowledge Discovery.

(1)

(1)

Database management.

(1)

Electronic digital computers -- Evaluation.

(1)

Information theory.

(1)

Microprocessors.

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Processor Architectures.

(1)

System Performance and Evaluation.

(1)

Material Type

Shelf Location

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

8 Results Found

Subscribe to search results

1

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.

1.

Cover image for Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

Author

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-8943-6

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

Author

Morishima, Atsuyuki. editor. (orcid)0000-0003-4606-9065 Li, Guoliang. editor. (orcid)0000-0002-1398-0621 Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262 Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502 Jagadish, H. V. editor. (orcid)0000-0003-0724-5214

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0914-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Author

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0617-7

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-53946-1

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Author

Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46520-3

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

Author

Maruyama, Naoya. editor. de Supinski, Bronis R. editor. Wahib, Mohamed. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-45550-1

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Author

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-29604-3

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Author

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-47846-3

Format:

Availability

Online Library~1

Available:
Copies:

1

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11