Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: (pacific OR specific)
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:"004 - Data processing & computer science"
Showing
1
-
20
of
2,096
Search:
'(pacific OR specific)'
,
query time: 0.07s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Intelligent Agents:
Specification
, Modeling, and Applications...
by
Yuan, Soe -Tsyr
Published 2001
Springer-Verlag Berlin Heidelberg
Read Now
2
Program
Specification
: Proceedings of a Workshop Aarhus, Denmark, August 1981
by
Staunstrup, Jørgen
Published 1982
Springer
Read Now
3
Program
Specification
: Proceedings of a Workshop Aarhus, Denmark, August 1981
Published 1982
Springer Berlin Heidelberg
Table of Contents:
“
...Program
specification
: Issues and observations -- Example 1: Geometrical constructions -- Example 1...
”
Read Now
4
Temporal Logic in
Specification
: Altrincham, UK, April 8–10, 1987 Proceedings
by
Banieqbal, B.
Published 1989
Springer
Read Now
5
Compiler
Specification
and Verification
by
Polak, Wolfgang
Published 1981
Springer
Read Now
6
Specification
, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi
Published 2014
Springer Berlin Heidelberg
Table of Contents:
“
... Invariant Analyzer Tool -- Theorem Proving Based onProof Scores for Rewrite Theory
Specifications
of OTSs...
”
Read Now
7
Abstract Software
Specifications
: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings
by
Bjøorner, Dines
Published 1980
Springer
Read Now
8
Formal Systems
Specification
: The RPC-Memory Specification Case Study
by
Broy, Manfred
Published 1996
Springer
Read Now
9
Logic and Algebra of
Specification
Published 1993
Springer Berlin Heidelberg
Table of Contents:
“
... -- Infinite Synchronous Concurrent Algorithms The Algebraic
Specification
and Verification of a Hardware Stack...
”
Read Now
10
Languages for System
Specification
: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03
Published 2004
Springer US
Table of Contents:
“
...
Specifications
of an Embedded System Oriented to HW/SW Partitioning -- C-Based System Design -- SPACE: A Hardware...
”
Read Now
11
Formal Systems
Specification
: The RPC-Memory Specification Case Study
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
...The RPC-memory
specification
problem problem statement -- The RPC-memory case study: A synopsis...
”
Read Now
12
Selectors,
specificity
, and the cascade
by
Meyer, Eric A.
Published 2012
O'Reilly Media
Table of Contents:
“
... Before and After Elements -- Summary -- 2.
Specificity
and the Cascade --
Specificity
-- Declarations...
”
Call Number:
TK5105.888
Read Now
13
Fundamentals of Algebraic
Specification
1 : Equations and Initial Semantics
by
Ehrig, Hartmut
,
Mahr, Bernd
Published 1985
Springer Berlin Heidelberg
Table of Contents:
“
... and Extension of
Specifications
-- Initial Correctness of
Specifications
-- Correctness of
Specifications
...
”
Read Now
14
Specification
and Design of Software Systems : Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings
by
Knuth, Elöd
Published 1983
Springer
Read Now
15
Algebraic system
specification
and development : A survey and annotated bibliography
by
Bidoit, Michel
Published 1991
Springer
Read Now
16
Domain-
Specific
Program Generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers
by
Lengauer, Christian
Published 2004
Springer Berlin Heidelberg
Read Now
17
Communication Protocol
Specification
and Verification
by
Lai, Richard
,
Jirachiefpattana, Ajin
Published 1998
Springer US
“
... descriptions of OSI protocol standards to be written, and allowing such
specifications
to be verified...
”
Read Now
18
Program Development by
Specification
and Transformation : The PROSPECTRA Methodology, Language Family, and System
by
Hoffmann, Berthold
Published 1993
Springer
Read Now
19
Specification
and Analysis of Concurrent Systems : The COSY Approach
by
Janicki, Ryszard
,
Lauer, Peter E.
Published 1992
Springer Berlin Heidelberg
“
...
specification
and analysis of "true" concurrency without reduction to non-determinism. COSY theory is developed...
”
Read Now
20
Specification
and Verification of Concurrent Systems
Published 1990
Springer London
Table of Contents:
“
...15. Hennessy-Milner Logic with Recursion as a
Specification
Language, and a Refinement Calculus...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
331 - Labor economics
218
005 - Computer programming, programs & data
130
500 - Natural sciences & mathematics
127
384 - Communications; telecommunication
87
658 - General management
81
more ...
621 - Applied physics
76
374 - Adult education
66
620 - Engineering & allied operations
38
745 - Decorative arts
38
330 - Economics
16
338 - Production
10
006 - Special computer methods
3
332 - Financial economics
2
381 - Commerce
2
510 - Mathematics
2
600 - Technology
2
001 - Knowledge
1
011 - Bibliographies
1
300 - Social sciences
1
519 - Probabilities & applied mathematics
1
670 - Manufacturing
1
see all ...
less ...
Language
English
2,032
German
14
Undetermined
2
Japanese
1
Polish
1
Collection
Springer eBooks 2005-
893
Springer Book Archives -2004
582
O'Reilly
538
Lecture Notes in Computer Science
46
Springer Lecture Notes Archiv 1964-1996
23
MIT Press eBook Archive
9
more ...
JSTOR Open Access Books
2
Cambridge Books Online
1
Elsevier eBook collection Mathematics
1
Standards and Norms (DIN Media)
1
see all ...
less ...
Author
Murgante, Beniamino
55
Gervasi, Osvaldo
46
Misra, Sanjay
46
Rozenberg, Grzegorz
12
Stankova, Elena
11
Garau, Chiara
10
more ...
Margaria, Tiziana
9
Rocha, Ana Maria A. C.
9
Torre, Carmelo
9
Vanderdonckt, Jean
9
Broy, Manfred
8
Ehrig, Hartmut
8
Palanque, Philippe
8
Liu, Zhiming
7
Taniar, David
7
Aizawa, Kiyoharu
6
Bjørner, Dines
6
Borruso, Giuseppe
6
Gavrilova, Marina L.
6
Nakamura, Yuichi
6
Reed, Rick
6
Rocha, Ana Maria Alves Coutinho
6
Satoh, Shin’ichi
6
Steffen, Bernhard
6
Börger, Egon
5
Carlini, Maurizio
5
Gibson, Darril
5
Koutny, Maciej
5
Kreowski, Hans-Jörg
5
Lammle, Todd
5
Li, Jinwen
5
Nerode, Anil
5
Voronkov, Andrei
5
Wirsing, Martin
5
Wojtkowski, Wita
5
Xiao, Liquan
5
Xu, Weixia
5
Zhang, Yanchun
5
Abraham, Ajith
4
Bidoit, Michel
4
Bowen, Jonathan P
4
Camarinha-Matos, Luis M.
4
Diniz, Pedro C.
4
Dongarra, Jack J.
4
Henzinger, Thomas A.
4
Liu, Shaoying
4
Luo, Yuhua
4
Martinelli, Fabio
4
Meyers, Mike
4
Miesenberger, Klaus
4
Montanari, Ugo
4
Nivat, Maurice
4
Roggenbach, Markus
4
Sakamura, Ken
4
Salomaa, Arto
4
Salvendy, Gavriel
4
Schneider, Steve
4
Spaniol, Otto
4
Vassiliadis, Stamatis
4
Wojtkowski, W. Gregory
4
Woodcock, Jim
4
Zhang, Chengqi
4
Zhang, Chengyi
4
Zhong, Ning
4
Zhou, Jia
4
Afsarmanesh, Hamideh
3
Altmann, Jörn
3
Alur, Rajeev
3
Baldoni, Roberto
3
Bartosek, Miroslav
3
Benatallah, Boualem
3
Bergé, Jean-Michel
3
Bertels, Koen
3
Ciobanu, Gabriel
3
Damm, Werner
3
Davies, Jim
3
Derrick, John
3
Diaz, Michel
3
Dimitrakos, Theo
3
Dongarra, Jack
3
Duan, Zhenhua
3
Empson, Scott
3
Gooley, Jason
3
Gorrieri, Roberto
3
Haveraaen, Magne
3
Hochberger, Christian
3
Huang, Tingwen
3
Ito, Takayasu
3
Jorge, Joaquim
3
Karshmer, Arthur
3
Klaus, Joachim
3
Kleine Büning, Hans
3
Koob, Gary M.
3
Kormanyos, Christopher
3
Kroening, Daniel
3
Krzhizhanovskaya, Valeria V.
3
Kumar, Vipin
3
Kurosu, Masaaki
3
Langmaack, Hans
3
Larsen, Kim G.
3
see all ...
less ...
Recently Uploaded
Last Month
9
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&lookfor=%28pacific+OR+specific%29&type=AllFields
Send by Email
×
Loading...