Formal Sciences

1,038 books
Science in the Making at the MarginJrène Rahm
⏱ 5h 34m

Science in the Making at the Margin

Jrène Rahm

2010334 pp.
Informe final del Simposio Regional de Divulgación Científica y Tecnológica en la Educación ExtraescolarSimposio Regional de Divulgación Científica y Tecnológica en la Educación Extraescolar (1982 Montevideo, Uruguay)
⏱ 1h 20m

Informe final del Simposio Regional de Divulgación Científica y Tecnológica en la Educación Extraescolar

Simposio Regional de Divulgación Científica y Tecnológica en la Educación Extraescolar (1982 Montevideo, Uruguay)

198380 pp.
Regulated rewriting in formal language theoryJurgen Dassow
⏱ 5h 8m

Regulated rewriting in formal language theory

Jurgen Dassow

1989308 pp.
A programming approach to formal methodsChris Casey
⏱ 4h 22m

A programming approach to formal methods

Chris Casey

1994262 pp.
Regulated rewriting in formal language theoryJürgen Dassow
⏱ 5h 8m

Regulated rewriting in formal language theory

Jürgen Dassow

1990308 pp.
Industrial-strength formal methods in practiceMichael G. Hinchey
⏱ 6h 40m

Industrial-strength formal methods in practice

Michael G. Hinchey

1999400 pp.
Intelligent Computer MathematicsJacques Carette
⏱ 6h 40m

Intelligent Computer Mathematics

Jacques Carette

2009400 pp.
Software development with ZJ. B. Wordsworth
⏱ 5h 34m

Software development with Z

J. B. Wordsworth

1992334 pp.
Understanding Formal Methods (FACIT)Jean-Francois Monin
⏱ 4h 36m

Understanding Formal Methods (FACIT)

Jean-Francois Monin

2003276 pp.
Developments in language theoryZoltán Ésik
⏱ 7h 17m

Developments in language theory

Zoltán Ésik

2003437 pp.
UML 2 Semantics and ApplicationsKevin Lano

UML 2 Semantics and Applications

Kevin Lano

2009No page data
SysML for systems engineeringJon Holt
⏱ 10h 8m

SysML for systems engineering

Jon Holt

2008608 pp.
Descriptional Complexity of Formal SystemsJürgensen
⏱ 4h 59m

Descriptional Complexity of Formal Systems

Jürgensen

2013299 pp.
Formal description techniques, IXInternational Conference on Formal Description Techniques (9th 1996 Kaiserslautern, Germany)
⏱ 8h 58m

Formal description techniques, IX

International Conference on Formal Description Techniques (9th 1996 Kaiserslautern, Germany)

1996538 pp.
Formal methods for components and objectsFrank S. de Boer
⏱ 8h 31m

Formal methods for components and objects

Frank S. de Boer

2003511 pp.
Software specificationJohn D. Gannon
⏱ 4h 9m

Software specification

John D. Gannon

1993249 pp.
Logic, Mathematics, and Computer ScienceYves Nievergelt
⏱ 6h 43m

Logic, Mathematics, and Computer Science

Yves Nievergelt

2015403 pp.
Foundations and applications of security analysisJoint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)
⏱ 3h 41m

Foundations and applications of security analysis

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England)

2009221 pp.
Surveillance, crime, and social controlClive Norris
⏱ 10h 10m

Surveillance, crime, and social control

Clive Norris

2006610 pp.
Formal methods and software engineeringInternational Conference on Formal Engineering Methods (9th 2007 Boca Raton, Fla.)
⏱ 6h 26m

Formal methods and software engineering

International Conference on Formal Engineering Methods (9th 2007 Boca Raton, Fla.)

2007386 pp.
← PreviousPage 5 of 52Next →