Tomas Matousek - PDFSEARCH.IO - Document Search Engine

Tomas Matousek
Results: 7

#	Item
1	Active XML Rules Tomáš Matoušek referát z článku Active Rules for XML: A new paradigm for E-services Angela Bonifati, Stefano Ceri, Stefano Paraboschi Add to Reading List Source URL: tmd.havit.cz Language: Czech - Date: 2008-07-10 10:23:24
2	JScript a DOM Dynamické webové stránky Tomáš Matoušek tmd.havit.cz Výhody: Add to Reading List Source URL: tmd.havit.cz Language: Czech - Date: 2008-07-10 10:23:52
3	Formální sémantika SQL Tomáš Matoušek tmd.havit.cz Obsah Add to Reading List Source URL: tmd.havit.cz Language: Czech - Date: 2008-07-10 10:23:37
4	Phalanger: Compiling and Running PHP Applications on the Microsoft .NET Platform Jan Benda Tomas Matousek Add to Reading List Source URL: tmd.havit.cz Language: English - Date: 2008-07-10 10:23:32 Cross-platform software Procedural programming languages Scripting languages Phalanger PHP ASP.NET Declaration Eval Microsoft Visual Studio Computing Software PHP programming language
5	Verification of Windows NT kernel drivers using Zing model checker Tomáš Matoušek http://tm.matfyz.cz CHARLES UNIVERSITY IN PRAGUE Add to Reading List Source URL: tmd.havit.cz Language: English - Date: 2008-07-10 10:24:46 Procedural programming languages Hardware verification languages Promela Model checking Zing E Tomas Matousek C ALGOL 68 Software engineering Computing Programming language theory
6	Extra ting Zing Models from C Sour e Code? Tomas Matousek and Filip Zavoral Charles University in Prague Department of Software Engineering Malostranske namesti 25, 11800 Prague, Cze h Republi Add to Reading List Source URL: tmd.havit.cz Language: English - Date: 2008-07-10 10:24:11 Data types Primitive types Compiler construction Pointer C Pascal Aliasing Linked list Array data type Computing Software engineering Programming language theory
7	The Spec# Programming System Tomáš Matoušek http://tm.matfyz.cz CHARLES UNIVERSITY IN PRAGUE Add to Reading List Source URL: tmd.havit.cz Language: English - Date: 2008-07-10 10:24:31 C Sharp Mono project Null Standard Performance Evaluation Corporation Constructor Eiffel Java Computing Software engineering Object-oriented programming

UPDATE