Informatik Springer Verlag bei Mercateo günstig kaufen (Seite 569/962)

Bild

Artikel

Hersteller/-Nr.

Preis

Bestellen

Lectures on Petri Nets I: Basic Models (1 Angebot)

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give...

Springer Verlag

9783540653066

€ 49,99*
pro Stück

Lectures on Petri Nets II: Applications (1 Angebot)

Springer Verlag

9783540653073

€ 49,99*
pro Stück

Lectures on Proof Verification and Approximation Algorithms (1 Angebot)

During the last few years, we have seen quite spectacular progress in the area of approximation algorithms: for several fundamental optimization problems we now actually know matching upper and low...

Springer Verlag

9783540642015

€ 49,99*
pro Stück

Lectures on Runtime Verification (1 Angebot)

Introductory and Advanced Topics

Springer Verlag

9783319756318

€ 64,99*
pro Stück

Leitfaden der technischen Informatik und Kommunikationstechnik (1 Angebot)

I. Übersicht üer die Gebiete der Informatik.- II. Grundlagen.- A. Informationsdarstellung.- B. Numerische und nichtnumerische Information und deren Darstellung.- C. Algorithmen.- D. Zusammenfassung...

Springer Verlag

9783211007655

€ 35,50*
pro Stück

Lernen organisieren (1 Angebot)

Dieses Buch bietet allen, die mit Lehrmaterialien für selbstgesteuerte Lernprozesse betraut sind, ein didaktisches Rahmenkonzept und praktische Hinweise. Wichtig ist den Autoren dabei ein Vorgehen,...

Springer Verlag

9783540414513

€ 51,39*
pro Stück

Leveraging Applications of Formal Methods (1 Angebot)

Interaction and Coordination of Tools for Structured Data.- Modelling Coordination in Biological Systems.- A Rule Markup Language and Its Application to UML.- Using XML Transformations for Enterpri...

Springer Verlag

9783540489283

€ 49,99*
pro Stück

Leveraging Applications of Formal Methods, Verification and Validation (1 Angebot)

This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto S...

Springer Verlag

9783540884781

€ 149,99*
pro Stück

Leveraging Applications of Formal Methods, Verification and Validation (1 Angebot)

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Springer Verlag

9783030891589

€ 69,99*
pro Stück

Leveraging Applications of Formal Methods, Verification and Validation (1 Angebot)

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, h...

Springer Verlag

9783642340253

€ 49,99*
pro Stück