Search Results for System.

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

Author

SpringerLink (Online service)

(80)

LaMeres, Brock J. author.

(4)

Reussner, Ralf. editor.

(3)

Siciliano, Bruno. editor.

(3)

Ayala, José L. editor.

(2)

Bensalem, Saddek. editor.

(2)

Bravetti, Mario. editor.

(2)

Kordon, Fabrice. editor.

(2)

Leucker, Martin. editor.

(2)

Leuken, René. editor.

(2)

Monteiro, José. editor.

(2)

Overhage, Sven. editor.

(2)

Sachs, Kai. editor.

(2)

Schätz, Bernhard. editor.

(2)

Sicard, Gilles. editor.

(2)

Sim, Kevin. editor.

(2)

Squillero, Giovanni. editor.

(2)

Stafford, Judith A. editor.

(2)

Svensson, Lars. editor.

(2)

Telek, Miklós. editor.

(2)

Vounckx, Johan. editor.

(2)

Zavattaro, Gianluigi. editor.

(2)

Al-Begain, Khalid. editor.

(1)

Andrade, Aline Maria Santos. editor.

(1)

Assis Silva, Flávio Morais. editor.

(1)

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481

(1)

Atkinson, Colin. editor.

(1)

Avigad, Jeremy. editor.

(1)

Azemard, Nadine. editor.

(1)

Azémard, Nadine. editor.

(1)

Badia, Rosa M. editor.

(1)

Baier, Christel. editor. (orcid)0000-0002-5321-9343

(1)

Barbosa, Jorge G. editor.

(1)

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

(1)

Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038

(1)

Becker, Steffen. editor.

(1)

Beckert, Bernhard. editor.

(1)

Benini, Luca. author.

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Bliudze, Simon. editor. (orcid)0000-0002-7900-5271

(1)

Bondavalli, Andrea. editor.

(1)

Bougé, Luc. editor.

(1)

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

(1)

Brasileiro, Francisco. editor.

(1)

Breu, Ruth. editor.

(1)

Bruemmer, Hans. author.

(1)

Bruni, Roberto. editor.

(1)

Cassez, Franck. editor.

(1)

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

(1)

Catthoor, Francky. author.

(1)

Cervantes, Leticia. author.

(1)

Chapman, Barbara M. editor.

(1)

Chitil, Olaf. editor.

(1)

Clarke, Peter. editor.

(1)

Colombo, Christian. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X

(1)

Dix, Jürgen. editor.

(1)

Dubey, Rahul. author.

(1)

Dubois, Catherine. editor.

(1)

Dumas, Marlon. editor.

(1)

D’Argenio, Pedro R. editor.

(1)

Eekelen, Marko. editor.

(1)

Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X

(1)

Falcone, Yliès. editor.

(1)

(1)

Feng, Xinyu. editor.

(1)

Fill, Hans-Georg. editor.

(1)

France, Robert B. editor.

(1)

Gabriel Silva, João. editor.

(1)

García-Cámara, Braulio. editor.

(1)

Giese, Holger. editor.

(1)

González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053

(1)

Gorton, Ian. editor.

(1)

Gotzhein, Reinhard. editor.

(1)

Gray, Jeff. editor.

(1)

Guerra, Esther. editor.

(1)

Gupta, Rajesh K. author.

(1)

Gurevich, Yuri. editor.

(1)

Hameurlain, Abdelkader. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Heckel, Reiko. editor.

(1)

Heindl, Armin. editor.

(1)

Heras, Dora B. editor.

(1)

Herrmann, Peter. editor.

(1)

Hofmeister, Christine. editor.

(1)

Horváth, András. editor.

(1)

Horváth, Zoltán. editor.

(1)

Huisman, Marieke. editor.

(1)

Hähnle, Reiner. editor.

(1)

Jard, Claude. editor.

(1)

Jeannot, Emmanuel. editor.

(1)

Joshi, Kaustubh. editor.

(1)

Kaeli, David. editor.

(1)

Karsai, Gabor. editor.

(1)

Kazmeier, Jürgen. editor.

(1)

Keyes, David. editor.

(1)

Kloul, Leïla. editor.

(1)

Klügl, Franziska. editor.

(1)

Kounev, Samuel. editor.

(1)

Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713

(1)

Kraemer, Frank Alexander. editor.

(1)

Kunkel, Julian M. editor.

(1)

Lankes, Stefan. editor.

(1)

Lee, Edward. editor.

(1)

Lienig, Jens. author. (orcid)0000-0002-2140-4587

(1)

Lin, Ji-Yung. author.

(1)

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

(1)

Mahboubi, Assia. editor.

(1)

Maneth, Sebastian. editor.

(1)

Maurine, Philippe. editor.

(1)

Mayer, Johannes. editor.

(1)

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

(1)

Maziero, Carlos Alberto. editor.

(1)

Mencagli, Gabriele. editor.

(1)

Meyer, Bertrand. editor.

(1)

Monsuez, Bruno. editor.

(1)

Moreira, Ana. editor.

(1)

Müller, Matthias S. editor.

(1)

Müller-Olm, Markus. editor.

(1)

Nikitchenko, Mykola. editor. (orcid)0000-0002-4078-1062

(1)

Noltsis, Michalis. author.

(1)

Núñez, Manuel. editor.

(1)

Ober, Ileana. editor.

(1)

Ober, Iulian. editor.

(1)

Olivier, Stephen L. editor.

(1)

Ossowski, Sascha. editor.

(1)

Paliouras, Vassilis. editor.

(1)

Peled, Doron A. editor.

(1)

Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831

(1)

Peña, Ricardo. editor.

(1)

Pires, Luís Ferreira. editor.

(1)

Piskac, Ruzica. editor.

(1)

Podelski, Andreas. editor.

(1)

