MPG.eBooks - Search Results - "computer programs"

1

Introduction to Discrete Mathematics with ISETL

by Fenton, William E., Dubinsky, Ed
Published 1996

Springer New York

Subjects: “...Compilers (Computer programs)...”

Read Now

2

The Semantics and Proof Theory of the Logic of Bunched Implications

by Pym, David J.
Published 2002

Springer Netherlands

Subjects: “...Compilers (Computer programs)...”

Read Now

3

Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning

Published 2000

Springer Netherlands

Subjects: “...Compilers (Computer programs)...”

Read Now

4

Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

5

Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

6

Rewriting Techniques and Applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Published 1989

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

7

Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

8

The Parametric Lambda Calculus : A Metamodel for Computation

by Ronchi Della Rocca, Simona, Paolini, Luca
Published 2004

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

9

Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Published 2019

Springer Berlin Heidelberg

Subjects: “...Compilers (Computer programs)...”

Read Now

10

Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of S...

Published 2020

Springer International Publishing

Subjects: “...Compilers (Computer programs)...”

Read Now

11

Combinatorial scientific computing

by Naumann, Uwe
Published 2012

CRC Press

Subjects: “...Computer programming / fast...”

Read Now

12

Exact Exponential Algorithms

by Fomin, Fedor V., Kratsch, Dieter
Published 2010

Springer Berlin Heidelberg

Subjects: “...Computer programming...”

Read Now

13

Integer Programming and Combinatorial Optimization : 7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Subjects: “...Computer programming...”

Read Now

14

Combinatorics and Computer Science : 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers

Published 1996

Springer Berlin Heidelberg

Subjects: “...Computer programming...”

Read Now

15

Introduction to computational models with Python

by Garrido, José M.
Published 2016

CRC Press

Subjects: “...Python (Computer program language) / fast...”

Read Now

16

Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions

by Bertot, Yves, Castéran, Pierre
Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer programming...”

Read Now

17

Transactions on Petri Nets and Other Models of Concurrency III

Published 2009

Springer Berlin Heidelberg

Subjects: “...Computer programming...”

Read Now

18

Combinatorics of permutations

by Bóna, Miklós
Published 2022

Chapman & Hall/CRC

Subjects: “...COMPUTERS / Programming / Algorithms / bisacsh...”

Read Now

19

Introduction to computational modeling using C and open-source tools

by Garrido, José M.
Published 2013

CRC/Taylor & Francis

Subjects: “...C (Computer program language) / fast...”

Read Now

20

Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, Se...

Published 1992

Springer Berlin Heidelberg

Subjects: “...Computer programming...”

Narrow Search