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

Αποτελέσματα
	41.	Advances in petri nets 1985 [Procedings of the 6th European Workshop on applications and theory of Petri Nets. Espoo, Finland, June, 1985] από Rozenberg, Grzegorz [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 222 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (2)Ταξιθετικός αριθμός: 511.3 ROZ, ... Προσθήκη στο καλάθι (αφαίρεση)
	42.	Logic programming and nonmonotonic reasoning proceedings V.W. Marek, A. Nerode, M. Truszczynski (eds) Σειρά: Lecture notes in artificial intelligence ; 928 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer Verlag 1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 Μ. Προσθήκη στο καλάθι (αφαίρεση)
	43.	Efficient Graph Rewriting and its Implementation από Dorr, Heiko [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 922 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 DOR. Προσθήκη στο καλάθι (αφαίρεση)
	44.	A primer in Petri Net design από Reisig, Wolfgang [aut] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 REI. Προσθήκη στο καλάθι (αφαίρεση)
	45.	Petrinetze Eine Einfuhrung από Reisig, Wolfgang [aut] Σειρά: Studienreihe Informatik / W. Brawer und G. Goos Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: German Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 REI. Προσθήκη στο καλάθι (αφαίρεση)
	46.	Algebraic complexity theory / Peter Bürgisser, Michael Clausen, M. Amin Shokrollahi ; with the collaboration of Thomas Lickteig. από Bürgisser, Peter, 1962- [συγγραφέας. ] Clausen, Michael [συγγραφέας.] Shokrollahi, Mohammad Amin [συγγραφέας.] Σειρά: Grundlehren der mathematischen Wissenschaften ; 315. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 BUR. Μηχανικών Η/Υ και Πληροφορικής: Not for loan (1)Ταξιθετικός αριθμός: 511.3 BUR. Προσθήκη στο καλάθι (αφαίρεση)
	47.	The resolution calculus / A. Leitsch. από Leitsch, Alexander [συγγραφέας.] Σειρά: Texts in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.131 LEI, ... Προσθήκη στο καλάθι (αφαίρεση)
	48.	Proper and improper forcing Seharon Shelah από Shelah, Saharon [aut] Σειρά: Perspectives in mathematical logic Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 SHE. Προσθήκη στο καλάθι (αφαίρεση)
	49.	David Hilbert's lectures on the foundations of mathematics and physics, 1891-1933 ; general editors, William Ewald ... [et al.] από Hilbert, David, 1862-1943 [aut] Ewald, William Bragg, 1935- [edt] Hallett, Michael, 1930- [edt] Majer, Ulrich [edt] Sieg, Wilfried, 1945- [edt] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 2004 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 516 HIB, ... Προσθήκη στο καλάθι (αφαίρεση)
	50.	Methods in mathematical logic : proceedings of the 6th Latin American Symposium on mathematical logic held in Caracas, Venezuela, August 1-6 August, 1983 / edited by A.C. Di Prisco. από Di Prisco, C. A [επιμελητής.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 1130. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 ΜΕΤ. Προσθήκη στο καλάθι (αφαίρεση)
	51.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Einführung in die operative Logik und Mathematik / Lorenzen Paul. από Lorenzen, Paul, 1915-1994 [συγγραφέας.] Σειρά: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 78. Έκδοση: 2 Aufl. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1969 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 LOR. Προσθήκη στο καλάθι (αφαίρεση)
	52.	Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society Monash University, Australia / edited by J. N. Crossley από Crossley, John N [επιμελητής.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 450. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1975 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.3 ALG, ... Προσθήκη στο καλάθι (αφαίρεση)
	53.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Foundations of mathematics Symposium papers commemorating the sixtieth birthday of Kurt Godel ; edited by Jack J. Bulloff, Thomas C. Holyoke [and] S. W. Hahn από Bulloff, Jack J [edt] Holyoke, Thomas C [edt] Hahn, Samuel Wilfred, 1921- [edt] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1969 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 FOU. Προσθήκη στο καλάθι (αφαίρεση)
	54.	Extensional constructs in intensional type theory Martin Hofmann από Hofmann, Martin Σειρά: CPHC/BCS distinguished dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 H. Προσθήκη στο καλάθι (αφαίρεση)
	55.	Computational logic / edited by Ulrich Berger, Helmut Schwichtenberg. από NATO Advanced Study Institute on Computational Logic (1997 : Marktoberdorf, Germany) Berger, Ulrich, 1956- [επιμελητής.] Schwichtenberg, Helmut, 1955- [επιμελητής.] Σειρά: NATO ASI series. Computer and systems sciences ; 165. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: Π/Σ 004.015 113 NAT. Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.015 113 NAT. Προσθήκη στο καλάθι (αφαίρεση)
	56.	Logic of computation / edited by Helmut Schwichtenberg. από NATO Advanced Study Institute on Logic of Computation (1995 : Marktoberdorf, Germany) Schwichtenberg, Helmut, 1955- [επιμελητής.] Σειρά: NATO ASI series. Computer and systems sciences ; 157. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 005.1 NAT. Προσθήκη στο καλάθι (αφαίρεση)
	57.	Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg. από NATO Advanced Study Institute on Logic and Algebra of Specification (1991 : Marktoberdorf, Germany) Bauer, Friedrich Ludwiq, 1924- [επιμελητής.] Brauer, Wilfried [επιμελητής.] Schwichtenberg, Helmut, 1955- [επιμελητής.] Σειρά: NATO ASI series. Computer and systems sciences ; 94. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.015 113 NAT. Προσθήκη στο καλάθι (αφαίρεση)
	58.	First-order logic / Raymond M. Smullyan. από Smullyan, Raymond M [συγγραφέας.] Σειρά: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 43. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1968 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 SMU. Προσθήκη στο καλάθι (αφαίρεση)
	59.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann. από Hermes, Hans [συγγραφέας.] Σειρά: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 127. Έκδοση: 2d rev. ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Αγγλικά Original language: German Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, 1969 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.352 HER, ... Προσθήκη στο καλάθι (αφαίρεση)
	60.	Proof theory and intuitionistic systems / Scarpellini Bruno. από Scarpellini, Bruno [συγγραφέας.] Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 212. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1971 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.36 SCA. Προσθήκη στο καλάθι (αφαίρεση)

Βελτιώστε την αναζήτησή σας

Διαθεσιμότητα

Συγγραφείς

Συλλογές

Βιβλιοθήκες που διαθέτουν αντίτυπα

Τύποι τεκμηρίου

Τοποθεσίες

Σειρά

Θέματα

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