Adapting Proofs-as-Programs: The Curry--Howard Protocol
Autor Iman Poernomo et al.
19 noi 2010
Paperback
Preț: 955.14 lei 1193.93 lei
6-8 săpt.
-20%
Cărți de Martin Wirsing
Software-Intensive Systems and New Computing Paradigms
Editat de Martin Wirsing et al.
6 noi 2008
Paperback
Preț: 320.16 lei 400.20 lei
6-8 săpt.
-20%
Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
Editat de Martin Wirsing et al.
13 sep 2010
Paperback
Preț: 380.46 lei
3-5 săpt.
STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
Editat de Robert Cori et al.
27 ian 1988
Paperback
Preț: 325.61 lei 407.00 lei
6-8 săpt.
-20%
Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings
Editat de Jan Maluszynski et al.
14 aug 1991
Paperback
Preț: 341.79 lei 427.24 lei
6-8 săpt.
-20%
Adapting Proofs-As-Programs
Autor Iman Poernomo et al.
21 iun 2005
Hardback
Preț: 961.50 lei 1201.87 lei
6-8 săpt.
-20%
Radical Innovations of Software and Systems Engineering in the Future
Editat de Martin Wirsing et al.
18 mar 2004
Paperback
Preț: 325.06 lei 406.33 lei
6-8 săpt.
-20%
Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings
Editat de Maurice Bruynooghe et al.
12 aug 1992
Paperback
Preț: 329.91 lei 412.39 lei
6-8 săpt.
-20%
Algebraic Methods: Theory, Tools and Applications
Editat de Martin Wirsing et al.
20 sep 1989
Paperback
Preț: 633.38 lei 791.72 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing - ICTAC 2005
Editat de Dang Van Hung et al.
4 oct 2005
Paperback
Preț: 638.90 lei 798.63 lei
6-8 săpt.
-20%
Methods of Programming: Selected Papers on the CIP-Project
Editat de Manfred Broy et al.
23 oct 1991
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Elementare Aussagenlogik
Autor Friedrich L. Bauer et al.
28 mar 1991
Paperback
Preț: 346.14 lei 432.68 lei
6-8 săpt.
-20%
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Editat de Martin Wirsing et al.
9 mai 2011
Paperback
Preț: 643.20 lei 804.00 lei
6-8 săpt.
-20%
Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Editat de Marsha Chechik et al.
9 mar 2009
Paperback
Preț: 331.62 lei 414.53 lei
6-8 săpt.
-20%
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Editat de Martin Wirsing et al.
19 iun 1996
Paperback
Preț: 637.82 lei 797.27 lei
6-8 săpt.
-20%
Recent Trends in Algebraic Development Techniques
Editat de Martin Wirsing et al.
24 noi 2003
Paperback
Preț: 329.95 lei 412.43 lei
6-8 săpt.
-20%
STACS 87
Editat de Franz J. Brandenburg et al.
11 feb 1987
Paperback
Preț: 413.41 lei 516.76 lei
6-8 săpt.
-20%
Java kompakt: Eine Einführung in die Software-Entwicklung mit Java
Autor Matthias Hölzl et al.
23 mar 2013
Paperback
Preț: 290.96 lei 363.70 lei
6-8 săpt.
-20%
Web Engineering
Editat de Nora Koch et al.
14 iul 2004
Paperback
Preț: 639.70 lei 799.63 lei
6-8 săpt.
-20%
Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
Editat de Songmao Zhang et al.
2 oct 2015
Paperback
Preț: 347.80 lei 434.74 lei
6-8 săpt.
-20%
Software Engineering for Collective Autonomic Systems
Editat de Martin Wirsing et al.
18 mar 2015
Paperback
Preț: 334.04 lei 417.55 lei
6-8 săpt.
-20%
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge: 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings
Editat de Mauro Calise et al.
8 mai 2019
Paperback
Preț: 368.05 lei
6-8 săpt.