Search Results for Model theory.

11 Results Found

00000000000DEFAULT

Model-Based Control: Bridging Rigorous Theory and Advanced Technology

Author

Hof, Paul M.J. editor. Scherer, Carsten. editor. Heuberger, Peter S.C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0895-7

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

Theory and Practice of Model Transformations Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

Author

Paige, Richard F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Mathematical logic : A course with exercises

Author

Cori, Rene. Lascar, Daniel, 1942- ort. yaz.

Preferred Shelf Number

QA 9 C742513 2000 PT.1

Format:

Availability

Beytepe Library~2

Available:
Copies:

Key Ideas in Linguistics and the Philosophy of Language

Author

Chapman, Siobhan, author. Routledge, Christopher, author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1515/9780748631421
https://www.degruyter.com/isbn/9780748631421
Cover https://www.degruyter.com/document/cover/isbn/9780748631421/original

Format:

Availability

Online Library~1

Available:
Copies:

Explorations of Phase Theory: Interpretation at the Interfaces

Author

Geraci, Carlo, contributor. Grohmann, Kleanthes K., contributor. Grohmann, Kleanthes K., editor. Haiden, Martin, contributor. Kallulli, Dalina, contributor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1515/9783110213959
https://www.degruyter.com/isbn/9783110213959
Cover https://www.degruyter.com/document/cover/isbn/9783110213959/original

Format:

Availability

Online Library~1

Available:
Copies:

An introduction to gravity currents and intrusions

Author

Ungarish, M. (Marius), 1951, author.

Preferred Shelf Number

QB334 .U54 2009

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

Invariant descriptive set theory

Author

Gao, Su, 1968, author.

Preferred Shelf Number

QA248 .G36 2009

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

Real gas flows with high velocities

Author

Lunev, Vladimir., author.

Preferred Shelf Number

TL571.5 .L86213 2009

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

Linear causal modeling with structural equations

Author

Mulaik, Stanley A., 1935, author.

Preferred Shelf Number

H61.25 .M84 2009

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

10.

Kinetic modeling of reactions in foods

Author

Boekel, M. A. J. S. van., author.

Preferred Shelf Number

TX545 .B64 2009

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

11.

Community policing : international patterns and comparative perspectives

Author

Wisler, Dominique. Onwudiwe, Ihekwoaba D.

Preferred Shelf Number

HV7936 .C83 C66 2009

Electronic Access

Click here to view.

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}