QR-Code

European joint conferences on theory and practice of software. 2003. Satellite events : ETAPS, Warsaw, April 5 - 13 2003

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	ETAPS
Format:	Tagungsbericht Audio
Sprache:	Englisch
Veröffentlicht:	[S.l.] : [s.n.] 2003
Ausgabe:	[1st ed.]
Schlagworte:	Petriho sieť > bezpečnostný protokol > objektovo orientovaný jazyk > topologický priestor > modálna logika > štruktúrované programovanie kompaktné disky (CD)
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

European joint conferences on theory and practice of software. 2003 : ETAPS, 2003
Veröffentlicht: (2003)

Memuar o kompaktnych topologičeskich prostranstvach /
von: Aleksandrov, Pavel Sergejevič, et al.
Veröffentlicht: (1971)

Fuzzy information engineering. A guided tour of applications /
von: Dubois, Didier
Veröffentlicht: (1997)

A resolution method for some systems of modal logic /
von: Sommerhalder, Rudolf
Veröffentlicht: (1992)

Metrics in software evolution /
von: Müllerburg, Monika
Veröffentlicht: (1995)

Ordered topological vector spaces /
von: Peressini, Anthony L.
Veröffentlicht: (1967)

Measure and category : a survey of the analogies between topological and measure spaces /
von: Oxtoby, John C.
Veröffentlicht: (1971)

Compiler construction : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
von: Johnson, Neil
Veröffentlicht: (2003)

Practical guide to client/server computing /
von: Ryan, Hugh W. And Co
Veröffentlicht: (1998)

CASSAM - computer aided software support and maintenance : ReTIS '97, Klagenfurt, 4. - 5. Dez. 1997 /
von: Brössler, Peter
Veröffentlicht: (1998)

Java database programming /
von: Jepson, Brian
Veröffentlicht: (1997)

Java - bohatsví knihoven /
von: Herout, Pavel 1961-
Veröffentlicht: (2006)

JavaScript : kapesní přehled /
von: Škultéty, Rastislav
Veröffentlicht: (2005)

Principles of real analysis. Solutions manual /
von: Aliprantis, Charalambos D.
Veröffentlicht: (1981)

JavaScript a Ajax : moderní programování webových aplikací /
von: Resig, John
Veröffentlicht: (2007)

Foundations of software science and computation structures : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
von: Abramsky, Samson
Veröffentlicht: (2003)

CW-Studie. Java. Einsatz. Entwicklung. Perspektiven /
von: Philipp, Virginia H.
Veröffentlicht: (1998)

Catalogue of distributed file operating systems /
von: Borghoff, Uwe M.
Veröffentlicht: (1992)

Design of very high-level computer languages. A user-oriented approach /
von: Klerer, Melvin
Veröffentlicht: (1991)

C# 2010 : rychlý průvodce novinkami a nejlepšími postupy /
von: Nash, Trey
Veröffentlicht: (2010)

Mistrovství v PHP 5 /
von: Gutmans, Andi, et al.
Veröffentlicht: (2005)

Topologičeskije metody v teorii približenij i čislennom analize /
von: Kolesnikov, Aleksandr Petrovič
Veröffentlicht: (2001)

Matematická logika /
von: Kvasnička, Vladimír 1924-, et al.
Veröffentlicht: (2006)

Software metrics : 8th IEEE symposium, Ottawa, Canada, 4 - 7 June 2002 /
von: Stensrud, Erik
Veröffentlicht: (2002)

Computer aided systems theory. EUROCAST '95 : Proceedings, Innsbruck, Austria, May 22-25, 1995 /
von: Pichler, Franz
Veröffentlicht: (1996)

PHP a MySQL. Rozvoj webových aplikací /
von: Welling, Luke 1972-
Veröffentlicht: (2005)

Myslíme objektově v jazyku Java : kompletní učebnice pro začátečníky /
von: Pecinovský, Rudolf, 1954-
Veröffentlicht: (2010)

PHP - objektově orientované : koncepty, techniky a kód /
von: Lavin, Peter
Veröffentlicht: (2009)

Mistrovství - Java /
von: Schildt, Herbert 1951-
Veröffentlicht: (2014)

Teória množín /
von: Šalát, Tibor 1926-
Veröffentlicht: (1995)

FME '93. Industrial-strength formal methods : Proceedings, Odense, Denmark, April 19 - 23, 1993 /
von: Jones, C. B.
Veröffentlicht: (1993)

Základy strukturovaného programování. Sbírka příkladů. Strukturní diagramy, SGP, VISPASCAL, Turbo Pascal /
von: Buchalcevová, Alena
Veröffentlicht: (1993)

JavaScript. Kapesní příručka /
von: Flanagan, David
Veröffentlicht: (2004)

1001 tipů a triků pro C# /
von: Mareš, Amadeo
Veröffentlicht: (2008)

Data structures and algorithms in C++ /
von: Goodrich, Michael T.
Veröffentlicht: (2004)

First ACM and IEEE international conference on formal methods and models for co-design. MEMOCODE'03 : Proceedings, Mont Saint-Michel, France, 24 - 26 June 2003 /
von: Meseguer, José
Veröffentlicht: (2003)

C# 2010 : hotová řešení /
von: Virius, Miroslav 1953-
Veröffentlicht: (2012)

Aplikácia stereológie pri výskume hornín /
von: Timčák, Gejza M.
Veröffentlicht: (2002)

Umelé neurónové siete v automatickom riadení. Testovanie neuromodelov a návrh predkompenzovaných riadiacich štruktúr /
von: Popardovský, Vladimír
Veröffentlicht: (1999)

Některé matematické struktury používané v kybernetice /
von: Pták, Pavel 1947-, et al.
Veröffentlicht: (2009)