Search Results for R

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

19 Results Found

0000000000000000000DEFAULT

The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday

Author

Bodlaender, Hans L. editor. Downey, Rod. editor. Fomin, Fedor V. editor. Marx, Dániel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Distributed Computing and Internet Technology 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

Author

Ramanujam, R. editor. Ramaswamy, Srini. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Verification of Sequential and Concurrent Programs

Author

Apt, Krzysztof R. author. Boer, Frank S. author. Olderog, Ernst-Rüdiger. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84882-745-5

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Author

Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78800-3

Format:

Availability

Online Library~1

Available:
Copies:

The Calculus of Computation Decision Procedures with Applications to Verification

Author

Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74113-8

Format:

Availability

Online Library~1

Available:
Copies:

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

Author

Correa, José R. editor. Hevia, Alejandro. editor. Kiwi, Marcos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

Author

Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Analogue-digital ASICs Circuit techniques, design tools and applications

Author

Soin, R. S., ed. Maloberti, F., ed. Franca, J., ed.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1049/PBCS003E

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

Author

de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Author

D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334905.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Logic and computer design fundamentals

Author

Mano, M. Morris Kime, Charles R., ort. yaz.

Preferred Shelf Number

TK7888.4 M36 2008

Format:

Availability

Beytepe Library~3

Available:
Copies:

12.

Logic and computer design fundamentals

Author

Mano, M. Morris Kime, Charles R., ort. yaz.

Preferred Shelf Number

TK 7888.4 M36 2004

Format:

Availability

Beytepe Library~1

Available:
Copies:

13.

Digital logic design

Author

Holdsworth, B. (Brian) Woods, R. C. (R. Clive)

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780750645829

Format:

Availability

Online Library~1

Available:
Copies:

14.

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Author

Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334743.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Author

Cavalcanti, Ana. editor. Dams, Dennis R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Author

Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-28596-8

Format:

Availability

Online Library~1

Available:
Copies:

17.

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

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:

18.

Fundamentals of logic design

Author

Roth, Charles H.

Preferred Shelf Number

TK 7868.L6 R67 1985

Format:

Availability

Beytepe Library~1

Available:
Copies:

19.

Fundamentals of logic design

Author

Roth, Charles H.

Preferred Shelf Number

TK 7868.L6 R67 1979

Format:

Availability

Beytepe Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

	{displayName}	{count}
{error}