Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- abstract data type 3 Treffer
- algebraic specification 3 Treffer
- code word 3 Treffer
- commitment scheme 3 Treffer
- operational semantic 3 Treffer
-
45 weitere Werte:
- random oracle 3 Treffer
- asynchronous automaton 2 Treffer
- block cipher 2 Treffer
- business process 2 Treffer
- closed term 2 Treffer
- closure property 2 Treffer
- common reference string 2 Treffer
- concurrent system 2 Treffer
- logic program 2 Treffer
- proof system 2 Treffer
- random oracle model 2 Treffer
- regular language 2 Treffer
- signature scheme 2 Treffer
- synchronization code 2 Treffer
- transition rule 2 Treffer
- abstract state machine 1 Treffer
- access control 1 Treffer
- access control model 1 Treffer
- admissible family 1 Treffer
- advance encryption standard 1 Treffer
- application project 1 Treffer
- arbitrary family 1 Treffer
- atomic action 1 Treffer
- augmented reality 1 Treffer
- authentication delay 1 Treffer
- authentication service 1 Treffer
- axiom scheme 1 Treffer
- boolean function 1 Treffer
- candidate clause 1 Treffer
- canonical model 1 Treffer
- categorical semantic 1 Treffer
- certification authority 1 Treffer
- chinese remainder theorem 1 Treffer
- choose ciphertext attack 1 Treffer
- circular object 1 Treffer
- clock constraint 1 Treffer
- clock region 1 Treffer
- closure operator 1 Treffer
- code size 1 Treffer
- collaborative filter 1 Treffer
- colloquium on trees in algebra and programming 1 Treffer
- complete complex 1 Treffer
- computer algebra system 1 Treffer
- concurrent object 1 Treffer
- conditional equation 1 Treffer
Verlag
Publikation
- foundations of computation theory : proceedings of the 1983 international fct-conference borgholm, sweden, august 21-27, 1983 2 Treffer
- adaptive hypermedia and adaptive web-based systems : 4th international conference, ah 2006, dublin, ireland, june 21-23, 2006. proceedings 1 Treffer
- advances in computing science asian 98 : 4th asian computing science conference manila, the philippines, december 8-10, 1998 proceedings 1 Treffer
- advances in cryptology - asiacrypt 2002 : 8th international conference on the theory and application of cryptology and information security queenstown, new zealand, december 1-5, 2002 proceedings 1 Treffer
- advances in cryptology - crypto 2003 : 23rd annual international cryptology conference, santa barbara, california, usa, august 17-21, 2003. proceedings 1 Treffer
-
45 weitere Werte:
- advances in cryptology - eurocrypt 2003 : international conference on the theory and applications of cryptographic techniques, warsaw, poland, may 4-8, 2003 proceedings 1 Treffer
- advances in cryptology - eurocrypt '96 : international conference on the theory and application of cryptographic techniques saragossa, spain, may 12-16, 1996 proceedings 1 Treffer
- advances in cryptology - eurocrypt '97 : international conference on the theory and application of cryptographic techniques konstanz, germany, may 11-15, 1997 proceedings 1 Treffer
- advances in cryptology 1981 - 1997 : electronic proceedings and index of the crypto and eurocrypt conferences 1981 - 1997 1 Treffer
- applications of databases : first international conference, adb-94 vadstena, sweden, june 21-23, 1994 proceedings 1 Treffer
- applications of evolutionary computing : evoworkshops 2003: evobio, evocop, evoiasp, evomusart, evorob, and evostim essex, uk, april 14-16, 2003 proceedings 1 Treffer
- artificial intelligence and symbolic mathematical computing : international conference aismc-1 karlsruhe, germany, august 3-6, 1992 proceedings 1 Treffer
- automata, languages and programming : 14th international colloquium karlsruhe, federal republic of germany, july 13-17, 1987 proceedings 1 Treffer
- automata, languages and programming : 31st international colloquium, icalp 2004, turku, finland, july 12-16, 2004. proceedings 1 Treffer
- automata, languages and programming : 33rd international colloquium, icalp 2006, venice, italy, july 10-14, 2006, proceedings, part ii 1 Treffer
- automata, languages and programming : ninth colloquium aarhus, denmark, july 12-16, 1982 1 Treffer
- automated deduction in geometry : 4th international workshop, adg 2002, hagenberg castle, austria, september 4-6, 2002. revised papers 1 Treffer
- automated deduction-cade-11 : 11th international conference on automated deduction saratoga springs, ny, usa, june 15-18, 1992 proceedings 1 Treffer
- categorical methods in computer science with aspects from topology 1 Treffer
- computation theory : fifth symposium, zaborow, poland december 3-8, 1984 proceedings 1 Treffer
- computer security - esorics 2006 : 11th european symposium on research in computer security, hamburg, germany, september 18-20, 2006. proceedings 1 Treffer
- csl '87 : 1st workshop on computer science logic karlsruhe, frg, october 12-16, 1987 proceedings 1 Treffer
- csl '89 : 3rd workshop on computer science logic kaiserslautern, frg, october 2-6, 1989 proceedings 1 Treffer
- current trends in database technology - edbt 2004 workshops : edbt 2004 workshops phd, datax, pim, p2p&db, and clustweb, heraklion, crete, greece, march 14-18, 2004. revised selected papers 1 Treffer
- developments in language theory : 10th international conference, dlt 2006, santa barbara, ca, usa, june 26-29, 2006. proceedings 1 Treffer
- dna computing : 11th international workshop on dna computing, dna11, london, on, canada, june 6-9, 2005. revised selected papers. 1 Treffer
- dna computing : 12th international meeting on dna computing, dna12, seoul, korea, june 5-9, 2006, revised selected papers 1 Treffer
- east/west database workshop : proceedings of the second international east/west database workshop, klagenfurt, austria, 25-28 september 1994 1 Treffer
- ecoop' 93 - object-oriented programming : 7th european conference kaiserslautern, germany, july 26-30, 1993 proceedings 1 Treffer
- electronic government : third international conference, egov 2004, zaragoza, spain, august 30-september 3, 2004. proceedings 1 Treffer
- euro-par'97 parallel processing : third international euro-par conference passau, germany, august 26-29, 1997 proceedings 1 Treffer
- field-programmable logic and applications: reconfigurable computing is going mainstream : 12th international conference, fpl 2002 montpellier, france, september 2-4, 2002 proceedings 1 Treffer
- fields of logic and computation : essays dedicated to yuri gurevich on the occasion of his 70th birthday 1 Treffer
- foundations of software science and computation structures : second international conference, fossacs'99 held as part of the joint european conferences on theory and practice of software, etaps'99 amsterdam, the netherlands,march 22-28, 1999 proceedings 1 Treffer
- fst tcs 2002: foundations of software technology and theoretical computer science : 22nd conference kanpur, india, december 12-14, 2002 proceedings 1 Treffer
- graph drawing : 12th international symposium, gd 2004, new york, ny, usa, september 29-october 2, 2004, revised selected papers 1 Treffer
- hybrid systems: computation and control : 6th international workshop, hscc 2003 prague, czech republic, april 3-5, 2003 proceedings 1 Treffer
- information assurance in computer networks : methods, models and architectures for network security international workshop mmm-acns 2001 st. petersburg, russia, may 21-23, 2001 proceedings 1 Treffer
- information security and privacy : 10th australasian conference, acisp 2005, brisbane, australia, july 4-6, 2005. proceedings 1 Treffer
- interoperability of enterprise software and applications 1 Treffer
- logic at botik '89 : symposium on logical foundations of computer science pereslavl-zalessky, ussr, july 3-8, 1989 proceedings 1 Treffer
- mathematical foundations of software development : proceedings of the international joint conference on theory and practice of software development (tapsoft) berlin, march 25-29, 1985 volume 1: colloquium on trees in algebra and programming (caap' 85) 1 Treffer
- medical image computing and computer-assisted intervention - miccai 2000 : third international conference, pittsburgh, pa, usa, october 11-14, 2000. proceedings 1 Treffer
- mfdbs 89 : 2nd symposium on mathematical fundamentals of database systems visegrad, hungary, june 26-30, 1989 proceedings 1 Treffer
- modular programming languages : joint modular languages conference, jmlc'97 linz, austria, march 19-21, 1997 proceedings 1 Treffer
- nanotechnology: science and computation 1 Treffer
- natural language processing and information systems : 9th international conference on applications of natural language to information systems, nldb 2004, salford, uk, june 23-25, 2004. proceedings 1 Treffer
- parle parallel architectures and languages europe : volume ii: parallel languages eindhoven, the netherlands, june 15-19, 1987 proceedings 1 Treffer
- pattern recognition : 26th dagm symposium, tubingen, germany, august 30 - september 1, 2004. proceedings 1 Treffer
- privacy enhancing technologies : 6th international workshop, pet 2006, cambridge, uk, june 28-30, 2006, revised selected papers 1 Treffer
Sprache
64 Treffer
-
2010Online E-BookZugriff:
-
In: Nanotechnology: Science and Computation; (2006) S. 137-146Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
2006Online E-BookZugriff:
-
In: Interoperability of Enterprise Software and Applications; (2006) S. 147-158Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2005Online E-BookZugriff:
-
2004Online E-BookZugriff: