Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "machine"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"005 - Computer programming, programs & data"
product_txtF_mv:"Springer Book Archives -2004"
Showing
1
-
20
of
612
Search:
'"machine"'
,
query time: 0.03s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Database
Machines
: Sixth International Workshop, IWDM '89, Deauville, France, June 19-21, 1989. Proceedings
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
...-oriented data flow database
machine
-- An experiment on response time scalability in Bubba -- Language...
”
Read Now
2
Database
Machines
: Fourth International Workshop Grand Bahama Island, March 1985
Published 1985
Springer New York
Table of Contents:
“
... Databases” -- “The Design and Implementation of Relational Database
Machine
Delta” -- Performance Evaluation...
”
Read Now
3
Database
Machines
: International Workshop Munich, September 1983
Published 1983
Springer Berlin Heidelberg
Table of Contents:
“
...An Idea Whose Time has Passed? A Critique of the Future of Database
Machines
-- New Issues...
”
Read Now
4
Abstract State
Machines
: A Method for High-Level System Design and Analysis
by
Börger, Egon
,
Stärk, Robert
Published 2003
Springer Berlin Heidelberg
“
... The systems engineering method proposed in this book, which is based on Abstract State
Machines
...
”
Read Now
5
Human
Machine
Symbiosis : The Foundations of Human-centred Systems Design
Published 1996
Springer London
Table of Contents:
“
...1. The Foundations of Human-centred Systems -- 2. On Human—
Machine
Symbiosis -- 3. Rosenbrock’s...
”
Read Now
6
Human and
Machine
Perception 2 : Emergence, Attention, and Creativity
Published 1999
Springer US
“
...The following are the proceedings of the Third International Workshop on Human and
Machine
...
”
Read Now
7
Machine
Learning: ECML 2000 : 11th European Conference on Machine Learning Barcelona, Catalonia, Spain May, 31 - June 2, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... Discretization of Continuous Values from Time Series -- Using a Symbolic
Machine
Learning Tool to Refine Lexico...
”
Read Now
8
Chess Skill in Man and
Machine
Published 1977
Springer Berlin Heidelberg
Read Now
9
Java and the Java Virtual
Machine
: Definition, Verification, Validation
by
Stärk, Robert F.
,
Schmid, Joachim
,
Börger, Egon
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... Java and the JVM -- 1.4 Sources and literature -- 2. Abstract State
Machines
-- 2.1 ASMs in a nutshell...
”
Read Now
10
Optimization of SQL Queries for Parallel
Machines
by
Hasan, Wagar
Published 1996
Springer Berlin Heidelberg
“
... to construct SQL compilers able to exploit parallel
machines
effectively...
”
Read Now
11
Concepts, Design, and Performance Analysis of a Parallel Prolog
Machine
by
Beer, Joachim
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
... problem -- The abstract parallel Prolog
machine
-- Simulation -- Conclusion -- Benchmark programs...
”
Read Now
12
Recent Advances in Parallel Virtual
Machine
and Message Passing Interface...
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... on message passing
machines
-- PVM experiences in developing the MIDAS parallel database system -- Developing...
”
Read Now
13
Recent Advances in Parallel Virtual
Machine
and Message Passing Interface...
Published 2000
Springer Berlin Heidelberg
“
...Parallel Virtual
Machine
(PVM) and Message Passing Interface (MPI) are the most frequently used...
”
Read Now
14
Computation of Language : An Essay on Syntax, Semantics and Pragmatics in Natural Man-Machine Communication
by
Hausser, Roland
Published 1989
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
15
Ourselves and Computers : Difference in Minds and Machines
by
Bijl, Aart
Published 1995
Macmillan Education UK
Read Now
16
Using Sophisticated Models in Resolution Theorem Proving
by
Sandford, David M.
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
17
Context-Free Grammars : Covers, Normal Forms, and Parsing
by
Nijholt, A.
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
18
Automata Networks : LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings
Published 1988
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
19
Term Rewriting : French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
Published 1995
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
Read Now
20
Mathematical Foundations of Computer Science 1980 : 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings
Published 1980
Springer Berlin Heidelberg
Subjects:
“
...
Machine
theory...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
003 - Systems
48
004 - Data processing & computer science
23
Language
English
587
German
25
Collection
Springer Book Archives -2004
Author
Bowen, Jonathan P.
8
Broy, Manfred
6
Hinchey, Michael G.
5
Salomaa, Arto
5
Börger, Egon
4
Hammond, Kevin
4
more ...
Jouannaud, Jean-Pierre
4
Montanari, Ugo
4
Rozenberg, Grzegorz
4
Wirsing, Martin
4
Araki, Keijiro
3
Bjørner, Dines
3
Bruynooghe, Maurice
3
Clack, Chris
3
Comon, Hubert
3
Denvir, Tim
3
Dongarra, Jack
3
Dybjer, Peter
3
Fitting, Melvin
3
Hermenegildo, Manuel
3
Huan Liu
3
Kuchen, Herbert
3
Lavrač, Nada
3
Levi, Giorgio
3
Meinke, Karl
3
Motoda, Hiroshi
3
Nipkow, Tobias
3
Orlowska, Ewa
3
Arbib, Michael A.
2
Arts, Thomas
2
Backhouse, Roland
2
Batory, Don
2
Benyon, David
2
Berardi, Stefano
2
Bert, Didier
2
Birtwistle, Graham
2
Bjorner, D.
2
Boral, Haran
2
Bowen, J.P.
2
Bubak, Marian
2
Cap, Clemens H.
2
Caviness, Bob F.
2
Ceri, Stefano
2
Coppo, Mario
2
Cousot, Patrick
2
Davie, Tony
2
Demetrovics, Janos
2
Deransart, Pierre
2
Dershowitz, Nachum
2
Deswarte, Yves
2
Diaz, Josep
2
Dyckhoff, Roy
2
Ehrig, Hartmut
2
Fribourg, Laurent
2
Galloway, Andy
2
Giunchiglia, Fausto
2
Glaser, Hugh
2
Gollmann, Dieter
2
Gottlob, Georg
2
Hagiya, Masami
2
Hammer, Dieter
2
Hanus, Michael
2
Heering, Jan
2
Jansen, Klaus
2
Jones, C.B.
2
Jones, Neil
2
Jähnichen, Stefan
2
Kaplan, Stephane
2
King, Steve
2
Lano, Kevin
2
Leeuwen, Jan van
2
Lengauer, Christian
2
Lescanne, Pierre
2
Lifschitz, Vladimir
2
Litwin, Witold
2
Lutton, Evelyne
2
Maher, Michael
2
Middeldorp, Aart
2
Miller, Julian F.
2
Mosses, Peter D.
2
Mueller, Frank
2
Nicholls, J.E.
2
Nivat, Maurice
2
Nordström, Bengt
2
Oliveira, Arlindo L.
2
Orejas, Fernando
2
Owe, Olaf
2
Palamidessi, Catuscia
2
Paulson, Lawrence C.
2
Paun, Gheorghe
2
Penjam, Jaan
2
Quisquater, Jean-Jacques
2
Qvortrup, Lars
2
Rattray, Charles
2
Robinet, Bernard
2
Rodriguez-Artalejo, Mario
2
Rosenberg, John
2
Rossi, Francesca
2
Rusinowitch, Michael
2
Ryan, Conor
2
see all ...
less ...
Recently Uploaded
Last Month
2
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22005+-+Computer+programming%2C+programs+%26+data%22&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%22machine%22&type=AllFields
Send by Email
×
Loading...