Formal Sciences

1,038 books
No such thing as a free giftLinsey McGoey
⏱ 5h 0m

No such thing as a free gift

Linsey McGoey

2015300 pp.
Descriptional Complexity of Formal SystemsJeffrey Shallit
⏱ 5h 36m

Descriptional Complexity of Formal Systems

Jeffrey Shallit

2014336 pp.
What are schools for?Miller, Ron
⏱ 4h 6m

What are schools for?

Miller, Ron

1990246 pp.
Formal methods and software engineeringInternational Conference on Formal Engineering Methods (10th 2008 Kitakyushu-City, Japan)
⏱ 6h 36m

Formal methods and software engineering

International Conference on Formal Engineering Methods (10th 2008 Kitakyushu-City, Japan)

2008396 pp.
Computers in language researchWalter A. Sedelow
⏱ 3h 43m

Computers in language research

Walter A. Sedelow

1979223 pp.
Advances in theory and formal methods of computingA. Edalat
⏱ 5h 30m

Advances in theory and formal methods of computing

A. Edalat

1996330 pp.
Mathematical Logic for Computer ScienceMordechai Ben-Ari

Mathematical Logic for Computer Science

Mordechai Ben-Ari

2001No page data
Hermes and the TelescopePaolo Palmieri
⏱ 4h 20m

Hermes and the Telescope

Paolo Palmieri

2016260 pp.
Logic ProgrammingChristoph Beierle
⏱ 6h 51m

Logic Programming

Christoph Beierle

1994411 pp.
Challenges for Action TheoriesMichael Thielscher
⏱ 2h 18m

Challenges for Action Theories

Michael Thielscher

2000138 pp.
Artificial general intelligenceBen Goertzel
⏱ 5h 49m

Artificial general intelligence

Ben Goertzel

2007349 pp.
TechnopolisNigel Calder
⏱ 6h 21m

Technopolis

Nigel Calder

1969381 pp.
GameworldsSeth Giddings
⏱ 3h 12m

Gameworlds

Seth Giddings

2014192 pp.
Formal methods and software engineeringInternational Conference on Formal Engineering Methods (5th 2003 Singapore)
⏱ 11h 21m

Formal methods and software engineering

International Conference on Formal Engineering Methods (5th 2003 Singapore)

2003681 pp.
Formal methods in computingLajos Rónyai
⏱ 7h 5m

Formal methods in computing

Lajos Rónyai

2005425 pp.
Cálculo en varias variablesWalter Mora Flores
⏱ 5h 40m

Cálculo en varias variables

Walter Mora Flores

2012340 pp.
Formal specificationNimal Nissanke
⏱ 4h 55m

Formal specification

Nimal Nissanke

1999295 pp.
Web services and formal methodsMario Bravetti
⏱ 4h 49m

Web services and formal methods

Mario Bravetti

2006289 pp.
Developments in language theoryMasami Ito
⏱ 7h 9m

Developments in language theory

Masami Ito

2003429 pp.
Formal software developmentQuentin Charatan
⏱ 6h 40m

Formal software development

Quentin Charatan

2003400 pp.
← PreviousPage 2 of 52Next →