Programming Languages and Systems
di Ranjit Jhala- Prima pubblicazione
- 2012
- Editori
- Springer Berlin Heidelberg·Imprint: Springer
- Soggetti
- Mathematical logic and formal languages·Programming techniques·Software engineering·Systems and data security·Data protection·Logic design·Logics and meanings of programs·Computer science·Programming languages·Compilers·Interpreters
Libri
Nation and Its Navy at War
Ranjit B. Rai
Kathmandu Dilemma
Ranjit Rae
Refinement Types
Ranjit Jhala
Drawing Book
Ranjit singh
Wonders of the World
Henna Ranjit
Dragon Drawing Book
Ranjit Singh
Spatial Dynamics and Pattern Formation in Biological Populations
Ranjit Kumar Upadhyay
Practical Interpretation of Liver Biopsy, Volume 2
Xiuli Liu, Jinping Lai, Nirag Jhala
Travels and Travails-Mona's Journey
Ranjit Arora
Conflict and Collective Action
Ranjit Dwivedi
Conflict and Collective Action
Ranjit Dwivedi
Birth of a Colonial City
Ranjit Sen
Birth of a Colonial City
Ranjit Sen
Conflict and Collective Action
Ranjit Dwivedi
Calcutta in Colonial Transition
Ranjit Sen
Genealogy, Archive, Image
Jayasinhji Jhala
Meditation and Martini
Ranjit Rao
Mapping Power
Ranjit Bharvirkar
Shodh Karyapranali
Ranjit Kumar
Dugong and the Barracudas
Ranjit Lal
Maoism in India and Nepal
Ranjit Bhushan
Royal Patronage, Power and Aesthetics in Princely India
Angma Dey Jhala
Courtly Indian Women in Late Imperial India
Angma Dey Jhala
Lion Was Learning to Ski
Ranjit Bolt
The Dugong and the Barracudas
Ranjit Lal
Recycling our future
Ranjit S. Baxi
India-China boundary issues
Ranjit Singh Kalha
Research Methodology
Ranjit Kumar
Compiler Construction
Ranjit Jhala
Census of India, 2011
Ranjit Singh Deol
Solo art exhibition rem
Ranjit Das
The deadly royal recipe
Ranjit Lal
Vismita atīta urumayan
Rañjit Hēvagē
Royal Patronage, Power and Aesthetics in Princely India
Angma Dey Jhala
Royal Patronage Power And Aesthetics In Princely India
Angma Dey Jhala
The art of translation
Ranjit Bolt
Property, aristocracy & the Raj
Ranjit Sen
Professional education in Punjab
Ranjit Singh Ghuman
Mahagama Sēkara āvarjanā
Rañjit Amarakīrti Palihapiṭiya
Retrieval systems
Ranjit Hoskote
Mahagama Sēkara āvarjanā
Rañjit Amarakīrti Palihapiṭiya
Mahagama Sēkara āvarjanā
Rañjit Amarakīrti Palihapiṭiya
Mahagama Sēkara āvarjanā
Rañjit Amarakīrti Palihapiṭiya
Design of Experiments Using the Taguchi Approach
Ranjit K. Roy
Courtly Indian women in late imperial India
Angma Dey Jhala
Strong immune system in 100 days
Ranjit Kumar Chandra
Puṣṭividhānam vyākaraṇam
Dharmendrasiṃha Jhālā
Historical Dictionary of Brunei Darussalam
D. S. Ranjit Singh
Research methodology
Ranjit Kumar
Robert Knox
Ranjit Dharmakīrti
Reebok handbook of Indian athletics
Ranjit Bhatia
ASEAN towards the 21st century
Ranjit Gill
The great Indian barbeque
Ranjit Rai
Small and beautiful
Ranjit Lal
Libri simili
Essentials of Time Series for Financial Applications
Massimo Guidolin
Agent-Based Models in Economics
Domenico Delli Gatti
Business Model Innovation
M. S. Krishnan
Simulation Physikalischer Systeme
Wolfgang Schweizer
Statsnotes
Alan Jessop
Lectures on Selected Topics in Mathematical Physics
William A. Schwalm
Basic Statistics
Seemon Thomas
Nonparametric Comparative Statics and Stability
Douglas Hale
Unconventional Computation and Natural Computation
Giancarlo Mauri
Computational Techniques in Modeling and Simulation
Victor Krasnoproshin
Tools for Computational Finance
Rüdiger U. Seydel
German-Japanese Interchange of Data Analysis Results
Wolfgang Gaul
Reachability Problems
Alain Finkel
Reversible Computation
Alexis Vos
Statik Mit Maple-Anwendungen
Friedrich U. Mathiak
New paradigms in financial economics
Kazem Falahati
Network Modelling of Engineering Systems
Janos Korn
Recesión, crisis, reactivación y crecimiento, 1998-2008
Daniel Sebastián Carbonetto Kölln
Forecasting in Financial and Sports Gambling Markets
William S. Mallios
Quantitative financial risk management
Desheng Dash Wu
Modeling survival data using frailty models
David D. Hanagal
Data Analysis
Brian G. Leroux
Logic and philosophy of mathematics in the early Husserl
Stefania Centrone
Algorithms in computational molecular biology
Mourad Elloumi
Elementary Statistics
Nancy Pfenning
Inverse problems in vision and 3D tomography
Ali Mohamad-Djafari
Physics of Finance
Kirill Ilinski
Decision Theory and Multi-Agent Planning
Giacomo Della Riccia
Formal Concept Analysis
Bernhard Ganter
Development Policy and Planning
Anis Chowdhury
Sheaves, Games, and Model Completions
Silvio Ghilardi
Trends in mathematical physics
Conference on Trends in Mathematical Physics (1998 University of Tennessee)
El precio de los inmuebles urbanos
Enrique Ballestero
A regional flow model of the Volusia ground water basin
Stan A. Williams
Snotel water supply forecast and instrumentation development
Northwest Watershed Research Center (U.S.)
Shōhi no sūryō keizai bunseki
Terukazu Suruga
Recurrence relations
Open University
On prediction intervals from normal samples
Toke Jayachandran
Introductory mathematical statistics
Erwin Kreyszig
Library effectiveness
Philip McCord Morse
Proceedings
Colloquium on Modal and Many-valued Logics (Helsinki 1962)
The axiomatic method
Leon Henkin
Mathematics of relativity
G. Y. Rainich
The growth of etch-figures
William Harvey McNairn