Search Results for Computer engineering

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 and Interpreters.

Author

SpringerLink (Online service)

(23)

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

(3)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(2)

Schoitsch, Erwin. editor.

(2)

Tonetta, Stefano. editor.

(2)

Zhang, Zili. editor.

(2)

Aceto, Luca. editor.

(1)

Alkhalaf, Muath. author.

(1)

Ammeraal, Leen. author.

(1)

Aydin, Abdulbaki. author.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Ballmann, Bastian. author.

(1)

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Buhr, Peter A. author.

(1)

Bultan, Tevfik. author.

(1)

Chu, Zhufei. author. (orcid)0000-0001-5718-4822

(1)

Csöndes, Tibor. editor.

(1)

D'Souza, Deepak. editor.

(1)

Dastani, Mehdi. editor.

(1)

Dori, Dov. author.

(1)

Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131

(1)

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960

(1)

Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080

(1)

Guiochet, Jérémie. editor.

(1)

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872

(1)

Ingólfsdóttir, Anna. editor.

(1)

Javanbakht, Zia. author.

(1)

Josipović, Lana. author.

(1)

Kovács, Gábor. editor.

(1)

Legay, Axel. editor.

(1)

Leuschel, Michael. editor. (orcid)0000-0002-4595-1518

(1)

Lopes, Antónia. editor.

(1)

Mardare, Radu. editor.

(1)

Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104

(1)

Narayan Kumar, K. editor.

(1)

Polikarpova, Nadia. editor.

(1)

Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026

(1)

Rossberg, Joachim. author.

(1)

Réthy, György. editor.

(1)

Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624

(1)

Schneider, Steve. editor.

(1)

Serwe, Wendelin. editor.

(1)

Sirjani, Marjan. editor.

(1)

Skavhaug, Amund. editor.

(1)

Tamaddoni-Nezhad, Alireza. editor.

(1)

Tang, Xifan. author.

(1)

Tu, Kaihui. author.

(1)

Yu, Cunxi. author. (orcid)0000-0003-3481-307X

(1)

Yu, Fang. author.

(1)

Zhang, Kang. author.

(1)

de Lemos, Rogério. editor.

(1)

Öchsner, Andreas. author. (orcid)0000-0002-8844-3206

(1)

Language

(23)

Publication Date

-

(12)

(4)

(4)

(1)

(1)

(1)

Subject

Compilers (Computer programs).

(23)

Computer Engineering and Networks.

(15)

Computer engineering.

(15)

Computer networks .

(15)

Computer science.

(15)

Software engineering.

(15)

Computer Science Logic and Foundations of Programming.

(10)

Application software.

(5)

Artificial intelligence.

(5)

Computer and Information Systems Applications.

(5)

(5)

Data and Information Security.

(5)

Data protection.

(5)

Formal Languages and Automata Theory.

(4)

Machine theory.

(4)

Theory of Computation.

(4)

Computer programming.

(3)

Computer-Aided Engineering (CAD, CAE) and Design.

(3)

Computer-aided engineering.

(3)

Programming Techniques.

(3)

Computer Modelling.

(2)

Computer simulation.

(2)

Computers, Special purpose.

(2)

Computing Milieux.

(2)

(2)

Special Purpose and Application-Based Systems.

(2)

The Computing Profession.

(2)

(1)

C++ (Computer program language).

(1)

(1)

Computer Communication Networks.

(1)

Computer graphics.

(1)

Computer hardware description languages.

(1)

Computer science -- Mathematics.

(1)

Control Structures and Microprogramming.

(1)

Electronic data processing -- Management.

(1)

Electronic digital computers -- Evaluation.

(1)

Hardware Performance and Reliability.

(1)

(1)

(1)

Logic programming.

(1)

Mechanics, Applied.

(1)

Microprogramming .

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

Numerical analysis.

(1)

(1)

Open source software.

(1)

Register-Transfer-Level Implementation.

(1)

Solid Mechanics.

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

System Performance and Evaluation.

(1)

Theory and Algorithms for Application Domains.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

23 Results Found

Subscribe to search results

1 2

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 Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Author

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Author

Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for FPGA EDA Design Principles and Implementation

FPGA EDA Design Principles and Implementation

FPGA EDA Design Principles and Implementation

Author

Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-7755-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

Author

Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings

Author

Bonfanti, Silvia. editor. (orcid)0000-0001-9679-4551 Gargantini, Angelo. editor. (orcid)0000-0002-4035-0131 Leuschel, Michael. editor. (orcid)0000-0002-4595-1518 Riccobene, Elvinia. editor. (orcid)0000-0002-1400-1026 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Author

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66266-4

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Advanced Finite Element Simulation with MSC Marc Application of User Subroutines

Advanced Finite Element Simulation with MSC Marc Application of User Subroutines

Advanced Finite Element Simulation with MSC Marc Application of User Subroutines

Author

Javanbakht, Zia. author. Öchsner, Andreas. author. (orcid)0000-0002-8844-3206 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

Author

Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68670-7

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Author

Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68972-2

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings

Author

Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Author

Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

Author

Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66284-8

Format:

Availability

Online Library~1

Available:
Copies:

1 2

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11