advanced corba programming with c

Logic Programming: 25th International Conference, ICLP ,

ISBN: , SKU: , AUTHOR: Hill, Patricia M. / Warren, David S., PUBLISHER: Springer, This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP , held in Pasadena, CA, USA, in July. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69 initial submissions. The papers cover all issues of current research in logic programming, namely semantic foundations, formalisms, nonmonotonic reasoning, knowledge representation, compilation, memory management, virtual machines, parallelism, program analysis, program transformation, validation and verification, debugging, profiling, concurrency, objects, coordination, mobility, higher order, types, modes, programming techniques, abductive logic programming, answer set programming, constraint logic programming, inductive logic programming, alternative inference engines and mechanisms, deductive databases, data integration, software engineering, natural language, web tools, internet agents, artificial intelligence, bioinformatics. Acquista Ora

Tapsoft '87

Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March di Ehrig - Levi - Montanari - Kowalski (a cura di), , Springer-verlag. collana: Lecture notes in computer science. vol. 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) vol. 2: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Functional and Logic Programming and Specifications (CFLP) Costo del singolo volume. I volumi non sono acquistabili singolarmente. Ottime condizioni.

Cross-Platform GUI Programming with Wxwidgets

ISBN: , SKU: , AUTHOR: Smart, Julian / Hock, Kevin / Csomor, Stefan, PUBLISHER: Prentice Hall, ""This book is the best way for beginning developers to learn wxWidgets programming in C++. It is a must-have for programmers thinking of using wxWidgets and those already using it.""-Mitch Kapor, founder of Lotus Software and the Open Source Applications FoundationBuild advanced cross-platform applications that support native look-and-feel on Windows, Linux, Unix, Mac OS X, and even Pocket PC Master wxWidgets from start to finish-even if you've never built GUI applications beforeLeverage advanced wxWidgets capabilities: networking, multithreading, streaming, and moreCD-ROM: library of development tools, source code, and sample applicationsForeword by Mitch Kapor, founder, Lotus Development and Open Source Application FoundationwxWidgets is an easy-to-use, open source C++ API for writing GUI applications that run on Windows, Linux, Unix, Mac OS X, and even Pocket PC-supporting each platform's native look and feel with virtually no additional coding. Now, its creator and two leading developers teach you all you need to know to write robust cross-platform software with wxWidgets. This book covers everything from dialog boxes to drag-and-drop, from networking to multithreading. It includes all the tools and code you need to get great results, fast. From AMD to AOL, Lockheed Martin to Xerox, world-class developers are using wxWidgets to save money, increase efficiency, and reach new markets. With this book, you can, too.wxWidgets quickstart: event/input handling, window layouts, drawing, printing, dialogs, and moreWorking with window classes, from simple to advanced Memory management, debugging, error checking, internationalization, and other advanced topicsIncludes extensive code samples for Windows, Linux (GTK+), and Mac OS XAbout the CD-ROM The CD-ROM contains all of the source code from the book; wxWidgets distributions for Windows, Linux, Unix, Mac OS X, and other platforms; the wxWidgets reference guide; and development tools including the OpenWatcom C++ compiler, the poEdit translation helper, and the DialogBlocks user interface builder. (c) Copyright Pearson Education. All rights reserved.

Logic and Computation: Interactive Proof with Cambridge Lcf

ISBN: , SKU: , AUTHOR: Paulson, Lawrence C., PUBLISHER: Cambridge University Press, Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.

Programming of Computer Numerically Controlled Machines

ISBN: , SKU: , AUTHOR: Evans, Ken / Polywka, John / Gabrel, Stanley, PUBLISHER: Industrial Press, This book is written by programmers with years of experience teaching CNC machining to industry and in formal education settings, and it provides descriptions of many operation and programming functions and their practical application. Because of the wide range of information given about the selection of tools, machine operation and the technology of machining, Programming of Computer Numerical Controlled Machines will benefit engineers, programmers, supervisors and machine operators who need ready access to information that will solve CNC operation and programming problems.

WIN32 Multithreaded Programming [With Included]

