Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Inbunden, Engelska, 1998

Av Guy McCusker, G. McCusker

1 129 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

739 kr

Skickas inom 7-10 vardagar

Produktinformation

Mer från samma serie

Accurate Visual Metrology from Single and Multiple Uncalibrated Images

Accurate Visual Metrology from Single and Multiple Uncalibrated Images

Antonio Criminisi

1 409 kr

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Jacques Fleuriot

1 409 kr

Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

Ian Miguel

1 449 kr

Image Mosaicing and Super-resolution

Image Mosaicing and Super-resolution

David Capel

1 449 kr

Strength or Accuracy: Credit Assignment in Learning Classifier Systems

Strength or Accuracy: Credit Assignment in Learning Classifier Systems

Tim Kovacs

2 109 kr

User-Developer Cooperation in Software Development

User-Developer Cooperation in Software Development

Eamonn O'Neill

1 449 kr

Inheritance Relationships for Disciplined Software Construction

Inheritance Relationships for Disciplined Software Construction

Tracy A. Gardner

739 kr

Asynchronous System-on-Chip Interconnect

Asynchronous System-on-Chip Interconnect

John Bainbridge

709 kr

Automated Theory Formation in Pure Mathematics

Automated Theory Formation in Pure Mathematics

Simon Colton

1 409 kr

Stochastic Algorithms for Visual Tracking

Stochastic Algorithms for Visual Tracking

John MacCormick, John Maccormick

1 449 kr

Du kanske också är intresserad av

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Guy McCusker

739 kr

Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

JOURDAN MCCUSKER JOURDAN A EDALAT, Abbas Edalat, S Jourdan, G Mccusker, Uk) Edalat, Abbas (Imperial College, Uk) Jourdan, S (Imperial College, Uk) Mccusker, G (Imperial College, S. Jourdan, G. Mccusker

2 209 kr

Accurate Visual Metrology from Single and Multiple Uncalibrated Images

Accurate Visual Metrology from Single and Multiple Uncalibrated Images

Antonio Criminisi

1 409 kr

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Jacques Fleuriot

1 409 kr

Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

Dynamic Flexible Constraint Satisfaction and its Application to AI Planning

Ian Miguel

1 449 kr

Randomized Algorithms: Approximation, Generation, and Counting

Randomized Algorithms: Approximation, Generation, and Counting

Russ Bubley

1 409 kr

Stochastic Algorithms for Visual Tracking

Stochastic Algorithms for Visual Tracking

John MacCormick, John Maccormick

1 449 kr

User-Developer Cooperation in Software Development

User-Developer Cooperation in Software Development

Eamonn O'Neill, British Computer Society

1 449 kr

Models of Sharing Graphs

Models of Sharing Graphs

Masahito Hasegawa

739 kr

Asynchronous System-on-Chip Interconnect

Asynchronous System-on-Chip Interconnect

John Bainbridge

709 kr

Tillhör följande kategorier