Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Software Engineer"
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:"511 - General principles of mathematics"
Search alternatives
:
software engineer »
software engineers
,
software engineering
,
software reengineering
Showing
1
-
19
of
19
Search:
'"Software Engineer"'
,
query time: 0.08s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Introduction to Discrete Mathematics for
Software
Engineering
by
Denvir, Tim
Published 1986
Macmillan Education UK
Subjects:
“
...
Software
engineering
...
”
Read Now
2
Introduction to Fuzzy Reliability
by
Kai-Yuan Cai
Published 1996
Springer US
Subjects:
“
...
Software
engineering
...
”
Read Now
3
Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... -- Tutorials and Workshops -- Tutorial Introduction to Graph Transformation: A
Software
Engineering
Perspective...
”
Read Now
4
Automata Theory and its Applications
by
Khoussainov, Bakhadyr
,
Nerode, Anil
Published 2001
Birkhäuser
Subjects:
“
...
Software
engineering
...
”
Read Now
5
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
by
Bertot, Yves
,
Castéran, Pierre
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering
...
”
Read Now
6
Transactions on Petri Nets and Other Models of Concurrency III
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering
...
”
Read Now
7
Formal Concept Analysis : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering
...
”
Read Now
8
Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Sele...
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering
...
”
Read Now
9
Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering
...
”
Read Now
10
Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering
...
”
Read Now
11
Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings
Published 2001
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering
...
”
Read Now
12
Fuzzy Logic and Soft Computing
Published 1999
Springer US
Subjects:
“
...
Software
engineering
...
”
Read Now
13
Concept Lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering
...
”
Read Now
14
Information and Randomness : An Algorithmic Perspective
by
Calude, Cristian S.
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering
...
”
Read Now
15
Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Subjects:
“
...
Software
engineering
...
”
Read Now
16
Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
Published 2021
Springer International Publishing
Table of Contents:
“
... Methods to
Software
Engineers
through Collaborative Learning -- Lessons of Formal Program Design in Dafny...
”
Read Now
17
Lectures on Concurrency and Petri Nets : Advances in Petri Nets
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... -- Unbounded Petri Net Synthesis -- Petri Nets and
Software
Engineering
-- Model Validation in Controller...
”
Read Now
18
Graph Grammars and Their Application to Computer Science : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.
Published 1996
Springer Berlin Heidelberg
“
... into nine topical sections on rewriting techniques, specification and semantics,
software
engineering
...
”
Read Now
19
Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
by
Schreiner, Wolfgang
Published 2021
Springer International Publishing
“
... scientists,
software
engineers
, programmers) to clearly think about the artifacts they deal...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 511 - General principles of mathematics
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
Language
English
19
Collection
Springer Book Archives -2004
14
Springer eBooks 2005-
5
Author
Rozenberg, Grzegorz
3
Ehrig, Hartmut
2
Engels, Gregor
2
Kai-Yuan Cai
2
Reisig, Wolfgang
2
Bertot, Yves
1
more ...
Böhlen, Boris
1
Calude, Cristian S.
1
Castéran, Pierre
1
Clarke, Edmund M.
1
Colom, Jose-Manuel
1
Cortadella, Jordi
1
Cuny, Janice
1
Denvir, Tim
1
Desel, Jörg
1
Dubois, Catherine
1
Eklund, Peter
1
Ferreira, João F.
1
Ferré, Sébastien
1
Guoqing Chen
1
Khoussainov, Bakhadyr
1
Koutny, Maciej
1
Kurshan, Robert P.
1
Mendes, Alexandra
1
Menghi, Claudio
1
Mingsheng Ying
1
Nagl, Manfred
1
Nerode, Anil
1
Parisi-Presicce, Francesco
1
Pfaltz, John L.
1
Rudolph, Sebastian
1
San Pietro, Pierluigi
1
Schreiner, Wolfgang
1
SpringerLink (Online service)
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%22511+-+General+principles+of+mathematics%22&lookfor=%22Software+Engineer%22&type=AllFields
Send by Email
×
Loading...