Hjälp- & verktygsprogram

Sökningen gav 77 träffar.

Lecture Notes in Control and Information Sciences, del 197:

System Modelling and Optimization

av Jacques Henry, Jean-Pierre Yvon

Häftad, Engelska, 1994-08-22

573

Köp

Skickas från oss inom 7-10 vardagar.

This conference, organized jointly by UTC and INRIA, is the biennial general conference of the IFIP Technical Committee 7 (System Modelling and Optimization), and reflects the activity of its members and working groups. These proceedings contain a...

Läs mer »
Workshops in Computing:

Incompleteness and Uncertainty in Information Systems

av V S Alagar, S Bergler, F Q Dong, V S Alagar, F Q Dong

Häftad, Engelska, 1994-08-16

590

Köp

Skickas från oss inom 7-10 vardagar.

The Software Engineering and Knowledgebase Systems (SOFfEKS) Research Group of the Department of Computer Science, Concordia University, Canada, organized a workshop on Incompleteness and Uncertainty in Information Systems from October 8-9, 1993 i...

Läs mer »
System Modelling and Optimization E-bok

av Jacques Henry, Jean-Pierre Yvon

E-bok (PDF, LCP), Engelska, 2006-04-11

715

Ladda ned

Läs i Bokus Reader för iOS och Android.

This conference, organized jointly by UTC and INRIA, is the biennial general conference of the IFIP Technical Committee 7 (System Modelling and Optimization), and reflects the activity of its members and working groups. These proceedings contain a...

Läs mer »
Project 6310 MMTCA:

Cooperative Work with Multimedia

av Malcolm K Crowe

Häftad, Engelska, 1994-10-26

590

Köp

Skickas från oss inom 7-10 vardagar.

The purpose of this book is to present a project from the ESPRIT Specific Programme of European Research and Development in Information Technology, project number 6310, known as MMTCA: Multimedia Toolbox for Cooperative Applications. This project ...

Läs mer »
Lecture Notes in Computer Science, del 1019:

Tools and Algorithms for the Construction and Analysis of Systems

av Ed Brinksma, W Rance Cleaveland, Kim G Larsen, Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 1995-11-23

590

Köp

Skickas från oss inom 7-10 vardagar.

This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. The ...

Läs mer »
Monographs in Theoretical Computer Science An EATCS Series:

Coloured Petri Nets

av Kurt Jensen

Inbunden, Engelska, 1996-03-25

1627

Köp

Skickas från oss inom 7-10 vardagar.

This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being a promising theoretical model to being a full-fledged lan guage for ...

Läs mer »
Lecture Notes in Computer Science, del 1170:

Building Tightly Integrated Software Development Environments: The IPSEN Approach

av Manfred Nagl

Häftad, Engelska, 1996-11-13

1164

Köp

Skickas från oss inom 7-10 vardagar.

This coherently written book is the final report on the IPSEN project on Integrated Software Project Support Environments devoted to the integration of tools for the development and maintenance of large software systems. The theoretical and applic...

Läs mer »
Lecture Notes in Computer Science, del 1217:

Tools and Algorithms for the Construction and Analysis of Systems

av Ed Brinksma

Häftad, Engelska, 1997-03-20

590

Köp

Skickas från oss inom 7-10 vardagar.

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full...

Läs mer »
Lecture Notes in Computer Science, del 1287:

Formal Hardware Verification

av Thomas Kropf

Häftad, Engelska, 1997-08-27

590

Köp

Skickas från oss inom 7-10 vardagar.

This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verificati...

Läs mer »
Nero 10 E-bok

av Christoph Prevezanos, Ulrich Dorn

E-bok (PDF, LCP), Tyska, 2012-07-17

57

Ladda ned

Läs i Bokus Reader för iOS och Android.

Nero ist auch in der Version 10 unbestritten die Nummer eins unter den Brennprogrammen. Allerdings bietet das Nero-Paket eine fast unÃ¼berschaubare Vielfalt an Optionen und MÃ¶glichkeiten, was es manchmal schwierig macht, das richtige Programm und...

Läs mer »
BigData mit JavaScript visualisieren E-bok

av Clemens Gull

E-bok (PDF, LCP), Tyska, 2014-10-01

283

Ladda ned

Läs i Bokus Reader för iOS och Android.

Willkommen im Datenzeitalter. Ob Smartphone, DSL-Router oder auch beim Einkauf um die Ecke: Daten fallen Ã¼berall in groÃ¿er Menge an und werden gespeichert. Um diese groÃ¿en Datenmengen effizient und nutzbringend einsetzen zu kÃ¶nnen, ist eine ge...

Läs mer »
Coloured Petri Nets E-bok

av Kurt Jensen

E-bok (PDF, LCP), Engelska, 2013-04-17

1971

Ladda ned

Läs i Bokus Reader för iOS och Android.

This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de- veloped - from being a promising theoretical model to being a full-fledged lan- guage fo...

Läs mer »
Makro-Mathematik

av Bodo V Pape, Bodo V Pape, Bodo V Pape

Häftad, Tyska, 2014-10-02

350

Köp

Skickas från oss inom 5-8 vardagar.
SAP Press:

SAP Solution Manager

av René Allissat, Markus Bechler, Eileen Danz, Andreas Hömer, Michael Markert

Inbunden, Tyska

1090

Köp

Skickas från oss inom 3-6 vardagar.
Microservices-Architektur E-bok

av Michael Schafer, Achim Muller, Rafael Kansy

E-bok (LCP), Tyska, 2016-03-10

51

Ladda ned

Läs i Bokus Reader för iOS och Android.

Die Microservices-Architektur ist ein moderner Architekturstil fÃ¼r die Bereitstellung von autonomen Services im Web. Die lose Kopplung, die hohe Skalierbarkeit und ein flexibles Deployment sind die herausragenden Merkmale der Architektur. Der Auf...

Läs mer »
Excel para ciencia e ingenierÃ¿a E-bok

av Fatima Angela Ternero Fernandez, Juan Manuel Montes Martos

E-bok (LCP), Spanska, 2022-01-12

340

Ladda ned

Läs i Bokus Reader för iOS och Android.

Â¿Por quÃ© cientÃ¿ficos e ingenieros necesitan dominar Excel?MicrosoftÂ¿ Excel no es una aplicaciÃ³n especializada en tareas de ciencia e ingenierÃ¿a. Sin embargo, es una de las herramientas mÃ¡s utilizadas por cientÃ¿ficos e ingenieros. La razÃ³n...

Läs mer »
Historias de un mundo digital E-bok

av Tomas Alejandro Laidlaw Carthy

E-bok (LCP), Spanska, 2020-10-26

34

Ladda ned

Läs i Bokus Reader för iOS och Android.

Hitos e historias de un mundo digital, en donde nos toca vivir y el cual debemos conocer. Internet nos abriÃ³ una puerta. Innovaciones, negocios, ciberguerras y malwares son cosas del dÃ¿a a dÃ¿a. DescubrÃ¿ cÃ³mo llegamos hasta acÃ¡ y enterate quÃ...

Läs mer »