Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ((finite language) or (template language))
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
Search alternatives
:
finite language »
finite languages
,
definite languages
,
cofinite languages
Showing
1
-
20
of
47
Search:
'((finite language) or (template language))'
,
query time: 0.37s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Language
, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Published 2019
Springer Berlin Heidelberg
Table of Contents:
“
... of Negation and their Modal Companions --
Finite
identification with positive and with complete data -- Two...
”
Read Now
2
Language
and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... by Homomorphisms onto Nilpotent Groups -- Characterization of Star-Connected
Languages
Using
Finite
Automata...
”
Read Now
3
Advances in Natural
Language
Processing : 5th International Conference, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... Unknown Light Verb Construction in Korean-to-English Patent MT -- Trees as Contexts in Formal
Language
...
”
Read Now
4
The Synthesizer Generator : A System for Constructing Language-Based Editors
by
Reps, Thomas W.
,
Teitelbaum, Tim
Published 1989
Springer New York
Table of Contents:
“
... The Implementation -- 11.1 Basic Organization of the Implementation -- 11.2
Finiteness
of Completing Terms -- 11.3...
”
Read Now
5
Computational Linguistics and Intelligent Text Processing : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... and Projections for a Future UNL++
Language
-- Transfer-Based MT from Spanish into Basque: Reusability...
”
Read Now
6
Pattern Recognition and Image Analysis : Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part II
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... on Infrared Sequences Degraded by Local Isoplanatism -- Inference of Stochastic
Finite
-State Transducers Using...
”
Read Now
7
Learn ECMAScript : discover the latest ECMAScript features in order to write cleaner code and learn the fundamentals of JavaScript
by
Mohan, Mehul
,
Prusty, Narayan
Published 2018
Packt Publishing
Table of Contents:
“
...) -- The padStart(length [, padString]) -- The padEnd(length [, padString]) --
Template
strings -- Expressions...
”
Call Number:
QA76.73.J39
Read Now
8
Sinatra : up and running
by
Harris, Alan
Published 2012
O'Reilly Media
Table of Contents:
“
...; Destroying a Session; Cookies; Attachments; Streaming; Keeping the Connection Open;
Finite
Streaming; Summary...
”
Call Number:
TK5105.8885.R92
Read Now
9
Current Topics in Artificial Intelligence : 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007, Selected Pa...
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... Numeric CSPs -- Interest Point Detectors for Visual SLAM -- TBL
Template
Selection: An Evolutionary...
”
Read Now
10
Financial instrument pricing using C++
by
Duffy, Daniel J.
Published 2018
John Wiley & Sons
Table of Contents:
“
...++ -- Advanced C++
template
programming -- Tuples in C++ and their applications -- Type traits, advanced lambdas...
”
Call Number:
HG4515.2
Read Now
11
Rewriting Techniques and Applications : Bordeaux, France, May 25-27, 1987. Proceedings
Published 1987
Springer Berlin Heidelberg
Table of Contents:
“
... on
template
-driven target term rewriting -- Descendants of regular
language
in a class of rewriting systems...
”
Read Now
12
Machine Translation and the Information Soup : Third Conference of the Association for Machine Translation in the Americas AMTA’98 Langhorne, PA, USA, October 28–31, 1998 Proceedin...
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... with
Finite
-State Devices -- Lexical Selection for Cross-
Language
Applications: Combining LCS with WordNet...
”
Read Now
13
Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015,...
Published 2016
Springer International Publishing
Table of Contents:
“
... Computing Applications -- Site-Level Web
Template
Extraction based on DOM Analysis -- Verification Support...
”
Read Now
14
Machine Translation and the Information Soup : Third Conference of the Association for Machine Translation in the Americas, AMTA’98, Langhorne, PA, USA, October 28–31, 1998 Proceed...
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... with
Finite
-State Devices -- Lexical Selection for Cross-
Language
Applications: Combining LCS with WordNet...
”
Read Now
15
Quantitative finance : an object-oriented approach in C++
by
Schlogl, Erik
Published 2014
CRC Press
Table of Contents:
“
...Interface; The explicit
finite
difference method; The implicit
finite
difference method; The Crank...
”
Call Number:
HG106
Read Now
16
Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of So...
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... Computer -- Contributed Papers -- Choice in Dynamic Linking -- Soft lambda-Calculus: A
Language
...
”
Read Now
17
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2017
Springer Berlin Heidelberg
Table of Contents:
“
... by Abstract Interpretation -- Automatic Verification of
Finite
Precision Implementations of Linear Controllers...
”
Read Now
18
Principles and Practice of Constraint Programming - CP 2000 : 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... for Identifying Tractable Disjunctive Constraints -- A
Language
for Audiovisual
Template
Specification...
”
Read Now
19
Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, P...
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
...
Languages
over
Finite
Trees -- The Arithmetical Complexity of Dimension and Randomness -- Towards a Proof...
”
Read Now
20
Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Published 2016
Springer International Publishing
Table of Contents:
“
... Affine Counter Systems with the
Finite
Monoid Property -- Solving
Language
Equations using Flanked...
”
1
2
3
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
16
004 - Data processing & computer science
13
006 - Special computer methods
8
620 - Engineering & allied operations
3
025 - Library operations
2
332 - Financial economics
2
more ...
621 - Applied physics
2
330 - Economics
1
331 - Labor economics
1
510 - Mathematics
1
511 - General principles of mathematics
1
519 - Probabilities & applied mathematics
1
670 - Manufacturing
1
745 - Decorative arts
1
794 - Indoor games of skill
1
see all ...
less ...
Language
English
47
Collection
Springer eBooks 2005-
25
Springer Book Archives -2004
18
O'Reilly
4
Author
Farwell, David
2
Fernau, Henning
2
Gerber, Laurie
2
Hovy, Eduard
2
Legay, Axel
2
Margaria, Tiziana
2
more ...
Akehurst, David
1
Artho, Cyrille
1
Baaz, Matthias
1
Benedí, José Miguel
1
Biner, S. Bulent
1
Bocquet, J.-C.
1
Borrajo, Daniel
1
Brebbia, C.A.
1
Cantoni, Lorenzo
1
Capper, Derek M.
1
Castillo, Luis
1
Champion, Erik
1
Chedmail, Patrick
1
Corchado, Juan Manuel
1
Counsell, Steve
1
Creignou, Nadia
1
Davidson, David
1
Dechter, Rina
1
Dongarra, Jack J.
1
Duffy, Daniel J.
1
Durand, Bruno
1
Egerstedt, Magnus
1
Farach-Colton, Martin
1
Ferrante, A.J.
1
Fink, Eleanor
1
Garzon, Max H.
1
Gaspers, Serge
1
Gelbukh, Alexander
1
Ginter, Filip
1
Glück, Robert
1
Haase, Konstantin
1
Harris, Alan
1
Hertzberger, Bob
1
Hoekstra, Alfons G.
1
Ioannides, Marinos
1
Ishikawa, Yutaka
1
Jiang, Tao
1
Kelly, Sloan
1
Klasing, Ralf
1
Kolaitis, Phokion G.
1
Krob, Daniel
1
Kumar Sanyal, Manas
1
Lee, D.T.
1
Lescanne, Pierre
1
Makowsky, Johann M.
1
Mandal, J. K.
1
Martin-Vide, Carlos
1
Martí, Joan
1
Mazzara, Manuel
1
Mendonça, Ana Maria
1
Mercaş, Robert
1
Mikhalev, Alexander A.
1
Mikhalev, Alexander V.
1
Mishra, Bud
1
Mohan, Mehul
1
Mouri, Koichi
1
Núñez, Manuel
1
Ohsuga, Setsuo
1
Oldehoeft, Rodney R.
1
Otto, Friedrich
1
Pahikkala, Tapio
1
Paige, Richard
1
Peled, Doron
1
Prieto, Alberto
1
Prusty, Narayan
1
Pyysalo, Sampo
1
Ras, Zbigniew W.
1
Reidenbach, Daniel
1
Reps, Thomas W.
1
Reynders, John V.W.
1
Salakoski, Tapio
1
Sarkar, Partha Pratim
1
Satapathy, Suresh Chandra
1
Schlogl, Erik
1
Serrat, Joan
1
Silva, Alexandra
1
Sloot, Peter
1
Sloot, Peter M.A.
1
SpringerLink (Online service)
1
Staton, Sam
1
Steffen, Bernhard
1
Sutton, Peter
1
Tan, C.J. Kenneth
1
Teitelbaum, Tim
1
Tholburn, Marydell
1
Thomas, Wolfgang
1
Umbach, Carla
1
Vogel, Regis
1
Vollmer, Heribert
1
Voronkov, Andrei
1
Walukiewicz, Igor
1
Yan, Hao
1
Yang, Daoqi
1
Yokoyama, Tetsuo
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%28%28finite+language%29+or+%28template+language%29%29&type=AllFields
Send by Email
×
Loading...