Search Results for computing.

|

|

|

|

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: Logic design.

Author

SpringerLink (Online service)

(93)

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073

(4)

Liu, Zhiming. editor.

(3)

Maciaszek, Leszek A. editor.

(3)

Cerone, Antonio. editor.

(2)

Chen, Xu. editor.

(2)

Filipe, Joaquim. editor.

(2)

Gavrilova, Marina L. editor.

(2)

Guo, Deke. editor.

(2)

Korytkowski, Marcin. editor.

(2)

Min, Geyong. editor.

(2)

Nicola, Rocco. editor.

(2)

Pu, Lingjun. editor.

(2)

Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525

(2)

Sadananda, Ramakoti. editor.

(2)

Scherer, Rafał. editor. (orcid)0000-0001-9592-262X

(2)

Shalf, John. editor.

(2)

Sim, Kevin. editor.

(2)

Squillero, Giovanni. editor.

(2)

Tadeusiewicz, Ryszard. editor.

(2)

Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652

(2)

Wirsing, Martin. editor.

(2)

Woodcock, Jim. editor.

(2)

Xie, Xia. editor.

(2)

Yokota, Rio. editor. (orcid)0000-0001-7573-7873

(2)

Zadeh, Lotfi A. editor.

(2)

Zurada, Jacek M. editor.

(2)

Alam, Sadaf. editor. (orcid)0000-0002-2534-5078

(1)

Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829

(1)

Amunts, Katrin. editor.

(1)

Andrade, Aline Maria Santos. editor.

(1)

Araki, Keijiro. editor.

(1)

Assis Silva, Flávio Morais. editor.

(1)

Austin, Todd. editor.

(1)

Banâtre, Jean-Pierre. editor.

(1)

Barkaoui, Kamel. editor.

(1)

Barthe, Gilles. editor.

(1)

Beek, Maurice H. editor.

(1)

Benini, Luca. author.

(1)

Berekovic, Mladen. editor.

(1)

Bergstra, Jan A. author.

(1)

Bernardo, Marco. editor.

(1)

Beyer, Dirk. editor.

(1)

Bogliolo, Alessandro. editor.

(1)

Bombieri, Nicola. editor.

(1)

Bondavalli, Andrea. editor.

(1)

Boreale, Michele. editor.

(1)

Brasileiro, Francisco. editor.

(1)

Brauer, W. editor.

(1)

Brehm, Jürgen. editor.

(1)

Bruni, Roberto. editor.

(1)

Buchty, Rainer. editor.

(1)

Castillo, Oscar. author. (orcid)0000-0002-7385-5689

(1)

Cavalcanti, Ana. editor.

(1)

Cervantes, Leticia. author.

(1)

Cervesato, Iliano. editor.

(1)

Chan, T-H. Hubert. editor.

(1)

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

(1)

Clarke, Peter. editor.

(1)

Dai, Dong. editor.

(1)

Daniel, Florian. editor.

(1)

Datta, Anupam. editor.

(1)

Devitt, Simon. editor.

(1)

Dietz, Hendrik. editor.

(1)

Doty, David. editor. (orcid)0000-0002-3922-172X

(1)

Drira, Khalil. editor.

(1)

Du, Ding-Zhu. editor.

(1)

Duddy, Keith. editor.

(1)

D’Souza, Meenakshi. editor.

(1)

Echtle, Klaus. editor.

(1)

Fahringer, Thomas. author.

(1)

Fischer, Bernd. editor. (orcid)0000-0002-1815-218X

(1)

Fournet, Cédric. editor.

(1)

Fujita, Masahiro. editor.

(1)

Gabriel Silva, João. editor.

(1)

Gaudet, Vincent C. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Gheorghe, Marian. editor.

(1)

Gherbi, Abdelouahed. editor.

(1)

Ghose, Aditya. editor.

(1)

Gorp, Pieter. editor.

(1)

Governatori, Guido. editor.

(1)

Grandinetti, Lucio. editor.

(1)

Gray, Jeff. editor.

(1)

Gross, Warren J. editor.

(1)

Gupta, Rajesh K. author.

(1)

Halpin, Harry. author.

(1)

Hamann, Heiko. editor.

(1)

Hammond, Simon. editor.

(1)

Hariyama, Masanori. author.

(1)

Hasegawa, Masahito. editor.

(1)

Hochberger, Christian. editor.

(1)

Hu, Changjun. editor.

(1)

Hung, Dang. editor.

(1)

Hölzl, Matthias. editor.

(1)

Janowski, Tomasz. editor.

(1)

Jarvis, Stephen. editor.

(1)

Jay, Barry. author.

(1)

Jiang, Congfeng. editor.

(1)

Jin, Hai. editor.

(1)

Jones, Cliff B. editor.

(1)

Juckeland, Guido. editor.

(1)

Juckeland, Guido. editor. (orcid)0000-0002-9935-4428

(1)

