Search Results for space.

|

|

|

|

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)

(35)

Harris, Don. editor. (orcid)0000-0002-2113-8848

(2)

Hu, Bin. editor.

(2)

Amato, Giuseppe. author.

(1)

Ascheid, Gerd. author.

(1)

Bader, Michael. author.

(1)

Bainbridge, William Sims. author.

(1)

Batko, Michal. author.

(1)

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929

(1)

Bergman, David. author.

(1)

Bischof, Horst. editor.

(1)

Bogdanov, Andrey. editor.

(1)

Bonacina, Ilario. author.

(1)

Bredies, Kristian. editor.

(1)

Brodnik, Andrej. editor.

(1)

Bronstein, Alexander M. editor.

(1)

Bronstein, Michael M. editor.

(1)

Bruckstein, Alfred M. editor.

(1)

Celma, Òscar. author.

(1)

Chakraborty, Rajat Subhra. editor.

(1)

Chicano, Francisco. editor.

(1)

Cire, Andre A. author.

(1)

Dahl, Anders Bjorholm. editor.

(1)

Dohnal, Vlastislav. author.

(1)

Dong, Yiqiu. editor.

(1)

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514

(1)

Ebermann, Hans-Joachim. editor.

(1)

Fajstrup, Lisbeth. author.

(1)

Freksa, Christian. editor.

(1)

García-Sánchez, Pablo. editor.

(1)

Gierlichs, Benedikt. editor.

(1)

Goodman, John M. author.

(1)

Gopinath, Divya. editor. (orcid)0000-0002-1242-7701

(1)

Goubault, Eric. author.

(1)

Guilley, Sylvain. editor.

(1)

Gärdenfors, Peter. editor.

(1)

Haar Romeny, Bart M. editor.

(1)

Harrison, Steve. editor.

(1)

Haucourt, Emmanuel. author.

(1)

Hollenstein, Tom. author.

(1)

Hooker, John. author.

(1)

Humphrey, Laura. editor. (orcid)0000-0002-3148-9035

(1)

Jin, Qun. editor.

(1)

Karagiannis, Dimitris. editor.

(1)

Kempf, Torsten. author.

(1)

Kimmel, Ron. editor.

(1)

Kuijper, Arjan. editor.

(1)

Lauze, François. editor.

(1)

Leupers, Rainer. author.

(1)

Lie, Knut-Andreas. editor.

(1)

Lysaker, Marius. editor.

(1)

López-Ortiz, Alejandro. editor.

(1)

Matyas, Vashek. editor.

(1)

Mayr, Heinrich C. editor.

(1)

Mimram, Samuel. author.

(1)

Moe, Nils Brede. editor.

(1)

Mukhopadhyay, Debdeep. editor.

(1)

Murli, Almerico. editor.

(1)

Mylopoulos, John. editor. (orcid)0000-0002-8698-3292

(1)

Mørken, Knut. editor.

(1)

Newcombe, Nora S. editor.

(1)

Ogihara, Mitsunori. author.

(1)

Paragios, Nikos. editor.

(1)

Park, James J. (Jong Hyuk). editor.

(1)

Pock, Thomas. editor.

(1)

Raman, Venkatesh. editor.

(1)

Raussen, Martin. author.

(1)

Sanadhya, Somitra. editor.

(1)

Sang-soo Yeo, Martin. editor.

(1)

Schaumont, Patrick. editor.

(1)

Scheiderer, Joachim. editor.

(1)

Schlee, Christian. author.

(1)

Sgallari, Fiorella. editor.

(1)

Shi, Nija. editor.

(1)

Sochen, Nir A. editor.

(1)

Tai, Xue-Cheng. editor.

(1)

Titolo, Laura. editor. (orcid)0000-0001-7820-7640

(1)

Tomassini, Marco. author.

(1)

Viola, Alfredo. editor.

(1)

Weickert, Joachim. editor.

(1)

Wölfl, Stefan. editor.

(1)

Zezula, Pavel. author.

(1)

Zhuge, Hai. author.

(1)

van Hoeve, Willem-Jan. author.

(1)

Ågerfalk, Pär J. editor.

(1)

Šmite, Darja. editor.

(1)

Language

(35)

Publication Date

-

(7)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Artificial intelligence.

(11)

Computer vision.

(8)

Theory of Computation.

(8)

Computer graphics.

(7)

Computer software.

(7)

Optical pattern recognition.

(5)

Application software.

(4)

Computational complexity.

(4)

Computer and Information Systems Applications.

(4)

Computer simulation.

(4)

Electronic data processing.

(4)

Models of Computation.

(4)

Software engineering.

(4)

User Interfaces and Human Computer Interaction.

(4)

(3)

Computer Communication Networks.

(3)

Computer science -- Mathematics.

(3)

