Výsledky vyhľadávania - "IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing"

22nd Annual IEEE Symposium on Logic in Computer Science, Wrocław, Poland, 10-14 July, 2007 : proceedings / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
Twenty-second Annual IEEE Symposium on Logic in Computer Science

Autori: IEEE Symposium on Logic in Computer Science (22 ; 2007 ; Wrocław). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: IEEE Symposium on Logic in Computer Science (22 ; 2007 ; Wrocław). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Indeks.

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1119215&theme=nukat

11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey : proceedings / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science.

Autori: IEEE Symposium on Logic in Computer Science (11 ; 1996 ; New Brunswick). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing. ACM Special Interest Group for Automata and Computability Theory. a ďalší

Prispievatelia: IEEE Symposium on Logic in Computer Science (11 ; 1996 ; New Brunswick). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing. ACM Special Interest Group for Automata and Computability Theory. a ďalší

Zdroj: Indeks.

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:796640&theme=nukat

36th annual symposium on foundations of computer science : October 23-25, 1995, Milwaukee, Wisconsin : proceedings / spons. by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

Autori: Symposium on Foundations of Computer Science (36 ; 1995 ; Milwaukee). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: Symposium on Foundations of Computer Science (36 ; 1995 ; Milwaukee). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz.

Predmety: Teoria grafów -- informatyka, Analiza kombinatoryczna -- informatyka

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1756386&theme=nukat

36th annual symposium on foundations of computer science : October 23-25, 1995, Milwaukee, Wisconsin : proceedings / spons. by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

Autori: Symposium on Foundations of Computer Science (36 ; 1995 ; Milwaukee). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: Symposium on Foundations of Computer Science (36 ; 1995 ; Milwaukee). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz.

Predmety: Teoria grafów -- informatyka, Analiza kombinatoryczna -- informatyka

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1756386&theme=nukat

Tenth annual IEEE Symposium on Logic in Computer Science : June 26-29, 1995, San Diego, California : proceedings / edited by Dexter Kozen ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in coop. with Special Interest Group on Automata and Computability Theory of the ACM ... [et al.].
Proceedings - Tenth annual IEEE Symposium on Logic in Computer Science : June 26-29, 1995, San Diego, California
1995 IEEE 10th annual Symposium on Logic in Computer Science
Annual IEEE Symposium on Logic in Computer Science, 10

Autori: IEEE Symposium on Logic in Computer Science (10 ; 1995 ; San Diego). Kozen, Dexter C. (1951- ). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing. a ďalší

Prispievatelia: IEEE Symposium on Logic in Computer Science (10 ; 1995 ; San Diego). Kozen, Dexter C. (1951- ). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing. a ďalší

Zdroj: Bibliogr. przy rozdz. Indeks.

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:800903&theme=nukat

35th annual symposium on foundations of computer science : November 20-22, 1994, Santa Fe, New Mexico : proceedings / ed. by Shafi Goldwasser ; spons. by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

Autori: Symposium on Foundations of Computer Science (35 ; 1994 ; Santa Fe). Goldwasser, Shafi (1958- ). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: Symposium on Foundations of Computer Science (35 ; 1994 ; Santa Fe). Goldwasser, Shafi (1958- ). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Predmety: Analiza kombinatoryczna -- informatyka, Teoria grafów -- informatyka

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1756384&theme=nukat

Symposium on logic in computer science : LICS'94, CNAM, Paris, France, July 4-7, 1994 : proceedings / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, INRIA.
Ninth annual IEEE symposium on logic in computer science : proceedings

Autori: LICS '94 (9 ; 1994 ; Paryż). Institut national de recherche en informatique et en automatique (Paryż). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: LICS '94 (9 ; 1994 ; Paryż). Institut national de recherche en informatique et en automatique (Paryż). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz.
Indeks.

Predmety: Logika symboliczna i matematyczna, Systemy przepisujące (informatyka)

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1753443&theme=nukat

35th annual symposium on foundations of computer science : November 20-22, 1994, Santa Fe, New Mexico : proceedings / ed. by Shafi Goldwasser ; spons. by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

Autori: Symposium on Foundations of Computer Science (35 ; 1994 ; Santa Fe). Goldwasser, Shafi (1958- ). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: Symposium on Foundations of Computer Science (35 ; 1994 ; Santa Fe). Goldwasser, Shafi (1958- ). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Predmety: Analiza kombinatoryczna -- informatyka, Teoria grafów -- informatyka

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1756384&theme=nukat

Symposium on logic in computer science : LICS'94, CNAM, Paris, France, July 4-7, 1994 : proceedings / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, INRIA.
Ninth annual IEEE symposium on logic in computer science : proceedings

Autori: LICS '94 (9 ; 1994 ; Paryż). Institut national de recherche en informatique et en automatique (Paryż). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: LICS '94 (9 ; 1994 ; Paryż). Institut national de recherche en informatique et en automatique (Paryż). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz.
Indeks.

