Suchergebnisse
Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- logic program 25 Treffer
- label transition system 20 Treffer
- logic programming 20 Treffer
- process algebra 17 Treffer
- parallel composition 16 Treffer
-
45 weitere Werte:
- denotational semantic 14 Treffer
- model check 10 Treffer
- type system 10 Treffer
- transition system 9 Treffer
- functional language 8 Treffer
- contributed papers 7 Treffer
- inference rule 7 Treffer
- normal form 7 Treffer
- proof obligation 7 Treffer
- predicate symbol 6 Treffer
- proof system 6 Treffer
- reduction rule 6 Treffer
- transition rule 6 Treffer
- functional programming 5 Treffer
- linear temporal logic 5 Treffer
- temporal logic 5 Treffer
- axiom system 4 Treffer
- concrete syntax 4 Treffer
- constraint solver 4 Treffer
- critical pair 4 Treffer
- function symbol 4 Treffer
- integrity constraint 4 Treffer
- model checker 4 Treffer
- modeling language 4 Treffer
- security property 4 Treffer
- target language 4 Treffer
- abstract syntax 3 Treffer
- communicate sequential process 3 Treffer
- complete lattice 3 Treffer
- composition operator 3 Treffer
- constraint system 3 Treffer
- correctness proof 3 Treffer
- equational theory 3 Treffer
- finite automaton 3 Treffer
- formal semantic 3 Treffer
- ground type 3 Treffer
- horn clause 3 Treffer
- lambda calculus 3 Treffer
- multiagent system 3 Treffer
- proof assistant 3 Treffer
- recursive call 3 Treffer
- semantic domain 3 Treffer
- state machine 3 Treffer
- theorem prove 3 Treffer
- typing rule 3 Treffer
Publikation
- algebraic methodology and software technology : 5th international conference, amast '96 munich, germany, july 1-5, 1996 proceedings 2 Treffer
- automata, languages and programming : 24th international colloquium, icalp '97 bologna, italy, july 7-11, 1997 proceedings 2 Treffer
- automata, languages and programming : 25th international colloquium, icalp'98 aalborg, denmark, july 13-17, 1998 proceedings 2 Treffer
- computational logic - cl 2000 : first international conference london, uk, july 24-28, 2000 proceedings 2 Treffer
- computer science logic : 11th international workshop, csl '97 annual conference of the eacsl aarhus, denmark, august 23-29, 1997 selected papers 2 Treffer
-
45 weitere Werte:
- concur 2008 - concurrency theory : 19th international conference, concur 2008, toronto, canada, august 19-22, 2008. proceedings 2 Treffer
- concur '96: concurrency theory : 7th international conference pisa, italy, august 26-29, 1996 proceedings 2 Treffer
- ecoop 2005 - object-oriented programming : 19th european conference, glasgow, uk, july 25-29, 2005. proceedings 2 Treffer
- logic programming : 23rd international conference, iclp 2007, porto, portugal, september 8-13, 2007. proceedings 2 Treffer
- programming language implementation and logic programming : international workshop plilp '90 linkoping, sweden, august 20-22, 1990 proceedings 2 Treffer
- programming languages and systems - esop '96 : 6th european symposium on programming linkoping, sweden, april 22-24, 1996 proceedings 2 Treffer
- programming languages and systems : 26th european symposium on programming, esop 2017, held as part of the european joint conferences on theory and practice of software, etaps 2017, uppsala, sweden, april 22-29, 2017, proceedings 2 Treffer
- theoretical aspects of computer software : international conference tacs '91 sendai, japan, september 24-27, 1991 proceedings 2 Treffer
- verified software: theories, tools, experiments : first ifip tc 2/wg 2.3 conference, vstte 2005, zurich, switzerland, october 10-13, 2005, revised selected papers and discussions 2 Treffer
- ≪uml≫ 2001 - the unified modeling language. modeling languages, concepts, and tools : 4th international conference toronto, canada, october 1-5, 2001 proceedings 1 Treffer
- advances in computing science asian 98 : 4th asian computing science conference manila, the philippines, december 8-10, 1998 proceedings 1 Treffer
- algebraic and logic programming : 5th international conference, alp'96 aachen, germany, september 25-27, 1996 proceedings 1 Treffer
- algebraic methodology and software technology : 7th international conference, amast'98 amazonia, brazil, january 4-8, 1999 proceedings 1 Treffer
- algebraic methodology and software technology : 9th international conference, amast 2002 saint-gilles-les-bains, reunion island, france september 9-13, 2002 proceedings 1 Treffer
- algorithms, concurrency and knowledge : 1995 asian computing science conference, acsc '95 pathumthani, thailand, december 11-13, 1995 proceedings 1 Treffer
- all about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic 1 Treffer
- applications and theory of petri nets 2001 : 22nd international conference, icatpn 2001 newcastle upon tyne, uk, june 25-29, 2001 proceedings 1 Treffer
- automata, languages and programming : 12th colloquium nafplion, greece, july 15-19, 1985 1 Treffer
- automata, languages and programming : 30th international colloquium, icalp 2003 eindhoven, the netherlands, june 30 - july 4, 2003 proceedings 1 Treffer
- automata, languages and programming : 37th international colloquium, icalp 2010, bordeaux, france, july 6-10, 2010, proceedings, part ii 1 Treffer
- automata, languages and programming : sixth colloquium, graz, austria, july 16-20, 1979 1 Treffer
- automata, languages, and programming : 40th international colloquium, icalp 2013, riga, latvia, july 8-12, 2013, proceedings, part ii 1 Treffer
- come, let's play : scenario-based programming using lscs and the play-engine 1 Treffer
- compiler construction : 10th international conference, cc 2001 held as part of the joint european conferences on theory and practice of software, etaps 2001 genova, italy, april 2-6, 2001 proceedings 1 Treffer
- compiler construction : 24th international conference, cc 2015, held as part of the european joint conferences on theory and practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings 1 Treffer
- computational methods in systems biology : 6th international conference cmsb 2008, rostock, germany, october 12-15, 2008. proceedings 1 Treffer
- computer aided systems theory - eurocast '91 : a selection of papers from the second international workshop on computer aided systems theory krems, austria, april 15-19 1991 proceedings 1 Treffer
- computer performance evaluation modelling techniques and tools : 7th international conference vienna, austria, may 3-6, 1994 proceedings 1 Treffer
- computer science logic : 21st international workshop, csl 2007, 16th annual conference of the eacsl, lausanne, switzerland, september 11-15, 2007. proceedings 1 Treffer
- computer science logic : 22nd international workshop, csl 2008, 17th annual conference of the eacsl, bertinoro, italy, september 16-19, 2008. proceedings 1 Treffer
- computer science logic : 8th workshop, csl '94 kazimierz, poland, september 25-30, 1994 selected papers 1 Treffer
- conceptual modeling - er 2005 : 24th international conference on conceptual modeling, klagenfurt, austria, october 24-28, 2005. proceedings 1 Treffer
- concur 2001 - concurrency theory : 12th international conference aalborg, denmark, august 20-25, 2001 proceedings 1 Treffer
- concur 2012 - concurrency theory : 23rd international conference, concur 2012, newcastle upon tyne, uk, september 4-7, 2012. proceedings 1 Treffer
- concur 2013 - concurrency theory : 24th international conference, concur 2013, buenos aires, argentina, august 27-30, 2013. proceedings 1 Treffer
- concur '92 : third international conference on concurrency theory stony brook, ny, usa, august 24-27, 1992 proceedings 1 Treffer
- concur '97: concurrency theory : 8th international conference warsaw, poland, july 1-4, 1997 proceedings 1 Treffer
- concurrency and nets : advances in petri nets 1 Treffer
- concurrency and parallelism, programming, networking, and security : second asian computing science conference, asian'96 singapore, december 2-5, 1996 proceedings 1 Treffer
- coordinatio languages and models : third international conference coordination'99 amsterdam, the netherlands, april 26-28, 1999 proceedings 1 Treffer
- coordination languages and models : first international conference, coordination '96 cesena, italy, april 15-17, 1996 proceedings 1 Treffer
- coordination languages and models : second international conference coordination '97 berlin, germany, september 1-3, 1997 proceedings 1 Treffer
- coordination models and languages : 11th international conference, coordination 2009, lisboa, portugal, june 9-12, 2009. proceedings 1 Treffer
- coordination models and languages : 8th international conference, coordination 2006, bologna, italy, june 14-16, 2006. proceedings 1 Treffer
- correct hardware design and verification methods : 12th ifip wg 10.5 advanced research working conference, charme 2003, l'aquila, italy, october 21-24, 2003. proceedings 1 Treffer
Sprache
Inhaltsanbieter
210 Treffer
-
In: Come, Let’s Play : Scenario-Based Programming Using LSCs and the Play-Engine; (2003) S. 159-171Online E-BookZugriff:
-
1998Online E-BookZugriff:
-
2012Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
1999Online E-BookZugriff:
-
1990Online E-BookZugriff:
-
1986Online E-BookZugriff:
-
2017Online E-BookZugriff:
-
2013Online E-BookZugriff:
-
In: Semantic Web Information Management : A Model-Based Perspective; (2010) S. 341-370Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2003Online E-BookZugriff: