Formal Sciences

1,038 books
Theory and formal methodsImperial College Department of Computing Workshop on Theory and Formal Methods (1st 1993 Chelwood Gate, England)
⏱ 5h 25m

Theory and formal methods

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

1993325 pp.
Synchronous equivalenceHarry Hsieh
⏱ 2h 16m

Synchronous equivalence

Harry Hsieh

2001136 pp.
Computer mathematicsClifford L. Conrad
⏱ 3h 30m

Computer mathematics

Clifford L. Conrad

1975210 pp.
National critical technologies reportUnited States. Office of Science and Technology Policy
⏱ 3h 17m

National critical technologies report

United States. Office of Science and Technology Policy

1995197 pp.
Free-Choice Science EducationJohn Falk
⏱ 18h 29m

Free-Choice Science Education

John Falk

20011109 pp.
Discipline umanistiche e informaticaUnknown Author
⏱ 3h 0m

Discipline umanistiche e informatica

Unknown Author

1997180 pp.
Fourth IEEE International Conference on Software Engineering and Formal MethodsIEEE International Conference on Software Engineering and Formal Methods (4th 2006 Pune, India)
⏱ 4h 23m

Fourth IEEE International Conference on Software Engineering and Formal Methods

IEEE International Conference on Software Engineering and Formal Methods (4th 2006 Pune, India)

2006263 pp.
First International Conference on Software Engineering and Formal MethodsQld.) International Conference on Software Engineering and Formal Methods (1st 2003 Brisbane
⏱ 3h 49m

First International Conference on Software Engineering and Formal Methods

Qld.) International Conference on Software Engineering and Formal Methods (1st 2003 Brisbane

2003229 pp.
Practical formal methods with VDMDerek Andrews
⏱ 7h 30m

Practical formal methods with VDM

Derek Andrews

1991450 pp.
Special issueLéonie J. Rennie
⏱ 4h 16m

Special issue

Léonie J. Rennie

2003256 pp.
Formal methods in architecture and urbanismDavid Leite Viana
⏱ 6h 37m

Formal methods in architecture and urbanism

David Leite Viana

2018397 pp.
Handbook of Formal LanguagesGrzegorz Rozenberg
⏱ 8h 48m

Handbook of Formal Languages

Grzegorz Rozenberg

1997528 pp.
Software prototyping, formal methods, and VDMSharam Hekmatpour
⏱ 3h 42m

Software prototyping, formal methods, and VDM

Sharam Hekmatpour

1988222 pp.
SEFM 2009IEEE International Conference on Software Engineering and Formal Methods (7th 2009 Hanoi, Vietnam)
⏱ 5h 26m

SEFM 2009

IEEE International Conference on Software Engineering and Formal Methods (7th 2009 Hanoi, Vietnam)

2009326 pp.
Formal Methods Foundations And Applications 15th Brazilian Symposium ProceedingsDavid Naumann

Formal Methods Foundations And Applications 15th Brazilian Symposium Proceedings

David Naumann

2012No page data
Science for the fun of itMarvin Druger
⏱ 2h 21m

Science for the fun of it

Marvin Druger

1988141 pp.
Formal methods for industrial critical systemsStefania Gnesi

Formal methods for industrial critical systems

Stefania Gnesi

2012No page data
FMSE '05ACM Workshop on Formal Methods in Security Engineering (3rd 2005 Fairfax, Va.)
⏱ 1h 23m

FMSE '05

ACM Workshop on Formal Methods in Security Engineering (3rd 2005 Fairfax, Va.)

200583 pp.
FMSE '04ACM Workshop on Formal Methods in Security Engineering (2004 Washington, D.C.)
⏱ 1h 37m

FMSE '04

ACM Workshop on Formal Methods in Security Engineering (2004 Washington, D.C.)

200497 pp.
Theoretical computer scienceGesellschaft für Informatik.
⏱ 4h 20m

Theoretical computer science

Gesellschaft für Informatik.

1981260 pp.
← PreviousPage 6 of 52Next →