ISBN: , SKU: , AUTHOR: Cohen, Aaron / Woodring, Mike, PUBLISHER: O'Reilly Media, Many Windows developers still write code as if their application is a single entity that, while it is running, has complete control of all system resources. This legacy from the days of DOS means that developers frequently fail to take advantage of Win32's support of multiple threads of execution to improve their application's performance or to enhance its functionality. For instance, a main thread can handle interactions with the user, while a background "worker" thread can handle repainting the application window or performing some background calculations. But multithreaded programming means more than adding threads; it also requires that the code be thread-safe. "Win32 Multithread Programming explains the concepts of multithreaded programs, thus providing the developer with the knowledge necessary to skillfully construct efficient and complex applications. From basic thread synchronization using mutexes and semaphores, to advanced topics like creating reusable thread pools or implementing a deferred processing queue, the book uses real-world applications and carefully constructed examples to illustrate the principles of multithreaded programming. Some of the topics include: How the Windows operating systems handle threadsMultithreading primitives in the Win32 APITechniques for generating thread-safe dynamic link librariesAdvanced techniques for thread synchronizationBasic scenarios for synchronizing threadsCommon designs for building multithreaded user interfaces The CD-ROM accompanying the book features Mcl, the authors' C++ class library for multithreaded programming, which both wraps multithreaded API functions and easily supports more complex multithreaded scenarios. Forprogrammers using MFC, an additional library, Mcl4Mfc, is included for MFC compatibility. "Win32 Multithread Programming is an essential resource for any developer interested in learning about Win32 multithreaded programming in order to create high-performance, effective applications.

Programming Microsoft Windows CE [With *]

ISBN: , SKU: , AUTHOR: Boling, Douglas, PUBLISHER: Microsoft Press, "Programming Windows CE" guides Windows programmers through the unique problems and the new opportunities provided by Windows CE. The book covers all the new Win32 APIs supported by Windows CE as well as workarounds for Win32 APIs not supported. The book also covers programming techniques necessary when programming for memory-constrained environments. While MFC for Windows CE is discussed, the primary focus of the book is programming directly to the Windows CE API since that is what most programmers need to do to meet the size and speed requirements necessary for well-designed Windows CE programs. The Windows CE Software Development Kit and sample code are included on the CD.

Advanced trainer. practice tests with an (inglese)

SEMINUOVO ADVANCED TRAINER. PRACTICE TESTS WITH AN (Inglese) Cambridge English Six pratica tests wit an sera isbn usato 15 giorni per esame C1 Cambridge

Stock di Libri di programmazione

Come da annuncio vendo stock di libri di programmazione utilizzati poco, alcuni nuovi. I libri non sono venduti separatamente ma solo in stock. Di seguito la lista: - Visual Basic 6.0 - Visual C - Applications = Code + Markup - Start here! Buld Windows 8 apps with HTML5 and Java Script - Asp.Net 2.0 programming Microsoft - Programmare con Delphi 5 -.Net XML Web Services programming microsoft - Ado.net 2.0 programming microsoft - Inside Windows Communication Foundation - Costruire siti dinamici con Joomla! 1.5 - Microsoft Office Exel -Microsoft Office Word - Microsoft Windows Vista - La grande guida Ajax -La grande guida Microsoft Silverlight 2 55€ non accetto scambi, permute e ritiro in zona mia.

C++ Training Guide, Revised Edition: Revised Printing

ISBN: , SKU: , AUTHOR: Heller, Steve, PUBLISHER: Academic Press, Whether for self-study or an in-house training program, these Book-and-CD-ROM packages are all that's needed to get up and running fast with a minimal investment. Each book is designed to be used as a quick reference, a tool to learn more details, or whenever a computer is inaccessible. Each accompanying CD-ROM is a 120-minute interactive movie segmented into 1-2 minute sessions: either watch the CD in its entirety or search the menu system to go to specific topics. While viewing, you can even go fast forward and reverse. The CD-ROMs run on Windows 3.1, Windows 95, or Windows NT, and are custom-developed by LearnKey, Inc., a leading national training organization. A comprehensive introduction to programming with C++. Teaches the reader to program in C++, assuming no prior knowledge of programming. Includes a GNU C++ compiler.

