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

98 Results Found

1 2 3 4 5 6 .. 9

000000000000DEFAULT

37.

Mathematical Problems from Applied Logic I Logics for the XXIst Century

Author

Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-31072-X

Format:

Availability

Online Library~1

Available:
Copies:

38.

Logischer Entwurf digitaler Systeme

Author

Liebig, Hans. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

39.

Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung

Author

Lienig, Jens. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-29942-4

Format:

Availability

Online Library~1

Available:
Copies:

40.

Fundamentals of Algebraic Graph Transformation

Author

Ehrig, Hartmut. author. Ehrig, Karsten. author. Prange, Ulrike. author. Taentzer, Gabriele. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

Author

Emerson, E. Allen. editor. Namjoshi, Kedar S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedings

Author

Durand, Bruno. editor. Thomas, Wolfgang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Software Engineering 3 Domains, Requirements, and Software Design

Author

Bjøner, Dines. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Author

Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

Author

Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings

Author

Gorton, Ian. editor. Heineman, George T. editor. Crnković, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

Author

Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

Author

Ibarra, Oscar H. editor. Dang, Zhe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6 .. 9

	{displayName}	{count}
{error}