softwaretool  (508 Angebote unter 17 196 754 Artikeln)

This book constitutes the refereed proceedings of the 22nd International Conference on Information and Software Technologies, ICIST 2016, held in Druskininkai, Lithuania, in October 2016. The 61 pa...

This book constitutes the refereed proceedings of the 26th International Conference on Information and Software Technologies, ICIST 2020, held in Kaunas, Lithuania, in October 2020.

This book constitutes the refereed proceedings of the 19th International Conference on Information and Software Technologies, ICIST 2013, held in Kaunas, Lithuania, in October 2013. The 34 papers p...

This book constitutes the refereed proceedings of the 18th International Conference on Information and Software Technologies, ICIST 2012, held in Kaunas, Lithuania, in September 2012. The 40 revise...

This book constitutes the refereed proceedings of the 28th International Conference on Information and Software Technologies, ICIST 2022, held in Kaunas, Lithuania, in October 2022.

This book constitutes the refereed proceedings of the 27th International Conference on Information and Software Technologies, ICIST 2021, held in Kaunas, Lithuania, in October 2021.

29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings

Bezeichnung=Softwareoptions-Bundle, Typ=RTC-PK1, Geeignet für=R&S RTC1000 Series Oscilloscope, Lizenzart=Software-Upgradekit

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc app...

Bezeichnung=Softwareoptions-Bundle, Typ=RTM-PK1, Geeignet für=R&S RTM3002/RTM3004 Oscilloscope, Lizenzart=Software-Upgradekit

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9-13, 2002, in Saint-Gilles-les-Bains, R...

Invited Speakers.- Algebraic Approaches to Problem Generalisation.- A Science of Software Design.- Glass Box and Black Box Views of State-Based System Specifications.- Abstraction for Safety, Induc...

This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The ?rst conference was held in the USA in 1989, and since then AMAST con...

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volu...

The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting t...