Prieto, Manuel. editor.

(1)

Rahimi, Abbas. author.

(1)

Rajsbaum, Sergio. editor.

(1)

Reed, Rick. editor.

(1)

Ricci, Laura. editor.

(1)

Ruggiero, Martino. editor.

(1)

Rumpe, Bernhard. editor.

(1)

Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098

(1)

Sakellariou, Rizos. editor.

(1)

Schroeder, Patrick J. editor.

(1)

Scott, Stephen L. editor.

(1)

Selic, Bran. editor.

(1)

Shalf, John. editor.

(1)

Shang, Delong. editor.

(1)

Shkaravska, Olha. editor.

(1)

Siegle, Markus. editor.

(1)

Sokolsky, Oleg. editor.

(1)

Soudris, Dimitrios. author. (orcid)0000-0002-6930-6847

(1)

Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133

(1)

Sterpone, Luca. author.

(1)

Stoelinga, Mariëlle. editor.

(1)

Sun, Jing. editor.

(1)

Sun, Meng. editor.

(1)

Sztipanovits, Janos. editor.

(1)

Szyperski, Clemens A. editor.

(1)

Taraate, Vaibbhav. author.

(1)

Taufer, Michela. editor.

(1)

Teichmann, Philip. author.

(1)

Terboven, Christian. editor.

(1)

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

(1)

Vallecillo, Antonio. editor.

(1)

Verkest, Diederik. editor.

(1)

Voronkov, Andrei. editor.

(1)

Wagner, Roland. editor.

(1)

Weidendorfer, Josef. editor.

(1)

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

(1)

Witteveen, Cees. editor.

(1)

Wolf, Karsten. editor.

(1)

Wolter, Katinka. editor.

(1)

Yakovlev, Alex. editor.

(1)

Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591

(1)

Yang, Zijiang. editor.

(1)

Yokota, Rio. editor.

(1)

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

(1)

Zhang, Zili. editor.

(1)

Zholtkevych, Grygoriy. editor. (orcid)0000-0002-7515-2143

(1)

Zsók, Viktória. editor.

(1)

de Supinski, Bronis R. editor.

(1)

van den Brand, Mark. editor.

(1)

Language

(81)

Publication Date

-

(16)

(9)

(8)

(7)

(7)

(5)

(5)

(5)

(4)

(4)

(3)

(2)

(2)

(2)

(1)

(1)

Subject

Computer science.

(55)

Computer system performance.

(51)

Software engineering.

(50)

Computer Communication Networks.

(25)

Artificial intelligence.

(11)

Computer architecture.

(10)

Microprocessors.

(10)

Operating systems (Computers).

(10)

Computer industry.

(9)

Processor Architectures.

(9)

Computer simulation.

(8)

Computer software.

(8)

Electronic Circuits and Systems.

(7)

Electronic circuits.

(7)

Systems engineering.

(6)

Computer System Implementation.

(5)

Computer systems.

(5)

Memory management (Computer science).

(5)

Control engineering.

(4)

Information Systems.

(4)

Information systems.

(4)

(3)

Compilers (Computer programs).

(3)

Compilers and Interpreters.

(3)

Computer network architectures.

(3)

Computers, Special purpose.

(3)

Control theory.

(3)

Control, Robotics, Automation.

(3)

(3)

Microprogramming.

(3)

(3)

Special Purpose and Application-Based Systems.

(3)

System Performance and Evaluation.

(3)

(3)

Systems Theory, Control.

(3)

(2)

(2)

Computer aided design.

(2)

Computer communication systems.

(2)

Computer programming.

(2)

Computer system failures.

(2)

(2)

Logics and Meanings of Programs.

(2)

Operating Systems.

(2)

Programming Languages, Compilers, Interpreters.

(2)

Programming Techniques.

(2)

Simulation and Modeling.

(2)

Asynchronous circuits -- Design and construction.

(1)

Computational complexity.

(1)

Computational intelligence.

(1)

Computer engineering.

(1)

Computer hardware.

(1)

Computer input-output equipment.

(1)

Computer security.

(1)

(1)

Control Structures and Microprogramming.

(1)

Control and Systems Theory.

(1)

Control engineering systems.

(1)

Data protection.

(1)

Data structures (Computer scienc.

(1)

(1)

Electronic books.

(1)

Electronic circuit design.

(1)

Electronic data processing -- Management.

(1)

Electronics Design and Verification.

(1)

(1)

Embedded Systems.

(1)

Embedded computer systems.

(1)

(1)

Information theory.

(1)

Input/Output and Data Communications.

(1)

Logic, Symbolic and mathematical.

(1)

Management of Computing and Information Systems.

(1)

Microprogramming .

(1)

(1)

Probability and Statistics in Computer Science.

(1)

Register-Transfer-Level Implementation.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

81 Results Found

Subscribe to search results

1 2 3 4 5 6 7

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.

37.

Cover image for Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Author

Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00359-3

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Author

Podelski, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Author

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Lectures on Runtime Verification Introductory and Advanced Topics

Lectures on Runtime Verification Introductory and Advanced Topics

Lectures on Runtime Verification Introductory and Advanced Topics

Author

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Falcone, Yliès. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-75632-5

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

Author

Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Author

Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

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:

44.

Cover image for Introduction to Logic Circuits & Logic Design with Verilog

Introduction to Logic Circuits & Logic Design with Verilog

Introduction to Logic Circuits & Logic Design with Verilog

Author

LaMeres, Brock J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

Author

de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

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:

47.

Cover image for Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I

Author

Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Fundamentals of Electronic Systems Design

Fundamentals of Electronic Systems Design

Fundamentals of Electronic Systems Design

Author

Lienig, Jens. author. (orcid)0000-0002-2140-4587 Bruemmer, Hans. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6 7

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11