Cover Image

QR Code

Behavioural types : from theory to tools /

Bibliographic Details
Other Authors:	Gay, Simon, (Editor), Ravara, Antonio, (Editor)
Format:	eBook
Language:	English
Published:	Delft, The Netherlands : River Publishers, [2017]
Series:	River Publishers series in automation, control and robotics.
Subjects:	Programming languages (Electronic computers) Electronic books.
Online Access:	Click to View

Similar Items

Credibilistic programming an introduction to models and applications /
by: Li, Xiang.
Published: (2013)

Applied C# in financial markets
by: Worner, Martin, 1963-
Published: (2004)

SQL by example /
by: Russo, John,
Published: (2019)

Developing .NET web services with XML
by: Jorgensen, David.
Published: (2002)

Handbook of natural language processing /
Published: (2010)

Movable Type 3 bible
by: Cadenhead, Rogers.
Published: (2005)

Certifications of critical systems - the CECRIS experience /
Published: (2017)

The book of SAX the simple API for XML /
by: Means, W. Scott.
Published: (2002)

Java programming for android developers /
by: Burd, Barry,
Published: (2017)

Introduction to scheduling
Published: (2010)

Securing E-Business applications and communications
by: Held, Jonathan S.
Published: (2001)

Oracle advanced PL/SQL developer professional guide master advanced PL/SQL concepts along with plenty of example questions for 1Z0-146 examination /
by: Gupta, Saurabh K.
Published: (2012)

The certified software quality engineer handbook /
by: Westfall, Linda, 1954-
Published: (2016)

The certified software quality engineer handbook /
by: Westfall, Linda, 1954-
Published: (2009)

Hack proofing your e-commerce site the only way to stop a hacker is to think like one /
Published: (2001)

Official (ISC)² guide to the ISSMP CBK /
Published: (2011)

Software life cycle management standards : real-world scenarios and solutions for savings /
by: Wright, David,
Published: (2011)

Tableau your data! : fast and easy visual analysis with Tableau Software /
by: Murray, Daniel G.,
Published: (2016)

Architecting enterprise solutions patterns for high-capability Internet-based systems /
by: Dyson, Paul.
Published: (2004)

Language-learner computer interactions : theory, methodology and CALL applications /
Published: (2016)

Foundations of decision-making agents logic, probability and modality /
by: Das, Subrata Kumar.
Published: (2008)

Python for finance : build real-life Python applications for quantitative finance and financial engineering /
by: Yan, Yuxing,
Published: (2014)

Strong partial clones and the complexity of constraint satisfaction problems : limitations and applications /
by: Lagerkvist, Victor,
Published: (2016)

Think like a programmer an introduction to creative problem solving /
by: Spraul, V. Anton.
Published: (2012)

Degunking Microsoft Office
by: Palaia, Wayne.
Published: (2005)

JavaScript complete.
by: Holzner
Published: (1999)

Java series [
Published: (1996)

Mastering SQL queries for SAP Business One utilize the power of SQL queries to bring Business Intelligence to your small to medium-sized business /
by: Du, Gordon.
Published: (2011)

How to implement market models using VBA /
by: Goossens, Francois, 1960-
Published: (2015)

Listed volatility and variance derivatives : a Python-based guide /
by: Hilpisch, Yves J.,
Published: (2017)

Augmented reality : theorie und praxis /
by: Mehler-Bicher, Anett,, et al.
Published: (2014)

Modern industrial statistics : with applications in R, MINITAB and JMP /
by: Kenett, Ron.
Published: (2014)

Intermediate structured finance modeling : everaging excel, VBA, access, and powerpoint /
by: Preinitz, William, 1950-, et al.
Published: (2011)

Business process driven SOA using BPMN and BPEL from business process modeling to orchestration and service oriented architecture /
by: Juric, Matjaz B.
Published: (2008)

Applied probabilistic calculus for financial engineering : an introduction using R /
by: Chan, B. K. C.
Published: (2017)

Financial risk modelling and portfolio optimization with R /
by: Pfaff, Bernhard,
Published: (2016)

Financial instrument pricing using C++
by: Duffy, Daniel J.
Published: (2004)

Introduction to R for quantitative finance /
by: Daroczi, Gergely.
Published: (2013)

Quantitative finance : an object-oriented approach in C++ /
by: Schlogl, Erik,
Published: (2014)

Financial instrument pricing using C++ /
by: Duffy, Daniel J.,
Published: (2018)