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

Programmierparadigma

Subject

Browse all works related to Programmierparadigma.

Home
Subject
Programmierparadigma

"26" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Programming language concepts and paradigms

Programming language concepts and paradigms

by Watt, David A.

fromPrentice-Hall International Series in Computer Science

0 Type: Book

Bayesian programming

Bayesian programming

by Bessière, Pierre

fromChapman & Hall/CRC machine learning & pattern recognition s…

0 Type: Book

Multiparadigm constraint programming languages

Multiparadigm constraint programming languages

by Hofstedt, Petra

0 Type: Book

Multiparadigm constraint programming languages

Multiparadigm constraint programming languages

by Hofstedt, Petra

fromCognitive Technologies

0 Type: Book

Multiparadigm constraint programming languages

Multiparadigm constraint programming languages

by Hofstedt, Petra

fromCognitive Technologies

0 Type: Book

Mastering Clojure macros

Mastering Clojure macros: write cleaner, faster, smarter code

by Jones, Colin

fromThe pragmatic programmers

0 Type: Book

Programming languages

Programming languages: design and implementation

by Zelkowitz, Marvin V., Pratt, Terrence W.

0 Type: Book

Techniques of Prolog programming with implementation of logical negation and quantified goals

Techniques of Prolog programming with implementation of logical negation and quantified goals

fromWiley international edition

0 Type: Book

Sensor systems and software

Sensor systems and software: second international ICST conference ; revised se…

by S-Cube, Miami, Fla

fromLecture Notes of the Institute for Computer Sciences, Socia…

0 Type: Book

Sensor systems and software

Sensor systems and software: second international ICST conference ; revised se…

by S-Cube, Miami, Fla

fromLecture Notes of the Institute for Computer Sciences, Socia…

0 Type: Book

Sensor Systems and Software

Sensor Systems and Software: Second International ICST Conference, S-Cube 2010…

by Morrow, Philip, Par, Gerard

fromLecture Notes of the Institute for Computer Sciences, Socia…

0 Type: Book

Applications of declarative programming and knowledge management

Applications of declarative programming and knowledge management: 18th international conference ; revised selected …

by INAP, Évora

fromLecture Notes in Computer Science

0 Type: Book

Applications of declarative programming and knowledge management

Applications of declarative programming and knowledge management: 18th international conference, INAP 2009, Évora, …

by Abreu, Salvador, Seipel, Dietmar, INAP, Évora, International Conference on Applications of Declarative Programming and Knowledge Management, Évora)

fromLecture Notes in Computer Science

0 Type: Book

Logic-based program synthesis and transformation

Logic-based program synthesis and transformation: 20th international symposium ; revised selected p…

by LOPSTR, Hagenberg im Mühlkreis

fromLecture Notes in Computer Science

0 Type: Book

Models in software engineering

Models in software engineering: workshops and symposia at MODELS 2010, Oslo, Norw…

by MODELS, Oslo), Dingel, Juergen, Solberg, Arnor

fromLecture Notes in Computer Science

0 Type: Book

Models in software engineering

Models in software engineering: workshops and symposia at MODELS 2010, Olso, Norw…

by MODELS, Oslo)

fromLecture Notes in Computer Science

0 Type: Book

Zukunftssichere TYPO3-Extensions mit Extbase & Fluid

Zukunftssichere TYPO3-Extensions mit Extbase & Fluid: der Einstieg in die neue Extension-Entwicklung

by Rau, Jochen, Kurfürst, Sebastian

0 Type: Book

Zukunftssichere TYPO3-Extensions mit Extbase & Fluid

Zukunftssichere TYPO3-Extensions mit Extbase & Fluid

by Rau, Jochen, Kurfürst, Sebastian

0 Type: Book

Zukunftssichere TYPO3-Extensions mit Extbase und Fluid

Zukunftssichere TYPO3-Extensions mit Extbase und Fluid

by Rau, Jochen, Kurfürst, Sebastian

0 Type: Book

Zukunftssichere TYPO3-Extensions mit Extbase & Fluid

Zukunftssichere TYPO3-Extensions mit Extbase & Fluid: der Einstieg in die neue Extension-Entwicklung

by Rau, Jochen, Kurfürst, Sebastian

0 Type: Book

1
2

Subjects

