Typed Lambda Calculi and Applications
Mariangiola Dezani-Ciancaglini, Gordon Plotkin
₹5,666
Publisher
Books from Springer
New, genuine Springer titles, delivered free across India.
Page 1315 of 1,389
Typed Lambda Calculi and Applications
Philippe De Groote, J. Roger Hindley
₹5,645
Typed Lambda Calculi and Applications
Luke Ong
₹5,517
Types for Proofs and Programs
Herman Geuvers, Freek Wiedijk
₹5,543
Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani
₹5,586
Types for Proofs and Programs
Thierry Coquand, Peter Dybjer, Bengt Nordström
₹3,398
Types for Proofs and Programs
Henk Barendregt, Tobias Nipkow
₹5,576
Types for Proofs and Programs
Peter Dybjer, Bengt Nordström, Jan Smith
₹5,483
Types for Proofs and Programs
Stefano Berardi, Mario Coppo
₹5,591
Types for Proofs and Programs
Eduardo Gimenez, Christine Paulin-Mohring
₹5,565
Types for Proofs and Programs
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
₹5,481
Types in Compilation
Robert Harper
₹5,562
Types in Compilation
Xavier Leroy, Atsushi Ohori
₹5,777
Types of Social Structure in Eastern Indonesia
Franciscus Antonius Evert Wouden
₹4,236
Typical and Atypical Child and Adolescent Development 6 Emotions, Temperament, Personality, Moral, Prosocial and Antisocial Development
Stephen von Tetzchner
₹3,556
Typologie Zum Überbetrieblichen Vergleich Von Fertigungssteuerungsverfahren Im Maschinenbau
Gerhard Rabus
₹3,623
Täterprofile Bei Gewaltverbrechen
Cornelia Musolff, Jens Hoffmann
₹5,694
U- And E-Service, Science and Technology
Tai-hoon Kim, Jianhua Ma, Wai-Chi Fang
₹5,498
U.S. Indo-Pacific Command
Denny Roy Motohiro Tsuchiya
₹3,878
U.S. Trade Deficit
Albert E. Burger
₹10,077
U.S. War Resisters’ Quest for Refuge in Canada
Sarah J. Grünendahl
₹3,201
UK Business Finance Directory 1990/91
J. Carr, P. Isbell
₹5,784
ULF Pulsations in the Magnetosphere
D. J. Southwood
₹4,211
UML 2000 - The Unified Modeling Language
Andy Evans, Stuart Kent, Bran Selic
₹4,842
