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

Αποτελέσματα
	61.	Additive Number Theory [electronic resource] Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson edited by David Chudnovsky, Gregory Chudnovsky από Chudnovsky, D. (David), 1947- Chudnovsky, Gregory SpringerLink (Online service) Έκδοση: 1 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, LLC 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	62.	Logical Tools for Handling Change in Agent-Based Systems [electronic resource] by Dov M. Gabbay, Karl Schlechta από Gabbay, Dov M, 1945- Schlechta, Karl SpringerLink (Online service) Σειρά: Cognitive Technologies Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	63.	A Course in Mathematical Logic for Mathematicians [electronic resource] by Yu. I. Manin από Manin, IU I SpringerLink (Online service) Σειρά: Graduate Texts in Mathematics ; 53 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York, NY Springer-Verlag New York 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1). Προσθήκη στο καλάθι (αφαίρεση)
	64.	Computer Algebra in Scientific Computing [electronic resource] 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov από Gerdt, Vladimir P Koepf, Wolfram Mayr, Ernst W Vorozhtsov, Evgenii V SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6244 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	65.	High Performance Embedded Architectures and Compilers [electronic resource] 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings edited by Yale N. Patt, Pierfrancesco Foglia, Evelyn Duesterwald, Paolo Faraboschi, Xavier Martorell από Patt, Yale N Foglia, Pierfrancesco Duesterwald, Evelyn Faraboschi, Paolo Martorell, Xavier SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5952 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	66.	Banach Spaces and Descriptive Set Theory: Selected Topics [electronic resource] by Pandelis Dodos από Dodos, Pandelis SpringerLink (Online service) Σειρά: Lecture Notes in Mathematics ; 1993 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1). Προσθήκη στο καλάθι (αφαίρεση)
	67.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Transfinite Zahlen Heinz Bachmann Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: German Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1967 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.322 B. Προσθήκη στο καλάθι (αφαίρεση)
	68.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Mathematische Gesetze der Logik / Schmidt H. Arnold. από Schmidt, H. Arnold, 1902- [συγγραφέας.] Σειρά: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 69. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1960 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 SCH. Προσθήκη στο καλάθι (αφαίρεση)
	69.	An algebraic introduction to mathematical logic / D. W. Barnes, J. M. Mack. από Barnes, D. W. (Donald W.), 1935- [συγγραφέας.] Mack, J. M [συγγραφέας.] Σειρά: Graduate texts in mathematics (Springer) Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: New York : Springer-Verlag, [1975] Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.3 BAR, ... Προσθήκη στο καλάθι (αφαίρεση)
	70.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Grundzüge der mathematischen Logik / Heinrich Scholz, Gisbert Hasenjaeger. από Scholz, Heinrich, 1884-1956 [συγγραφέας.] Hasenjaeger, Gisbert [συγγραφέας.] Σειρά: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 106. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1961 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 SCH. Προσθήκη στο καλάθι (αφαίρεση)
	71.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Complexity and structure από Schöning, Uwe, 1955- [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 211 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 SCH. Προσθήκη στο καλάθι (αφαίρεση)
	72.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985 από Jouannaud, Jean-Pierre [edt] Σειρά: Lecture Notes in Computer Science = 202 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005. Προσθήκη στο καλάθι (αφαίρεση)
	73.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Constructibility από Devlin, Keith J [aut] Σειρά: Perspectives in Mathematical Logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1984 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 DEV. Προσθήκη στο καλάθι (αφαίρεση)
	74.	Automated deduction, CADE-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 proceedings D. Kapur (ed.) από Kapur, Deepak [edt] Σειρά: Lecture notes in artificial intelligence ; 607 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer - Verlag 1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 INT. Προσθήκη στο καλάθι (αφαίρεση)
	75.	Automated deduction - CADE-12 proceedings Alan Bundy (Ed.) από Bundy, Alan Σειρά: Lecture notes in artificial intelligence ; 814 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer - Verlag 1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 B. Προσθήκη στο καλάθι (αφαίρεση)
	76.	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, ... Προσθήκη στο καλάθι (αφαίρεση)
	77.	First-order logic and automated theorem proving / Melvin Fitting. από Fitting, Melvin, 1942- Σειρά: Graduate texts in computer science Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York : Springer, c1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.3 F, ... Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 511.3 FIT, ... Προσθήκη στο καλάθι (αφαίρεση)
	78.	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 Μ. Προσθήκη στο καλάθι (αφαίρεση)
	79.	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. Προσθήκη στο καλάθι (αφαίρεση)
	80.	A primer in Petri Net design από Reisig, Wolfgang [aut] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 REI. Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

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