Erweiterte Suche
Preis einschränken:

Newsletter

Melden Sie sich jetzt an und erhalten Sie regelmäßig Informationen über neue Produkte, Sonderangebote oder neue Gutscheine.

Mit * gekennzeichnete Felder sind Pflichtfelder.

36,00 EUR*
Details magFlags Flagge: Large POL województwo lubuskie flag formal | Formal flag of Lubuskie Voivodeship | Amtliche Flagge Woiwodschaft Lebus | Querformat Fahne | 1.35qm | 90x150cm » Fahne 10

Flagge: POL województwo lubuskie flag formal | Formal flag of Lubuskie Voivodeship | Amtliche Flagge Woiwodschaft Lebus Querformat Fahne | 1.35qm | 90x150cm POL województwo lubuskie flag formal Formal flag of Lubuskie Voivodeship Amtliche Flagge ...

80,24 EUR*
Details Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science)

Formal Methods: Foundations and Applications This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009 ...

22,96 EUR*
Details Casually Formal [Ltd.Edition]

Aleem Feat.Leroy Burgess - Casually Formal (2015 Remaster) [Japan LTD CD] WPCR-28651

4,62 EUR*
Details Amscan International Formal Affair Partygeschenktüte 12er Pack

Amscan International Formal Affair Favour Bags, Pack of 12

74,89 EUR*
Details Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures (Lecture Notes in Computer Science)

Formal Methods for Hardware Verification Presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM ...

128,39 EUR*
Details Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings (Lecture Notes in Computer Science)

Formal Methods and Software Engineering These papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications ...

111,95 EUR*
Details Current Issues in Formal Slavic Linguistics (Linguistik International)

'Formal Slavic Linguistics' stands for explicit descriptions of Slavic languages considering all linguistic levels and interfaces. The authors of this volume apply recent formal models in linguistics and demonstrate their descriptive accuracy and ...

139,09 EUR*
Details Formal Descriptions of Developing Systems (Nato Science Series II:, Band 121)

Formal Descriptions of Developing Systems A survey of formal methods directed specifically at dealing with the deep mathematical problems engendered by the study of developing systems, in particular dealing with developing phase spaces, changing ...

96,29 EUR*
Details Practical Formal Methods for Hardware Design (Research Reports Esprit / Project 6128.FORMAT)

Practical Formal Methods for Hardware Design This Esprit volume presents research results from the FORMAT (formal methods in hardware verification) project, a collaboration of five European enterprises, a research institute, and two universities. Full ...

99,95 EUR*
Details Slavic Grammar from a Formal Perspective: The 10th Anniversary FDSL Conference, Leipzig 2013 (Linguistik International)

The proceedings of the 10th European Conference on Formal Description of Slavic Languages in Leipzig 2013 offer current formal investigations into Slavic morphology, phonology, semantics, syntax and information structure. In addition to papers of the ...

74,85 EUR*
Details Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, ... (Lecture Notes in Computer Science)

Formal Techniques for Distributed Systems Constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for ...

106,99 EUR*
Details Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science)

Formal Systems Specification The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. This volume presents refereed papers discussing solutions to the problem. A ...

87,73 EUR*
Details Representing Reason: Feminist Theory and Formal Logic

Representing Reason Philosophy's traditional "man of reason"-independent, neutral, unemotional-is an illusion. That's because the "man of reason" ignores one very important thing-the woman. Representing Reason: Feminist Theory and Formal Logic ...

68,00 EUR*
Details A Formal Design for Three-Dimensional Spatial Data in Database Systems: A Spatial Data Model

A Formal Design for Three-Dimensional Spatial Data in Database Systems Previous work with spatial database systems has dealt mostly with two dimensions and more with implementation than with design issues. This dissertation deals with the formal ...