Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "structure theory"
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"
Showing
1
-
12
of
12
Search:
'"structure theory"'
,
query time: 0.11s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Conceptual
Structures
:
Theory
and Implementation : 7th Annual Workshop, Las Cruces, NM, USA, July 8-10, 1992. Proceedings
Published 1993
Springer Berlin Heidelberg
Read Now
2
Transactions on Petri Nets and Other Models of Concurrency VII
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... Using Petri Nets --
Structure
Theory
of Petri Nets -- Causality in Extensions of Petri Nets -- External...
”
Read Now
3
Recent Trends in Data Type Specification : Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers
Published 1988
Springer Berlin Heidelberg
Table of Contents:
“
... type and process specifications based on projection spaces --
Structuring
theories
on consequence...
”
Read Now
4
Abstraction, Refinement and Proof for Probabilistic Systems
by
McIver, Annabelle
,
Morgan, Charles Carroll
Published 2005
Springer New York
Table of Contents:
“
... philosophers, and the random walk -- Probabilistic data refinement: The steam boiler -- Semantic
structures
...
”
Read Now
5
Parallel programming with OpenACC
Published 2017
Morgan Kaufmann/Elsevier
Table of Contents:
“
...
Structure
Theory
Using OpenACC Compiler Directives -- Using OpenACC to Port Large Legacy Climate and Weather...
”
Call Number:
QA76.642
Read Now
6
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... of Explicit Codes with Optimal Redundancy -- Algebraic
Structure
Theory
of Tail-Biting Trellises -- Nice Codes...
”
Read Now
7
Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Pr...
Published 2014
Springer International Publishing
Table of Contents:
“
... for Extensional Lambda-mu Calculus -- The
Structural
Theory
of Pure Type Systems -- Applicative May- and Should...
”
Read Now
8
Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India, December 21-23, 1988. Proceedings
Published 1988
Springer Berlin Heidelberg
Table of Contents:
“
... method to check knowledge base consistency -- Knowledgebases as
structured
theories
-- On functional...
”
Read Now
9
Effective MySQL : optimizing SQL statements
by
Bradford, Ronald
Published 2011
Oracle Press/McGraw-Hill
Table of Contents:
“
... Terminology -- MySQL Index Types -- Index Data
Structure
Theory
-- MySQL Implementation -- MySQL Partitioning...
”
Call Number:
QA76.9.D3
Read Now
10
Computing and Combinatorics : 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... in Elementary Data
Structures
--
Theory
of Trinomial Heaps -- Polyhedral Aspects of the Consecutive Ones Problem...
”
Read Now
11
Image Analysis Applications and Computer Graphics : Third International Computer Science Conference, ICSC'95 Hong Kong, December 11 - 13, 1995 Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... of engineering drawings based on Frame
Structure
Theory
-- FERSA: Lip-synchronous animation...
”
Read Now
12
Computing and Combinatorics : 5th Annual International Conference, COCOON'99, Tokyo, Japan, July 26-28, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
...
Structures
--
Theory
of 2-3 Heaps -- An External Memory Data Structure for Shortest Path Queries (Extended...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
003 - Systems
1
500 - Natural sciences & mathematics
1
Language
English
12
Collection
Springer Book Archives -2004
6
Springer eBooks 2005-
4
O'Reilly
2
Author
Asano, Takao
1
Balbo, Gianfranco
1
Boztas, Serdar
1
Bradford, Ronald
1
Chin, Roland
1
Dowek, Gilles
1
more ...
Du, Ding-Zhu
1
Eades, Peter
1
Estivill-Castro, Vladimir
1
Farber, Rob
1
Imai, Hiroshi
1
Ip, Horace
1
Jensen, Kurt
1
Koutny, Maciej
1
Kumar, Sanjeev
1
Lee, D.T.
1
Lin, Xuemin
1
Lu, Hsiao-feng
1
McIver, Annabelle
1
Morgan, Charles Carroll
1
Nagle, Timothy E.
1
Naiman, Avi
1
Nakano, Shin-ichi
1
Nori, Kesav V.
1
Pfeiffer, Heather D.
1
Pong, Ting-Chuen
1
Sannella, Donald
1
van der Aalst, Wil M. P.
1
see all ...
less ...
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&lookfor=%22structure+theory%22&type=AllFields
Send by Email
×
Loading...