Поисковый запрос: (<.>S=Logics and meanings of programs<.>) |
Общее количество найденных документов : 94
Показаны документы с 1 по 30 |
|
1.
| Agent-Oriented software engineering X/eds. M. Gleizes, J. J. Gomez-Sanz. - 2011
|
2.
| Algebraic informatics/ed. F. Winkler. - 2011
|
3.
| Algebraic methodology and software technology/eds. M. Johnson, D. Pavlovic. - 2011
|
4.
| Algorithmic learning theory/eds. M. Hutter [et al.]. - 2010
|
5.
| Applications and theory of petri nets/eds. L. M. Kristensen, L. Petrucci. - 2011
|
6.
| Architecting dependable systems VII/ed. A. Casimiro [et al.]. - 2010
|
7.
| Automata, languages and programming/ed. L. Aceto [et al.]. - 2011
|
8.
| Automated deduction in geometry/ed. T. Sturm, C. Zengler. - 2011
|
9.
| Automated reasoning with analytic tableaux and related methods/eds. K. Brünnler, G. Metcalfe. - 2011
|
10.
| Automated technology for verification and analysis/eds. A. Bouajjani, W. Chin. - 2010
|
11.
| Business process management/eds. R. Hull [et al.]. - 2010
|
12.
| Central european functional programming school/ed. Z. Horváth [et al.]. - 2010
|
13.
| Computational logic in multi-agent systems/ed. J. Dix [et al.]. - 2010
|
14.
| Computer performance engineering/eds. A. Aldini [et al.]. - 2010
|
15.
| Computer science – theory and applications/eds. A. Kulikov, N. Vereshchagin. - 2011
|
16.
| Conceptual modeling – ER 2010/ed. J. Parsons [et al.]. - 2010
|
17.
| Database and xml technologies/M. L. Lee [et al.]. - 2010
|
18.
| Declarative agent languages and technologies VIII/ed. A. Omicini [et al.]. - 2011
|
19.
| Distributed computing and internet technology/ed. R. Natarajan, A. Ojo. - 2011
|
20.
| Evaluation of novel approaches to software engineering/ed. L. A. Maciaszek [et al.]. - 2010
|
21.
| Evolvable systems: from biology to hardware/eds. G. Tempesti [et al.]. - 2010
|
22.
| FM 2011: formal methods/eds. M. Butler, W. Schulte. - 2011
|
23.
| Formal methods for components and objects/ed. F. S. Boer [et al.]. - 2010
|
24.
| Formal methods for industrial critical systems/eds. S. Kowalewski, M. Roveri. - 2010
|
25.
| Formal methods: foundations and applications/ed. J. Davies [et al.]. - 2011
|
26.
| Formal modeling and analysis of timed systems/eds. K. Chatterjee, T. A. Henzinger. - 2010
|
27.
| Formal techniques for distributed systems/eds. R. Bruni, J. Dingel. - 2011
|
28.
| Formal verification of object-oriented software/eds. B. Beckert, C. Marché. - 2011
|
29.
| Foundational and practical aspects of resource analysis/eds. M. Eekelen, O. Shkaravska. - 2010
|
30.
| Foundations of software science and computational structures/ed. M. Hofmann. - 2011
|
|
|
|