History
1
745

Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 745 total

Descriptional complexity of ambiguity in symmetric difference NFAs. (English)
J. UCS 17, No. 6, 874-890, electronic only (2011).
Classification: F.1.1 F.1.2
1
Randomized algorithms and complexity theory. (English)
J. UCS 12, No. 6, 746-761, electronic only (2006).
Classification: F.1.2 F.1.3 F.2.2 F.2.3
2
Improving deterministic and randomized exponential-time algorithms for the satisfiability, the colorability, and the domatic number problem. (English)
J. UCS 12, No. 6, 725-745, electronic only (2006).
Classification: F.1.2 F.1.3 F.2.2 F.2.3
3
Randomness and secrecy - a brief introduction. (English)
J. UCS 12, No. 6, 654-671, electronic only (2006).
Classification: E.3 F.1.2
4
Completeness in the Boolean hierarchy: exact-four-colorability, minimal graph uncolorability, and exact domatic number problems - a survey. (English)
J. UCS 12, No. 5, 551-578, electronic only (2006).
Classification: F.1.2 F.1.3 F.2.2 F.2.3
5
Membrane computing. International workshop, WMC 2003, Tarragona, Spain, July 17‒22, 2003. Revised papers. (English)
Lecture Notes in Computer Science. 2933. Berlin: Springer. viii, 383 p. EUR 50.00/net; \\$ 64.00; \sterling 38.50; sFr 88.50 (2004).
Classification: F.1.2 F.1.1 A.m
6
Aspects of molecular computing. Essays dedicated to Tom Head on the occasion of his 70th birthday. (English)
Lecture Notes in Computer Science. 2950. Berlin: Springer. xi, 391 p. EUR 52.00/net; \\$ 75.00; \sterling 40.00; sFr 89.50 (2004).
Classification: A.m F.1.1 F.1.2
7
Petri net technology for communication-based systems. Advances in Petri nets. (English)
Lecture Notes in Computer Science. 2472. Berlin: Springer. viii, 455 p. EUR 56.00/net; \\$ 79.00; \sterling 43.00; sFr 96.00 (2003).
Classification: A.m F.1.2
8
Molecular computing. (English)
Cambridge, MA: MIT Press. xvii, 257 p. \sterling 29.95 (2003).
Classification: F.1.2 A.1
9
Interoperability testing based on a fault model for a system of communicating FSMs. (English)
Hogrefe, Dieter (ed.) et al., Testing of communicating systems. 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2644, 226-242 (2003).
Classification: C.4 F.1.2
10
A guided method for testing timed input output automata. (English)
Hogrefe, Dieter (ed.) et al., Testing of communicating systems. 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2644, 211-225 (2003).
Classification: C.4 F.1.2
11
Fault diagnosis in extended finite state machines. (English)
Hogrefe, Dieter (ed.) et al., Testing of communicating systems. 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2644, 197-210 (2003).
Classification: C.4 F.1.2 F.3.1
12
An automata-based approach to property testing in event traces. (English)
Hogrefe, Dieter (ed.) et al., Testing of communicating systems. 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2644, 180-196 (2003).
Classification: C.2.4 B.8.1 C.4 F.3.1 F.1.2
13
Conformance of distributed systems. (English)
Hogrefe, Dieter (ed.) et al., Testing of communicating systems. 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2644, 163-179 (2003).
Classification: C.2.4 B.8.1 C.4 F.1.2
14
Testing transition systems with input and output testers. (English)
Hogrefe, Dieter (ed.) et al., Testing of communicating systems. 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2644, 129-145 (2003).
Classification: C.4 F.1.2
15
When concurrent control meets functional requirements, or Z + Petri-nets. (English)
Bert, Didier (ed.) et al., ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4-6, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2651, 79-97 (2003).
Classification: F.3.1 F.1.2
16
Computing with electronic nanotechnologies. (English)
Petreschi, Rosella (ed.) et al., Algorithms and complexity. 5th Italian conference, CIAC 2003, Rome, Italy, May 28-30, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2653, 11 (2003).
Classification: F.1.1 F.1.2
17
Parallel computing technologies. 7th international conference, PaCT 2003, Nizhni Novgorod, Russia, September 15‒19, 2003. Proceedings. (English)
Lecture Notes in Computer Science. 2763. Berlin: Springer. xiii, 570 p. EUR 66.00/net; \\$ 87.00; \sterling 51.00; sFr 109.50 (2003).
Classification: A.m F.1.2
18
CONCUR 2003 ‒ concurrency theory. 14th international conference, Marseille, France, September 3‒5, 2003. Proceedings. (English)
Lecture Notes in Computer Science. 2761. Berlin: Springer. xi, 524 p. EUR 62.00/net; \\$ 81.00; \sterling 47.50; sFr 103.00 (2003).
Classification: A.m F.1.2
19
Distributed computing. 17th international conference, DISC 2003, Sorrento, Italy, October 1‒3, 2003. Proceedings. (English)
Lecture Notes in Computer Science 2848. Berlin: Springer (ISBN 3-540-20184-X/pbk). x, 366~p. EUR~50.00/net; \\$~64.00; \sterling~38.50; sFr~86.00 (2003).
Classification: A.m F.1.2 C.2.4 B.8.1
20
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 745 total