Search Results for -- -UYGARLIK, -ORTAÇAĞ, -EDEBİYATTA.

110 Results Found

1 2 3 4 5 .. 10

000000000000DEFAULT

25.

Cover image for Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Author

Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

Author

Godefroid, Patrice. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Author

Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

Author

Liu, Zhiming. editor. Araki, Keijiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

Author

Nieuwenhuis, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings

Author

Jȩdrzejowicz, Joanna. editor. Szepietowski, Andrzej. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings

Author

Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

Author

Zucker, Jean-Daniel. editor. Saitta, Lorenza. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures

Author

Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

Author

Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

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:

36.

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

Author

Gabbrielli, Maurizio. editor. Gupta, Gopal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 10

	{displayName}	{count}
{error}