Formal Sciences

1,038 books
Fundamentals of CalculusBenjamin Crowell
⏱ 4h 6m

Fundamentals of Calculus

Benjamin Crowell

2016246 pp.
Introduction to automata theory, languages, and computationJohn E. Hopcroft
⏱ 8h 45m

Introduction to automata theory, languages, and computation

John E. Hopcroft

1979525 pp.
Curso de métodos de la física matemáticaHoracio Falomir
⏱ 2h 55m

Curso de métodos de la física matemática

Horacio Falomir

2015175 pp.
Theory and Formal Methods of Computing 94England) Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate
⏱ 7h 11m

Theory and Formal Methods of Computing 94

England) Imperial College Department of Computing Workshop on Theory and Formal Methods (1st : 1993 : Chelwood Gate

1995431 pp.
Curso de métodos de la física matemáticaHoracio Falomir
⏱ 4h 23m

Curso de métodos de la física matemática

Horacio Falomir

2015263 pp.
EstadísticaÁngel A. Juan
⏱ 4h 8m

Estadística

Ángel A. Juan

2011248 pp.
ZAntoni Diller
⏱ 6h 14m

Z

Antoni Diller

1990374 pp.
Software Specification MethodsHenri Habrias
⏱ 6h 58m

Software Specification Methods

Henri Habrias

2000418 pp.
The Way of ZJonathan Jacky
⏱ 6h 7m

The Way of Z

Jonathan Jacky

1996367 pp.
Formal Languages And CompilationLuca Breveglieri
⏱ 6h 52m

Formal Languages And Compilation

Luca Breveglieri

2013412 pp.
Formal methodsPaul Boca
⏱ 5h 0m

Formal methods

Paul Boca

2009300 pp.
Software specification methodsHenri Habrias
⏱ 6h 41m

Software specification methods

Henri Habrias

2006401 pp.
Estadística descriptiva univarianteAlicia Vila
⏱ 51m

Estadística descriptiva univariante

Alicia Vila

200651 pp.
Introducción a la estadística para las ciencias de la vidaElsa Moschetti
⏱ 3h 17m

Introducción a la estadística para las ciencias de la vida

Elsa Moschetti

2013197 pp.
Modeling in event-bJean-Raymond Abrial
⏱ 9h 59m

Modeling in event-b

Jean-Raymond Abrial

2006599 pp.
Sets, Logic and Maths for ComputingDavid Makinson
⏱ 6h 2m

Sets, Logic and Maths for Computing

David Makinson

2008362 pp.
Delay Insensitive CircuitsDennis Furey
⏱ 10h 52m

Delay Insensitive Circuits

Dennis Furey

2019652 pp.
Language and Automata Theory and ApplicationsAdrian-Horia Dediu
⏱ 10h 7m

Language and Automata Theory and Applications

Adrian-Horia Dediu

2012607 pp.
Modern Formal Methods and ApplicationsHossam A. Gabbar
⏱ 3h 31m

Modern Formal Methods and Applications

Hossam A. Gabbar

2006211 pp.
Principles of Cyber-Physical SystemsRajeev Alur
⏱ 7h 44m

Principles of Cyber-Physical Systems

Rajeev Alur

2015464 pp.
Page 1 of 52Next →