Výsledky vyhledávání

Obálka

Softwarová architektura

Autor Maléř, Ondřej

Článek

Obálka

Software engineering at Google : lessons learned from programming over time

Autor Winters, Titus Vydáno: 2020

Kniha

Obálka

Programming in Ada 2012 with a preview of Ada 2022

Autor Barnes, J. G. P. (John Gilbert Presslie), 1937- Vydáno: 2022

Kniha

Obálka

Write great code.

Autor Hyde, Randall, 1956- Vydáno: 2020

Kniha

Obálka

Microservices: up and running : a step-by-step guide to building a microservices architecture

Autor Mitra, Ronnie Vydáno: 2020

Kniha

Obálka

FSTTCS 2007 : foundations of software technology and theoretical computer science : 27th international conference, New Delhi, India, December 12-14, 2007 : proceedings

Vydáno: 2007

Kniha

Obálka

Programming languages and systems : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [i.e. Practice] of Soft...

Vydáno: 2007

Plný text

Kniha

Obálka

B 2007: formal specification and development in B : 7th International Conference of B Users Besançon, France, January 17-19, 2007 : proceedings

Vydáno: 2006

Plný text

Kniha

Obálka

Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European conferences on theory and practice of...

Vydáno: 2008

Plný text

E-kniha

Obálka

Web reasoning and rule systems : second International conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

Vydáno: 2008

Plný text

E-kniha

Obálka

Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Embedded systems design : the ARTIST roadmap for research and development

Autor Bouyssounouse, Bruno Vydáno: 2005

Plný text

E-kniha

Obálka

Transactions on pattern languages of programming II : special issue on applying patterns

Vydáno: 2011

Plný text

E-kniha

Obálka

Practical aspects of declarative languages : 16th international symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings

Vydáno: 2014

Plný text

E-kniha

Obálka

Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering

Vydáno: 2015

Plný text

E-kniha

Obálka

Transactions on aspect-oriented software development XII

Vydáno: 2015

Plný text

E-kniha

Obálka

Analytical and stochastic modeling techniques and applications : 16th international conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers

Vydáno: 2005

Plný text

E-kniha

Obálka

Applications and theory of Petri nets : 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

NASA formal methods : 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings

Vydáno: 2015

Plný text

E-kniha

[1]
« Předchozí
1
2
3
4
5
6
7
8
9
10
11
Další »
[31]