Electronic Proceedings in Theoretical Computer Science - PDFSEARCH.IO - Document Search Engine

Electronic Proceedings in Theoretical Computer Science
Results: 4

#	Item
1	Call for Papers STACS 2009 26th International Symposium on Theoretical Aspects of Computer Science February 26-28, 2009; Freiburg, Germany Program Committee Susanne Albers, U Freiburg (co-chair) Add to Reading List Source URL: stacs2009.informatik.uni-freiburg.de Language: English - Date: 2008-05-21 04:30:44 Computer science Academic publishing University of Freiburg Susanne Albers Proceedings IEEE Symposium on Logic in Computer Science Electronic submission CONFER Theoretical computer science Symposium on Theoretical Aspects of Computer Science Academia
2	References [1] L. Aceto, W.J. Fokkink, R.J. van Glabbeek & A. Ing´olfsd´ottir (1996): Axiomatizing Prefix Iteration with Silent Steps. Information and Computation 127(1), pp. 26–40, doi:incoAvail Add to Reading List Source URL: rvg.web.cse.unsw.edu.au Language: English - Date: 2015-05-13 04:41:10 Glabbeek Lecture Notes in Computer Science Operational semantics Geography of Belgium Computer science Belgium Electronic Proceedings in Theoretical Computer Science Logic in computer science Programming language semantics
3	Electronic Communications of the EASST Volume[removed]Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011) Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2011-12-04 09:41:24 Formal methods Unified Modeling Language Logic in computer science Postcondition Object-oriented programming Operation contracts ECO KeY Function Theoretical computer science Software engineering Mathematics
4	CALL FOR PAPERS 26th ACM Symposium on PARALLELISM IN ALGORITHMS AND ARCHITECTURES (SPAA) Prague, Czech Republic June 23–25, 2014 http://www.spaa-conference.org Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2013-10-08 04:21:35 Academia Parallel computing Algorithm Electronic submission Proceedings Computer science Symposium on Parallelism in Algorithms and Architectures Theoretical computer science Computing

UPDATE