Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

(VLB-FS)software engineering

Subject

Browse all works related to (VLB-FS)software engineering.

Home
Subject
(VLB-FS)software engineering

"23" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Testing of software and communication systems

Testing of software and communication systems: 21st IFIP WG 6.1 international conference ; proce…

by International Federation for Information Processing, Working Group Architecture and Protocols for Computer Networks, TestCom, Eindhoven

fromLecture Notes in Computer Science

0 Type: Book

Transactions on aspect-oriented software development

Transactions on aspect-oriented software development

fromLecture Notes in Computer Science

0 Type: Book

Automated technology for verification and analysis

Automated technology for verification and analysis: 7th international symposium ; proceedings

by Liu, Zhiming, ATVA, Macau

fromLecture Notes in Computer Science

0 Type: Book

Automated technology for verification and analysis

Automated technology for verification and analysis: 7th international symposium ; proceedings

fromLecture Notes in Computer Science

0 Type: Book

Objects and databases

Objects and databases: third international conference ; proceedings

by ICOODB, Frankfurt, Main

fromLecture Notes in Computer Science

0 Type: Book

Groupware: design, implementation, and use

Groupware: design, implementation, and use: 15th international workshop ; proceedings

by CRIWG, Peso da Régua)

fromLecture Notes in Computer Science

0 Type: Book

Task models and diagrams for user interface design

Task models and diagrams for user interface design: 8th international workshop ; revised selected pap…

by TAMODIA, Brüssel

fromLecture Notes in Computer Science

0 Type: Book

Advances in conceptual modeling

Advances in conceptual modeling: challenging perspectives ; proceedings

by CoMol, Gramado, ER, Gramado

fromLecture Notes in Computer Science

0 Type: Book

Softwaresysteme und ihre Modellierung

Softwaresysteme und ihre Modellierung: Grundlagen, Methoden und Techniken ; mit 43 Tabel…

by Tabeling, Peter

fromEXamen.press

0 Type: Book

Entwicklung IT-basierter Dienstleistungen

Entwicklung IT-basierter Dienstleistungen: Co-Design von Software und Services mit ServCASE

0 Type: Book

Java unter Lotus Domino

Java unter Lotus Domino: Know how für die Anwendungsentwicklung ; mit 80 L…

by Ekert, Thomas

fromXpert.press

0 Type: Book

In diesem Buch wird auf die Besonderheiten der Java-Anwendungsentwicklung unter Domino eingegangen. Das Buch liefert dem erfahrenen Java-Programmierer, der neu in der Domino Welt ist, einen reichhaltigen Wissensschatz, der weit über die reine Beschreibung der Domino Java Klassen…

Advances in computational science and engineering

Advances in computational science and engineering: workshops and symposia ; revised selected papers

fromCommunications in computer and information science

0 Type: Book

Graph transformations

Graph transformations: 5th international conference ; proceedings

by ICGT, Enschede)

fromLecture Notes in Computer Science

0 Type: Book

Software engineering

Software engineering: eine Einführung für Informatiker und Ingenieure ;…

by Dumke, Reiner

0 Type: Book

Interactive theorem proving and program development

Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions

by Bertot, Yves, Castéran, Pierre

fromTexts in theoretical computer science : an EATCS series

0 Type: Book

Advances in conceptual modeling

Advances in conceptual modeling: challenging perspectives ; proceedings

by Heuser, Carlos Alberto, CoMol, Gramado, ER, Gramado

fromLecture Notes in Computer Science

0 Type: Book

Algorithmic aspects of wireless sensor networks

Algorithmic aspects of wireless sensor networks: 5th international workshop ; revised selected pap…

by ALGOSENSORS, Ixia

fromLecture Notes in Computer Science

0 Type: Book

Integrated formal methods

Integrated formal methods: 8th international conference ; proceedings

fromLecture Notes in Computer Science

0 Type: Book

Integrated Formal Methods

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, Fr…

fromLecture Notes in Computer Science

0 Type: Book

Reliable software technologies

Reliable software technologies: proceedings

by Ada Europe, International Conference on Reliable Software Technologies, Brest, Finistère

fromLecture Notes in Computer Science

0 Type: Book

1
2

Subjects

