Search Results for Functions

|

|

|

|

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: Computer science.

Author

SpringerLink (Online service)

(36)

Bhasin, Shivam. editor.

(2)

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983

(2)

Masulli, Paolo. editor.

(2)

Picek, Stjepan. editor.

(2)

Pons Rivero, Antonio Javier. editor.

(2)

Rebeiro, Chester. editor.

(2)

Villa, Alessandro E.P. editor.

(2)

Alkhalaf, Muath. author.

(1)

Antonucci, Alessandro. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Bultan, Tevfik. author.

(1)

Börger, Egon. author.

(1)

Caligiore, Daniele. author.

(1)

Carli, Samuele. author. (orcid)0000-0002-3250-2465

(1)

Charatan, Quentin. author.

(1)

Chen, Li M. author.

(1)

Cholvy, Laurence. editor.

(1)

Christensen, Ole. author.

(1)

Cuyt, Annie. author.

(1)

Downey, Rod. author.

(1)

Draheim, Dirk. author.

(1)

Gal, Sorin G. author.

(1)

Gervasi, Vincenzo. author.

(1)

Graf, Urs. author.

(1)

Grimme, Christian. editor.

(1)

Gu, Zhaoquan. author.

(1)

Halak, Basel. author.

(1)

Hua, Qiang-Sheng. author.

(1)

Ida, Tetsuo. editor.

(1)

Iske, Armin. editor.

(1)

Jamil, Tariq. author.

(1)

Jay, Barry. author.

(1)

Jin, Yaochu. editor.

(1)

Jones, William B. author.

(1)

Kagan, Evgeny. author.

(1)

Kans, Aaron. author.

(1)

Klamroth, Kathrin. editor.

(1)

Kroening, Daniel. author.

(1)

Lau, Francis C.M. author.

(1)

Levesley, Jeremy. editor.

(1)

Lind, Morten. author.

(1)

Lindell, Yehuda. editor.

(1)

Maes, Roel. author.

(1)

Muller, Jean-Michel. author.

(1)

Navarra, Antonio. author.

(1)

O'Regan, Gerard. author.

(1)

Olague, Gustavo. author.

(1)

Papini, Odile. editor.

(1)

Petersen, Vigdis Brevik. author.

(1)

Posthoff, Christian. author.

(1)

Rudolph, Günter. editor.

(1)

Rybalov, Alexander. author.

(1)

Schütze, Oliver. editor.

(1)

Simoncini, Valeria. author.

(1)

Steinbach, Bernd. author.

(1)

Strichman, Ofer. author.

(1)

Torra, Vicenç. author.

(1)

Trautmann, Heike. editor.

(1)

Verdonk, Brigitte. author.

(1)

Waadeland, Haakon. author.

(1)

Wang, Yuexuan. author.

(1)

Watt, Stephen M. editor. (orcid)0000-0001-8303-4983

(1)

Wiecek, Margaret. editor.

(1)

Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475

(1)

Yager, Ronald. author.

(1)

Yu, Fang. author.

(1)

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501

(1)

Language

(36)

Publication Date

-

(7)

(6)

(6)

(4)

(3)

(3)

(2)

(2)

(1)

(1)

(1)

Subject

Theory of Computation.

(13)

Computer science -- Mathematics.

(12)

Artificial intelligence.

(8)

(6)

Computer Science Logic and Foundations of Programming.

(6)

(6)

Software engineering.

(6)

Computer vision.

(4)

Engineering mathematics.

(4)

Functions, special.

(4)

Mathematics of Computing.

(4)

Application software.

(3)

Automated Pattern Recognition.

(3)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Computer and Information Systems Applications.

(3)

Computer networks .

(3)

Formal Languages and Automata Theory.

(3)

Machine theory.

(3)

Pattern recognition systems.

(3)

Systems engineering.

(3)

Arithmetic and Logic Structures.

(2)

Computational complexity.

(2)

Computer Communication Networks.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer engineering.

(2)

Computer programming.

(2)

(2)

(2)

Data encryption (Computer science).

(2)

Data structures (Computer science).

(2)

Discrete Mathematics in Computer Science.

(2)

Discrete mathematics.

(2)

(2)

Fourier analysis.

(2)

Functions of complex variables.

(2)

(2)

Mathematical Applications in Computer Science.

(2)

Mathematical physics.

(2)

Mathematical statistics.

(2)

Models of Computation.

(2)

Probability and Statistics in Computer Science.

(2)

Programming Techniques.

(2)

Theory and Algorithms for Application Domains.

(2)

Algebra, Homological.

(1)

Algebraic logic.

(1)

Algebraic topology.

(1)

Category Theory, Homological Algebra.

(1)

Circuits and Systems.

(1)

Climatic changes.

(1)

Complex Systems.

(1)

Computability and Recursion Theory.

(1)

Computable functions.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational Physics and Simulations.

(1)

Computational intelligence.

(1)

Computer Engineering and Networks.

(1)

Computer arithmetic and logic units.

(1)

Computer simulation.

(1)

Computers -- History.

(1)

Data Structures and Information Theory.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data and Information Security.

(1)

Data protection.

(1)

Differential equations.

(1)

Discrete Mathematics.

(1)

Electrical Engineering.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic data processing.

(1)

Evolution (Biology).

(1)

Evolutionary Biology.

(1)

Functional analysis.

(1)

Functions of a Complex Variable.

(1)

(1)

History of Computing.

(1)

Image processing -- Digital techniques.

(1)

Industrial design.

(1)

Information theory.

(1)

Integral Transforms.

(1)

Mathematical geography.

(1)

Mathematical optimization.

(1)

Mathematics -- Data processing.

(1)

(1)

Microwaves, RF Engineering and Optical Communications.

(1)

Neuroengineering.

(1)

Neurotechnology (Bioengineering).

(1)

Numerical analysis.

(1)

(1)

Philosophy of Technology.

(1)

Recursion theory.

(1)

Science (General).

(1)

Security Science and Technology.

(1)

Signal, Image and Speech Processing.

(1)

Symbolic and Algebraic Manipulation.

(1)

(1)

Technology -- Philosophy.

(1)

Telecommunication.

(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

36 Results Found

Subscribe to search results

1 2 3

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.

13.

Cover image for Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python

Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python

Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python

Author

Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-2718-9

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II

Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II

Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II

Author

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications

Author

Downey, Rod. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I

Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I

Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I

Author

Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Foundations for Functional Modeling of Technical Artefacts

Foundations for Functional Modeling of Technical Artefacts

Foundations for Functional Modeling of Technical Artefacts

Author

Lind, Morten. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Electromagnetic Sources and Electromagnetic Fields

Electromagnetic Sources and Electromagnetic Fields

Electromagnetic Sources and Electromagnetic Fields

Author

Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-9449-6

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Structures of Computing A Guide to Practice-Oriented Theory

Structures of Computing A Guide to Practice-Oriented Theory

Structures of Computing A Guide to Practice-Oriented Theory

Author

Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

Author

Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

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:

22.

Cover image for Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Author

Draheim, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-55198-7

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Rendezvous in Distributed Systems Theory, Algorithms and Applications

Rendezvous in Distributed Systems Theory, Algorithms and Applications

Rendezvous in Distributed Systems Theory, Algorithms and Applications

Author

Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-3680-4

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings

Author

Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11