*Showing* 1 - 20 *of* 955

Books 398 Conference Materials 337 Academic Journals 61 Electronic Resources 29 eBooks 16 Reviews 2 *more* ... Dissertations 1 *less* ...

lecture notes in computer science 87 ifip advances in information and communication technology 40 formal methods for open object-based distributed systems 20 formal methods for open object-based distributed systems - 9th ifip wg 6.1 international conference, fmoods 2007, proceedings 20 formal methods for open object-based distributed systems (9783540348931) 19 formal methods for open object-based distributed systems (9783540729198) 19 *more* ... formal methods for open object-based distributed systems - 8th ifip wg 6.1 international conference, fmoods 2006, proceedings 18 formal methods for open object-based distributed systems (9783540688624) 17 formal methods for open object-based distributed systems v - ifip tc6 / wg6.1 5th international conference on formal methods for open object-based distributed systems, fmoods 2002 15 formal methods for open object-based distributed systems - 10th ifip wg 6.1 international conference, fmoods 2008, proceedings 11 fmoods 8 formal methods for open object-based distributed systems iv - tc6/wg6.1, fourth international conference on formal methods for open object-based distributed systems, fmoods 2000 8 ieee transactions on software engineering 7 issn: 0010-4620 3 lecture notes in computer science ; 14th international conference on formal methods for open object-based distributed systems (fmoods) / 32nd international conference on formal techniques for networked and distributed systems (forte) ; https://inria.hal.science/hal-00909367 ; 14th international conference on formal methods for open object-based distributed systems (fmoods) / 32nd international conference on formal techniques for networked and distributed systems (forte), jun 2012, stockholm, sweden. pp.235-250 3 lecture notes in computer science ; 14th international conference on formal methods for open object-based distributed systems (fmoods) / 32nd international conference on formal techniques for networked and distributed systems (forte) ; https://inria.hal.science/hal-00909384 ; 14th international conference on formal methods for open object-based distributed systems (fmoods) / 32nd international conference on formal techniques for networked and distributed systems (forte), jun 2012, stockholm, sweden. pp.1-17, ⟨10.1007/978-3-642-30793-5_1⟩ 3 distributed systems engineering 2 formal methods for open object-based distributed systems iv - tc6/wg6.1, fourth international conference on formal methods for open object-based distributed systems, fmoods 2000typo error: ifip 2 ieee communications magazine 2 ieice transactions on communications 2 ifip trans. c, commun. syst. (netherlands) 2 ifip transactions c (communication systems) 2 production planning & control 2 science of computer programming 2 b'98: recent advances in the development & use of the b method 1 b-98: recent advances in the development & use of the b method 1 comput. stand. interfaces (netherlands) 1 computer communications 1 computer languages 1 computer networks 1 *less* ...

computers / programming / compilers 12 computers / software development & engineering / general 12 computers / networking / general 11 computers / programming / general 10 computers / computer science 9 computers / operating systems / general 6 *more* ... computers / artificial intelligence / general 3 computers / computer architecture 3 computers / database administration & management 2 computers / information theory 2 *less* ...