Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "cycling"
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"
Search alternatives
:
"cycling" »
"recycling"
Showing
61
-
80
of
124
Search:
'"cycling"'
,
query time: 0.10s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
61
FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... -- RTL and refutation by positive
cycles
-- Formalising the semantics of Ward/Mellor SA/RT essential...
”
Read Now
62
Verification and Validation of Real-Time Software
Published 1985
Springer Berlin Heidelberg
Table of Contents:
“
... -- 1.6 Outline of this report -- 2 Software Reliability and the Software Life
Cycle
-- 2.1 Real-time...
”
Read Now
63
Conceptual Modeling - ER '97 : 16th International Conference on Conceptual Modeling, Los Angeles, CA, USA, November 3-5, 1997. Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... and object oriented models -- Behavior consistent refinement of object life
cycles
-- Activity flow: Towards...
”
Read Now
64
Issues in Software Engineering Education : Proceedings of the 1987 SEI Conference on Software Engineering Education, Held in Monroeville, Paris, April 30- May 1, 1987
Published 1989
Springer New York
Table of Contents:
“
... Program at AT&T Bell Laboratories, Merrimack Valley” -- “Formal Education Within The Software Life
Cycle
...
”
Read Now
65
Apple IIc and IIe Assembly Language
by
Gilder, Jules H.
Published 1986
Springer US
Table of Contents:
“
... The Screen -- 2 The 6502 and 65C02 -- 3 The Instruction Set -- 4 Instruction
Cycle
Times -- 5 Apple // Memory...
”
Read Now
66
Specification and Transformation of Programs : A Formal Approach to Software Development
by
Partsch, Helmut A.
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... Joint Development -- 8.6 An Example:
Cycles
in a Graph --...
”
Read Now
67
Advanced Information Systems Engineering : 12th International Conference, CAiSE 2000 Stockholm, Sweden, June 5–9, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
...Specifying Processes withDynamic Life
Cycles
-- Enterprise Application Integration -- Design...
”
Read Now
68
Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
.../Design method and Object Oriented Metrics in the software development life-
cycle
-- Modelling...
”
Read Now
69
Cryptography and Coding : 6th IMA International Conference, Cirencester, UK, December 17-19, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... parity check codes based on sparse matrices with no small
cycles
-- On the SAFER cryptosystem...
”
Read Now
70
Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... Set Semantics -- On Acyclic and Head-
Cycle
Free Nested Logic Programs -- Fast Query Evaluation...
”
Read Now
71
Conceptual Modeling ER'99 : 18th International Conference on Conceptual Modeling Paris, France, November 15-18, 1999 Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... Life-
Cycles
in Object-Oriented Design -- Towards an Automatic Integration of Statecharts -- Design...
”
Read Now
72
Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice o...
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... Symbolic
Cycle
-Detection Algorithm? -- Combining Structural and Enumerative Techniques for the Validation...
”
Read Now
73
Approximation Algorithms for Combinatorial Optimization : 5th International Workshop, APPROX 2002, Rome, Italy, September 17-21, 2002. Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... Algorithms for 3-
Cycle
Covers -- Approximation Algorithms for the Unsplittable Flow Problem -- 1.5...
”
Read Now
74
Advances in Cryptology - CRYPTO '86 : Proceedings
Published 1987
Springer Berlin Heidelberg
Table of Contents:
“
...Data Encryption Standard -- Structure in the S-Boxes of the DES (extended abstract) --
Cycle
...
”
Read Now
75
Advanced Information Systems Engineering : 16th International Conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... Standards Life
Cycle
-- Applicability of ERP Systems for Knowledge Management in the Context of Quality...
”
Read Now
76
OOER '95 Object-Oriented and Entity-Relationship Modeling : 14th International Conference, Gold Coast, Australia, December 13 - 15, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
...
cycles
-- Color-X Event Model: Integrated specification of the dynamics of individual objects --...
”
Read Now
77
High-Integrity System Specification and Design
by
Bowen, Jonathan P.
,
Hinchey, Michael G.
Published 1999
Springer London
Table of Contents:
“
...1. Specification and Design -- 1.1 An Analogy -- 1.2 The Development Life-
Cycle
-- 1.3...
”
Read Now
78
Algorithm Theory - SWAT 2002 : 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... Polynomial Time Algorithm to Find the Minimum
Cycle
Basis of a Regular Matroid -- Approximation Algorithms...
”
Read Now
79
Computer Safety, Reliability and Security : 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... for Safety—Critical Applications -- Human Performance Reliability in the Design-for-Usability Life
Cycle
...
”
Read Now
80
Algorithms - ESA'99 : 7th Annual European Symposium, Prague, Czech Republic, July 16-18, 1999 Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... Theorem and Its Application for Path Systems of a
Cycle
—Implementation and Analysis -- On 2-Coverings...
”
1
2
3
4
5
6
7
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
12
004 - Data processing & computer science
2
Language
English
122
German
2
Collection
Springer Book Archives -2004
Author
Redmill, Felix
3
Anderson, Tom
2
Donohoe, Patrick
2
Jansen, Klaus
2
Langer, Arthur M.
2
Meyerhoff, Dirk
2
more ...
Toussaint, Marcel
2
Aalst, Wil van der
1
Adleman, Leonard M.
1
Akoka, Jacky
1
Araki, Keijiro
1
Arts, Thomas
1
Astesiano, Egidio
1
Atzeni, Paolo
1
Avgerou, Chrisanthi
1
Bain, Tony
1
Ball, Thomas
1
Banks Pidduck, Anne
1
Barta, Ben-Zion
1
Bashir, Imran
1
Becart, Olivier
1
Benini, Luca
1
Benkovich, Michael
1
Bergman, Lars
1
Bernardo, Marco
1
Bertran, Miquel
1
Best, Eike
1
Bestougeff, H.
1
Blunden, Bill
1
Bolognesi, Tommaso
1
Bouzeghoub, Mokrane
1
Bowen, Jonathan P.
1
Budde, Reinhard
1
Butler, Michael
1
Böszörményi, László
1
Chaudhri, Akmal B.
1
Chaum, David
1
Clark, Peter
1
Clearwater, Scott H.
1
Cockshott, Paul
1
Comyn-Wattiau, Isabelle
1
Corcho, Oscar
1
Cornford, Tony
1
Dale, Chris
1
Darie, Cristian
1
Darnell, Michael
1
Decker, Reinhold
1
Demoen, Bart
1
Denvir, Tim
1
Derniame, Jean-Claude
1
Di Battista, Giuseppe
1
Diaz, Josep
1
Dingsøyr, T.
1
Djeraba, Chabane
1
Dollard, Kathleen
1
Drira, Khalil
1
Dubois, J.E.
1
Eades, Peter
1
Eder, Johann
1
Ehrig, Hartmut
1
Embley, David W.
1
Embury, Suzanne M.
1
Endres, Albert
1
Fairley, Richard
1
Felici, Massimo
1
Fernandez-Lopez, Mariano
1
Fiddian, Nicholas J.
1
Fleischmann, Albert
1
Flener, Pierre
1
Floyd, Christiane
1
Freeman, Brian
1
Freeman, Peter
1
Gallaire, Hervé
1
Gaul, Wolfgang A.
1
Gervae, Nik
1
Ghanea-Hercock, Robert
1
Gilder, Jules H.
1
Girault, Claude
1
Gnesi, Stefania
1
Goel, Amrit L.
1
Goldstein, Robert C.
1
Gray, W. Alex
1
Guelfi, Nicoals
1
Gómez-Pérez, Asunción
1
Harrop, Rob
1
Haug, Michael
1
Henke, Friedrich W. von
1
Hildebrand, Knut
1
Hinchey, Michael G.
1
Hocking, D.
1
Hoffmann, Berthold
1
Horebeek, Ivo Van
1
Huang, Ming-Deh
1
Hunt, John
1
Hutter, Dieter
1
Inverardi, Paola
1
Joe, Kazuki
1
Johnson, Peter
1
Jones, Andrew C.
1
Jones, Steve
1
see all ...
less ...
Recently Uploaded
Last Month
2
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=4&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=%22cycling%22&type=AllFields
Send by Email
×
Loading...