Εξώφυλλο

Κώδικας QR

Automated Mathematical Induction /

Άλλοι συγγραφείς:	Zhang, H.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	Dordrecht: Kluwer Academic Publishers, 1996.
Ταξινομικός αριθμός:	510 AU.
Θέματα:	Mathematics.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Induction, Growth, and trade : essays in honour of Sir Roy Harrod /
Στοιχεία έκδοσης: (1970)

Objective knowledge : an evolutionary approach /
από: Popper, Karl Raimund sir 1902-1994.
Στοιχεία έκδοσης: (1979)

Information-control problems in manufacturing technology : proceedings of the IFAC intern[a]tional symposium, Tokyo, Japan, 17-20 October, 1977 /
Στοιχεία έκδοσης: (1978)

Research libraries and technology : a report to the Sloan Foundation /
από: Fussler, Herman Howe, 1914-
Στοιχεία έκδοσης: (1973)

Μαθήματα στατιστικής : ανάλυση δεδομένων-πιθανότητες-επαγωγή-εισαγωγή στο R /
από: Τσιώτας, Γεώργιος Κ.
Στοιχεία έκδοσης: (2022)

Automated fabrication : improving productivity in manufacturing /
από: Burns, Marshall.
Στοιχεία έκδοσης: (1993)

Commonsense reasoning
από: Mueller, Erik T.
Στοιχεία έκδοσης: (2006)

Re-engineering for sustainable industrial production: procceding of the OE/IFIP/IEEE international conference on integrated and sustaainable industrial production, Lisbon, Portugal, May 1977 /
Στοιχεία έκδοσης: (1997)

Automation and management /
από: Bright, James Rieser.
Στοιχεία έκδοσης: (1958)

Advances in librarianship /
Στοιχεία έκδοσης: (2004)

Cellular manufacturing systems: design, planning and control/
από: Singh, Nanua.
Στοιχεία έκδοσης: (1996)

Environmental chemicals, enzyme function, and human disease
Στοιχεία έκδοσης: (1980)

Το πρόβλημα της επαγωγικής λογικής : αναζητήσεις στην λογική της επιστημονικής έρευνας /
από: Καργόπουλος, Φίλιππος Β.
Στοιχεία έκδοσης: (1991)

Process innovetion and automation in small and medium sized business /
Στοιχεία έκδοσης: (1987)

In the age of the smart machine : the future of work and power /
από: Zuboff, Shoshana, 1951-
Στοιχεία έκδοσης: (1988)

Local area networks : issues, products, and developments /
από: Cheong, Viv E.
Στοιχεία έκδοσης: (1983)

Logistics and fulfillment for e-busines s: a practical guide to mastering back office functions for online commerce /
από: Reynolds, Janice.
Στοιχεία έκδοσης: (2001)

Home networking bible /
από: Plumley, Sue.
Στοιχεία έκδοσης: (2004)

Management guide to office automation/
από: Simons, G.L.
Στοιχεία έκδοσης: (1986)

Εφαρμογές μαθηματικών και στατιστικής σε επιχειρησιακά προβλήματα /
Στοιχεία έκδοσης: (2008)

Fact, fiction, and forecast /
από: Goodman, Nelson.
Στοιχεία έκδοσης: (1973)

Office automation /
από: Doswell, Andrew.
Στοιχεία έκδοσης: (1983)

Intelligent assembly systems/
Στοιχεία έκδοσης: (1995)

Traffic control and transportation systems : Regulation du trafic et systemes de transport : proceedings of the 2nd IFAC/IFIP/IFORS Symposium, Monte Carlo, 16-21 September, 1974 /
Στοιχεία έκδοσης: (1974)

Office information systems : management issues and methods /
από: Irving, Richard H.
Στοιχεία έκδοσης: (1991)

Office automation technology and concepts /
από: Wagoner, Kathleen P.
Στοιχεία έκδοσης: (1984)

Office automation : concepts and tools /
Στοιχεία έκδοσης: (1985)

Library automation: issues and applications /
από: Reynolds, Dennis.
Στοιχεία έκδοσης: (1985)

Manufacturing in real time managers, engineers and an age of smart machines /
από: Frontini, Gian F.
Στοιχεία έκδοσης: (2003)

Practical model-based testing a tools approach /
από: Utting, Mark.
Στοιχεία έκδοσης: (2007)

Nagios 3 enterprise network monitoring including plug-ins and hardware devices /
Στοιχεία έκδοσης: (2008)

The digital factor in library and information services /
Στοιχεία έκδοσης: (2002)

Intrusion detection in distributed systems : an abstraction-based approach /
από: Ning, Peng.
Στοιχεία έκδοσης: (2004)

Managing technologies and automated library systems in developing countries : open source vs commercial options : proceedings of the IFLA Pre-conference Satellite Meeting /
Στοιχεία έκδοσης: (2008)

Intelligent offices : object-oriented multi-media information management in client/server architectures /
Στοιχεία έκδοσης: (1992)

Artificial intelligence in industrial decision making, control and automation/
Στοιχεία έκδοσης: (1995)

Managing library automation / Marlene Clayton.-
από: Clayton, Marlene.
Στοιχεία έκδοσης: (1987)

Container terminals and automated transport systems : logistics control issues and quantitative decision support /
Στοιχεία έκδοσης: (2005)

Reuse in electronic design : from information modelling to intellectual properties /
από: Cornadi, Peter.
Στοιχεία έκδοσης: (1999)

Human factors in air traffic control/
από: Hopkin, David V.
Στοιχεία έκδοσης: (1978)