Kirjasarja
TUCS Dissertations
Selaa valikoimaa, vertaile painoksia ja löydä saatavilla olevat kirjat yhdestä paikasta.
- Kirjoja
- 17
- Tarjouksia
- 18
- Julkaisuvuodet
- 1996–2009
Aiheita kirjoissa
Sarjat
Valikoima
Sarjan kirjat
A kernel language for unified code synthesis
A metamodeling framework for software engineering
Agile software development in an academic environment
Dual information systems in hyperknowledge organizations
Formal design and verification of systems using domain-specific languages
Formal development of concurrent components
Gene assembly in stichotrichous ciliates
elementary operations, parallelism and computation
Improving executive support in strategic scanning with software agent systems
Knowledge representation and rough sets
Low-density parity-check codes for wireless datacast networks
Mechanized reasoning for dually-nondeterministic and probabilistic programs
Modeling with action systems
Problems with the justification of intellectual property rights in relation to software and other digitally distributable media
Program variables
the core of mechanical reasoning about imperative programs
Some new global optimization algorithms
Stepwise development of dependable systems
Stepwise development of hybrid systems