Search Results for Logic

|

|

|

|

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 system performance.

Author

SpringerLink (Online service)

(57)

Reussner, Ralf. editor.

(3)

Ayala, José L. editor.

(2)

Bensalem, Saddek. editor.

(2)

Bravetti, Mario. editor.

(2)

Kordon, Fabrice. editor.

(2)

Leucker, Martin. editor.

(2)

Overhage, Sven. editor.

(2)

Sachs, Kai. editor.

(2)

Schätz, Bernhard. editor.

(2)

Sicard, Gilles. editor.

(2)

Stafford, Judith A. editor.

(2)

Svensson, Lars. editor.

(2)

Telek, Miklós. 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)

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)

Bruni, Roberto. editor.

(1)

Bunke, Horst. author.

(1)

Cassez, Franck. 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)

Daydé, Michel. editor.

(1)

Dickinson, Peter J. 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)

Feng, Xinyu. editor.

(1)

Fill, Hans-Georg. editor.

(1)

France, Robert B. editor.

(1)

Gabriel Silva, João. editor.

(1)

Gallagher, John P. editor. (orcid)0000-0001-6984-7419

(1)

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

(1)

Giese, Holger. editor.

(1)

Gorton, Ian. editor.

(1)

Gray, Jeff. editor.

(1)

Gurevich, Yuri. editor.

(1)

Hammoudi, Slimane. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

Heckel, Reiko. editor.

(1)

Heindl, Armin. editor.

(1)

Heras, Dora B. 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)

Hömberg, Dietmar. 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)

Keller, Rainer. editor.

(1)

Keyes, David. editor.

(1)

Kloul, Leïla. editor.

(1)

Kounev, Samuel. editor.

(1)

Kraetzl, Miro. author.

(1)

Kramer, David. editor.

(1)

Lankes, Stefan. editor.

(1)

Lee, Edward. editor.

(1)

Leuken, René. editor.

(1)

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

(1)

Mahboubi, Assia. editor.

(1)

Maneth, Sebastian. editor.

(1)

Marques, Osni. 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)

Monteiro, José. editor.

(1)

Moreira, Ana. editor.

(1)

Müller-Olm, Markus. editor.

(1)

Nakajima, Kengo. editor.

(1)

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

(1)

Núñez, Manuel. editor.

(1)

Peled, Doron A. editor.

(1)

Peleska, Jan. editor. (orcid)0000-0003-3667-9775

(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)

Rajsbaum, Sergio. editor.

(1)

Ricci, Laura. editor.

(1)

Roscoe, Bill. 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)

Shang, Delong. editor.

(1)

Shkaravska, Olha. editor.

(1)

Siegle, Markus. editor.

(1)

Sokolsky, Oleg. editor.

(1)

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

(1)

Stoelinga, Mariëlle. editor.

(1)

Sulzmann, Martin. editor.

(1)

Sun, Jing. editor.

(1)

Sun, Meng. editor.

(1)

Sztipanovits, Janos. editor.

(1)

Szyperski, Clemens A. editor.

(1)

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

(1)

Tröltzsch, Fredi. editor.

(1)

Vallecillo, Antonio. editor.

(1)

Voronkov, Andrei. editor.

(1)

Vounckx, Johan. editor.

(1)

Wallis, Walter D. author.

(1)

Weidendorfer, Josef. editor.

(1)

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

(1)

Weiss, Jan-Philipp. 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. (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 Vink, Erik. editor.

(1)

Language

(57)

Publication Date

-

(18)

(8)

(7)

(6)

(6)

(4)

(3)

(3)

(2)

Subject

Computer science.

(54)

(51)

Software engineering.

(46)

Computer Communication Networks.

(20)

Computer industry.

(10)

Computer software.

(10)

Computer simulation.

(9)

Operating systems (Computers).

(6)

System Performance and Evaluation.

(6)

Memory management (Computer science).

(5)

Artificial intelligence.

(4)

Computer network architectures.

(3)

Information Systems.

(3)

Simulation and Modeling.

(3)

Systems engineering.

(3)

Arithmetic and Logic Structures.

(2)

(2)

Electronic data processing.

(2)

Information theory.

(2)

Logics and Meanings of Programs.

(2)

Numeric Computing.

(2)

Probability and Statistics in Computer Science.

(2)

Programming Languages, Compilers, Interpreters.

(2)

Algorithm Analysis and Problem Complexity.

(1)

Computational complexity.

(1)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(1)

Computer graphics.

(1)

Computer vision.

(1)

Data protection.

(1)

Data structures (Computer scienc.

(1)

(1)

Information systems.

(1)

Management of Computing and Information Systems.

(1)

Mathematical Logic and Formal Languages.

(1)

Mathematical optimization.

(1)

(1)

Memory Structures.

(1)

Microprogramming.

(1)

(1)

Processor Architectures.

(1)

Register-Transfer-Level Implementation.

(1)

Software Engineering/Programming and Operating 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

57 Results Found

Subscribe to search results

1 2 3 4 5

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 Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

Author

Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Fill, Hans-Georg. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

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:

15.

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:

16.

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:

17.

Cover image for Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

Author

Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Author

Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03769-7

Format:

Availability

Online Library~1

Available:
Copies:

19.

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:

20.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Author

Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334136.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Author

Joshi, Kaustubh. editor. Siegle, Markus. editor. Stoelinga, Mariëlle. editor. D’Argenio, Pedro R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334907.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40196-1

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Author

Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.

Preferred Shelf Number

ONLINE(335120.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing

Author

Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334079.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35893-7

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

Author

Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334111.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36062-6

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11