Programmierparadigma (26) Formale Methode (7) Softwareentwicklung (7) (Zielgruppe)Research (5) Constraint-Programmierung (5) Software Engineering (5) (Produktform)Paperback / soft… (4) Beweis (4) Computer Science (4) Domain engineering (4) Electronic Data Processing (4) Erweiterung (4) Framework (4) Génie logiciel (4) Korrektheit (4) Model View Controller (4) Modellgetriebene Entwicklung (4) Objektorientierte Programmier… (4) Programmverifikation (4) TYPO3 4.4 (4) Template (4) logische Programmierung (4) Ambient intelligence (3) Drahtloses Sensorsystem (3) Informatique (3) Middleware (3) Privatsphäre (3) Systemplattform (3) Trusted Computing (3) Unterstützungssystem (3) data processing (3) (Keywords)Programming languag… (2) (Keywords)formal methods (2) (Produktform)Hardback (2) Abfragesprache (2) Agile Softwareentwicklung (2) Anwendungssystem (2) Aspektorientierte Programmier… (2) Datenbanksystem (2) Domänenspezifische Programmie… (2) Entwurfssprache (2) Informatik (2) Information systems (2) Klein- und Mittelbetrieb (2) Kongress (2) Konzeptionelle Modellierung (2) Logic design (2) Objektorientierte Programmier… (2) Programmiersprache (2) Programming languages (Electr… (2) Projektmanagement (2) Research (2) Serviceorientierte Architektur (2) Softwarearchitektur (2) Structure logique (2) Systementwicklung (2) Wissensbasiertes System (2) Wissensmanagement (2) World Wide Web (2) deklarative Programmierung (2) formal methods (2) (Keywords)Logic (1) (Keywords)Multiparadigm progr… (1) (Keywords)OCL (1) (Keywords)Partial Evaluation (1) (Keywords)SAT solvers (1) (Keywords)Systems Modelling (1) (Keywords)Type Systems (1) (Keywords)ambient intelligence (1) (Keywords)awareness services (1) (Keywords)constraint processi… (1) (Keywords)constraint programm… (1) (Keywords)constraints (1) (Keywords)data mining (1) (Keywords)meta modeling (1) (Keywords)model generation (1) (Keywords)model-based archite… (1) (Keywords)model-based verific… (1) (Keywords)modeling languages (1) (Keywords)pervasive computing (1) (Keywords)privacy (1) (Keywords)program transformat… (1) (Keywords)sensor networks (1) (Keywords)service-oriented co… (1) (Keywords)systems modeling (1) (Keywords)ubiquitous computing (1) (Keywords)wireless networks (1) (VLB-FS)Extbase (1) (VLB-FS)Extension-Programmier… (1) (VLB-FS)FLOW3 (1) (VLB-FS)Fluid (1) (VLB-FS)TYPO3 (1) (VLB-PF)BB: Gebunden (1) (VLB-WN)1632: Hardcover, Soft… (1) (VLB-WN)1635: Hardcover, Soft… (1) (VLB-WN)1636: Hardcover, Soft… (1) (Zielgruppe)Professional/prac… (1) Algorithmus (1) Bayes-Entscheidungstheorie (1) Bayes-Inferenz (1) Bayes-Regel (1) Bayesian statistical decision… (1) Beweistheorie (1) Clojure (1) Clojure (Computer program lan… (1) Clojure (Langage de programma… (1) Computer Communication Networ… (1) Computer science -- Mathemati… (1) Computer software -- Congress… (1) Computer software -- Developm… (1) Constraint programming (Compu… (1) Data Mining (1) Electronic books ; local (1) Formal methods (Computer scie… (1) Framework (Informatik) (1) Functional programming (Compu… (1) Génie logiciel -- Congrès (1) Implementierung (1) Induktive logische Programmie… (1) Informatique -- Mathématiques (1) Intelligence artificielle (1) Künstliche Intelligenz (1) LISP (1) Logics and Meanings of Progra… (1) Macro instructions (Electroni… (1) Macro-instructions (Informati… (1) Macroprogramming (1) Mathematical Logic and Formal… (1) Metaprogrammierung (1) Méthodes formelles (informati… (1) OCL (1) Operating systems (Computers) (1) Oslo <2010> (1) PROLOG (1) PROLOG (Programmiersprache) (1) Programmation fonctionnelle (1) Programmation par contraintes (1) Programmiersprache -- 0 Gesam… (1) Programmierung (1) Programmsynthese (1) Programmtransformation (1) Prolog -- Programmsammlung. -… (1) SAT solvers (1) Simulation (1) Software engineering -- Congr… (1) Stochastisches Modell (1) Systèmes d'exploitation (Ordi… (1) Telecommunication (1) Telecommunications (1) Theorie (1) Théorie de la décision bayési… (1) algorithm correctness (1) artificial intelligence (1) computer simulation (1) constraint processing (1) first-order predicate logic (1) meta modeling (1) model generation (1) model-based architecting (1) model-based verification (1) modeling languages (1) operating systems (1) predicate calculus (1) program correctness (1) program transformation (1) programming languages (1) rre- and post-conditions (1) service-oriented computing (1) systems modeling (1) Évora <2009> (1)

Contributor

Kurfürst, Sebastian (4) Rau, Jochen (4) Watson, Bruce W. (4) Hofstedt, Petra (3) Kourie, Derrick G. (3) Biskup, Thomas (2) INAP, Évora (2) MODELS, Oslo) (2) S-Cube, Miami, Fla (2) Abreu, Salvador (1) Bessière, Pierre (1) Dingel, Juergen (1) International Conference on A… (1) Jones, Colin (1) Kourie, Derrick (1) LOPSTR, Hagenberg im Mühlkreis (1) Le, Tu Van (1) Morrow, Philip (1) Par, Gerard (1) Pratt, Terrence W. (1) Seipel, Dietmar (1) Solberg, Arnor (1) Watt, David A. (1) Zelkowitz, Marvin V. (1)

Publisher

Springer (13) O'Reilly (4) Prentice Hall (2) Shaker (2) CRC (1) Springer Berlin Heidelberg (1) Springer-Verlag GmbH Berlin H… (1) The Pragmatic Bookshelf (1) Wiley (1)

Year

2014 (2) 2012 (4) 2011 (11) 2010 (6) 2001 (1) 1993 (1) 1992 (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