Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: %22Specification by example%22
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
:
example%22 »
examples%22
Showing
1
-
20
of
1,132
Search:
'%22Specification by example%22'
,
query time: 0.31s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Abstract Software
Specifications
: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
Published 1980
Springer Berlin Heidelberg
Table of Contents:
“
... for describing program behaviour -- The semantics of clear, a
specification
language -- An
example
...
”
Read Now
2
Mathematical Methods of
Specification
and Synthesis of Software Systems '85...
Published 1986
Springer Berlin Heidelberg
Table of Contents:
“
... programming revisited -- Some problems on inductive inference from positive data -- Language and
example
...
”
Read Now
3
Carbohydrate chemistry : Volume 22
Published 1990
Royal Society of Chemistry
Read Now
4
PHIGS by
Example
by
Gaman, William A.
,
Giovinazzo, William A.
Published 1991
Springer New York
Table of Contents:
“
... Modeling Transformations --
2.2
Matrix Composition -- 2.3 Viewing Transformations -- Review Questions -- 3...
”
Read Now
5
Programming with
Specifications
: An Introduction to ANNA, A Language for Specifying Ada Programs
by
Luckham, David
Published 1990
Springer New York
Table of Contents:
“
... -- 0.3 Applying Anna -- 0.4 Environments for Programming with
Specifications
-- 0.5 Future Developments...
”
Read Now
6
Formal
Specification
: Techniques and Applications
by
Nissanke, Nimal
Published 1999
Springer London
Table of Contents:
“
...
Specification
of State Based Systems -- 10.3 Composite Objects -- 10.4 Musical Chairs - An
Example
-- 10.5...
”
Read Now
7
Specification
and Transformation of Programs : A Formal Approach to Software Development
by
Partsch, Helmut A.
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... Constructs for Formal
Specifications
-- 3.5 Structuring and Modularization -- 3.6
Examples
-- 3.7 Exercises...
”
Read Now
8
Application-
Specific
Arithmetic : Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era
by
de Dinechin, Florent
,
Kumm, Martin
Published 2024
Springer International Publishing
Table of Contents:
“
...
Specification
and Error Analysis -- Chapter 4 Field Programmable Gate Arrays -- Part 1 Revisiting Classic...
”
Read Now
9
Application
Specific
Processors
Published 1997
Springer US
Table of Contents:
“
.... Modeling the Power Consumption of CMOS Arithmetic Elements -- 2.1 Introduction --
2.2
Previous Research...
”
Read Now
10
Compiler Compilers : Third International Workshop, CC `90. Schwerin, FRG, October 22-24, 1990. Proceedings
Published 1991
Springer Berlin Heidelberg
Table of Contents:
“
...: An
example
--
Specification
and implementation of a tree-abiding interface for Ada -- Towards a multilingual...
”
Read Now
11
Radioactive Isotopes in Clinical Medicine and Research : Proceedings of the 22nd Badgastein Symposium
Published 1997
Birkhäuser
Table of Contents:
“
...Bacterial
Specific
Infection Imaging -- In Vivo Detection of Activated Lymphocytes in Immune...
”
Read Now
12
GWAI-89 13th German Workshop on Artificial Intelligence : Eringerfeld, 18.–22. September 1989 Proceedings
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
... by Being Told, from
Examples
and by Exploration -- Toward a Rapid Prototyping Environment for Expert...
”
Read Now
13
SAS GRAPHICS FOR CLINICAL TRIALS BY
EXAMPLE
by
Harris, Kriss
Published 2020
SAS INSTITUTE
Table of Contents:
“
... Are the Prerequisites for This Book? -- What Should You Know about the
Examples
? -- We Want to Hear from You -- About...
”
Call Number:
R853.C55
Read Now
14
Algebraic
Specifications
in Software Engineering : An Introduction
by
Horebeek, Ivo Van
,
Lewi, Johan
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
... -- 3.6 Bibliographic Notes -- 4. Constructive
Specifications
-- 4.1 Simple
Example
-- 4.2 Constructive...
”
Read Now
15
Specification
and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement
by
Broy, Manfred
,
Stølen, Ketil
Published 2001
Springer New York
Table of Contents:
“
...
Specification
-- 11.2 Formalization -- 12. A/G
Specifications
-- 12.1 Simple
Examples
-- 12.2 Semantics -- 12.3...
”
Read Now
16
Cardiovascular
Specific
Gene Expression
Published 1999
Springer Netherlands
Table of Contents:
“
...21. Expression of the IGF system in acute and chronic ischemia --
22
. Long-chain fatty acids...
”
Read Now
17
SPECC:
Specification
Language and Methodology
by
Gajski, Daniel D.
,
Jianwen Zhu
,
Dömer, Rainer
,
Gerstlauer, Andreas
Published 2000
Springer US
Table of Contents:
“
... Summary -- 2. Essential Issues In System Level Design -- 2.1 Models --
2.2
Architectures -- 2.3 Languages...
”
Read Now
18
Decommissioning of Nuclear Power Plants : Proceedings of a European Conference held in Luxembourg, 22–24 May 1984
by
Schaller, K H.
,
Huber, B.
Published 1984
Springer Netherlands
Table of Contents:
“
... -- Decontamination of concrete, with particular reference to flame scarfing --
Specific
decontamination methods...
”
Read Now
19
Requirements modelling and
specification
for service oriented architecture
by
Graham, Ian
Published 2008
Wiley
Table of Contents:
“
... Approaches; 6.5 Summary; 6.6 Bibliographical Notes; 7
Specification
Modelling; 7.1 From Requirements...
”
Call Number:
TK5105.88813
Read Now
20
Distributed Computing and Internet Technology : Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... -- Executable Requirements
Specifications
Using Triggered Message Sequence Charts -- Efficient Symmetry...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
148
621 - Applied physics
128
620 - Engineering & allied operations
104
004 - Data processing & computer science
67
658 - General management
64
006 - Special computer methods
63
more ...
330 - Economics
60
616 - Diseases
45
519 - Probabilities & applied mathematics
43
500 - Natural sciences & mathematics
41
610 - Medicine & health
30
300 - Social sciences
26
331 - Labor economics
26
571 - Physiology & related subjects
26
530 - Physics
25
003 - Systems
23
670 - Manufacturing
22
001 - Knowledge
21
333 - Economics of land & energy
20
384 - Communications; telecommunication
20
629 - Other branches of engineering
17
332 - Financial economics
16
338 - Production
16
617 - Surgery & related medical specialties
15
745 - Decorative arts
15
510 - Mathematics
14
515 - Analysis
14
531 - Classical mechanics; solid mechanics
13
572 - Biochemistry
13
304 - Factors affecting social behavior
10
543 - Analytical chemistry
10
577 - Ecology
10
612 - Human physiology
10
641 - Food & drink
10
660 - Chemical engineering
10
664 - Food technology
10
551 - Geology, hydrology & meteorology
8
624 - Civil engineering
8
000 - Computer science, information & general works
7
547 - Organic chemistry
7
615 - Pharmacology & therapeutics
7
630 - Agriculture & related technologies
7
363 - Other social problems & services
6
381 - Commerce
6
539 - Modern physics
6
540 - Chemistry & allied sciences
6
541 - Physical chemistry
6
550 - Earth sciences
6
570 - Life sciences; biology
6
580 - Plants (Botany)
6
613 - Personal health & safety
6
302 - Social interaction
5
368 - Insurance
5
512 - Algebra
5
548 - Crystallography
5
614 - Incidence & prevention of disease
5
650 - Management & auxiliary services
5
153 - Mental processes & intelligence
4
374 - Adult education
4
380 - Commerce, communications & transportation
4
518 - Numerical analysis
4
549 - Mineralogy
4
576 - Genetics & evolution
4
150 - Psychology
3
301 - Sociology & anthropology
3
303 - Social processes
3
361 - Social problems & social welfare in general
3
370 - Education
3
371 - Schools & their activities; special education
3
501 - Philosophy & theory
3
511 - General principles of mathematics
3
516 - Geometry
3
523 - Specific celestial bodies & phenomena
3
526 - Mathematical geography
3
536 - Heat
3
631 - Techniques, equipment & materials
3
634 - Orchards, fruits & forestry
3
657 - Accounting
3
794 - Indoor games of skill
3
910 - Geography & travel
3
025 - Library operations
2
158 - Applied psychology
2
336 - Public finance
2
337 - International economics
2
339 - Macroeconomics & related topics
2
346 - Private law
2
514 - Topology
2
534 - Sound & related vibrations
2
537 - Electricity & electronics
2
579 - Microorganisms, fungi & algae
2
581 - Specific topics in natural history
2
600 - Technology
2
741 - Drawing & drawings
2
781 - General principles & musical forms
2
930 - History of ancient world to ca. 499
2
002 - The book
1
111 - Ontology
1
142 - Critical philosophy
1
170 - Ethics
1
200 - Religion
1
see all ...
less ...
Language
English
1,126
German
6
Collection
Springer Book Archives -2004
650
O'Reilly
232
Springer eBooks 2005-
192
JSTOR Open Access Books
8
National Center for Biotechnology Information
8
Edward Elgar eBooks Collection Business & Economics
6
more ...
Directory of Open Access Books
5
Edward Elgar eBook Archive
4
Elsevier eBook collection Mathematics
4
OECD Books and Papers
4
Elsevier ScienceDirect eBooks
3
Emerald Business, Management and Economics eBook Collection Archive
3
RSC eBook Collection 1968-2009
3
World Bank E-Library Archive
3
DeGruyter MPG Collection
2
International Monetary Fund
2
Brill Nijhoff E-Books Collections 2009-2014
1
Cambridge Books Online
1
see all ...
less ...
Author
Bergé, Jean-Michel
7
Levia, Oz
6
Rouillard, Jacques
6
United States Agency for Healthcare Research and Quality
6
Nesteruk, Dmitri
5
Olsson, Mikael
5
more ...
Darnell, Peter A.
3
Friedman, Avner
3
Gajski, Daniel D.
3
Genta, Giancarlo
3
Margolis, Philip E.
3
Memon, Atif M.
3
Thomas, Donald E.
3
Ackermann, Jürgen
2
Antoine Toubert
2
Ashurst, Philip R.
2
Balakrishnan, N.
2
Berkman, Nancy D.
2
Brüesch, Peter
2
Cleophas, Ton J.
2
Cox, Christopher
2
Dhrymes, P. J.
2
Dömer, Rainer
2
Feijen, W.H.J.
2
Gasteren, A.J.M. van
2
Georgakas, Dimitris
2
Gerstlauer, Andreas
2
Gianfranco Pittari
2
Gotzhein, Reinhard
2
Groves, David I.
2
Hersh, William R.
2
Horowitz, E.
2
Ibach, Harald
2
Ibe, Oliver C.
2
Johnston, I.D.A.
2
Juneau, Josh
2
Kohli, Rajiv
2
Kravtsov, Yu.A.
2
Krishnamurthy, Srinath
2
Lano, Kevin
2
Latifi, Shahram
2
Lesev, Hristo
2
Ljungqvist, Olle
2
Lüth, Hans
2
Mittal, K. L.
2
Moorby, Philip R.
2
Müller, Daniel
2
Oregon Evidence-based Practice Center (Center for Health Research (Kaiser-Permanente Medical Care Program. Northwest Region))
2
Oregon Health & Science University Pacific Northwest Evidence-based Practice Center
2
Orlov, Yu.I.
2
Patnode, Carrie D.
2
Pichler, Franz
2
Popkova, Elena G.
2
Potkonjak, V.
2
Preumont, A.
2
Quarteroni, Alfio
2
RTI International-University of North Carolina Evidence-based Practice Center
2
Raina, Vineet
2
Rüeger, Jean M.
2
Sansen, Willy M.C.
2
SpringerLink (Online service)
2
Tyers, Ben
2
U.S. Preventive Services Task Force
2
Ulrike Koehl
2
Vukobratovic, M.
2
Yang, Zining
2
Yao, David D.
2
von Briesen, Elizabeth
2
Aaboen, Lise
1
Aagesen, Finn Arve
1
Abbadi, Imad M.
1
Abbasi, Taher
1
Abdi, Hervé
1
Abramowicz, Witold
1
Abu-Saba, Elias G.
1
Acharya, Rajat
1
Adam, Alexandre
1
Adams, Henry E.
1
Adams, R. L.
1
Adams, Radoslava Leseva
1
Adebambo, Ifeolorunbode
1
Adeel, Zafar
1
Afonso, Daniel
1
Afsarmanesh, Hamideh
1
Aggarwala, Rita
1
Agnoletti, Mauro
1
Agrawal, Vishwani D.
1
Aguado, Jose Maria
1
Ahlemeyer-Stubbe, Andrea
1
Ahmed, Mohiuddin
1
Ahmed, Mushtaque
1
Ahmed, N.
1
Ahmed, P. I.
1
Airiau, Roland
1
AitSahlia, Farid
1
Akbarov, S.D.
1
Akihisa, T.
1
Akkerhuis, Jaap
1
Alapati, Sam R.
1
Albala, David M.
1
see all ...
less ...
Recently Uploaded
Last Month
2
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%2522Specification+by+example%2522&type=AllFields
Send by Email
×
Loading...