Data encryption (Computer science).

(3)

(3)

(3)

Information Systems.

(3)

Information storage and retrieval systems.

(3)

Algorithm Analysis and Problem Complexity.

(2)

(2)

(2)

Computer Engineering and Networks.

(2)

Computer Modelling.

(2)

Computer engineering.

(2)

Computer networks .

(2)

Computers and Society.

(2)

Computers and civilization.

(2)

Data protection.

(2)

Data structures (Computer science).

(2)

Database management.

(2)

Discrete Mathematics in Computer Science.

(2)

Formal Languages and Automata Theory.

(2)

Human-computer interaction.

(2)

Machine theory.

(2)

(2)

Social sciences -- Data processing.

(2)

User interfaces (Computer systems).

(2)

Aerospace Technology and Astronautics.

(1)

Agricultural Economics.

(1)

Algebraic topology.

(1)

Applications of Mathematics.

(1)

Applied Dynamical Systems.

(1)

Automated Pattern Recognition.

(1)

Business Process Management.

(1)

Business information services.

(1)

Computation by Abstract Devices.

(1)

Computational Science and Engineering.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer communication systems.

(1)

Computer files.

(1)

Computer security.

(1)

Data Encryption.

(1)

Data Structures.

(1)

Developmental psychology.

(1)

Discrete Optimization.

(1)

Discrete mathematics.

(1)

(1)

Enterprise Architecture.

(1)

Farm economics.

(1)

Game Theory, Economics, Social and Behav. Sciences.

(1)

Image Processing and Computer Vision.

(1)

Industrial and Organisational Psychology.

(1)

Information Systems Applications (incl. Internet).

(1)

Information systems.

(1)

Information technology -- Management.

(1)

Law of the Sea, Air and Outer Space.

(1)

Management of Computing and Information Systems.

(1)

Management science.

(1)

Math Applications in Computer Science.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical optimization.

(1)

Mathematics of Computing.

(1)

(1)

(1)

(1)

Nonlinear theories.

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Operations Research and Decision Theory.

(1)

Operations Research, Management Science.

(1)

Operations research.

(1)

Pattern Recognition.

(1)

Pattern recognition systems.

(1)

Philosophy (General).

(1)

Physical geography.

(1)

(1)

Systems and Data Security.

(1)

Systems engineering.

(1)

(1)

Telecommunication.

(1)

e-Commerce/e-business.

(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

35 Results Found

Subscribe to search results

1 2 3

00000000000DEFAULT

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 Scale Space and PDE Methods in Computer Vision 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings

Scale Space and PDE Methods in Computer Vision 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings

Scale Space and PDE Methods in Computer Vision 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings

Author

Kimmel, Ron. editor. Sochen, Nir A. editor. Weickert, Joachim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b107185

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for An Introduction to Theory of Computation An Algorithmic Approach

An Introduction to Theory of Computation An Algorithmic Approach

An Introduction to Theory of Computation An Algorithmic Approach

Author

Ogihara, Mitsunori. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

Author

Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Author

Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Engineering Psychology and Cognitive Ergonomics: Performance, Emotion and Situation Awareness 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

Engineering Psychology and Cognitive Ergonomics: Performance, Emotion and Situation Awareness 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

Engineering Psychology and Cognitive Ergonomics: Performance, Emotion and Situation Awareness 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

Author

Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-58472-0

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Engineering Psychology and Cognitive Ergonomics: Cognition and Design 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

Engineering Psychology and Cognitive Ergonomics: Cognition and Design 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

Engineering Psychology and Cognitive Ergonomics: Cognition and Design 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

Author

Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Domain-Specific Conceptual Modeling Concepts, Methods and Tools

Domain-Specific Conceptual Modeling Concepts, Methods and Tools

Domain-Specific Conceptual Modeling Concepts, Methods and Tools

Author

Karagiannis, Dimitris. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. (orcid)0000-0002-8698-3292 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Directed Algebraic Topology and Concurrency

Directed Algebraic Topology and Concurrency

Directed Algebraic Topology and Concurrency

Author

Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

Evolutionary Computation in Combinatorial Optimization 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings

Author

Chicano, Francisco. editor. Hu, Bin. editor. García-Sánchez, Pablo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Decision Diagrams for Optimization

Decision Diagrams for Optimization

Decision Diagrams for Optimization

Author

Bergman, David. author. Cire, Andre A. author. van Hoeve, Willem-Jan. author. Hooker, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Human Factors on the Flight Deck Safe Piloting Behaviour in Practice

Human Factors on the Flight Deck Safe Piloting Behaviour in Practice

Human Factors on the Flight Deck Safe Piloting Behaviour in Practice

Author

Ebermann, Hans-Joachim. editor. Scheiderer, Joachim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333480.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31733-0

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