SOFSEM 2012: Theory and Practice of Computer Science

SOFSEM 2012: Theory and Practice of Computer Science

4.11 - 1251 ratings - Source



This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in AnpindlerAmv MlA½n, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence.38th Conference on Current Trends in Theory and Practice of Computer Science, AnpindlerAmv MlA½n, Czech Republic, January 21-27, ... To identify the behavior of the activity diagram, however, we have to consider the nodes in connection with the whole diagram to be transformed. ... Second, we generate the cTLA specification parts ACTIONS and PROCESSES based on the obtained regular expression toanbsp;...


Title:SOFSEM 2012: Theory and Practice of Computer Science
Author: Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, György Turán
Publisher:Springer - 2012-01-18
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA