Cărți de Jens Knoop

Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6601

Editat de Jens Knoop

22 mar 2011

Preț: 334^.53 lei 418^.16 lei

3-5 săpt.

-20%

Architecture of Computing Systems - ARCS 2017: 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10172

Editat de Jens Knoop et al.

6 mar 2017

Preț: 331^.58 lei 414^.48 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Communications in Computer and Information Science, nr. 336

Editat de Reiner Hähnle et al.

12 oct 2012

Preț: 331^.40 lei 414^.26 lei

6-8 săpt.

-20%

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Lecture Notes in Computer Science, nr. 1428

Autor Jens Knoop

23 sep 1998

Preț: 332^.57 lei 415^.71 lei

6-8 săpt.

-20%