Object-Oriented Program Development Using C++: A

ISBN: , SKU: , AUTHOR: Bronson, Gary J. / Course Technology, PUBLISHER: Course Technology, This text introduces readers to beginning programming concepts using the C++ language. Bronson's unique objects-early approach makes C++ accessible to a beginning audience, and creates the strong foundation needed for later programming courses. Topical coverage includes algorithm development, problem solving, and fundamental computer science concepts, and each chapter contains extensive end-of-chapter exercises.

Libro Computing with Maple - Francis Wright

Libro sul calcolo con il software Maple. Il volume è in condizioni molto buone, come si può vedere dalle foto; sono assenti segni di sottolineatura all'interno. Leggeri segni di usura sugli angoli della copertina. Manca il CD all'interno (vedi foto). Titolo: Computing with Maple Autore: Francis Wright Casa editrice: Chapman & Hall / CRC Mathematics ISBN: Prezzo di copertina: £ Prezzo di vendita: € Vendo altri libri universitari, guarda i miei annunci. - Presentazione: - Powerful, flexible, easy to use-small wonder that the use of MAPLE® continues to increase, particularly since the latest releases of MAPLE. The built-in nature of its numerical and graphical facilities gives MAPLE a distinct advantage over traditional programming languages, yet to date, no textbook has used that advantage to introduce programming concepts. Moreover, few books based on MAPLE's latest versions even exist. Computing with MAPLE presents general programming principles using MAPLE as a concrete example of a programming language. The author first addresses the basic MAPLE functions accessible for interactive use then moves to actual programming, discussing all of the programming facilities that MAPLE provides, including control structures, data types, graphics, spreadsheets, text processing, and object oriented programming. Reflecting MAPLE's primary function as a computational tool, the book's emphasis is on mathematical examples, and it includes a full chapter devoted to algebraic programming.

Microsoft Visual C++: Programmers Guide [With *]

ISBN: , SKU: , AUTHOR: Zaratian, Beck / Zaratian, PUBLISHER: Microsoft Press, The latest edition of this popular programming tutorial, previously published as the "Microsoft Visual C++ Owner's Manual", offers a fresh approach and comprehensive discussion of issues around using the latest version of Microsoft Visual C++. It will appeal to new users, developers coming from another language or implementation, and upgraders from earlier versions. They will learn in detail about the components of the new development environment and techniques for setting up development projects, especially in multiple developer environments. The book is supplemented by many example programs and projects that illustrate text explanations. When fast isn't fast enough for your application or component development, turn to Visual C++ 6.0 and the "Microsoft Visual C++ 6.0 Programmer's Guide", the complete user's guide to all the Visual C++ programming tools. "Microsoft Visual C++ 6.0 Programmer's Guide" topics include: An overview of Microsoft Visual C++ 6.0 for new users and developers familiar with other languages and implementations Issues in setting up development projects Development environment components Example applications, reusable code for components, controls, and other projects.

Advanced Trainer - 6 practice tests WITH ANSWERS

Vendo libro per preparazione ufficiale esame CAE Cambridge English Advanced Trainer (Second edition) Six practice tests WITH ANSWERS Sei test completi con annesse soluzioni e correzioni degli esaminatori, tracce audio scaricabili tramite il link indicato all'interno. Nuova edizione dopo revisione esami nel . SOLO RITIRO A MANO IN TORINO

The C Programming Language (Kernaghan-Ritchie)

Il classico sulla programmazione di Kernighan e di Ritchie, The C Programming Language (2a ed.). Uno dei libri più venduti di programmazione pubblicati negli ultimi cinquant'anni, "K & R " è stato chiamato tutto, dalla a " un punto di riferimento in informatica " " bibbia" e ha influenzato generazioni di programmatori. Questo testo conciso e ben scritto è un riferimento "must-have " per biblioteca di ogni serio programmatore.

From Standard Logic to Logic Programming: Introducing a

