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

Αποτελέσματα
	81.	Logiques, ensembles, categories le point de vue constructif Pierre Ageron από Ageron, Pierre Σειρά: Mathematiques pour le 2e cycle Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: French Λεπτομέρειες δημοσίευσης: Paris Ellipses 2000 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.322 AGE, ... Προσθήκη στο καλάθι (αφαίρεση)
	82.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Theory of symmetric lattices / F. Maeda, S. Maeda. από Maeda, Fumitomo, 1897-1965 [συγγραφέας.] Maeda, Shūichirō, 1927- [συγγραφέας.] Σειρά: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; 173. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1970 Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.33 MAE. Προσθήκη στο καλάθι (αφαίρεση)
	83.	Mass terms and model-theoretic semantics Harry C. Bunt από Bunt, Harry C Σειρά: Cambridge studies in linguistics ; 42 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press c1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 415 BUN. Προσθήκη στο καλάθι (αφαίρεση)
	84.	Finite model theory and its applications Erich Gradel ... [et al.] από Grädel, Erich, 1958- [aut] Κολαϊτης, Φωκίων [aut] Libkin, Leonid [aut] Σειρά: Texts in theoretical computer science : an EATCS series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 2007 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Κουκούλι (1)Ταξιθετικός αριθμός: 511.34 FIN. ΒΚΠ - Μεσολόγγι (2)Ταξιθετικός αριθμός: 511.3 FIN, ... ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.34 GRA, ... Προσθήκη στο καλάθι (αφαίρεση)
	85.	Tool and object a history and philosophy of category theory Ralf Kromer από Kromer, Ralf Σειρά: Science networks. Historical studies ; 32 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Basel Birkhauser 2007 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 KRO. Προσθήκη στο καλάθι (αφαίρεση)
	86.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Εφαρμογή των κινητικών δομών δεδομένων σε προβλήματα της υπολογιστικής γεωμετρίας Τσιμά Αλεξάνδρα; Πανεπιστήμιο Πατρών, Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών - Πολυτεχνική Σχολή, Τμήμα Μηχανικών Η/Υ και Πληροφορικής από Τσιμά, Αλεξάνδρα Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών] Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Πολυτεχνική Σχολή, Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Greek, Modern (1453- ) Λεπτομέρειες δημοσίευσης: Πάτρα [χ.ό.] 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΤΣΙ. Προσθήκη στο καλάθι (αφαίρεση)
	87.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Στατιστική ανάλυση πολυδιάστατων δεδομένων η παραγοντική ανάλυση αντιστοιχιών στην ασαφή λογική Στάθης Λειβαδάς; Πανεπιστήμιο Πατρών, Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών από Θεοδώρου, Ιωάννης Α Πανεπιστήμιο Πατρών Σχολή Επιστημών Υγείας Τμήμα Ιατρικής [Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Greek, Modern (1453- ) Λεπτομέρειες δημοσίευσης: Πάτρα [χ.ό.] 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.313 ΘΕΟ. Προσθήκη στο καλάθι (αφαίρεση)
	88.	Discrete mathematics mathematical reasoning and proof with puzzles, patterns and games Douglas E. Ensley and J. Winston Crawley από Ensley, Douglas E Crawley, J. Winston Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Hoboken, N.J. John Wiley & Sons 2006 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ENS. Προσθήκη στο καλάθι (αφαίρεση)
	89.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Αυτόματα γλώσσες γραμματικές / Σ. Μποζαπαλίδη. από Μποζαπαλίδης, Συμεών [συγγραφέας.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Θεσσαλονίκη : [Αϊβάζη], [2010] Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Αγρίνιο (1)Ταξιθετικός αριθμός: 511.35 ΜΠΟ. ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 004 ΜΠΟ, ... Προσθήκη στο καλάθι (αφαίρεση)
	90.	Introduction to the theory of computation Michael Sipser από Sipser, Michael Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Australia Thomson 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Μεσολόγγι (2)Ταξιθετικός αριθμός: 511.3 SIP, ... ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 SPI. Προσθήκη στο καλάθι (αφαίρεση)
	91.	Fundamentals of mathematical logic Peter G. Hinman από Hinman, Peter G Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Wellesley, MA A K Peters 2005 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ΗΙΝ. Προσθήκη στο καλάθι (αφαίρεση)
	92.	A first course in logic an introduction to model theory, proof theory, computability and complexity Shawn Hedman από Hedman, Shawn Σειρά: Oxford texts in logic ; 1 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Oxford University Press 2004 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 HED. Προσθήκη στο καλάθι (αφαίρεση)
	93.	Brouwer meets Husserl [electronic resource] On the Phenomenology of Choice Sequences by Mark Atten από Atten, Mark Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2007 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	94.	104 Number Theory Problems [electronic resource] From the Training of the USA IMO Team by Titu Andreescu, Dorin Andrica, Zuming Feng από Andreescu, Titu Andrica, Dorin Feng, Zuming Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA BirkhΓuser Boston 2007 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	95.	Scenario Logic and Probabilistic Management of Risk in Business and Engineering [electronic resource] by E. D. Solojentsev από Solojentsev, E. D Σειρά: Applied Optimization ; 93 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Boston, MA Springer Science+Business Media, Inc. 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	96.	Categories for Software Engineering [electronic resource] by JosΓ© Luiz Fiadeiro από Fiadeiro, JosΓ© Luiz Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	97.	Trends in Continuum Mechanics of Porous Media [electronic resource] by Reint Boer από Boer, Reint Σειρά: Theory and Applications of Transport in Porous Media ; 18 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	98.	Laws of Nature [electronic resource] by Peter Mittelstaedt, Paul A. Weingartner από Mittelstaedt, Peter Weingartner, Paul A Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	99.	Essays in Constructive Mathematics [electronic resource] by Harold M. Edwards από Edwards, Harold M Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York, NY Harold M. Edwards 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	100.	A Modern Perspective on Type Theory [electronic resource] From its Origins until Today by Fairouz Kamareddine, Twan Laan, Rob Nederpelt από Kamareddine, Fairouz Laan, Twan Nederpelt, Rob Σειρά: Applied Logic Series ; 29 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer Science + Business Media, Inc. 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

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