Formal Methods: Foundations and Applications: 14th Brazilian Symposium, Revised Selected Papers by Simão, Adenilso, Brazilian Symposium on Formal Methods fromLecture Notes in Computer Science 0 Type: Book
SDL 2011: integrating system and software modeling : revise… by Ober, Iulian, SDL Forum fromLecture Notes in Computer Science 0 Type: Book
Model driven engineering languages and systems: 14th international conference : proceedings by Model Driven Engineering, Languages, and Systems Conference, Whittle, Jon fromLecture Notes in Computer Science 0 Type: Book
Computer safety, reliability, and security: 30th international conference : proceedings by Flammini, Francesco, IFAC/IFIP Workshop on Safety of Computer Control Systems fromLecture Notes in Computer Science 0 Type: Book
Formal modeling and analysis of timed systems: 9th international conference : proceedings by Fahrenberg, Uli, International Workshop on Formal Modeling and Analysis of Timed Systems fromLecture Notes in Computer Science 0 Type: Book
Tests and proofs: 5th international conference : proceedings by International Conference on Tests and Proofs, Gogolla, Martin fromLecture Notes in Computer Science 0 Type: Book
Software engineering and computer systems: second international conference : proceedings by Zain, Jasni Mohamad, International Conference on Software Engineering and Computer Systems fromCommunications in computer and information science 0 Type: Book
Electrical power systems and computers: Selected Papers from the 2011 International Confe… by International Conference on Electric and Electronics, Wan, Xiaofeng fromSelected Papers from the 2011 International Conference on E… 0 Type: Book
System analysis and modeling: about models: 6th international workshop, revised selected pape… by Kraemer, Frank Alexander, International Workshop on System Analysis and Modelling fromLecture Notes in Computer Science 0 Type: Book
Hardware/software architectures for low-power embedded multimedia systems by Shafique, Muhammad, Henkel, Jörg 0 Type: Book
Spatial information theory: 10th international conference : proceedings by Egenhofer, Max J., Informatiker, Egenhofer, Max J., Informaticien, Egenhofer, Max J., Computer scientist, Conference on Spatial Information Theory fromLecture Notes in Computer Science 0 Type: Book
ThinkQuest~2010: an outlet for a creative mind : International Con… by Pise, S. J., International Conference on Contours of Computing Technology, Babasaheb Gawde Institute of Technology 0 Type: Book
ThinkQuest~2010: an outlet for a creative mind : International Con… by Pise, S. J., Babasaheb Gawde Institute of Technology, International Conference on Contours of Computing Technology, (Mumbai) 0 Type: Book
Formal methods for eternal networked software systems: advanced lectures by Bernardo, Marco, International School on Formal Methods for the Design of Computer, Communication and Software Systems fromLecture Notes in Computer Science 0 Type: Book
Analytical and stochastic modeling techniques and applications: proceedings by Al-Begain, Khalid, International Conference on Analytical and Stochastic Modelling Techniques and Applications fromLecture Notes in Computer Science 0 Type: Book
Analytical and stochastic modeling techniques and applications: proceedings by Al-Begain, Khalid, International Conference on Analytical and Stochastic Modelling Techniques and Applications fromLecture Notes in Computer Science 0 Type: Book
The theory of timed I/O automata by Kaynar, Dilsun K. fromSynthesis lectures on distributed computing theory 0 Type: Book
Systems of systems engineering: principles and applications by Jamshidi, Mo, Elektroingenieur 0 Type: Book
