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

Αποτελέσματα
	1.	Grid Computing [electronic resource] Experiment Management, Tool Integration, and Scientific Workflows by Radu Prodan, Thomas Fahringer από Prodan, Radu Fahringer, Thomas Σειρά: Lecture Notes in Computer Science ; 4340 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2007 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	2.	Semantics with Applications: An Appetizer [electronic resource] by Hanne Riis Nielson, Flemming Nielson από Nielson, Hanne Riis Nielson, Flemming Σειρά: Undergraduate Topics in Computer Science Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2007 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	3.	Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] by Annabelle McIver, Carroll Morgan από McIver, Annabelle Morgan, Carroll Σειρά: Monographs in Computer Science Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, Inc. 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	4.	Categories for Software Engineering [electronic resource] by JosΓ© Luiz Fiadeiro από Fiadeiro, JosΓ© Luiz Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	5.	A Practical Theory of Reactive Systems [electronic resource] Incremental Modeling of Dynamic Behaviors by Reino Kurki-Suonio από Kurki-Suonio, Reino Σειρά: Texts in Theoretical Computer Science An EATCS Series Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	6.	Abstract Computing Machines [electronic resource] A Lambda Calculus Perspective by W. Kluge; edited by W. Brauer, G. Rozenberg, A. Salomaa από Kluge, William S Brauer, W Rozenberg, Grzegorz Salomaa, A Σειρά: Texts in Theoretical Computer Science, An EATCS Series Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	7.	Complexity Theory [electronic resource] Exploring the Limits of Efficient Algorithms by Ingo Wegener από Wegener, Ingo Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2005 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	8.	Modern Formal Methods and Applications [electronic resource] edited by Hossam A. Gabbar από Gabbar, Hossam A Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Dordrecht Springer 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	9.	Verification of Object-Oriented Software. The KeY Approach [electronic resource] Foreword by K. Rustan M. Leino edited by Bernhard Beckert, Reiner HΓ€hnle, Peter H. Schmitt από Beckert, Bernhard HΓ€hnle, Reiner Schmitt, Peter H Σειρά: Lecture Notes in Computer Science ; 4334 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	10.	Theoretical Introduction to Programming [electronic resource] by Bruce Mills από Mills, Bruce Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	11.	Concurrency Theory [electronic resource] Calculi and Automata for Modelling Untimed and Timed Concurrent Systems by Howard Bowman, Rodolfo Gomez από Bowman, Howard Gomez, Rodolfo Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Springer-Verlag London Limited 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	12.	Parameterized Complexity Theory [electronic resource] by JΓΆrg Flum, Martin Grohe από Flum, JΓΆrg Grohe, Martin Σειρά: Texts in Theoretical Computer Science. An EATCS Series Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	13.	Software Engineering 3 [electronic resource] Domains, Requirements, and Software Design by Dines BjΓΈner από BjΓΈner, Dines Σειρά: Texts in Theoretical Computer Science An EATC Series Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	14.	Mathematical Problems from Applied Logic I [electronic resource] Logics for the XXIst Century edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev από Gabbay, Dov M, 1945- Goncharov, Sergei S Zakharyaschev, Michael Σειρά: International Mathematical Series ; 4 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, Inc. 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	15.	Modelling Foundations and Applications [electronic resource] 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings edited by Thomas KΓΌhne, Bran Selic, Marie-Pierre Gervais, FranΓois Terrier από KΓΌhne, Thomas Selic, Bran Gervais, Marie-Pierre Terrier, FranΓois SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6138 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	16.	Service Research Challenges and Solutions for the Future Internet [electronic resource] S-Cube β Towards Engineering, Managing and Adapting Service-Based Systems edited by Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger από Papazoglou, M, 1953- Pohl, Klaus Parkin, Michael, 1939- Metzger, Andreas SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6500 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	17.	Software Language Engineering [electronic resource] Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers edited by Mark Brand, Dragan GaΕeviΔ, Jeff Gray από Brand, Mark GaΕeviΔ, Dragan Gray, Jeff SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 5969 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	18.	Reliable Software Technologiey β Ada-Europe 2010 [electronic resource] 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings edited by Jorge Real, Tullio Vardanega από Real, Jorge Vardanega, Tullio SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6106 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	19.	Computer Science Logic [electronic resource] 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings edited by Anuj Dawar, Helmut Veith από Dawar, Anuj Veith, Helmut SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6247 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	20.	Fields of Logic and Computation [electronic resource] Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig από Blass, Andreas Dershowitz, Nachum Reisig, Wolfgang SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6300 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

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

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

Σειρά

Θέματα

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