Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Antonio Criminisi
Häftad
1 399 kr
Del i serien Distinguished Dissertations
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Inbunden, Engelska, 1998
1 119 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
This work develops a theory of game semantics, a setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with a rich type structure. It applies it to construct a fully abstract model of the metalanguage FPC.
Produktinformation
- Utgivningsdatum1998-06-01
- FormatInbunden
- SpråkEngelska
- SerieDistinguished Dissertations
- Antal sidor224
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540762553
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Jacques Fleuriot
Häftad
1 399 kr
Hoppa över listan
Du kanske också är intresserad av
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Guy McCusker
Häftad
729 kr
Accurate Visual Metrology from Single and Multiple Uncalibrated Images
Antonio Criminisi
Häftad
1 399 kr
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Jacques Fleuriot
Häftad
1 399 kr
Dynamic Flexible Constraint Satisfaction and its Application to AI Planning
Ian Miguel
Inbunden
1 439 kr