Predmety: Logika symboliczna i matematyczna, Systemy przepisujące (informatyka)

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1753443&theme=nukat

Proceedings of the ninth annual Structure in Complexity Theory Conference, June 28-July 1, 1994, Amsterdam, The Netherlands / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing [et al.].
Proceedings Structure in Complexity Theory Ninth Annual Conference

Autori: Structure in Complexity Theory Conference (9 ; 1994 ; Amsterdam). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: Structure in Complexity Theory Conference (9 ; 1994 ; Amsterdam). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz. Indeks.

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:795146&theme=nukat

Symposium on logic in computer science : Montreal, Canada, June 19-23 : proceedings / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
Eight annual IEEE symposium on logic in computer science : proceedings

Autori: LICS '93 (8 ; 1993 ; Montreal). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: LICS '93 (8 ; 1993 ; Montreal). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz.
Indeks.

Predmety: Logika symboliczna i matematyczna

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1756704&theme=nukat

34th annual symposium on foundations of computer science : November 3-5, 1993, Palo Alto, California : proceedings / spons. by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

Autori: Annual Symposium on Foundations of Computer Science (34 ; 1993 ; Palo Alto). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: Annual Symposium on Foundations of Computer Science (34 ; 1993 ; Palo Alto). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz.

Predmety: Teoria grafów -- informatyka, Analiza kombinatoryczna -- informatyka

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1756375&theme=nukat

Symposium on logic in computer science : Montreal, Canada, June 19-23 : proceedings / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
Eight annual IEEE symposium on logic in computer science : proceedings

Autori: LICS '93 (8 ; 1993 ; Montreal). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: LICS '93 (8 ; 1993 ; Montreal). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz.
Indeks.

Predmety: Logika symboliczna i matematyczna

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1756704&theme=nukat

34th annual symposium on foundations of computer science : November 3-5, 1993, Palo Alto, California : proceedings / spons. by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

Autori: Annual Symposium on Foundations of Computer Science (34 ; 1993 ; Palo Alto). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: Annual Symposium on Foundations of Computer Science (34 ; 1993 ; Palo Alto). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz.

Predmety: Teoria grafów -- informatyka, Analiza kombinatoryczna -- informatyka

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1756375&theme=nukat

Proceedings of the eighth annual Structure in Complexity Theory Conference, May 18-21, 1993, San Diego, California / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing [et al.].
Proceedings Structure in Complexity Theory Eighth Annual Conference

Autori: Structure in Complexity Theory Conference (8 ; 1993 ; San Diego). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: Structure in Complexity Theory Conference (8 ; 1993 ; San Diego). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz. Indeks.

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:795134&theme=nukat

33rd annual symposium on foundations of computer science : October 24-27, 1992, Pittsburgh, Pensylvania : proceedings / spons. by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

Autori: Symposium on Foundations of Computer Science (33 ; 1992 ; Pittsburgh). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: Symposium on Foundations of Computer Science (33 ; 1992 ; Pittsburgh). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz.

Predmety: Teoria grafów -- informatyka, Analiza kombinatoryczna -- informatyka

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1756370&theme=nukat

33rd annual symposium on foundations of computer science : October 24-27, 1992, Pittsburgh, Pensylvania : proceedings / spons. by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

Autori: Symposium on Foundations of Computer Science (33 ; 1992 ; Pittsburgh). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: Symposium on Foundations of Computer Science (33 ; 1992 ; Pittsburgh). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz.

Predmety: Teoria grafów -- informatyka, Analiza kombinatoryczna -- informatyka

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1756370&theme=nukat

Proceedings of the seventh annual Structure in Complexity Theory Conference, June 22-25, 1992, Boston University, Boston, Massachusetts / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing [et al.].
Proceedings Structure in Complexity Theory Seventh Annual Conference

Autori: Structure in Complexity Theory Conference (7 ; 1992 ; Boston). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: Structure in Complexity Theory Conference (7 ; 1992 ; Boston). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz. Indeks.

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:795123&theme=nukat

32nd annual symposium on foundations of computer science : October 1-4, 1991, San Juan, Puerto Rico : proceedings / spons. by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.

Autori: Annual Symposium on Foundations of Computer Science (32 ; 1991 ; San Juan, Puerto Rico). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: Annual Symposium on Foundations of Computer Science (32 ; 1991 ; San Juan, Puerto Rico). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz.

Predmety: Analiza kombinatoryczna -- informatyka, Teoria grafów -- informatyka

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1790327&theme=nukat

Proceedings of the sixth annual Structure in Complexity Theory Conference, June 30-July 3, 1991, University of Chicago, Chicago, Illinois / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, University of Chicago.
Proceedings Structure in Complexity Theory Six Annual Conference

Autori: Structure in Complexity Theory Conference (6 ; 1991 ; Chicago). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Prispievatelia: Structure in Complexity Theory Conference (6 ; 1991 ; Chicago). IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.

Zdroj: Bibliogr. przy rozdz. Indeks.

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:795110&theme=nukat