Výsledky vyhledávání

Pokročilé vyhledávání

Zrušit filtry

Žánr: NOT učebnice

Doporučená témata: programování AND matematická logika NOT programovací jazyk Java

PSH: NOT podnikové informační systémy

Zrušit filtry

Zobrazit filtry (5)

Žánr: NOT učebnice

Doporučená témata: programování AND matematická logika NOT programovací jazyk Java

PSH: NOT podnikové informační systémy

Obálka

Types for proofs and programs : international workshop, TYPES 2002 Berg en Dal, The Netherlands, April 24-28, 2002 : selected papers

Vydáno: 2003

Kniha

Obálka

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Vydáno: 2003

Rukopis

Obálka

Field-programmable logic : smart applications, new paradigms and compilers. 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, Se...

Vydáno: 1996

Kniha

Obálka

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, proceedings

Vydáno: 2005

Kniha

Obálka

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2004 : selected papers

Vydáno: 2004

Získat plný text

Kniha

Obálka

Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

Vydáno: 2002

Kniha

Obálka

Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000

Vydáno: 2000

Kniha

Obálka

Types for proofs and programs : International workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

Vydáno: 2000

Kniha

Obálka

Temporal logic : 1. International Conference, ICTL '94 Bonn, Germany, July 11-14, 1994. Proceedings

Vydáno: 1994

Kniha

Obálka

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, Oktober 14-18, 2002 : proceedings

Vydáno: 2002

Rukopis

Obálka

Logic and computer science

Vydáno: 1990

Kniha

Obálka

Programming languages and systems : 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006 : proceedings

Vydáno: 2006

Kniha

Obálka

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994. Proceedings

Vydáno: 1994

Kniha

Obálka

Constraints in computational logics : theory and applications. International summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999. Revised lectures

Vydáno: 2001

Kniha

Obálka

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings

Vydáno: 2005

Plný text

Kniha

Obálka

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers

Vydáno: 2006

Plný text

Kniha

Obálka

Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 2003 : proceedings

Vydáno: 2003

Plný text

Kniha

Obálka

Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings

Vydáno: 2005

Plný text

Kniha

Obálka

Logic for Programming, Artificial Intelligence, and Reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings

Vydáno: 2006

Plný text

Kniha

1
2
3
4
5
6
7
8
9
10
11
Další »
[15]