Η αναζήτηση επέστρεψε 15 αποτελέσματα.

Αποτελέσματα
	1.	Action semantics Peter D. Mosses από Mosses, Peter D Σειρά: Cambridge tracts in theoretical computer science ; 26 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 M. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Domains and lambda-calculi Roberto M. Amadio and Pierre-Louis Curien από Amadio, Roberto M Curien, Pierre-Louis Σειρά: Cambridge tracts in theoretical computer science ; 46 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.13 A, ... Προσθήκη στο καλάθι (αφαίρεση)
	3.	Mathematical theory of domains Viggo Stoltenberg Hansen από Stoltenberg-Hansen, Viggo Σειρά: Cambridge tracts in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.4 STO. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Two-level functional languages από Nielson, Flemming [aut] Nielson, Hanne R [aut] Σειρά: Cambridge Tracts in Theoretical Computer Science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Cambridge University Press c1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 NIE. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Algebraic specification of communication protocols από Mauw, S [edt] Veltink, G. J [edt] Σειρά: Cambridge Tracts in Theoretical Computer Science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Cambridge University Press c1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.62 MAU. Προσθήκη στο καλάθι (αφαίρεση)
	6.	Process algebra από Baeten, J.C.M [aut] Weijland, W.P [aut] Σειρά: Cambridge Tracts in Theoretical Computer Science ; 18 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New Yrok Cambridge University Press c 1990 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005 BAE. Προσθήκη στο καλάθι (αφαίρεση)
	7.	Nets, Terms and Formulas Tree views of Concurrent Processes and Their Relationship από Olderog, E.-R [aut] Σειρά: Cambridge Tracts in Theoretical Computer Science ; 23 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press c 1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 OLD, ... Προσθήκη στο καλάθι (αφαίρεση)
	8.	Algorithmic information theory / Gregory J. Chaitin. από Chaitin, Gregory J [συγγραφέας.] Σειρά: Cambridge tracts in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 006.31 CHA, ... Προσθήκη στο καλάθι (αφαίρεση)
	9.	Higher order logic and harware verification από Melham, T [aut] Σειρά: Cambridge Tracts in Theoretical Computer Science ; 31 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press c1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.3 MEL. Προσθήκη στο καλάθι (αφαίρεση)
	10.	Basic proof theory / A.S. Troelstra, H. Schwichtenberg. από Troelstra, A. S. (Anne Sjerp) [συγγραφέας.] Schwichtenberg, Helmut, 1942- [συγγραφέας.] Σειρά: Cambridge tracts in theoretical computer science Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Cambridge ; New York : Cambridge University Press, 2000 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 TRO. Προσθήκη στο καλάθι (αφαίρεση)
	11.	Topology via logic Steven Vickers από Vickers, Steven Σειρά: Cambridge tracts in theoretical computer science ; 5 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge [England] New York Cambridge University Press 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 1 V. Προσθήκη στο καλάθι (αφαίρεση)
	12.	Information flow the logic of distributed systems Jon Barwise, Jerry Seligman από Barwise, Jon Seligman, Jerry Σειρά: Cambridge tracts in theoretical computer science ; 44 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.758 B, ... Προσθήκη στο καλάθι (αφαίρεση)
	13.	Basic proof theory / A.S. Troelstra, H. Schwichtenberg. από Troelstra, A. S. (Anne Sjerp) [συγγραφέας.] Schwichtenberg, Helmut, 1942- [συγγραφέας.] Σειρά: Cambridge tracts in theoretical computer science ; 43. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Cambridge : Cambridge University Press, 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 TRO, ... Προσθήκη στο καλάθι (αφαίρεση)
	14.	Metamathematics, machines, and Godel's proof / N. Shankar. από Shankar, N [συγγραφέας] Σειρά: Cambridge tracts in theoretical computer science ; v. 38 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Κοινό: Ειδικευμένο; Λεπτομέρειες δημοσίευσης: Cambridge ; New York : Cambridge University Press, 1997, c1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 S. Φιλοσοφίας (2)Ταξιθετικός αριθμός: 511.3 SHA, ... Προσθήκη στο καλάθι (αφαίρεση)
	15.	Epistemic logic for AI and computer science J.-J. Ch. Meyer, W. van der Hoek από Meyer, John-Jules Ch Hoek, W. van der Σειρά: Cambridge tracts in theoretical computer science ; 41 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge New York Cambridge University Press 1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.33 M. Προσθήκη στο καλάθι (αφαίρεση)