Constraint Solving and Language Processing: 7th International Workshop, Cslp 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
ISBN: 9783642415777 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Constraint Solving and Language Processing (CSLP) workshop considers the role of constraints in the representation of language and the implementation of language processing applications. This theme should be interpreted inclusively: it includes contributions from linguistics, computer science, psycholinguistics and related areas, with a particular interest in interdisciplinary perspectives. Constraints are widely used in linguistics, computer science, and psychology. How they are used, however, varies widely according to the research domain: knowledge representation, cognitive modelling,...
The Constraint Solving and Language Processing (CSLP) workshop considers the role of constraints in the representation of language and the implementat...
|
|
cena:
179,82 zł |
Practical Aspects of Declarative Languages: 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings
ISBN: 9783642452833 / Angielski / Miękka / 261 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located with POPL 2013, the 40th Symposium on Principles of Programming Languages. The 17 revised papers presented were carefully reviewed and selected from 33 submissions. The volume features original work emphasizing new ideas and implementation techniques for all forms of declarative concepts, including functional, logic and constraints.
This book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held...
|
|
cena:
179,82 zł |
Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings
ISBN: 9783642409219 / Angielski / Miękka / 151 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 17th Brazilian Symposium on Programming Languages, SBLP 2013, held in Brasilia, Brazil, in September/October 2013. The 10 full and 2 keynote talks were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages, programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded,...
This book constitutes the proceedings of the 17th Brazilian Symposium on Programming Languages, SBLP 2013, held in Brasilia, Brazil, in September/Octo...
|
|
cena:
179,82 zł |
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
ISBN: 9783642332951 / Angielski / Miękka / 227 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice.
Constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-locate...
|
|
cena:
179,82 zł |
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
ISBN: 9783642357046 / Angielski / Miękka / 249 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.
This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France...
|
|
cena:
179,82 zł |
Languages and Compilers for Parallel Computing: 25th International Workshops, Lcpc 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers
ISBN: 9783642376573 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2012, held in Tokyo, Japan, in September 2012. The 16 revised full papers, 5 poster papers presented with 1 invited talk were carefully reviewed and selected from 39 submissions. The focus of the papers is on following topics: compiling for parallelism, automatic parallelization, optimization of parallel programs, formal analysis and verification of parallel programs, parallel runtime systems, task-parallel libraries, parallel...
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Languages and Compilers for Parallel C...
|
|
cena:
179,82 zł |
Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, Mompes 2012, Essen, Germany, September 4, 2012, Revised Pap
ISBN: 9783642382086 / Angielski / Miękka / 139 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive...
|
|
cena:
179,82 zł |
Modelling Foundations and Applications: 9th European Conference, Ecmfa 2013, Montpellier, France, July 1-5, 2013, Proceedings
ISBN: 9783642390128 / Angielski / Miękka / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, France, in July 2013. The 15 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are on all aspects of MDE, including topics such as model querying, consistency checking, model transformation; and model-based systems engineering and domain-specific modeling.
This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, Franc...
|
|
cena:
179,82 zł |
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ISBN: 9783642396106 / Angielski / Miękka / 281 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in N...
|
|
cena:
179,82 zł |
ADA 2012 Rationale: The Language -- The Standard Libraries
ISBN: 9783642452093 / Angielski / Miękka / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition replacing the 2005 version. The primary goals for the new version were to further enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Many important new features have been included such as those defining dynamic contracts and for handling multiprocessors and are integrated within the existing language framework in an elegant and coherent manner. The Ada 2012 Rationale describes...
Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edi...
|
|
cena:
179,82 zł |
Python Programming for Beginners 2021: The Best Guide for Beginners to Learn Python Programming
ISBN: 9791280762313 / Angielski / Twarda / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
181,13 zł |
Advanced C++ Interview Questions You'll Most Likely Be Asked
ISBN: 9781946383709 / Angielski / Miękka / 178 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Advanced C++ Interview Questions You'll Most Likely Be Asked is a perfect companion to stand ahead above the rest in today's competitive job market. Rather than going through comprehensive, textbook-sized reference guides, this book includes only the information required...
|
|
cena:
181,21 zł |
Informatik: Eine Grundlegende Einführung Teil I. Problemnahe Programmierung
ISBN: 9783540551911 / Niemiecki / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfaltiger Weise Methoden und Techniken fur die Modellierung, Darstellung und Implementierung informationsverarbeitender Systeme bereitstellt. Diese grundlegende Einfuhrung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Dabei wird auf eine saubere, formale Fundierung und begriffliche Klarheit Wert gelegt.
In diesem ersten von vier Banden wird das gesamte Gebiet der... Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfaltiger Weise Methoden und Techniken fur die Modellierung, Darst...
|
|
cena:
182,48 zł |
Methodik Der Programmierung in Pascal
ISBN: 9783540580935 / Niemiecki / Miękka / 201 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch verfolgt zwei Ziele: Neben der Einfuhrung in die Programmiersprache Pascal anhand des ISO-Standard-Pascal werden grundlegende Programmiertechniken und guter Programmierstil vorgestellt. Beide Ziele werden nicht getrennt verfolgt, sondern in einer harmonischen Synthese. Der Stoffvermittlung liegen viele Beispiele zugrunde, fur die stets vollstandige Musterprogramme erarbeitet werden. Diese Musterprogramme sind als Dialogprogramme aufgebaut, sie basieren also auf einem Terminal als Schnittstelle zwischen Programmierer und Computer. Die Anwendungsbeispiele stammen aus verschiedenen...
Dieses Buch verfolgt zwei Ziele: Neben der Einfuhrung in die Programmiersprache Pascal anhand des ISO-Standard-Pascal werden grundlegende Programmiert...
|
|
cena:
182,48 zł |
Lotus 1-2-3: Schritt Für Schritt
ISBN: 9783528045319 / Niemiecki / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Immer mehr Rechner werden an Arbeitsplatzen in Verwaltung, Wirtschaft und bei Selbst standigen eingesetzt. Wenn auch die Hardwarepreise zum Kauf eines Rechners verlocken, so wird es doch fur viele Anwender schwierig, ihre eigenen Probleme zu losen. Viele stehen vor der Frage, ob sie eine der vielen Programmiersprachen lernen sollten oder fur teures Geld ihre individuellen Probleme programmieren lassen mussen. Das hier beschriebene Werkzeug Lotus 1-2-3 ist idealerweise dazu geeignet, ohne den Umweg uber das Beherrschen einer Programmiersprache die eigenen Aufgaben schnell und effizient losen...
Immer mehr Rechner werden an Arbeitsplatzen in Verwaltung, Wirtschaft und bei Selbst standigen eingesetzt. Wenn auch die Hardwarepreise zum Kauf eines...
|
|
cena:
182,48 zł |
Programmiermethoden Der Künstlichen Intelligenz
ISBN: 9783540524694 / Niemiecki / Miękka / 430 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch ist der 2. Teil einer Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -implementierung und -benutzung als neuartige einheitliche Sichtweise. Die Grundidee ist, dass es zu jedem Problem ein angepasstes Verarbeitungsmodell (eine abstrakte Maschine) gibt, das mit Hilfe einer zugeordneten Programmiersprache operabel gemacht werden kann. Programmiersprachen konnen jedoch auch uminterpretiert werden, indem ihnen konzeptionell ein neues Verarbeitungsmodell zugrunde gelegt wird. Diese Ausdrucksvielfalt fuhrt zu verschiedenen...
Das vorliegende Buch ist der 2. Teil einer Einfuhrung in die wesentlichen Problembereiche der KI-Programmierung. Dabei dienen Sprachentwicklung, -impl...
|
|
cena:
182,48 zł |
Java Kompakt: Eine Einführung in Die Software-Entwicklung Mit Java
ISBN: 9783642285035 / Niemiecki / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch bietet eine knappe, praxisorientierte Einfuhrung in die Programmierung mit Java. Basierend auf Vorlesungen, Kursen und Praktika fur die ersten beiden Semester an der Ludwig-Maximilians-Universitat Munchen, sollen Leser moglichst schnell in die Lage versetzt werden, Java Programme zu verstehen und selbstandig zu schreiben. Das Buch umfasst den Stoff einer Erstsemester-Vorlesung oder eine Java-Umschulung und vermittelt damit die Grundlagen fur eine akademische Ausbildung oder fur einen beruflichen Einstieg als Java-Programmierer.
Das Buch bietet eine knappe, praxisorientierte Einfuhrung in die Programmierung mit Java. Basierend auf Vorlesungen, Kursen und Praktika fur die erste...
|
|
cena:
182,64 zł |
Ajax in Der Praxis: Grundlagen, Konzepte, Lösungen
ISBN: 9783540693338 / Niemiecki / Twarda / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ajax machte das Web zu einer Plattform fur Anwendungssoftware und verfugt uber ein eindrucksvolles Potenzial. Dieses Buch bietet einen grundlichen und verstandlichen Einstieg in die Technologie. Hier profitieren alle Profis, die bereits Web-Anwendungen entwickeln und sich noch nicht mit Ajax befasst haben, aber auch traditionelle Software-Entwickler, die den Sprung ins Web machen mochten. Der Autor vermittelt die Konzepte anhand praxisnaher Beispiele, spricht haufige Probleme an und stellt bewahrte Losungen vor. Sein Fachbuch ist gleichermassen ein Nachschlagewerk, das die tagliche Arbeit... Ajax machte das Web zu einer Plattform fur Anwendungssoftware und verfugt uber ein eindrucksvolles Potenzial. Dieses Buch bietet einen grundlichen ... |
|
cena:
182,64 zł |
Softwareentwicklung in C: Mit 14 Abbildungen Und CD-ROM
ISBN: 9783642626272 / Niemiecki / Miękka / 409 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch bietet sowohl eine anwendungsorientierte Einfuhrung in die Programmiersprache C als auch eine moderne, strukturierte Herangehensweise an die Softwareentwicklung. Zahlreiche Beispiele werden zur Erlauterung angefuhrt, und der Weg von der Idee bis zur fertigen Software wird detailgenau mit allen Designentscheidungen erklart. Das vermittelte Wissen stammt aus langjahriger Entwicklungspraxis des Autors, dementsprechend ist das Gelernte direkt in der Praxis einsetzbar. Die dem Buch beigegebene CD-ROM enthalt alle Programme sowie die angesprochenen Tools."
Dieses Buch bietet sowohl eine anwendungsorientierte Einfuhrung in die Programmiersprache C als auch eine moderne, strukturierte Herangehensweise an d...
|
|
cena:
182,64 zł |
Softwareentwicklung in C++
ISBN: 9783642629327 / Niemiecki / Miękka / 570 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. C++ ist von allen Programmiersprachen, die heute in der Praxis eingesetzt werden, eine der machtigsten und am weitesten verbreitet. Um saubere und robuste Software in C++ zu entwickeln, ist es besonders wichtig, alle Features von C++ zu verstehen, da mangelndes Wissen in diesem Bereich unweigerlich zu schwerwiegenden Problemen in der Praxis fuhrt. Deshalb bietet dieses Buch eine detaillierte Einfuhrung in C++ und fuhrt so zu tieferem Verstandnis fur diese Programmiersprache. Zahlreiche Beispiele werden zur Erlauterung angefuhrt, versteckte Fallen aufgedeckt und erklart, und der Weg von der...
C++ ist von allen Programmiersprachen, die heute in der Praxis eingesetzt werden, eine der machtigsten und am weitesten verbreitet. Um saubere und rob...
|
|
cena:
182,64 zł |