Julien, Christine. editor.

(1)

Kaklamanis, Christos. editor.

(1)

Kappel, Gerti. editor.

(1)

Kasahara, Hironori. editor.

(1)

Keyes, David. editor.

(1)

Khendek, Ferhat. editor.

(1)

Kluge, W. author.

(1)

Koch, Dirk. editor.

(1)

Koepf, Wolfram. editor.

(1)

Kruse, Carola. editor. (orcid)0000-0002-4142-7356

(1)

Kunkel, Julian M. editor.

(1)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(1)

Lau, Lap Chi. editor.

(1)

Lippert, Thomas. editor.

(1)

Lohmann, Niels. editor.

(1)

Luo, Qi. editor.

(1)

Lysaght, Patrick. editor.

(1)

Martí-Oliet, Narciso. editor.

(1)

Maziero, Carlos Alberto. editor.

(1)

Middelburg, Cornelis A. author.

(1)

Mogavero, Fabio. author.

(1)

Mohanty, Hrushikesha. editor.

(1)

Moller, Faron. author.

(1)

Montanari, Ugo. editor.

(1)

Moreira, Ana. editor.

(1)

Muntean, Traian. editor.

(1)

Müller-Clostermann, Bruno. editor.

(1)

Natarajan, Raja. editor.

(1)

Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X

(1)

Nielson, Flemming. editor.

(1)

Ojo, Adegboyega. editor.

(1)

Okada, Mitsu. editor.

(1)

O’Regan, Gerard. author.

(1)

Padovani, Luca. editor. (orcid)0000-0001-9097-1297

(1)

Palomino, Miguel. editor.

(1)

Petkov, Nicolai. editor.

(1)

Phan, Cong-Vinh. editor.

(1)

Pihlajasaari, Pekka. editor.

(1)

Pionteck, Thilo. editor.

(1)

Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226

(1)

Poulakis, Dimitrios. editor.

(1)

Pravadelli, Graziano. editor.

(1)

Priami, Corrado. editor.

(1)

Prodan, Radu. author.

(1)

Păsăreanu, Corina S. editor.

(1)

Quaglia, Paola. editor.

(1)

Rahimi, Abbas. author.

(1)

Rajsbaum, Sergio. editor.

(1)

Ramanujam, R. editor.

(1)

Ramaswamy, Srini. editor.

(1)

Ranganathan, Nagarajan. editor.

(1)

Rathgeb, Erwin P. editor.

(1)

Rauchwerger, Lawrence. editor.

(1)

Rauschmayer, Axel. editor.

(1)

Ravi, S. S. editor.

(1)

Reed, Rick. editor.

(1)

Reis, Ricardo. editor.

(1)

Ridha Taha, Saleem Mohammed. author.

(1)

Ritter, Tom. editor.

(1)

Rolland, Robert. editor.

(1)

Rose, Louis M. editor.

(1)

Rosenstiel, Wolfgang. editor.

(1)

Roychoudhury, Abhik. editor.

(1)

Rozenberg, G. editor.

(1)

Rozenberg, Grzegorz. editor.

(1)

Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034

(1)

Salaün, Gwen. editor.

(1)

Salomaa, A. editor.

(1)

Salomaa, Arto. editor.

(1)

Sangiorgi, Davide. editor.

(1)

Sannella, Donald. editor.

(1)

Satoh, Ichiro. editor.

(1)

Schmitt, Jens B. editor.

(1)

Schoeberl, Martin. editor.

(1)

Schulte, Christian. editor.

(1)

Schätz, Bernhard. editor.

(1)

Seiler, Werner M. editor. (orcid)0000-0002-0565-1334

(1)

Shi, Zhong-Zhi. editor.

(1)

Shukla, Sandeep K. editor.

(1)

Snir, Marc. editor.

(1)

Struth, Georg. author.

(1)

Tan, C. J. Kenneth. editor.

(1)

Tan, C.J. Kenneth. editor.

(1)

Taufer, Michela. editor.

(1)

Thapliyal, Himanshu. editor.

(1)

Toeroe, Maria. editor.

(1)

Torquati, Massimo. editor. (orcid)0000-0001-6323-3459

(1)

Trevisan, Luca. editor.

(1)

Uchiyama, Kunio. author.

(1)

Uhrig, Sascha. editor.

(1)

Ulrich, Andreas. editor.

(1)

Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579

(1)

Valero, Mateo. editor.

(1)

Vallecillo, Antonio. editor.

(1)

Vorozhtsov, Evgenii V. editor.

(1)

Waidyasooriya, Hasitha Muthumala. author.

(1)

Wang, Jianmin. editor.

(1)

Language

(93)

Publication Date

-

(25)

(13)

(8)

(7)

(7)

(6)

(5)

(5)

(4)

(3)

(3)

(2)

(2)

(2)

(1)

Subject

Computer science.

(67)

Software engineering.

(47)

Computer Communication Networks.

