Search Results for Mathematical Applications in Computer Science.

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: Software engineering.

Author

SpringerLink (Online service)

(9)

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094

(1)

Athanasopoulos, Elias. editor.

(1)

Bodden, Eric. editor.

(1)

Caballero, Juan. editor.

(1)

Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142

(1)

Furht, Borko. author.

(1)

Ghosh, Sujata. editor.

(1)

Greuel, Gert-Martin. editor.

(1)

Höfner, Peter. editor.

(1)

Koch, Thorsten. editor.

(1)

O'Regan, Gerard. author.

(1)

Ohue, Masahito. editor. (orcid)0000-0002-0120-1643

(1)

Paule, Peter. editor.

(1)

Pitt-Francis, Joe. author.

(1)

Pous, Damien. editor.

(1)

Prasad, Sanjiva. editor.

(1)

Rivas, Pablo. editor. (orcid)0000-0002-8690-0987

(1)

Silhavy, Petr. editor.

(1)

Silhavy, Radek. editor.

(1)

Sommese, Andrew. editor.

(1)

Struth, Georg. editor.

(1)

Takata, Masami. editor. (orcid)0000-0003-3475-7565

(1)

Villanustre, Flavio. author.

(1)

Whiteley, Jonathan. author.

(1)

Yasuo, Nobuaki. editor. (orcid)0000-0002-3114-7895

(1)

Language

(9)

Publication Date

-

(4)

(3)

(2)

Subject

Computer science -- Mathematics.

(6)

Mathematical Applications in Computer Science.

(5)

Computer science.

(4)

(3)

Artificial intelligence.

(3)

Formal Languages and Automata Theory.

(3)

Machine theory.

(3)

Computer Communication Networks.

(2)

Computer Modelling.

(2)

Computer Science Logic and Foundations of Programming.

(2)

Computer networks .

(2)

Computer simulation.

(2)

Discrete Mathematics in Computer Science.

(2)

Discrete mathematics.

(2)

Numerical analysis.

(2)

Compilers (Computer programs).

(1)

Compilers and Interpreters.

(1)

Computational intelligence.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer programming.

(1)

Computer vision.

(1)

(1)

(1)

(1)

Data and Information Security.

(1)

Data encryption (Computer science).

(1)

Data protection.

(1)

Hardware Performance and Reliability.

(1)

Image processing -- Digital techniques.

(1)

Models of Computation.

(1)

Programming Techniques.

(1)

Symbolic and Algebraic Manipulation.

(1)

Material Type

Shelf Location

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

9 Results Found

Subscribe to search results

1

000000000DEFAULT

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 Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Parallel and Distributed Processing Techniques 30th International Conference, PDPTA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Parallel and Distributed Processing Techniques 30th International Conference, PDPTA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Parallel and Distributed Processing Techniques 30th International Conference, PDPTA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

Author

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Guide to Scientific Computing in C++

Guide to Scientific Computing in C++

Guide to Scientific Computing in C++

Author

Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

Author

Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Author

Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Author

Greuel, Gert-Martin. editor. Koch, Thorsten. editor. Paule, Peter. editor. Sommese, Andrew. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

Author

Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Big Data Technologies and Applications

Big Data Technologies and Applications

Big Data Technologies and Applications

Author

Furht, Borko. author. Villanustre, Flavio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11