Rezultati

1

Slika na naslovnici

Adapting Proofs-as-Programs The Curry-Howard Protocol /

od Poernomo, Iman Hafiz., Crossley, John Newsome., Wirsing, Martin.
Izdano 2005

eKnjiga

2

Slika na naslovnici

Taxonomies for the Development and Verification of Digital Systems

Izdano 2005

eKnjiga

3

Slika na naslovnici

Abstraction, Refinement and Proof for Probabilistic Systems

od McIver, Annabelle., Morgan, Carroll.
Izdano 2005

eKnjiga

4

Slika na naslovnici

New Algorithms, Architectures and Applications for Reconfigurable Computing

Izdano 2005

eKnjiga

5

Slika na naslovnici

A Theory of Distributed Objects Asynchrony - Mobility - Groups - Components /

od Caromel, Denis., Henrio, Ludovic.
Izdano 2005

eKnjiga

6

Slika na naslovnici

Categories for Software Engineering

od Fiadeiro, José Luiz.
Izdano 2005

eKnjiga

7

Slika na naslovnici

Complexity Theory Exploring the Limits of Efficient Algorithms /

od Wegener, Ingo.
Izdano 2005

eKnjiga

8

Slika na naslovnici

Abstract Computing Machines A Lambda Calculus Perspective /

od Kluge, W.
Izdano 2005

eKnjiga

9

Slika na naslovnici

Grid Computing Experiment Management, Tool Integration, and Scientific Workflows /

od Prodan, Radu., Fahringer, Thomas.
Izdano 2007

eKnjiga

10

Slika na naslovnici

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers /

Izdano 2007

eKnjiga

11

Slika na naslovnici

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers /

Izdano 2007

eKnjiga

12

Slika na naslovnici

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /

Izdano 2007

eKnjiga

13

Slika na naslovnici

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /

Izdano 2007

eKnjiga

14

Slika na naslovnici

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /

Izdano 2007

eKnjiga

15

Slika na naslovnici

Agent-Oriented Software Engineering VII 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /

Izdano 2007

eKnjiga

16

Slika na naslovnici

Formal Methods Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel...

od Brim, Lubos.
Izdano 2007

eKnjiga

17

Slika na naslovnici

Job Scheduling Strategies for Parallel Processing 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers /

Izdano 2007

eKnjiga

18

Slika na naslovnici

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /

Izdano 2007

eKnjiga

19

Slika na naslovnici

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /

Izdano 2007

eKnjiga

20

Slika na naslovnici

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /

Izdano 2007

eKnjiga

1
2
3
4
5
6
7
8
9
10
11
Naslednji »
[16]