(33)

Logics and Meanings of Programs.

(25)

Artificial intelligence.

(23)

Operating systems (Computers).

(17)

Information Systems.

(14)

Computer software.

(12)

Management of Computing and Information Systems.

(12)

Programming Languages, Compilers, Interpreters.

(12)

Computer network architectures.

(11)

Mathematical Logic and Formal Languages.

(10)

Data protection.

(8)

Data structures (Computer science).

(6)

Information Systems Applications (incl. Internet).

(6)

Information systems.

(6)

Microprocessors.

(6)

(5)

Computer vision.

(5)

Information storage and retrieval systems.

(5)

Operating Systems.

(5)

Special Purpose and Application-Based Systems.

(5)

Algorithm Analysis and Problem Complexity.

(4)

(4)

Computation by Abstract Devices.

(4)

Computational complexity.

(4)

Computer architecture.

(4)

Computer system performance.

(4)

Computers, Special purpose.

(4)

Discrete Mathematics in Computer Science.

(4)

Electronic circuits.

(4)

Information theory.

(4)

Mathematics of Computing.

(4)

Processor Architectures.

(4)

Artificial Intelligence (incl. Robotics).

(3)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Computer Engineering and Networks.

(3)

Computer System Implementation.

(3)

Computer engineering.

(3)

Computer input-output equipment.

(3)

Computer networks .

(3)

Computer systems.

(3)

Control Structures and Microprogramming.

(3)

Electronic Circuits and Systems.

(3)

Input/Output and Data Communications.

(3)

Microprogramming .

(3)

Programming Techniques.

(3)

Theory of Computation.

(3)

Algebra -- Data processing.

(2)

Business Information Systems.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer communication systems.

(2)

Computer organization.

(2)

(2)

Data Mining and Knowledge Discovery.

(2)

(2)

Data transmission systems.

(2)

Electronic data processing.

(2)

Image processing -- Digital techniques.

(2)

Logic, Symbolic and mathematical.

(2)

Management information systems.

(2)

Math Applications in Computer Science.

(2)

Mathematical Logic and Foundations.

(2)

Multimedia systems.

(2)

Quantum Computing.

(2)

Quantum computers.

(2)

Symbolic and Algebraic Manipulation.

(2)

User Interfaces and Human Computer Interaction.

(2)

Application software.

(1)

Architecture, Computer.

(1)

Arithmetic and logic units, Computer.

(1)

Coding and Information Theory.

(1)

Computational intelligence.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Memory Structure.

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer aided design.

(1)

Computer and Information Systems Applications.

(1)

Computer programming.

(1)

Computer security.

(1)

Computer simulation.

(1)

Computer storage devices.

(1)

Computing Methodologies.

(1)

Control and Systems Theory.

(1)

Control engineering.

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data encryption (Computer science).

(1)

Document Preparation and Text Processing.

(1)

(1)

Economics/Management Science.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

(1)

Engineering design.

(1)

Engineering mathematics.

(1)

(1)

History of Computing.

(1)

History of Mathematical Sciences.

(1)

Human-computer interaction.

(1)

Information Storage and Retrieval.

(1)

Input-output equipment (Computers).

(1)

Mathematical Applications in Computer Science.

(1)

Memory management (Computer science).

(1)

Numeric Computing.

(1)

(1)

Programming languages (Electronic computers).

(1)

Quantum theory.

(1)

Simulation and Modeling.

(1)

System Performance and Evaluation.

(1)

Systems engineering.

(1)

Text processing (Computer science.

(1)

User interfaces (Computer systems).

(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

93 Results Found

Subscribe to search results

1 2 3 4 5 .. 8

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 High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

Author

Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Shalf, John. editor. Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02465-9

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for A First Introduction to Quantum Computing and Information

A First Introduction to Quantum Computing and Information

A First Introduction to Quantum Computing and Information

Author

Zygelman, Bernard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II

Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II

Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II

Author

Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Korytkowski, Marcin. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I

Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I

Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I

Author

Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Korytkowski, Marcin. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators

Author

Rahimi, Abbas. author. Benini, Luca. author. Gupta, Rajesh K. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

Author

Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Author

Ridha Taha, Saleem Mohammed. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Brain-Inspired Computing Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers

Brain-Inspired Computing Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers

Brain-Inspired Computing Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers

Author

Amunts, Katrin. editor. Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Transactions on Computational Science XXIV Special Issue on Reversible Computing

Transactions on Computational Science XXIV Special Issue on Reversible Computing

Transactions on Computational Science XXIV Special Issue on Reversible Computing

Author

Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Thapliyal, Himanshu. editor. Ranganathan, Nagarajan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

Computing and Combinatorics 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings

Author

Du, Ding-Zhu. editor. Zhang, Guochuan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334665.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38768-5

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Author

Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334840.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39718-9

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts

Author

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

Preferred Shelf Number

ONLINE(331002.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4534-9

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 8

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11