(VLB-FS)software engineering (23) (VLB-PF)BC: Paperback (14) (VLB-WN)1632: Hardcover, Soft… (10) Softwareentwicklung (9) (VLB-FS)requirements engineer… (8) (VLB-FS)model checking (6) (VLB-FS)software verification (5) Eingebettetes System (5) Model Checking (5) Software Engineering (5) (VLB-FS)formal methods (4) (VLB-FS)petri nets (4) (VLB-PF)BB: Gebunden (4) Formale Methode (4) Uml (4) Verifikation (4) (VLB-FS)UML (3) (VLB-FS)aspect-oriented (3) (VLB-FS)formal modeling (3) (VLB-FS)model transformations (3) (VLB-FS)theorem proving (3) (VLB-FS)verification (3) Anwendungssystem (3) Echtzeitsystem (3) Konzeptionelle Modellierung (3) (VLB-FS)AUML (2) (VLB-FS)Data Mining (2) (VLB-FS)Echtzeit (2) (VLB-FS)Echtzeitbetriebssyste… (2) (VLB-FS)Echtzeitsysteme (2) (VLB-FS)Eingebettete Systeme (2) (VLB-FS)Java (2) (VLB-FS)Sicherheitskritische … (2) (VLB-FS)UML2 (2) (VLB-FS)ad-hoc networks (2) (VLB-FS)automata (2) (VLB-FS)boogie2 (2) (VLB-FS)c# (2) (VLB-FS)circuit verification (2) (VLB-FS)collaborative process… (2) (VLB-FS)embedded systems (2) (VLB-FS)first-order types (2) (VLB-FS)formal semantics (2) (VLB-FS)formal verification (2) (VLB-FS)huge databases (2) (VLB-FS)information quality (2) (VLB-FS)knowledge discovery (2) (VLB-FS)ontological analysis (2) (VLB-FS)ontology (2) (VLB-FS)program analysis (2) (VLB-FS)programming techniques (2) (VLB-FS)relational databases (2) (VLB-FS)semantic services (2) (VLB-FS)semi-formal modeling (2) (VLB-FS)simulation (2) (VLB-FS)software analysis (2) (VLB-FS)spec# (2) (VLB-FS)static analysis (2) (VLB-FS)systems analysis (2) (VLB-FS)validation (2) (VLB-WN)1634: Hardcover, Soft… (2) Automatic theorem proving (2) Computer Science (2) Datenbanksystem (2) Datenintegration (2) Datenmodell (2) Electronic Data Processing (2) Génie logiciel (2) Hardwareentwurf (2) Hybrides System (2) Informationssystem (2) Informatique (2) Mensch-Maschine-Kommunikation (2) Nancy <2010> (2) Ontologie (2) Programmierung (2) Qualitätssicherung (2) Rechnernetz (2) Semantic Web (2) Spezifikationssprache (2) Systemanalyse (2) Systementwicklung (2) Systementwurf (2) Testen (2) Zeitbehafteter Automat (2) software (2) (Produktform)Electronic book … (1) (VLB-FS)Agile Methode (1) (VLB-FS)Algorithms (1) (VLB-FS)Anwendungsentwicklung (1) (VLB-FS)Architekturorientiert… (1) (VLB-FS)CSCW (1) (VLB-FS)Co-Design (1) (VLB-FS)Dienstleistungen (1) (VLB-FS)Domino (1) (VLB-FS)Fundamental Modelling… (1) (VLB-FS)GIS (1) (VLB-FS)HCI (1) (VLB-FS)IT (1) (VLB-FS)Informationstechnolog… (1) (VLB-FS)Knowledge Management (1) (VLB-FS)Logic (1) (VLB-FS)MANET (1) (VLB-FS)Modellierung (1) (VLB-FS)Modellierungsgrundlag… (1) (VLB-FS)Ontologies (1) (VLB-FS)Open Source (1) (VLB-FS)Refactoring (1) (VLB-FS)SE-Grundlagen (1) (VLB-FS)Services (1) (VLB-FS)Software (1) (VLB-FS)Software-Entwicklung (1) (VLB-FS)Software-Management (1) (VLB-FS)Software-Paradigmen (1) (VLB-FS)Testfalldefiniton (1) (VLB-FS)Unit-Tests (1) (VLB-FS)ada (1) (VLB-FS)ada 2005 (1) (VLB-FS)application control (1) (VLB-FS)arithmetic (1) (VLB-FS)aspect-oriented langu… (1) (VLB-FS)aspect-oriented model… (1) (VLB-FS)automatic testing (1) (VLB-FS)behavioural analysis (1) (VLB-FS)bioinformatics (1) (VLB-FS)business process mode… (1) (VLB-FS)categories (1) (VLB-FS)cloud computing (1) (VLB-FS)code generation (1) (VLB-FS)collaborative enginee… (1) (VLB-FS)communication patterns (1) (VLB-FS)conformance testing (1) (VLB-FS)constraint models (1) (VLB-FS)data management (1) (VLB-FS)design development (1) (VLB-FS)distributed computing (1) (VLB-FS)distributed databases (1) (VLB-FS)energy-efficiency (1) (VLB-FS)event models (1) (VLB-FS)execution-time analys… (1) (VLB-FS)fault protection (1) (VLB-FS)formal languages (1) (VLB-FS)formal models (1) (VLB-FS)functional testing (1) (VLB-FS)gesture interaction (1) (VLB-FS)graph grammars (1) (VLB-FS)graph theory (1) (VLB-FS)graph transformations (1) (VLB-FS)high-integrity enviro… (1) (VLB-FS)human computer interf… (1) (VLB-FS)indexing (1) (VLB-FS)interface design (1) (VLB-FS)java multithreading (1) (VLB-FS)linguistics (1) (VLB-FS)low power devices (1) (VLB-FS)mathematical logic (1) (VLB-FS)metamodeling (1) (VLB-FS)model-based developme… (1) (VLB-FS)model-based testing (1) (VLB-FS)model-driven engineer… (1) (VLB-FS)modularity (1) (VLB-FS)nosql databases (1) (VLB-FS)object data models (1) (VLB-FS)object databases (1) (VLB-FS)object query languages (1) (VLB-FS)object storage systems (1) (VLB-FS)object-oriented frame… (1) (VLB-FS)optimization (1) (VLB-FS)process algebra (1) (VLB-FS)program equality (1) (VLB-FS)program verification (1) (VLB-FS)programming languages (1) (VLB-FS)real-time systems (1) (VLB-FS)rewriting systems (1) (VLB-FS)safety requirements (1) (VLB-FS)sat (1) (VLB-FS)scheduling policies (1) (VLB-FS)security (1) (VLB-FS)security requirements (1) (VLB-FS)smartphones (1) (VLB-FS)social matching (1) (VLB-FS)software architecture (1) (VLB-FS)system performance (1) (VLB-FS)transaction management (1) (VLB-FS)ubiquitous computing (1) (VLB-FS)virtual teams (1) (VLB-FS)web applications (1) (VLB-FS)web services (1) (VLB-FS)web services testing (1) (VLB-FS)wireless sensor netwo… (1) (VLB-WN)1781: HC/Wirtschaft/A… (1) API (1) Ada (1) Agile Softwareentwicklung (1) Agile software development (1) Automatic theorem proving -- … (1) Automatisches Beweisverfahren (1) Benutzeroberfläche (1) Bioinformatik (1) Brüssel <2009> (1) COMPUTER PROGRAMMING (1) Codegenerierung (1) Computer Supported Cooperativ… (1) Computer network architectures (1) Computer software (1) Computer software -- Congress… (1) Computer software -- Testing (1) Computersicherheit (1) Computerunterstützter Beweis (1) Computerunterstütztes Lernen (1) Datensicherung (1) Deutschland (1) Diagrammatisches Schließen (1) Dienstleistung (1) Drahtloses Sensorsystem (1) Eindhoven <2009> (1) Eingebettetes System -- Echtz… (1) Eingebettetes System -- Softw… (1) Enschede <2010> (1) Entwurfsmuster (1) Extreme programming -- UML (1) FMC (1) Frankfurt <Main, 2010> (1) Graph-Grammatik (1) Graphersetzungssystem (1) Hardware (1) Informationstechnik (1) Java (1) Komplexes System (1) Kontextbezogenes System (1) Kryptosystem (1) Logic design (1) Logiciels (1) Lotus Domino (1) Macao <2009> (1) Modellgetriebene Entwicklung (1) Modelltransformation (1) Méthodes agiles (Développemen… (1) Netzwerktopologie (1) Objektorientiertes Datenbanks… (1) PRODUKTENTWICKLUNG (1) Peso da Régua <2009> (1) Programmation informatique (1) Programmierung im Großen (1) Programmverifikation (1) Prozessmanagement (1) Reaktives System (1) Refactoring (1) Requirements engineering (1) Rhodos <Stadt, 2009> (1) Réseaux d'ordinateurs -- Arch… (1) Réseaux de capteurs -- Congrès (1) Réseaux locaux sans fil -- Co… (1) Sanya <2009> (1) Sensor networks (1) Sensor networks -- Congresses (1) Soft computing (1) Softwarearchitektur (1) Softwareentwicklung -- 0 Gesa… (1) Softwareentwicklung -- Eingeb… (1) Softwaresystem (1) Softwaretest (1) Structure logique (1) Task (1) Telecommunication systems -- … (1) Telecommunication systems -- … (1) Telekommunikationsnetz (1) Théorèmes -- Congrès. -- Démo… (1) Théorèmes -- Démonstration au… (1) UML (Computer science) (1) UML (Informatique) (1) UML 2 (1) UML/P (1) Unternehmen (1) VLB-PF)00: (unbekannt (1) Vorgehensmodell (1) Wireless LANs (1) Wireless LANs -- Congresses (1) Zuverlässigkeit (1) data processing (1) eXtreme programming (1) groupware (1)

Contributor

ATVA, Macau (2) CoMol, Gramado (2) ER, Gramado (2) IFM, Nancy) (2) Scholz, Peter (2) ALGOSENSORS, Ixia (1) Ada Europe (1) Bertot, Yves (1) CRIWG, Peso da Régua) (1) Castéran, Pierre (1) Dumke, Reiner (1) Ekert, Thomas (1) FGCN, Sanya (1) Heuser, Carlos Alberto (1) ICGT, Enschede) (1) ICOODB, Frankfurt, Main (1) International Conference on R… (1) International Federation for … (1) Liu, Zhiming (1) Rumpe, Bernhard (1) TAMODIA, Brüssel (1) Tabeling, Peter (1) TestCom, Eindhoven (1)

Publisher

Springer (18) Springer Berlin Heidelberg (2) Physica-Verl (1) Springer Bln (1) Vieweg (1)

Year

2010 (5) 2009 (10) 2008 (1) 2006 (2) 2005 (3) 2004 (1) 2003 (1)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type