Search results for “[Subject: programming-compilers]”
Filters
- Springer
- 12th Media Services
- Ablex Publishing Corporation
- Academic Press
- ACM
- ADavis Publishing
- Addison-Wesley Professional
- Aion Multimedia
- ALA Editions
- Alan Grid
- Ambrosius Publishing
- American Bible Society
- Anchor Academic Publishing
- Anson Street Press
- Apress
- ASTD
- Auerbach Publications
- Authorhouse UK
- Bayya
- Berghahn Books
- Bibliogov
- Biblioscholar
- Bloomsbury
- Bloomsbury Academic
- Blurb
- Bod - Books on Demand
- Booksurge Publishing
- Bottom of the Hill Publishing
- Bpb Publications
- Brill Nijhoff
- British Library, Historical Print Editions
- Cab International
- CABI
- Cambridge University Press
- Cambridge UP
- Cengage Learning India
- Centre for Addiction and Mental Health
- Chandos Publishing
- Charles M Dominquez
- Chinese University of Hong Kong Press
- Clemson University Press W/ Lup
- Clube de Autores
- Cognella Academic Publishing
- Coherent Press
- College Board
- College Publications
- Continuum
- Cornell University Press
- Coronat Services, LLC
- Corwin Publishers
- Course Technology
- CRC Press
- Createspace Independent Publishing Platform
- Dagger and Scythe
- Deutscher Universitatsverlag
- Diplomica Verlag
- Dot Edu
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editions Universitaires Europeennes
- Edizioni Sapienza
- Efren Cronin
- Eldonusa
- Elijah Lewis
- Eliva Press
- Elsevier
- Elsevier Science
- Emerald Publishing Limited
- Engineering Science Reference
- Equinox Publishing
- Eyrolles Group
- F. A. Davis Company
- Facsimile Publisher
- Felix Meiner
- For Dummies
- Fordham University Press
- Future Horizons
- Gale Ecco, Making of Modern Law
- Gale Ecco, Print Editions
- Gale Ecco, Sabin Americana
- Genever Benning
- Giddy Up Mikey
- Globeedit
- Greenwood
- Greenwood Press
- Grin Verlag
- Hansebooks
- Hassell Street Press
- HP Publishing (UK) Ltd
- Hutson Street Press
- I/O Press
- In Easy Steps
- Independently Published
- Indiana University Press (Ips)
- Industrial Press
- Information Age Publishing
- Information Science Reference
- Jaypee Brothers Medical Publishers
- Jem-Brm, LLC
- John Smiley Publishing
- Springer
- 12th Media Services
- A K PETERS
- Ablex Publishing Corporation
- Academic Press
- ACM
- ADavis Publishing
- Addison-Wesley Professional
- Aion Multimedia
- ALA Editions
- Alan Grid
- Ambrosius Publishing
- American Bible Society
- Anchor Academic Publishing
- Anson Street Press
- Apress
- ASTD
- Auerbach Publications
- Authorhouse UK
- Bayya
- Berghahn Books
- Bibliogov
- Biblioscholar
- Birkhauser
- Bloomsbury
- Bloomsbury Academic
- Blurb
- Bod - Books on Demand
- Booksurge Publishing
- Bottom of the Hill Publishing
- Bpb Publications
- Brill Nijhoff
- British Library, Historical Print Editions
- Cab International
- CABI
- Cambridge
- Cambridge University Press
- Cengage Learning India
- Centre for Addiction and Mental Health
- Chandos Publishing
- Chapman and Hall/CRC
- Chapman Hall
- Charles M Dominquez
- Chinese University of Hong Kong Press
- Clemson University Press W/ Lup
- Clube de Autores
- Cognella Academic Publishing
- Coherent Press
- College Board
- College Publications
- Continuum
- Cornell University Press
- Coronat Services, LLC
- Corwin Publishers
- Course Technology
- CRC Press
- CRC/CH
- Createspace Independent Publishing Platform
- Dagger and Scythe
- Deutscher Universitatsverlag
- Diplomica Verlag
- Dot Edu
- Edicoes Nosso Conhecimento
- Editions Notre Savoir
- Editions Universitaires Europeennes
- Edizioni Sapienza
- Efren Cronin
- Eldonusa
- Elijah Lewis
- Eliva Press
- Elsevier
- Elsevier Science
- Emerald Publishing Limited
- Engineering Science Reference
- Equinox Publishing
- Eyrolles Group
- F. A. Davis Company
- Facsimile Publisher
- Felix Meiner
- For Dummies
- Fordham University Press
- Future Horizons
- Gale Ecco, Making of Modern Law
- Gale Ecco, Print Editions
- Gale Ecco, Sabin Americana
- Genever Benning
- Giddy Up Mikey
- Globeedit
- Greenwood
- Greenwood Press
- Grin Verlag
- Guilford Publications
- Hansebooks
- Hassell Street Press
- HP Publishing (UK) Ltd
- Hutson Street Press
- I/O Press
- In Easy Steps
- Independently Published
- Indiana University Press (Ips)
- Bio-Science and Agriculture
- Business Management
- Career Counselling
- Chemistry
- Computer Science and Information Technology
- Education & Psychology
- Engineering
- English Literature
- Fisheries & Aquaculture
- Food Science & Technology
- General Books
- Health, Physical Fitness and Yoga
- Library & Information Science
- Mathematics and Statistics
- Medical, Nursing and Health Sciences
- Nutrition and Dietetics
- Physics and Astronomy
- Religion and Philosophy
- Sociology and Anthropology
- Tourism, Travel Guide & Hospitality
- Writing/Research Methods
- A. Antony Prakash
- Alain Darte
- Alan Grid
- Alexandru-Petru Tanase
- Amal Ahmed
- Amara Hawthorn
- Andrew W. Appel
- Anonymous
- Anthony J. Dos Reis
- Aristides Bouras
- C. Wade Savage
- Calvin Noyes Kendall
- Charles Lins
- Christian Wagenknecht
- Chuck Hellebuyck
- Cliff B. Jones
- Clifford Liem
- Clinton L. Jeffery
- Committee on International Relations
- Connie Tang
- David E. Hudak
- David J. Lilja
- David R. Brooks
- Diana Schmidt
- Dick Grune
- Dieter Hammer
- Dirk Draheim
- Dirk Koch
- Dmitry Vostokov
- Edmund V. Starrett
- Enno Ohlebusch
- Franz W. Gatzweiler
- Fritz Henglein
- Gcc Dev Community
- Gcc Development Community
- Gcc Documentation Team
- Gedare Bloom
- Gerd Harbeck
- Gerhard Paulin
- Hanspeter Mössenböck
- Helmut Seidl
- Herbert Schildt
- Irini A. Stamatoudi
- James RAM
- Jean-Michel Muller
- Jeffrey B. Scott
- Jens Knoop
- Jeremy G. Siek
- Jesus Carretero
- Jingling Xue
- João M. P. Cardoso
- João Manuel Paiva Cardoso
- John I. Moore
- John Smiley
- John W. McCormick
- Juergen Pintaske
- Jüri Plado
- Kazuyuki Kanosue
- Kevin Hammond
- Kim Huynh-Ba
- L. L. Bumgarner
- Leandro Silva de Paula
- Lee A. Westberry
- Leen Ammeraal
- Lewis Morris
- Lubomir Bic
- Luca Benini
- Mads Tofte
- Margaret Wan
- Mário Ildefonso Ribeiro Bier
- Massimo Torquati
- Miguel Farmer
- Mitsuhisa Sato
- Monica S. Lam
- Nathan Westwood
- Niklaus Wirth
- Okon H. Akpan
- Olivier Danvy
- Onn Shehory
- Partha Pratim Pande
- Peter D. Mosses
- Peter O'Hearn
- Pierre Deransart
- Praveen Gupta
- Rainer Alletsee
- Rainer Leupers
- Ray Lischner
- Reinhard Wilhelm
- Residency Guide
- Richard Davey
- Ron Cody
- Sajid Kunhabdulla
- Sandeep Koranne
- Santosh Pande
- Seppo Sippu
- Stefan Jähnichen
- Steven E. Koonin
- Steven Hugg
- Utpal Banerjee
- William Brown
Products
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Dirk Draheim
Hardcover
Current price
₹8,732
Original price
₹13,433
Original price
₹13,433
Original price
₹13,433
(-35%)
₹8,732
Current price
₹8,732
| /
• Author(s): Dirk Draheim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Marko...
View full details
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Dirk Draheim
Paperback
Current price
₹8,732
Original price
₹13,433
Original price
₹13,433
Original price
₹13,433
(-35%)
₹8,732
Current price
₹8,732
| /
• Author(s): Dirk Draheim • Publisher: Springer • Publisher Imprint: Springer • BISAC: Programming - CompilersFrom the Back CoverThis book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Marko...
View full details
