Filtre: Calculatoare şi IT

Cărți de David Schmidt

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Lecture Notes in Computer Science, nr. 6538

Editat de Ranjit Jhala et al.

11 ian 2011

Preț: 341^.15 lei 426^.44 lei

22-36 zile

-20%

Bioanalytische Struktur-Funktionsmessungen an Ionenkanälen: Entwicklung optischer Analysemethoden an punktmutierten KcsA und Connexin 26

Autor David Schmidt

6 sep 2017

Preț: 378^.11 lei 472^.63 lei

43-57 zile

-20%

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7460

Editat de Antoine Mine et al.

3 aug 2012

Preț: 340^.98 lei 426^.22 lei

43-57 zile

-20%

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Lecture Notes in Computer Science, nr. 2986

Editat de David Schmidt

18 mar 2004

Preț: 822^.97 lei 1028^.72 lei

43-57 zile

-20%

The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones

Lecture Notes in Computer Science, nr. 2566

Editat de Torben Mogensen et al.

13 dec 2002

Preț: 343^.44 lei 429^.30 lei

43-57 zile

-20%

Mathematical Foundations of Programming Semantics: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings

Lecture Notes in Computer Science, nr. 802

Editat de Stephen Brookes et al.

20 mai 1994

Preț: 663^.79 lei 829^.73 lei

43-57 zile

-20%