Αποτελέσματα αναζήτησης για 'ccl=pl:"Berlin :" and ccode:NFIC' › Βιβλιοθήκη & Κέντρο Πληροφόρησης, Πανεπιστήμιο Πατρών κατάλογος

Αποτελέσματα
	81.	Gems of theoretical computer science / Uwe Schöning, Randall J. Pruim. από Schöning, Uwe, 1955- [συγγραφέας] Pruim, Randall J [συγγραφέας] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Original language: German Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 113 SCH. Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 004.015 113 SCH. Προσθήκη στο καλάθι (αφαίρεση)
	82.	Foundations of inductive logic programming από Nienhuys-Cheng, Shan-Hwei [aut] Wolf de, Ronald [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1228 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.115 NIE. Προσθήκη στο καλάθι (αφαίρεση)
	83.	New trends in formal languages Control,cooperation and combinatorics από Paun, Gheorghe [aut] Salomaa, Arto [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1218 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 PAU. Προσθήκη στο καλάθι (αφαίρεση)
	84.	Handbook of formal languages από Rosenberg, G [edt] Salomaa, Arto [edt] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 ROS. Προσθήκη στο καλάθι (αφαίρεση)
	85.	Handbook of formal languages από Rosenberg, G [edt] Salomaa, Arto [edt] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 ROS. Προσθήκη στο καλάθι (αφαίρεση)
	86.	Online Algorithms The state of the art [Proceedings} of the Workshop 1996 από Fiat, Amos [edt] Woeginger, Gerhard J [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1442 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 FIA. Προσθήκη στο καλάθι (αφαίρεση)
	87.	Graphs, networks and algorithms από Jungnickel, Dieter [aut] Σειρά: Algorithms and Computation in Mathematics ; 5 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 JUN. Προσθήκη στο καλάθι (αφαίρεση)
	88.	A primer in Petri Net design από Reisig, Wolfgang [aut] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 REI. Προσθήκη στο καλάθι (αφαίρεση)
	89.	Petrinetze Eine Einfuhrung από Reisig, Wolfgang [aut] Σειρά: Studienreihe Informatik / W. Brawer und G. Goos Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: German Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 REI. Προσθήκη στο καλάθι (αφαίρεση)
	90.	Advances in Petri nets 1991 / Grzegorz Rozenberg (ed.). από Rozenberg, Grzegorz [επιμελητής] Σειρά: Lecture notes in computer science ; 524 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ADV. Προσθήκη στο καλάθι (αφαίρεση)
	91.	Advances in Petri nets 1987 / Grzegorz Rozenberg (ed.). από Rozenberg, Grzegorz [επιμελητής] Σειρά: Lecture notes in computer science ; 266 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1987 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ADV. Προσθήκη στο καλάθι (αφαίρεση)
	92.	Advances in Petri nets 1988 / Grzegorz Rozenberg (ed.). από Rozenberg, Grzegorz [επιμελητής] Σειρά: Lecture notes in computer science ; 340 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ROS. Προσθήκη στο καλάθι (αφαίρεση)
	93.	Advances in Petri nets 1989 / Grzegorz Rozenberg (ed.). από Rozenberg, Grzegorz [επιμελητής] Σειρά: Lecture notes in computer science ; 424 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1990 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ADV. Προσθήκη στο καλάθι (αφαίρεση)
	94.	Advances in Petri nets 1990 / Grzegorz Rozenberg (ed.). από Rozenberg, Grzegorz [επιμελητής] Σειρά: Lecture notes in computer science ; 483 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ADV. Προσθήκη στο καλάθι (αφαίρεση)
	95.	Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship J. Zwiers από Zwiers, J [aut] Σειρά: Lecture Notes in Computer Science ; 321 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin Springer 1989 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.6 ZWI. Προσθήκη στο καλάθι (αφαίρεση)
	96.	Numerical computation 1 Methods,software and analysis Christoph W. Ueberhuber από Ueberhuber, Cristoph W [aut] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin Springer 1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 519.4 UEB, ... Προσθήκη στο καλάθι (αφαίρεση)
	97.	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. Προσθήκη στο καλάθι (αφαίρεση)
	98.	The logic programming paradigm A 25-year perspective K.R. Apt,V.W. Marek,M. Truszczynski,D.S. Warren eds από Apt, Krzysztof [edt] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin Springer 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.115 APT. Προσθήκη στο καλάθι (αφαίρεση)
	99.	Verification of sequential and concurrent programs Krzysztof R. Apt Ernst-Rudiger Olderog από Apt, Krzysztof [aut] Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin Springer 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.14 APT. Προσθήκη στο καλάθι (αφαίρεση)
	100.	Combinatorial Group Theory and Applications to Geometry D.J. Collins, R.I. Grigorchuk, P.F. Kurchanov, H. Zieschang από Collins, D.J [aut] Grigorchuk, R.I [aut] Kurchanov, P.F [aut] Zieschang, H [aut] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin Springer 1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.2 COL. Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

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