Buchportal für Bücher die eine ISBN tragen.

nach "Person" filtern

Michał Skrzypczak (2)
Mohan Ganesalingam (2)
Mumtaz Siddiqui (2)
Oded Goldreich (2)
Richard Moot (2)
Ronald de Haan (2)
Thomas Zeume (2)
Zoltán Horváth (2)
Slawomir Stanczak (1)

nach "Medientyp" filtern

eBooks (1361)
Bücher (1331)

Reihe Theoretical Computer Science and General Issues

Springer Berlin ×
Buchcover Theories of Programming and Formal Methods
 
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Springer Berlin
Softcover
2013
53,49 €
Buchcover Formal Grammar
 
Formal Grammar
17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf,
Springer Berlin
eBook
2013
53,49 €
Buchcover Theories of Programming and Formal Methods
 
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Springer Berlin
eBook
2013
53,49 €
Buchcover CONCUR 2013 -- Concurrency Theory
 
CONCUR 2013 -- Concurrency Theory
24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Springer Berlin
eBook
2013
53,49 €
Buchcover Quantitative Evaluation of Systems
 
Quantitative Evaluation of Systems
10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Springer Berlin
eBook
2013
53,49 €
Buchcover Formal Modeling and Analysis of Timed Systems
 
Formal Modeling and Analysis of Timed Systems
11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
Springer Berlin
eBook
2013
48,14 €
Buchcover Fundamentals of Computation Theory
 
Fundamentals of Computation Theory
19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings
Springer Berlin
eBook
2013
53,49 €
Buchcover Interactive Theorem Proving
 
Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Springer Berlin
eBook
2013
53,49 €
Buchcover Euro-Par 2013: Parallel Processing
 
Euro-Par 2013: Parallel Processing
19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings
Springer Berlin
eBook
2013
53,49 €
Buchcover The Nature of Computation: Logic, Algorithms, Applications
 
The Nature of Computation: Logic, Algorithms, Applications
9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
Springer Berlin
Softcover
2013
53,49 €

2.721 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 ...