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

117 Results Found

1 2 3 4 5 6 .. 10

000000000000DEFAULT

37.

Semantics with Applications: An Appetizer

Author

Nielson, Hanne Riis. author. Nielson, Flemming. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-692-6

Format:

Availability

Online Library~1

Available:
Copies:

38.

Finite Model Theory and Its Applications

Author

Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

Author

Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows

Author

Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings

High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings

Author

Bosschere, Koen. editor. Kaeli, David. editor. Stenström, Per. editor. Whalley, David. editor. Ungerer, Theo. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

Author

Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Author

Hanus, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

Author

Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Author

Kordon, Fabrice. editor. Sztipanovits, Janos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Author

Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings

Author

Thomas, Wolfgang. editor. Weil, Pascal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

Author

Padgham, Lin. editor. Zambonelli, Franco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6 .. 10

	{displayName}	{count}
{error}