ISBN: , SKU: , AUTHOR: Thayse, Andre / Gochet, Paul / Gr?goire, Eric, PUBLISHER: John Wiley & Sons, Presents a solid base for the examination of artificial intelligence (AI) with a thorough study of the role of logic, covering the whole field from the theoretical aspects of logic to the most practical logic programming applications. Discusses classical logic; knowledge representation and valid reasoning; non-standard logics and revisable reasoning; formal grammars; automata theory and augument transition network formalism and much more. Particular emphasis is placed on Prolog as the forerunning and most popular language for logic programming.

Ion Beam Synthesis and Processing of Advanced Materials:

ISBN: , SKU: , AUTHOR: Moss, S. C. / Heinig, K-H / Poker, D. B., PUBLISHER: Materials Research Society, The nonequilibrium processes associated with ion-solid interactions offer a great potential to synthesize and modify advanced materials. Recent progress in ion-beam synthesis and processing has allowed the development of advanced materials with properties designed and tailored specifically for their applications. The progress is assisted by an improved understanding of basic physics and chemistry. The design and interpretation of experimental work is supported by modeling and predictive simulations, both from the atomistic and the nonequilibrium thermodynamics viewpoints. This volume focuses on those properties of advanced materials that are uniquely suited to modification and improvement by ion beans, for example, electrical, optical, magnetic and structural properties, surface hardness, and nanofabrication.

Computer programming collezione

Vendo la mia collezione riviste programmazione COMPUTER PROGRAMMING dal N°3 Aprile fino a fino al numeri in ottime condizioni

OXFORD New English

OXFORD New English File Advanced Student's Book e Advanced Workbook with Key + CD-Rom (Clive Oxenden Christina Latham-Koenig)E.30

Telaio GIANT PROPEL ADVANCED SL

Telaio GIANT PROPEL ADVANCED SL TELAIO NUOVO ANCORA DA SCONTRINARE TAGLIE: XS, L GARANZIA UFFICIALE GIANT DESCRIZIONE: Consultare il sito ufficiale GIANT INFO PRODOTTO: Advanced SL-grade Composite frame Advanced SL-grade Composite fork with full-composite OverDrive 2 steerer Integrated seatpost design Giant SpeedControl SL brakes Color: Green/Blue/Black, Carbon/Gray/Red PER INFO: LUCA 328 ANCHE WHATSAPP

HP iLO Advanced 1 Server License with 3yr 24x7 Tech Support

HP iLO Advanced incl 3yr Tech Support and Updates 1 Server Lic HP iLO Advanced 1 Server License with 3yr 24x7 Tech Support and Updates. Quantità licenze: 1 utente(i)

Programming With Java

ISBN: , SKU: , AUTHOR: Holmes Barry, PUBLISHER: CBS Publishers & amp amp amp amp Distributors, NA Acquista Ora

Telaio GIANT PROPEL ADVANCED PRO

Telaio GIANT PROPEL ADVANCED PRO TELAIO NUOVO ANCORA DA SCONTRINARE TAGLIE: XS - M - L - XL GARANZIA UFFICIALE GIANT DESCRIZIONE: CONSULTARE IL SITO GIANT INFO PRODOTTO: Advanced-grade Composite frame Advanced-grade Composite fork with full-composite OverDrive 2 steerer Giant Vector Composite seatpost Giant SpeedControl SL brakes PER INFO: LUCA 328 ANCHE WHATSAPP Taglia: XS - M - L - XL

PSA PARTS - ADVANCED E-PORT II WITH USB V3 INCLUDES POWER

PSA PARTS - ADVANCED E-PORT II WITH USB V3 INCLUDES POWER CABLE - - SU ORDINAZIONE

Giant Propel Advanced SL Kit Telaio

Vendo kit telaio come da foto: Telaio in fibra di carbonio monoscocca Advanced SL con reggisella integrato predisposto per cambio elettromeccanico. Scatola movimento Pressfit. Passaggio cavi interno. Predisposizione gruppi meccanici e Di2. Sensore Ride Sense integrato al telaio. Forcella: Advanced SL-Grade Composite, Full-Composite Freni Giant Speed Control Manubrio: Giant Contact SLR Aero Integrated, full-composite, Ti bolts misura c/c Misura M (52c/f x 55,5c/c)

Contatto

• ← Precedente
• Successivo →