Compilation Informatique

38 books
Le titulairePaul Patenaude

Le titulaire

Paul Patenaude

1991No page data
Software engineeringD. Bjørner
⏱ 11h 54m

Software engineering

D. Bjørner

2006714 pp.
Software Language Engineering Lecture Notes in Computer ScienceBrian Malloy

Software Language Engineering Lecture Notes in Computer Science

Brian Malloy

2011No page data
NASA Formal MethodsJulia M. Badger
⏱ 6h 40m

NASA Formal Methods

Julia M. Badger

2014400 pp.
Software Engineering 2Dines Bjorner
⏱ 13h 0m

Software Engineering 2

Dines Bjorner

2006780 pp.
Compilateurs avec C++Jacques Menu
⏱ 6h 46m

Compilateurs avec C++

Jacques Menu

1994406 pp.
Optimal interprocedural program optimizationJens Knoop
⏱ 4h 48m

Optimal interprocedural program optimization

Jens Knoop

1998288 pp.
Formal Methods and Software EngineeringShengchao Qin
⏱ 10h 18m

Formal Methods and Software Engineering

Shengchao Qin

2011618 pp.
Languages and Compilers for Parallel ComputingGerhard Goos
⏱ 10h 12m

Languages and Compilers for Parallel Computing

Gerhard Goos

1997612 pp.
Synchronous programming of reactive systemsNicolas Halbwachs
⏱ 2h 54m

Synchronous programming of reactive systems

Nicolas Halbwachs

1993174 pp.
Rewriting techniques and applicationsPierre Lescanne

Rewriting techniques and applications

Pierre Lescanne

No page data
Languages and compilers for parallel computingWorkshop on Languages and Compilers for Parallel Computing (11th 1998 Chapel Hill, NC, USA)
⏱ 6h 24m

Languages and compilers for parallel computing

Workshop on Languages and Compilers for Parallel Computing (11th 1998 Chapel Hill, NC, USA)

1999384 pp.
Formal Methods for Eternal Networked Software SystemsMarco Bernardo
⏱ 8h 56m

Formal Methods for Eternal Networked Software Systems

Marco Bernardo

2011536 pp.
Software And Data Technologies 4th International Conference Icsoft 2009 Sofia Bulgaria July 2629 2009 Revised Selected PapersAlpeshkumar Ranchordas

Software And Data Technologies 4th International Conference Icsoft 2009 Sofia Bulgaria July 2629 2009 Revised Selected Papers

Alpeshkumar Ranchordas

2011No page data
Evaluation of Novel Approaches to Software Engineering Communications in Computer and Information ScienceLeszek A. Maciaszek
⏱ 4h 37m

Evaluation of Novel Approaches to Software Engineering Communications in Computer and Information Science

Leszek A. Maciaszek

2012277 pp.
Formal Methods for Industrial Critical SystemsGwen Salaün

Formal Methods for Industrial Critical Systems

Gwen Salaün

2011No page data
FM 2011: Formal MethodsMichael Butler

FM 2011: Formal Methods

Michael Butler

2011No page data
Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 ProceedingsAnuj Dawar

Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings

Anuj Dawar

2010No page data
← PreviousPage 2 of 2